dblp.uni-trier.dewww.uni-trier.de

Yonit Kesten Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2006
26EEYonit Kesten, Amir Pnueli, Li-on Raviv, Elad Shahar: Model Checking with Strong Fairness. Formal Methods in System Design 28(1): 57-84 (2006)
2005
25EEYonit Kesten, Nir Piterman, Amir Pnueli: Bridging the gap between fair simulation and trace inclusion. Inf. Comput. 200(1): 35-61 (2005)
24EEYonit Kesten, Amir Pnueli: A compositional approach to CTL* verification. Theor. Comput. Sci. 331(2-3): 397-428 (2005)
2003
23EEYonit Kesten, Nir Piterman, Amir Pnueli: Bridging the Gap between Fair Simulation and Trace Inclusion. CAV 2003: 381-393
2002
22EEYonit Kesten, Amir Pnueli, Elad Shahar, Lenore D. Zuck: Network Invariants in Action. CONCUR 2002: 101-115
21EEAmir Pnueli, Yonit Kesten: A Deductive Proof System for CTL. CONCUR 2002: 24-40
20EELenore D. Zuck, Amir Pnueli, Yonit Kesten: Automatic Verification of Probabilistic Free Choice. VMCAI 2002: 208-224
19EEYonit Kesten, Amir Pnueli: Complete Proof System for QPTL. J. Log. Comput. 12(5): 701-745 (2002)
2001
18 Yonit Kesten, Amir Pnueli, Moshe Y. Vardi: Verification by Augmented Abstraction: The Automata-Theoretic View. J. Comput. Syst. Sci. 62(4): 668-690 (2001)
17EEYonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar: Symbolic model checking with rich assertional languages. Theor. Comput. Sci. 256(1-2): 93-112 (2001)
2000
16EEYonit Kesten, Zohar Manna, Amir Pnueli: Verification of Clocked and Hybrid Systems. Acta Inf. 36(11): 837-912 (2000)
15 Yonit Kesten, Amir Pnueli: Verification by Augmented Finitary Abstraction. Inf. Comput. 163(1): 203-243 (2000)
14EEYonit Kesten, Amir Pnueli: Control and Data Abstraction: The Cornerstones of Practical Formal Verification. STTT 2(4): 328-342 (2000)
1999
13EEYonit Kesten, Amir Pnueli: Verifying Liveness by Augmented Abstraction. CSL 1999: 141-156
12EEYonit 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: 173-194
11 Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine: Decidable Integration Graphs. Inf. Comput. 150(2): 209-243 (1999)
1998
10EEYonit Kesten, Amir Pnueli, Li-on Raviv: Algorithmic Verification of Linear Temporal Logic Specifications. ICALP 1998: 1-16
9EEYonit Kesten, Amir Pnueli: Modularization and Abstraction: The Keys to Practical Formal Verification. MFCS 1998: 54-71
1997
8EEYonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar: Symbolic Model Checking with Rich ssertional Languages. CAV 1997: 424-435
1996
7 Yonit Kesten, Zohar Manna, Amir Pnueli: Verification of Clocked and Hybrid Systems. European Educational Forum: School on Embedded Systems 1996: 4-73
1995
6 Yonit Kesten, Zohar Manna, Amir Pnueli: Verifying Clocked Transition Systems. Hybrid Systems 1995: 13-40
5 Yonit Kesten, Amir Pnueli: A Complete Proof Systems for QPTL LICS 1995: 2-12
1993
4EEYonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli: A Decision Algorithm for Full Propositional Temporal Logic. CAV 1993: 97-109
3EEYonit Kesten, Zohar Manna, Amir Pnueli: Temporal Verification of Simulation and Refinement. REX School/Symposium 1993: 273-346
1992
2 Yonit Kesten, Amir Pnueli: Timed and Hybrid Statecharts and Their Textual Representation. FTRTFT 1992: 591-620
1 Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine: Integration Graphs: A Class of Decidable Hybrid Systems. Hybrid Systems 1992: 179-208

Coauthor Index

1Amit Klein [12]
2Oded Maler [8] [17]
3Zohar Manna [3] [4] [6] [7] [16]
4Monica Marcus [8] [17]
5Hugh McGuire [4]
6Nir Piterman [23] [25]
7Amir Pnueli [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26]
8Gil Raanan [12]
9Li-on Raviv [10] [26]
10Elad Shahar [8] [17] [22] [26]
11Joseph Sifakis [1] [11]
12Moshe Y. Vardi [18]
13Sergio Yovine [1] [11]
14Lenore D. Zuck [20] [22]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)