The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Yonit Kesten: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. Yonit Kesten, Amir Pnueli, Elad Shahar, Lenore D. Zuck
    Network Invariants in Action. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2002, pp:101-115 [Conf]
  5. Amir Pnueli, Yonit Kesten
    A Deductive Proof System for CTL. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2002, pp:24-40 [Conf]
  6. Yonit Kesten, Amir Pnueli
    Verifying Liveness by Augmented Abstraction. [Citation Graph (0, 0)][DBLP]
    CSL, 1999, pp:141-156 [Conf]
  7. 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]
  8. 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]
  9. Yonit Kesten, Amir Pnueli
    Timed and Hybrid Statecharts and Their Textual Representation. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1992, pp:591-620 [Conf]
  10. Yonit Kesten, Zohar Manna, Amir Pnueli
    Verifying Clocked Transition Systems. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1995, pp:13-40 [Conf]
  11. 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]
  12. 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]
  13. Yonit Kesten, Amir Pnueli
    A Complete Proof Systems for QPTL [Citation Graph (0, 0)][DBLP]
    LICS, 1995, pp:2-12 [Conf]
  14. Yonit Kesten, Amir Pnueli
    Modularization and Abstraction: The Keys to Practical Formal Verification. [Citation Graph (0, 0)][DBLP]
    MFCS, 1998, pp:54-71 [Conf]
  15. 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]
  16. Lenore D. Zuck, Amir Pnueli, Yonit Kesten
    Automatic Verification of Probabilistic Free Choice. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2002, pp:208-224 [Conf]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002