The SCEAS System
| |||||||

## Search the dblp DataBase
Yonit Kesten:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Yonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli
**A Decision Algorithm for Full Propositional Temporal Logic.**[Citation Graph (0, 0)][DBLP] CAV, 1993, pp:97-109 [Conf] - Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar
**Symbolic Model Checking with Rich ssertional Languages.**[Citation Graph (0, 0)][DBLP] CAV, 1997, pp:424-435 [Conf] - Yonit Kesten, Nir Piterman, Amir Pnueli
**Bridging the Gap between Fair Simulation and Trace Inclusion.**[Citation Graph (0, 0)][DBLP] CAV, 2003, pp:381-393 [Conf] - Yonit Kesten, Amir Pnueli, Elad Shahar, Lenore D. Zuck
**Network Invariants in Action.**[Citation Graph (0, 0)][DBLP] CONCUR, 2002, pp:101-115 [Conf] - Amir Pnueli, Yonit Kesten
**A Deductive Proof System for CTL.**[Citation Graph (0, 0)][DBLP] CONCUR, 2002, pp:24-40 [Conf] - Yonit Kesten, Amir Pnueli
**Verifying Liveness by Augmented Abstraction.**[Citation Graph (0, 0)][DBLP] CSL, 1999, pp:141-156 [Conf] - Yonit Kesten, Zohar Manna, Amir Pnueli
**Verification of Clocked and Hybrid Systems.**[Citation Graph (0, 0)][DBLP] European Educational Forum: School on Embedded Systems, 1996, pp:4-73 [Conf] - Yonit Kesten, Amit Klein, Amir Pnueli, Gil Raanan
**A Perfect Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software.**[Citation Graph (0, 0)][DBLP] World Congress on Formal Methods, 1999, pp:173-194 [Conf] - Yonit Kesten, Amir Pnueli
**Timed and Hybrid Statecharts and Their Textual Representation.**[Citation Graph (0, 0)][DBLP] FTRTFT, 1992, pp:591-620 [Conf] - Yonit Kesten, Zohar Manna, Amir Pnueli
**Verifying Clocked Transition Systems.**[Citation Graph (0, 0)][DBLP] Hybrid Systems, 1995, pp:13-40 [Conf] - Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine
**Integration Graphs: A Class of Decidable Hybrid Systems.**[Citation Graph (0, 0)][DBLP] Hybrid Systems, 1992, pp:179-208 [Conf] - Yonit Kesten, Amir Pnueli, Li-on Raviv
**Algorithmic Verification of Linear Temporal Logic Specifications.**[Citation Graph (0, 0)][DBLP] ICALP, 1998, pp:1-16 [Conf] - Yonit Kesten, Amir Pnueli
**A Complete Proof Systems for QPTL**[Citation Graph (0, 0)][DBLP] LICS, 1995, pp:2-12 [Conf] - Yonit Kesten, Amir Pnueli
**Modularization and Abstraction: The Keys to Practical Formal Verification.**[Citation Graph (0, 0)][DBLP] MFCS, 1998, pp:54-71 [Conf] - Yonit Kesten, Zohar Manna, Amir Pnueli
**Temporal Verification of Simulation and Refinement.**[Citation Graph (0, 0)][DBLP] REX School/Symposium, 1993, pp:273-346 [Conf] - Lenore D. Zuck, Amir Pnueli, Yonit Kesten
**Automatic Verification of Probabilistic Free Choice.**[Citation Graph (0, 0)][DBLP] VMCAI, 2002, pp:208-224 [Conf] - Yonit Kesten, Zohar Manna, Amir Pnueli
**Verification of Clocked and Hybrid Systems.**[Citation Graph (0, 0)][DBLP] Acta Inf., 2000, v:36, n:11, pp:837-912 [Journal] - Yonit Kesten, Amir Pnueli, Li-on Raviv, Elad Shahar
**Model Checking with Strong Fairness.**[Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2006, v:28, n:1, pp:57-84 [Journal] - Yonit Kesten, Amir Pnueli
**Verification by Augmented Finitary Abstraction.**[Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:163, n:1, pp:203-243 [Journal] - Yonit Kesten, Nir Piterman, Amir Pnueli
**Bridging the gap between fair simulation and trace inclusion.**[Citation Graph (0, 0)][DBLP] Inf. Comput., 2005, v:200, n:1, pp:35-61 [Journal] - Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine
**Decidable Integration Graphs.**[Citation Graph (0, 0)][DBLP] Inf. Comput., 1999, v:150, n:2, pp:209-243 [Journal] - Yonit Kesten, Amir Pnueli, Moshe Y. Vardi
**Verification by Augmented Abstraction: The Automata-Theoretic View.**[Citation Graph (0, 0)][DBLP] J. Comput. Syst. Sci., 2001, v:62, n:4, pp:668-690 [Journal] - Yonit Kesten, Amir Pnueli
**Complete Proof System for QPTL.**[Citation Graph (0, 0)][DBLP] J. Log. Comput., 2002, v:12, n:5, pp:701-745 [Journal] - Yonit Kesten, Amir Pnueli
**Control and Data Abstraction: The Cornerstones of Practical Formal Verification.**[Citation Graph (0, 0)][DBLP] STTT, 2000, v:2, n:4, pp:328-342 [Journal] - Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar
**Symbolic model checking with rich assertional languages.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2001, v:256, n:1-2, pp:93-112 [Journal] - Yonit Kesten, Amir Pnueli
**A compositional approach to CTL* verification.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2005, v:331, n:2-3, pp:397-428 [Journal]
Search in 0.959secs, Finished in 0.961secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |