Yonit Kesten

According to our database, Yonit Kesten authored at least 24 papers between 1992 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2006

Model Checking with Strong Fairness.

Yonit Kesten, Amir Pnueli, Li-on Raviv, Elad Shahar

Formal Methods Syst. Des., 2006

2005

A compositional approach to CTL* verification.

Yonit Kesten, Amir Pnueli

Theor. Comput. Sci., 2005

Bridging the gap between fair simulation and trace inclusion.

Yonit Kesten, Nir Piterman, Amir Pnueli

Inf. Comput., 2005

2002

Complete Proof System for QPTL.

Yonit Kesten, Amir Pnueli

J. Log. Comput., 2002

Automatic Verification of Probabilistic Free Choice.

Lenore D. Zuck, Amir Pnueli, Yonit Kesten

Proceedings of the Verification, 2002

A Deductive Proof System for CTL.

Amir Pnueli, Yonit Kesten

Proceedings of the CONCUR 2002, 2002

Network Invariants in Action.

Yonit Kesten, Amir Pnueli, Elad Shahar, Lenore D. Zuck

Proceedings of the CONCUR 2002, 2002

2001

Symbolic model checking with rich assertional languages.

Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar

Theor. Comput. Sci., 2001

Verification by Augmented Abstraction: The Automata-Theoretic View.

Yonit Kesten, Amir Pnueli, Moshe Y. Vardi

J. Comput. Syst. Sci., 2001

2000

Control and Data Abstraction: The Cornerstones of Practical Formal Verification.

Yonit Kesten, Amir Pnueli

Int. J. Softw. Tools Technol. Transf., 2000

Verification by Augmented Finitary Abstraction.

Yonit Kesten, Amir Pnueli

Inf. Comput., 2000

Verification of Clocked and Hybrid Systems.

Yonit Kesten, Zohar Manna, Amir Pnueli

Acta Informatica, 2000

1999

Decidable Integration Graphs.

Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine

Inf. Comput., 1999

A Perfect Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software.

Yonit Kesten, Amit Klein, Amir Pnueli, Gil Raanan

Proceedings of the FM'99 - Formal Methods, 1999

Verifying Liveness by Augmented Abstraction.

Yonit Kesten, Amir Pnueli

Proceedings of the Computer Science Logic, 13th International Workshop, 1999

1998

Modularization and Abstraction: The Keys to Practical Formal Verification.

Yonit Kesten, Amir Pnueli

Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

Algorithmic Verification of Linear Temporal Logic Specifications.

Yonit Kesten, Amir Pnueli, Li-on Raviv

Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

1997

Symbolic Model Checking with Rich ssertional Languages.

Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1995

A Complete Proof Systems for QPTL

Yonit Kesten, Amir Pnueli

Proceedings of the Proceedings, 1995

Verifying Clocked Transition Systems.

Yonit Kesten, Zohar Manna, Amir Pnueli

Proceedings of the Hybrid Systems III: Verification and Control, 1995

1993

Temporal Verification of Simulation and Refinement.

Yonit Kesten, Zohar Manna, Amir Pnueli

Proceedings of the A Decade of Concurrency, Reflections and Perspectives, 1993

A Decision Algorithm for Full Propositional Temporal Logic.

Yonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992

Integration Graphs: A Class of Decidable Hybrid Systems.

Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine

Proceedings of the Hybrid Systems, 1992

Timed and Hybrid Statecharts and Their Textual Representation.

Yonit Kesten, Amir Pnueli

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992