MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Yonit Kesten" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

14 documents found, showing 1 through 10. Next 10 →

ATOM

Verifying Liveness by Augmented Abstraction
by Yonit Kesten, Amir Pnueli — 1999 — In Annual Conference of the European Association for Computer Science Logic (CSL'99), Lect. Notes in Comp. Sci
…Verifying Liveness by Augmented Abstraction Yonit Kesten ? and Amir Pnueli ?? Abstract…
Cited by 1 (1 self) – Add To MetaCart

Modularization and Abstraction: The Keys to Practical Formal Verification
by Yonit Kesten, Amir Pnueli — 1998 — Lecture Notes in Computer Science
…Modularization and Abstraction: The Keys to Practical Formal Verification ? Yonit Kesten 1…
Cited by 13 (0 self) – Add To MetaCart

Control and Data Abstraction: The Cornerstones of Practical Formal Verification.
by Yonit Kesten, Amir Pnueli — 2000 — Software Tools for Technology Transfer
…) Control and Data Abstraction: The Cornerstones of Practical Formal Verification. Yonit Kesten 1 , Amir…
Cited by 29 (8 self) – Add To MetaCart

Verification by Augmented Finitary Abstraction
by Yonit Kesten, Amir Pnueli — 1999 — Information and Computation
…Verification by Augmented Finitary Abstraction Yonit Kesten y Amir Pnueli z August 31, 1999…
Cited by 23 (10 self) – Add To MetaCart

Network Invariants in Action
by Yonit Kesten, Amir Pnueli, Elad Shahar, Lenore Zuck — 2002
…Network Invariants in Action ? Yonit Kesten 1 , Amir Pnueli 2 , Elad Shahar 2 , and Lenore…
Cited by 11 (5 self) – Add To MetaCart

Automatic Verification of Probabilistic Free Choice
by Lenore Zuck, Amir Pnueli, Yonit Kesten — 2002
…;1 , and Yonit Kesten 3 1 New York University, New York zuck@(email omitted); 2 Weizmann Institute of Science…
Cited by 4 (0 self) – Add To MetaCart

Temporal Verification of Simulation and Refinement
by Yonit Kesten, Zohar Manna, Amir Pnueli — 1994 — A Decade of Concurrency, vol. 803 of LNCS
…Temporal Verification of Simulation and Refinement ? Yonit Kesten 1 Zohar Manna 2 Amir Pnueli…
Cited by 16 (8 self) – Add To MetaCart

Verification of Clocked and Hybrid Systems
by Yonit Kesten, Zohar Manna, Amir Pnueli — Acta Informatica
…Verification of Clocked and Hybrid Systems ? Yonit Kesten y Zohar Manna z Amir Pnueli x…
Cited by 10 (3 self) – Add To MetaCart

Algorithmic Verification of Linear Temporal Logic Specifications
by Yonit Kesten, Amir Pnueli, Li-on Raviv — 1998 — Proc. 25th Int. Colloq. Aut. Lang. Prog., volume 1443 of Lect. Notes in Comp. Sci
…Algorithmic Verification of Linear Temporal Logic Specifications Yonit Kesten y Amir Pnueli z…
Cited by 39 (12 self) – Add To MetaCart

Verifying Clocked Transition Systems
by Yonit Kesten, Zohar Manna, Amir Pnueli — 1996 — In Proceedings of the Fifth International Workshop on Languages and Compilers for Parallel Machines
…Verifying Clocked Transition Systems ? Yonit Kesten y Zohar Manna z Amir Pnueli y Abstract…
Cited by 32 (9 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB