Orna Grumberg

	2012
130		Orna Grumberg, Moshe Y. Vardi, Joseph Sifakis, Rajeev Alur: 2010 CAV award announcement. Formal Methods in System Design 40(2): 117-120 (2012)
129		Sharon Shoham, Orna Grumberg: Multi-valued model checking games. J. Comput. Syst. Sci. 78(2): 414-429 (2012)
	2011
128		Orna Grumberg, Shlomi Livne, Shaul Markovitch: Learning to Order BDD Variables in Verification CoRR abs/1107.0020: (2011)
	2010
127		Javier Esparza, Bernd Spanfelner, Orna Grumberg: Logics and Languages for Reliability and Security IOS Press 2010
126		Orna Grumberg, Orna Kupferman, Sarai Sheinvald: Variable Automata over Infinite Alphabets. LATA 2010: 561-572
125		Orna Grumberg: 2-Valued and 3-Valued Abstraction-Refinement in Model Checking. Logics and Languages for Reliability and Security 2010: 105-128
124		Randal E. Bryant, Orna Grumberg, Joseph Sifakis, Moshe Y. Vardi: 2009 CAV award announcement. Formal Methods in System Design 36(3): 195-197 (2010)
123		Sharon Shoham, Orna Grumberg: Compositional verification and 3-valued abstractions join forces. Inf. Comput. 208(2): 178-202 (2010)
	2009
122		Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner: Languages: From Formal to Natural, Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday Springer 2009
121		Orna Grumberg: 3-Valued Abstraction for (Bounded) Model Checking. ATVA 2009: 21
120		Yael Meller, Orna Grumberg, Sharon Shoham: A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement. ATVA 2009: 271-288
119		Yakir Vizel, Orna Grumberg: Interpolation-sequence based model checking. FMCAD 2009: 1-8
118		Avi Yadgar, Orna Grumberg, Assaf Schuster: Hybrid BDD and All-SAT Method for Model Checking. Languages: From Formal to Natural 2009: 228-244
117		Randal E. Bryant, Orna Grumberg, Thomas A. Henzinger, Moshe Y. Vardi: The 2008 CAV Award citation. Formal Methods in System Design 35(1): 4-5 (2009)
116		Himanshu Jain, Edmund M. Clarke, Orna Grumberg: Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations. Formal Methods in System Design 35(1): 6-39 (2009)
115		Michael Huth, Orna Grumberg: Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification. STTT 11(2): 85-94 (2009)
	2008
114		Orna Grumberg, Helmut Veith: 25 Years of Model Checking - History, Achievements, Perspectives Springer 2008
113		Himanshu Jain, Edmund M. Clarke, Orna Grumberg: Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations. CAV 2008: 254-267
112		Hana Chockler, Orna Grumberg, Avi Yadgar: Efficient Automatic STE Refinement Using Responsibility. TACAS 2008: 233-248
111		Sharon Shoham, Orna Grumberg: 3-Valued abstraction: More precision at less cost. Inf. Comput. 206(11): 1313-1333 (2008)
	2007
110		Orna Grumberg, Michael Huth: Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings Springer 2007
109		Rotem Oshman, Orna Grumberg: A New Approach to Bounded Model Checking for Branching Time Logics. ATVA 2007: 410-424
108		Orna Grumberg, Assaf Schuster, Avi Yadgar: 3-Valued Circuit SAT for STE with Automatic Refinement. ATVA 2007: 457-473
107		Sharon Shoham, Orna Grumberg: Compositional Verification and 3-Valued Abstractions Join Forces. SAS 2007: 69-86
106		Sharon Shoham, Orna Grumberg: A game-based framework for CTL counterexamples and 3-valued abstraction-refinement. ACM Trans. Comput. Log. 9(1): (2007)
105		Orna Grumberg, Martin Lange, Martin Leucker, Sharon Shoham: When not losing is better than winning: Abstraction and refinement for the full mu-calculus. Inf. Comput. 205(8): 1130-1148 (2007)
104		Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster: Verifying Very Large Industrial Circuits Using 100 Processes and Beyond. Int. J. Found. Comput. Sci. 18(1): 45-62 (2007)
103		Orna Grumberg, Shmuel Katz: VeriTech: a framework for translating among model description notations. STTT 9(2): 119-132 (2007)
	2006
