Yonit Kesten

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