Yonit Kesten

Publication Activity (10 Years)

Years Active: 1992-2006
Publications (10 Years): 0

Publications

Yonit Kesten, Amir Pnueli, Li-on Raviv, Elad Shahar
Model Checking with Strong Fairness. Formal Methods Syst. Des. 28 (1) (2006)
Yonit Kesten, Nir Piterman, Amir Pnueli
Bridging the gap between fair simulation and trace inclusion. Inf. Comput. 200 (1) (2005)
Yonit Kesten, Amir Pnueli
A compositional approach to CTL* verification. Theor. Comput. Sci. 331 (2-3) (2005)
Yonit Kesten, Nir Piterman, Amir Pnueli
Bridging the Gap between Fair Simulation and Trace Inclusion. CAV (2003)
Lenore D. Zuck, Amir Pnueli, Yonit Kesten
Automatic Verification of Probabilistic Free Choice. VMCAI (2002)
Amir Pnueli, Yonit Kesten
A Deductive Proof System for CTL. CONCUR (2002)
Yonit Kesten, Amir Pnueli, Elad Shahar, Lenore D. Zuck
Network Invariants in Action. CONCUR (2002)
Yonit Kesten, Amir Pnueli
Complete Proof System for QPTL. J. Log. Comput. 12 (5) (2002)
Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar
Symbolic model checking with rich assertional languages. Theor. Comput. Sci. 256 (1-2) (2001)
Yonit Kesten, Amir Pnueli, Moshe Y. Vardi
Verification by Augmented Abstraction: The Automata-Theoretic View. J. Comput. Syst. Sci. 62 (4) (2001)
Yonit Kesten, Zohar Manna, Amir Pnueli
Verification of Clocked and Hybrid Systems. Acta Informatica 36 (11) (2000)
Yonit Kesten, Amir Pnueli
Verification by Augmented Finitary Abstraction. Inf. Comput. 163 (1) (2000)
Yonit Kesten, Amir Pnueli
Control and Data Abstraction: The Cornerstones of Practical Formal Verification. Int. J. Softw. Tools Technol. Transf. 2 (4) (2000)
Yonit Kesten, Amir Pnueli
Verifying Liveness by Augmented Abstraction. CSL (1999)
Yonit Kesten, Amit Klein, Amir Pnueli, Gil Raanan
A Perfect Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software. World Congress on Formal Methods (1999)
Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine
Decidable Integration Graphs. Inf. Comput. 150 (2) (1999)
Yonit Kesten, Amir Pnueli
Modularization and Abstraction: The Keys to Practical Formal Verification. MFCS (1998)
Yonit Kesten, Amir Pnueli, Li-on Raviv
Algorithmic Verification of Linear Temporal Logic Specifications. ICALP (1998)
Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar
Symbolic Model Checking with Rich ssertional Languages. CAV (1997)
Yonit Kesten, Zohar Manna, Amir Pnueli
Verification of Clocked and Hybrid Systems. European Educational Forum: School on Embedded Systems (1996)
Yonit Kesten, Zohar Manna, Amir Pnueli
Verifying Clocked Transition Systems. Hybrid Systems (1995)
Yonit Kesten, Amir Pnueli
A Complete Proof Systems for QPTL LICS (1995)
Yonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli
A Decision Algorithm for Full Propositional Temporal Logic. CAV (1993)
Yonit Kesten, Zohar Manna, Amir Pnueli
Temporal Verification of Simulation and Refinement. REX School/Symposium (1993)
Yonit Kesten, Amir Pnueli
Timed and Hybrid Statecharts and Their Textual Representation. FTRTFT (1992)
Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine
Integration Graphs: A Class of Decidable Hybrid Systems. Hybrid Systems (1992)