102		Rachel Tzoref, Orna Grumberg: Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation. CAV 2006: 190-204
101		Sharon Shoham, Orna Grumberg: 3-Valued Abstraction: More Precision at Less Cost. LICS 2006: 399-410
100		Orna Grumberg, Tamir Heyman, Assaf Schuster: A work-efficient distributed algorithm for reachability analysis. Formal Methods in System Design 29(2): 157-175 (2006)
	2005
99		Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster: Verifying Very Large Industrial Circuits Using 100 Processes and Beyond. ATVA 2005: 11-25
98		Sharon Shoham, Orna Grumberg: Multi-valued Model Checking Games. ATVA 2005: 354-369
97		Ishai Rabinovitz, Orna Grumberg: Bounded Model Checking of Concurrent Programs. CAV 2005: 82-97
96		Orna Grumberg, Tamir Heyman, Nili Ifergan, Assaf Schuster: Achieving Speedups in Distributed Symbolic Reachability Analysis Through Asynchronous Computation. CHARME 2005: 129-145
95		Doron Bustan, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi: Regular Vacuity. CHARME 2005: 191-206
94		Orna Grumberg: Abstraction and Refinement in Model Checking. FMCO 2005: 219-242
93		Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith: State/Event Software Verification for Branching-Time Specifications. IFM 2005: 53-69
92		Orna Grumberg, Flavio Lerda, Ofer Strichman, Michael Theobald: Proof-guided underapproximation-widening for multi-process systems. POPL 2005: 122-131
91		Orna Grumberg, Martin Lange, Martin Leucker, Sharon Shoham: Don't Know in the µ-Calculus. VMCAI 2005: 233-249
90		Orna Grumberg, Tamir Heyman, Assaf Schuster: Distributed Symbolic Model Checking for µ-Calculus. Formal Methods in System Design 26(2): 197-219 (2005)
89		Sharon Barner, Orna Grumberg: Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking. Formal Methods in System Design 27(1-2): 29-66 (2005)
88		Lubos Brim, Orna Grumberg: Introductory paper. STTT 7(1): 1-3 (2005)
	2004
87		Orna Grumberg, Assaf Schuster, Avi Yadgar: Memory Efficient All-Solutions SAT Solver and Its Application for Reachability Analysis. FMCAD 2004: 275-289
86		Sharon Shoham, Orna Grumberg: Monotonic Abstraction-Refinement for CTL. TACAS 2004: 546-560
85		Karen Yorav, Orna Grumberg: Static Analysis for State-Space Reductions Preserving Temporal Logics. Formal Methods in System Design 25(1): 67-96 (2004)
84		Doron Bustan, Orna Grumberg: Applicability of fair simulation. Inf. Comput. 194(1): 1-18 (2004)
83		Sérgio Vale Aguiar Campos, Orna Grumberg, Karen Yorav, Copty Fady: Test sequence generation and model checking using dynamic transition relations. STTT 6(2): 174-182 (2004)
	2003
82		Edmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang: Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates. CAV 2003: 126-140
81		Sharon Shoham, Orna Grumberg: A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement. CAV 2003: 275-287
80		Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi: Enhanced Vacuity Detection in Linear Temporal Logic. CAV 2003: 368-380
79		Orna Grumberg, Tamir Heyman, Assaf Schuster: A Work-Efficient Distributed Algorithm for Reachability Analysis. CAV 2003: 54-66
78		Edmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang: High Level Verification of Control Intensive Systems Using Predicate Abstraction. MEMOCODE 2003: 55-64
77		Doron Bustan, Orna Grumberg: Simulation-based minimazation. ACM Trans. Comput. Log. 4(2): 181-206 (2003)
76		Lubos Brim, Orna Grumberg: Preface. Electr. Notes Theor. Comput. Sci. 89(1): 1-2 (2003)
75		Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith: Counterexample-guided abstraction refinement for symbolic model checking. J. ACM 50(5): 752-794 (2003)
74		Orna Grumberg, Shlomi Livne, Shaul Markovitch: Learning to Order BDD Variables in Verification. J. Artif. Intell. Res. (JAIR) 18: 83-116 (2003)
73		Shoham Ben-David, Orna Grumberg, Tamir Heyman, Assaf Schuster: Scalable distributed on-the-fly symbolic model checking. STTT 4(4): 496-504 (2003)
	2002
