Yonit Kesten

2006
26	EE	Yonit Kesten, Amir Pnueli, Li-on Raviv, Elad Shahar: Model Checking with Strong Fairness. Formal Methods in System Design 28(1): 57-84 (2006)
2005
25	EE	Yonit Kesten, Nir Piterman, Amir Pnueli: Bridging the gap between fair simulation and trace inclusion. Inf. Comput. 200(1): 35-61 (2005)
24	EE	Yonit Kesten, Amir Pnueli: A compositional approach to CTL* verification. Theor. Comput. Sci. 331(2-3): 397-428 (2005)
2003
23	EE	Yonit Kesten, Nir Piterman, Amir Pnueli: Bridging the Gap between Fair Simulation and Trace Inclusion. CAV 2003: 381-393
2002
22	EE	Yonit Kesten, Amir Pnueli, Elad Shahar, Lenore D. Zuck: Network Invariants in Action. CONCUR 2002: 101-115
21	EE	Amir Pnueli, Yonit Kesten: A Deductive Proof System for CTL. CONCUR 2002: 24-40
20	EE	Lenore D. Zuck, Amir Pnueli, Yonit Kesten: Automatic Verification of Probabilistic Free Choice. VMCAI 2002: 208-224
19	EE	Yonit 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)
17	EE	Yonit 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
16	EE	Yonit 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)
14	EE	Yonit Kesten, Amir Pnueli: Control and Data Abstraction: The Cornerstones of Practical Formal Verification. STTT 2(4): 328-342 (2000)
1999
13		Yonit Kesten, Amir Pnueli: Verifying Liveness by Augmented Abstraction. CSL 1999: 141-156
12	EE	Yonit 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
10	EE	Yonit Kesten, Amir Pnueli, Li-on Raviv: Algorithmic Verification of Linear Temporal Logic Specifications. ICALP 1998: 1-16
9	EE	Yonit Kesten, Amir Pnueli: Modularization and Abstraction: The Keys to Practical Formal Verification. MFCS 1998: 54-71
1997
8		Yonit 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
4		Yonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli: A Decision Algorithm for Full Propositional Temporal Logic. CAV 1993: 97-109
3		Yonit 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

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