72		Sharon Barner, Orna Grumberg: Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking. CAV 2002: 93-106
71		Shmuel Katz, Orna Grumberg: A Framework for Translating Models and Specifications. IFM 2002: 145-164
70		Katerina Korenblat, Orna Grumberg, Shmuel Katz: Translations between Textual Transition Systems and Petri Nets. IFM 2002: 339-359
69		Doron Bustan, Orna Grumberg: Applicability of Fair Simulation. TACAS 2002: 401-414
68		Lubos Brim, Orna Grumberg: Preface. Electr. Notes Theor. Comput. Sci. 68(4): 483 (2002)
67		Orna Grumberg: Different directions in parallel and distributed model checking (invited talk). Electr. Notes Theor. Comput. Sci. 68(4): 485 (2002)
66		Tamir Heyman, Daniel Geist, Orna Grumberg, Assaf Schuster: A Scalable Parallel Algorithm for Reachability Analysis of Very Large Circuits. Formal Methods in System Design 21(3): 317-338 (2002)
65		Karen Yorav, Orna Grumberg: Syntax-directed model checking of sequential programs. J. Log. Algebr. Program. 52-53: 129-162 (2002)
	2001
64		Edmund M. Clarke, Orna Grumberg, Doron Peled: Model checking. MIT Press 2001: I-XIV, 1-314
63		Orna Grumberg, Tamir Heyman, Assaf Schuster: Distributed Symbolic Model Checking for µ-Calculus. CAV 2001: 350-362
62		Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith: Progress on the State Explosion Problem in Model Checking. Informatics 2001: 176-194
61		Orna Grumberg: Introduction: Special Issue on CAV '97. Formal Methods in System Design 18(2): 95 (2001)
60		Orna Grumberg, Robert P. Kurshan: Which Branching-Time Properties are Effectively Linear? J. Log. Comput. 11(2): 201-228 (2001)
	2000
59		Doron Bustan, Orna Grumberg: Simulation Based Minimization. CADE 2000: 255-270
58		Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith: Counterexample-Guided Abstraction Refinement. CAV 2000: 154-169
57		Tamir Heyman, Daniel Geist, Orna Grumberg, Assaf Schuster: Achieving Scalability in Parallel Reachability Analysis of Very Large Circuits. CAV 2000: 20-35
56		Shoham Ben-David, Tamir Heyman, Orna Grumberg, Assaf Schuster: Scalable Distributed On-the-Fly Symbolic Model Checking. FMCAD 2000: 390-404
55		Sérgio Vale Aguiar Campos, Edmund M. Clarke, Orna Grumberg: Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System. Formal Methods in System Design 17(2): 163-192 (2000)
	1999
54		Sagi Katz, Orna Grumberg, Daniel Geist: "Have I written enough Properties?" - A Method of Comparison between Specification and Implementation. CHARME 1999: 280-297
53		Alessandro Cimatti, Orna Grumberg: Preface. Electr. Notes Theor. Comput. Sci. 23(2): 127-128 (1999)
52		Edmund M. Clarke, Orna Grumberg, Marius Minea, Doron Peled: State Space Reduction Using Partial Order Techniques. STTT 2(3): 279-287 (1999)
	1998
51		Jürgen Bohn, Werner Damm, Orna Grumberg, Hardi Hungar, Karen Laster: First-Order-CTL Model Checking. FSTTCS 1998: 283-294
50		Karen Laster, Orna Grumberg: Modular Model Checking of Software. TACAS 1998: 20-35
	1997
49		Orna Grumberg: Computer Aided Verification, 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings Springer 1997
48		Dennis Dams, Rob Gerth, Orna Grumberg: Abstract Interpretation of Reactive Systems. ACM Trans. Program. Lang. Syst. 19(2): 253-291 (1997)
47		Edmund M. Clarke, Orna Grumberg, Somesh Jha: Verifying Parameterized Networks. ACM Trans. Program. Lang. Syst. 19(5): 726-750 (1997)
46		Edmund M. Clarke, Orna Grumberg, Kiyoharu Hamaguchi: Another Look at LTL Model Checking. Formal Methods in System Design 10(1): 47-71 (1997)
	1996
45		Sérgio Vale Aguiar Campos, Orna Grumberg: Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System. CAV 1996: 257-268
44		Edmund M. Clarke, Orna Grumberg, David E. Long: Model checking. NATO ASI DPD 1996: 305-349
43		Orna Kupferman, Orna Grumberg: Branching-Time Temporal Logic and Tree Automata. Inf. Comput. 125(1): 62-69 (1996)
42		Limor Fix, Orna Grumberg: Verification of Temporal Properties. J. Log. Comput. 6(3): 343-361 (1996)
41		Orna Kupferman, Orna Grumberg: Buy One, Get One Free!!! J. Log. Comput. 6(4): 523-539 (1996)
	1995
40		Hardi Hungar, Orna Grumberg, Werner Damm: What if model checking must be truly symbolic. CHARME 1995: 1-20
39		Edmund M. Clarke, Orna Grumberg, Somesh Jha: Veryfying Parameterized Networks using Abstraction and Regular Languages. CONCUR 1995: 395-407
38		Edmund M. Clarke, Orna Grumberg, Kenneth L. McMillan, Xudong Zhao: Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking. DAC 1995: 427-432
37		Girish Bhat, Rance Cleaveland, Orna Grumberg: Efficient On-the-Fly Model Checking for CTL* LICS 1995: 388-397
36		Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness: Verification of the Futurebus+ Cache Coherence Protocol. Formal Methods in System Design 6(2): 217-232 (1995)
	1994
35		Edmund M. Clarke, Orna Grumberg, Kiyoharu Hamaguchi: Another Look at LTL Model Checking. CAV 1994: 415-427
34		Orna Grumberg, Robert P. Kurshan: How Linear Can Branching-Time Be? ICTL 1994: 180-194
33		Orna Bernholtz, Orna Grumberg: Buy One, Get One Free!!! ICTL 1994: 210-224
32		Orna Grumberg, David E. Long: Model Checking and Modular Verification. ACM Trans. Program. Lang. Syst. 16(3): 843-871 (1994)
31		Edmund M. Clarke, Orna Grumberg, David E. Long: Model Checking and Abstraction. ACM Trans. Program. Lang. Syst. 16(5): 1512-1542 (1994)
30		Limor Fix, Nissim Francez, Orna Grumberg: Program Composition via Unification. Theor. Comput. Sci. 131(1): 139-179 (1994)
	1993
29		Dennis Dams, Orna Grumberg, Rob Gerth: Generation of Reduced Models for Checking Fragments of CTL. CAV 1993: 479-490
28		Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness: Verification of the Futurebus+ Cache Coherence Protocol. CHDL 1993: 15-30
27		Orna Bernholtz, Orna Grumberg: Branching Time Temporal Logic and Amorphous Tree Automata. CONCUR 1993: 262-277
26		Edmund M. Clarke, Orna Grumberg, David E. Long: Verification Tools for Finite-State Concurrent Systems. REX School/Symposium 1993: 124-175
25		Paul C. Attie, Nissim Francez, Orna Grumberg: Fairness and Hyperfairness in Multi-Party Interactions. Distributed Computing 6(4): 245-254 (1993)
24		Hana De-Leon, Orna Grumberg: Modular Abstractions for Verifying Real-Time Distributed Systems. Formal Methods in System Design 2(1): 7-43 (1993)
	1992
23		Hana De-Leon, Orna Grumberg: Modular Abstractions for Verifying Real-Time Distributed Systems. CAV 1992: 2-15
22		Limor Fix, Nissim Francez, Orna Grumberg: Program Composition via Unification. ICALP 1992: 672-684
21		Edmund M. Clarke, Orna Grumberg, David E. Long: Model Checking and Abstraction. POPL 1992: 342-354
20		Edmund M. Clarke, Orna Grumberg, Robert P. Kurshan: A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems. J. Log. Comput. 2(5): 605-618 (1992)
	1991
19		Orna Grumberg, David E. Long: Model Checking and Modular Verification. CONCUR 1991: 250-265
18		Limor Fix, Nissim Francez, Orna Grumberg: Program Composition and Modular Verification. ICALP 1991: 93-114
	1990
17		Gil Shurek, Orna Grumberg: The Modular Framework of Computer-Aided Verification. CAV 1990: 214-223
16		Paul C. Attie, Nissim Francez, Orna Grumberg: Fairness and Hyperfairness in Multi-Party Interactions. POPL 1990: 292-305
	1989
15		Ze'ev Shtadler, Orna Grumberg: Network Grammars, Communication Behaviors and Automatic Verification. Automatic Verification Methods for Finite State Systems 1989: 151-165
14		Edmund M. Clarke, Orna Grumberg, Robert P. Kurshan: A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems. Logic at Botik 1989: 81-90
13		Michael C. Browne, Edmund M. Clarke, Orna Grumberg: Reasoning about Networks with Many Identical Finite State Processes Inf. Comput. 81(1): 13-31 (1989)
	1988
12		Ran Rinat, Nissim Francez, Orna Grumberg: Infinite Trees, Markings and Well-Foundedness Inf. Comput. 79(2): 131-154 (1988)
11		Michael C. Browne, Edmund M. Clarke, Orna Grumberg: Characterizing Finite Kripke Structures in Propositional Temporal Logic. Theor. Comput. Sci. 59: 115-131 (1988)
	1987
10		Edmund M. Clarke, Orna Grumberg: Avoiding The State Explosion Problem in Temporal Logic Model Checking. PODC 1987: 294-303
9		Michael C. Browne, Edmund M. Clarke, Orna Grumberg: Characterizing Kripke Structures in Temporal Logic. TAPSOFT, Vol.1 1987: 256-270
8		Edmund M. Clarke, Orna Grumberg: The Model Checking Problem for Concurrent Systems with Many Similar Processes. Temporal Logic in Specification 1987: 188-201
	1986
7		Ran Rinat, Nissim Francez, Orna Grumberg: Infinite Trees, Markings and Well Foundedness. CAAP 1986: 238-253
6		Edmund M. Clarke, Orna Grumberg, Michael C. Browne: Reasoning About Networks With Many Identical Finite-State Processes. PODC 1986: 240-248
5		Orna Grumberg, Nissim Francez, Shmuel Katz: A Complete Rule for Equifair Termination. J. Comput. Syst. Sci. 33(3): 313-332 (1986)
	1985
4		Nissim Francez, Orna Grumberg, Shmuel Katz, Amir Pnueli: Proving Termination of Prolog Programs. Logic of Programs 1985: 89-105
3		Orna Grumberg, Nissim Francez, Johann A. Makowsky, Willem P. de Roever: A Proof Rule for Fair Termination of Guarded Commands Information and Control 66(1/2): 83-102 (1985)
	1984
2		Orna Grumberg, Nissim Francez, Shmuel Katz: Fail Termination of Communicating Processe. PODC 1984: 254-265
	1983
1		Orna Grumberg, Nissim Francez, Shmuel Katz: A Compete Proof Rule for Strong Equifair Termination. Logic of Programs 1983: 257-278

Coauthor Index

1	Rajeev Alur	[130]
2	Roy Armoni	[80]
3	Paul C. Attie	[16] [25]
4	Sharon Barner	[72] [89]
5	Shoham Ben-David	[56] [73]
6	Orna Bernholtz	[27] [33]
7	Girish Bhat	[37]
8	Jürgen Bohn	[51]
9	Lubos Brim	[68] [76] [88]
10	Michael C. Browne	[6] [9] [11] [13]
11	Randal E. Bryant	[117] [124]
12	Doron Bustan	[59] [69] [77] [84] [95]
13	Sérgio Vale Aguiar Campos	[45] [55] [83]
14	Sagar Chaki	[93]
15	Hana Chockler	[112]
16	Alessandro Cimatti	[53]
17	Edmund M. Clarke	[6] [8] [9] [10] [11] [13] [14] [20] [21] [26] [28] [31] [35] [36] [38] [39] [44] [46] [47] [52] [55] [58] [62] [64] [75] [78] [82] [93] [113] [116]
18	Rance Cleaveland	[37]
19	Werner Damm	[40] [51]
20	Dennis Dams	[29] [48]
21	Hana De-Leon	[23] [24]
22	Javier Esparza	[127]
23	Copty Fady	[83]
24	Limor Fix	[18] [22] [30] [42] [80] [99] [104]
25	Alon Flaisher	[80] [95]
26	Nissim Francez	[1] [2] [3] [4] [5] [7] [12] [16] [18] [22] [25] [30]
27	Daniel Geist	[54] [57] [66]
28	Rob Gerth	[29] [48]
29	Nili Guy (Nili Ifergan)	[96]
30	Kiyoharu Hamaguchi	[35] [46]
31	Thomas A. Henzinger	[117]
32	Amnon Heyman	[99] [104]
33	Tamir Heyman	[56] [57] [63] [66] [73] [79] [90] [96] [99] [100] [104]
34	Hiromi Hiraishi	[28] [36]
35	Hardi Hungar	[40] [51]
36	Michael Huth	[110] [115]
37	Himanshu Jain	[113] [116]
38	Somesh Jha	[28] [36] [39] [47] [58] [62] [75]
39	Michael Kaminski	[122]
40	Sagi Katz	[54]
41	Shmuel Katz	[1] [2] [4] [5] [70] [71] [103] [122]
42	Katerina Korenblat	[70]
43	Orna Kupferman	[41] [43] [95] [126]
44	Robert P. Kurshan	[14] [20] [34] [60]
45	Martin Lange	[91] [105]
46	Flavio Lerda	[92]
47	Martin Leucker	[91] [105]
48	Shlomi Livne	[74] [128]
49	David E. Long	[19] [21] [26] [28] [31] [32] [36] [44]
50	Yuan Lu	[58] [62] [75]
51	Johann A. Makowsky (Janos Makowsky)	[3]
52	Shaul Markovitch	[74] [128]
53	Kenneth L. McMillan	[28] [36] [38]
54	Yael Meller	[120]
55	Marius Minea	[52]
56	Linda A. Ness	[28] [36]
57	Rotem Oshman	[109]
58	Joël Ouaknine	[93]
59	Doron Peled	[52] [64]
60	Nir Piterman	[80]
61	Amir Pnueli	[4]
62	Ishai Rabinovitz	[97]
63	Ran Rinat	[7] [12]
64	Willem P. de Roever (Willem-Paul de Roever)	[3]
65	Assaf Schuster	[56] [57] [63] [66] [73] [79] [87] [90] [96] [99] [100] [104] [108] [118]
66	Natasha Sharygina	[93]
67	Sarai Sheinvald (Sarai Sheinvald-Faragy)	[126]
68	Sharon Shoham	[81] [86] [91] [98] [101] [105] [106] [107] [111] [120] [123] [129]
69	Ze'ev Shtadler	[15]
70	Gil Shurek	[17]
71	Joseph Sifakis	[124] [130]
72	Bernd Spanfelner	[127]
73	Ofer Strichman	[92]
74	Muralidhar Talupur	[78] [82]
75	Michael Theobald	[92]
76	Andreas Tiemeyer	[80]
77	Tayssir Touili	[93]
78	Rachel Tzoref (Rachel Tzoref-Brill)	[102]
79	Moshe Y. Vardi	[80] [95] [117] [124] [130]
80	Helmut Veith	[58] [62] [75] [93] [114]
81	Yakir Vizel	[119]
82	Dong Wang	[78] [82]
83	Shuly Wintner	[122]
84	Avi Yadgar	[87] [108] [112] [118]
85	Karen Yorav (Karen Laster)	[50] [51] [65] [83] [85]
86	Xudong Zhao	[38]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page