Doron Peled

	2012
144		John Fearnley, Doron Peled, Sven Schewe: Synthesis of Succinct Systems CoRR abs/1202.5449: (2012)
143		Susanne Graf, Doron Peled, Sophie Quinton: Achieving distributed control through model checking. Formal Methods in System Design 40(2): 263-281 (2012)
	2011
142		Gal Katz, Doron Peled, Sven Schewe: The Buck Stops Here: Order, Chance, and Coordination in Distributed Control. ATVA 2011: 422-431
141		Gal Katz, Doron Peled, Sven Schewe: Synthesis of Distributed Control through Knowledge Accumulation. CAV 2011: 510-525
140		Susanne Graf, Doron Peled, Sophie Quinton: Monitoring Distributed Systems Using Knowledge. FMOODS/FORTE 2011: 183-197
139		Doron Peled, Sven Schewe: Practical Distributed Control Synthesis INFINITY 2011: 2-17
138		Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron Peled: Efficient deadlock detection for concurrent systems. MEMOCODE 2011: 119-129
137		Doron Peled: Model Checking. Software and Systems Safety - Specification and Verification 2011: 260-281
136		Ananda Basu, Saddek Bensalem, Doron Peled, Joseph Sifakis: Priority scheduling of distributed systems based on model checking. Formal Methods in System Design 39(3): 229-245 (2011)
	2010
135		Jing Liu, Doron Peled, Bow-Yaw Wang, Farn Wang: 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, 25-27 August 2010 IEEE Computer Society 2010
134		Zohar Manna, Doron Peled: Time for Verification, Essays in Memory of Amir Pnueli Springer 2010
133		Gal Katz, Doron Peled: MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming. ATVA 2010: 359-364
132		Saddek Bensalem, Marius Bozga, Susanne Graf, Doron Peled, Sophie Quinton: Methods for Knowledge Based Controlling of Distributed Systems. ATVA 2010: 52-66
131		Susanne Graf, Doron Peled, Sophie Quinton: Achieving Distributed Control through Model Checking. CAV 2010: 396-409
130		Saddek Bensalem, Doron Peled, Joseph Sifakis: Knowledge Based Scheduling of Distributed Systems. Essays in Memory of Amir Pnueli 2010: 26-41
129		Gal Katz, Doron Peled: Code Mutation in Verification and Automatic Code Correction. TACAS 2010: 435-450
128		Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini: Quantifying the Discord: Order Discrepancies in Message Sequence Charts. Int. J. Found. Comput. Sci. 21(2): 211-233 (2010)
	2009
127		Doron Peled, Michael Wooldridge: Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers Springer 2009
126		Saddek Bensalem, Doron Peled: Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers Springer 2009
125		Ananda Basu, Saddek Bensalem, Doron Peled, Joseph Sifakis: Priority Scheduling of Distributed Systems Based on Model Checking. CAV 2009: 79-93
124		Gal Katz, Doron Peled: Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic Programming. Haifa Verification Conference 2009: 117-132
123		Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled: On commutativity based Edge Lean search. Ann. Math. Artif. Intell. 56(2): 187-210 (2009)
122		Peter Niebert, Doron Peled: Efficient model checking for LTL with partial order snapshots. Theor. Comput. Sci. 410(42): 4180-4189 (2009)
	2008
121		Michaela Huhn, Hardi Hungar, Doron Peled: Tools for the Model-based Development of Certifiable, Dependable Systems, 10.06. - 15.06.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
120		Francesco Logozzo, Doron Peled, Lenore D. Zuck: Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings Springer 2008
119		Gal Katz, Doron Peled: Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms. ATVA 2008: 33-47
118		Peter Niebert, Doron Peled, Amir Pnueli: Discriminative Model Checking. CAV 2008: 504-516
117		Gal Katz, Doron Peled: Model Checking Driven Heuristic Search for Correct Programs. MoChArt 2008: 122-131
116		Gal Katz, Doron Peled: Model Checking-Based Genetic Programming with an Application to Mutual Exclusion. TACAS 2008: 141-156
115		Doron Peled, Patrizio Pelliccione, Paola Spoletini: Model Checking. Wiley Encyclopedia of Computer Science and Engineering 2008
114		Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis: Automatic generation of path conditions for concurrent timed systems. Theor. Comput. Sci. 404(3): 275-292 (2008)
	2007
113		Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini: Quantifying the Discord: Order Discrepancies in Message Sequence Charts. ATVA 2007: 378-393
112		Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis, Lenore D. Zuck: Test Case Generation for Ultimately Periodic Paths. Haifa Verification Conference 2007: 120-135
111		Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled: On Commutativity Based Edge Lean Search. ICALP 2007: 158-170
110		Edith Elkind, Blaise Genest, Doron Peled: Detecting Races in Ensembles of Message Sequence Charts. TACAS 2007: 420-434
109		Michaela Huhn, Hardi Hungar, Doron Peled: 07241 Abstracts Collection - Tools for the Model-based Development of Certifiable, Dependable Systems. Tools for the Model-based Development of Certifiable, Dependable Systems 2007
108		Michaela Huhn, Hardi Hungar, Doron Peled: 07241 Summary - Tools for the Model-based Development of Certifiable, Dependable Systems. Tools for the Model-based Development of Certifiable, Dependable Systems 2007
107		Doron Peled, Yih-Kuen Tsay: Preface. Int. J. Found. Comput. Sci. 18(1): 1-4 (2007)
	2006
106		Edith Elkind, Blaise Genest, Doron Peled, Hongyang Qu: Grey-Box Checking. FORTE 2006: 420-435
105		Peter Niebert, Doron Peled: Efficient Model Checking for LTL with Partial Order Snapshots. TACAS 2006: 272-286
104		Doron Peled, Hongyang Qu: Enforcing Concurrent Temporal Behaviors. Int. J. Found. Comput. Sci. 17(4): 743-762 (2006)
103		Alex Groce, Doron Peled, Mihalis Yannakakis: Adaptive Model Checking. Logic Journal of the IGPL 14(5): 729-744 (2006)
	2005
102		Doron Peled, Yih-Kuen Tsay: Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings Springer 2005
101		Marcin Jurdzinski, Doron Peled, Hongyang Qu: Calculating Probabilities of Real-Time Test Cases. FATES 2005: 134-151
100		Doron Peled, Hongyang Qu: Time Unbalanced Partial Order. FATES 2005: 152-169
99		Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis: Generating Path Conditions for Timed Systems. IFM 2005: 5-19
98		Blaise Genest, Dietrich Kuske, Anca Muscholl, Doron Peled: Snapshot Verification. TACAS 2005: 510-525
97		Doron Peled: Automatic Test Generation and Monitoring of Infinite States Systems. VISSAS 2005: 127-142
96		Doron Peled, Hongyang Qu: Enforcing Concurrent Temporal Behaviors. Electr. Notes Theor. Comput. Sci. 113: 65-83 (2005)
95		Elsa L. Gunter, Doron Peled: Model checking, testing and verification working together. Formal Asp. Comput. 17(2): 201-221 (2005)
94		Doron Peled: Introduction: Special Issue on Partial Order in Formal Methods. Formal Methods in System Design 26(1): 5-6 (2005)
93		Rajeev Alur, Kenneth L. McMillan, Doron Peled: Deciding Global Partial-Order Properties. Formal Methods in System Design 26(1): 7-25 (2005)
	2004
92		Rajeev Alur, Doron Peled: Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings Springer 2004
91		Blaise Genest, Marius Minea, Anca Muscholl, Doron Peled: Specifying and Verifying Partial Order Properties Using Template MSCs. FoSSaCS 2004: 195-210
90		Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis: Automatic Generation of Path Conditions for Timed Systems. ISoLA (Preliminary proceedings) 2004: 243-249
	2003
89		Doron Peled, Hongyang Qu: Automatic Verification of Annotated Code. FORTE 2003: 127-143
88		Doron Peled: Model Checking and Testing Combined. ICALP 2003: 47-63
87		Blaise Genest, Anca Muscholl, Doron Peled: Message Sequence Charts. Lectures on Concurrency and Petri Nets 2003: 537-558
86		Anca Muscholl, Doron Peled: Deciding Properties of Message Sequence Charts. Scenarios: Models, Transformations and Tools 2003: 43-65
85		Elsa L. Gunter, Doron Peled: Unit Checking: Symbolic Model Checking for a Unit of Code. Verification: Theory and Practice 2003: 548-567
84		Elsa L. Gunter, Anca Muscholl, Doron Peled: Compositional message sequence charts. STTT 5(1): 78-89 (2003)
	2002
83		Doron Peled, Moshe Y. Vardi: Formal Techniques for Networked and Distributed Systems - FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings Springer 2002
82		Alex Groce, Doron Peled, Mihalis Yannakakis: AMC: An Adaptive Model Checker. CAV 2002: 521-525
81		Cindy Eisner, Doron Peled: Comparing Symbolic and Explicit Model Checking of a Software System. SPIN 2002: 230-239
80		Alex Groce, Doron Peled, Mihalis Yannakakis: Adaptive Model Checking. TACAS 2002: 357-370
79		Elsa L. Gunter, Doron Peled: Temporal Debugging for Concurrent Systems. TACAS 2002: 431-444
78		Doron Peled: Specification and Verification using Message Sequence Charts. Electr. Notes Theor. Comput. Sci. 65(7): 51-64 (2002)
77		Elsa L. Gunter, Doron Peled: Tracing the executions of concurrent programs. Electr. Notes Theor. Comput. Sci. 70(4): 128-141 (2002)
76		Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Combining Software and Hardware Verification Techniques. Formal Methods in System Design 21(3): 251-280 (2002)
75		Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis: Black Box Checking. Journal of Automata, Languages and Combinatorics 7(2): 225-246 (2002)
	2001
74		Edmund M. Clarke, Orna Grumberg, Doron Peled: Model checking. MIT Press 2001: I-XIV, 1-314
73		Natasha Sharygina, Doron Peled: A Combined Testing and Verification Approach for Software Reliability. FME 2001: 611-628
72		Doron Peled, Amir Pnueli, Lenore D. Zuck: From Falsification to Verification. FSTTCS 2001: 292-304
71		Anca Muscholl, Doron Peled: From Finite State Communication Protocols to High-Level Message Sequence Charts. ICALP 2001: 720-731
70		Doron Peled, Lenore D. Zuck: From Model Checking to a Temporal Proof. SPIN 2001: 1-14
69		Elsa L. Gunter, Anca Muscholl, Doron Peled: Compositional Message Sequence Charts. TACAS 2001: 496-511
68		Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron Peled: Parametric temporal logic for "model measuring". ACM Trans. Comput. Log. 2(3): 388-407 (2001)
67		Doron Peled, Antti Valmari, Ilkka Kokkarinen: Relaxed Visibility Enhances Partial Order Reduction. Formal Methods in System Design 19(3): 275-289 (2001)
	2000
66		Elsa L. Gunter, Robert P. Kurshan, Doron Peled: PET: An Interactive Software Testing Tool. CAV 2000: 552-556
65		Doron Peled: Specification and Verification of Message Sequence Charts. FORTE 2000: 139-154
64		Doron Peled: Formal Methods for Message Sequence Charts. ICDCS Workshop on Distributed System Validation and Verification 2000: E7-E13
63		Elsa L. Gunter, Doron Peled: Using a Mix of Languages in Formal Methods: The PET System. PDPTA 2000
62		Anca Muscholl, Doron Peled: Analyzing Message Sequence Charts. SAM 2000: 3-17
61		Rajeev Alur, Kenneth L. McMillan, Doron Peled: Model-Checking of Correctness Conditions for Concurrent Objects. Inf. Comput. 160(1-2): 167-188 (2000)
	1999
60		Nicolas Halbwachs, Doron Peled: Computer Aided Verification, 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings Springer 1999
59		Hüsnü Yenigün, Vladimir Levin, Doron Peled, Peter A. Beerel: Hazard-Freedom Checking in Speed-Independent Systems. CHARME 1999: 317-320
58		Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis: Black Box Checking. FORTE 1999: 225-240
57		Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron Peled: Parametric Temporal Logic for "Model Measuring". ICALP 1999: 159-168
56		Anca Muscholl, Doron Peled: Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces. MFCS 1999: 81-91
55		Somesh Jha, Doron Peled: Generalized Stuttering Equivalence. PDPTA 1999: 1054-1060
54		Elsa L. Gunter, Doron Peled: Path Exploration Tool. TACAS 1999: 405-419
53		Rob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek: A Partial Order Approach to Branching Time Logic Model Checking. Inf. Comput. 150(2): 132-152 (1999)
52		Rajeev Alur, Doron Peled: Undecidability of Partial Order Logics. Inf. Process. Lett. 69(3): 137-143 (1999)
51		Ching-Tsun Chou, Doron Peled: Formal Verification of a Partial-Order Reduction Technique for Model Checking. J. Autom. Reasoning 23(3-4): 265-298 (1999)
50		Edmund M. Clarke, Orna Grumberg, Marius Minea, Doron Peled: State Space Reduction Using Partial Order Techniques. STTT 2(3): 279-287 (1999)
	1998
49		Doron Peled: Ten Years of Partial Order Reduction. CAV 1998: 17-28
48		Parosh Aziz Abdulla, Bengt Jonsson, Mats Kindahl, Doron Peled: A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract). CAV 1998: 379-390
47		Doron Peled: A Toolset for Message Sequence Charts. CAV 1998: 532-536
46		Anca Muscholl, Doron Peled, Zhendong Su: Deciding Properties for Message Sequence Charts. FoSSaCS 1998: 226-242
45		Rajeev Alur, Kenneth L. McMillan, Doron Peled: Deciding Global Partial-Order Properties. ICALP 1998: 41-52
44		Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Static Partial Order Reduction. TACAS 1998: 345-357
43		Girish Bhat, Doron Peled: Adding Partial Orders to Linear Temporal Logic. Fundam. Inform. 36(1): 1-21 (1998)
42		Doron Peled, Thomas Wilke, Pierre Wolper: An Algorithmic Approach for Checking Closure Properties of Temporal Logic Specifications and Omega-Regular Languages. Theor. Comput. Sci. 195(2): 183-203 (1998)
	1997
41		Ilkka Kokkarinen, Doron Peled, Antti Valmari: Relaxed Visibility Enhances Partial Order Reduction. CAV 1997: 328-339
40		Girish Bhat, Doron Peled: Adding Partial Orders to Linear Temporal Logic. CONCUR 1997: 119-134
39		Parosh Aziz Abdulla, Mats Kindahl, Doron Peled: An Improved Search Strategy for Lossy Channel Systems. FORTE 1997: 251-264
38		Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Verifying hardware in its software context. ICCAD 1997: 742-749
37		E. Allen Emerson, Somesh Jha, Doron Peled: Combining Partial Order and Symmetry Reductions. TACAS 1997: 19-34
36		Vladimir Levin, Doron Peled: Verification of Message Sequence Charts via Template Matching. TAPSOFT 1997: 652-666
35		Doron Peled: Verification for Robust Specification. TPHOLs 1997: 231-241
34		Doron Peled, Thomas Wilke: Stutter-Invariant Temporal Properties are Expressible Without the Next-Time Operator. Inf. Process. Lett. 63(5): 243-246 (1997)
33		Doron Peled: On Projective and Separable Properties. Theor. Comput. Sci. 186(1-2): 135-156 (1997)
	1996
32		Gerard J. Holzmann, Doron Peled: The State of SPIN. CAV 1996: 385-389
31		Doron Peled, Thomas Wilke, Pierre Wolper: An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages. CONCUR 1996: 596-610
30		Patrice Godefroid, Doron Peled, Mark G. Staskauskas: Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. ISSTA 1996: 261-269
29		Rajeev Alur, Kenneth L. McMillan, Doron Peled: Model-Checking of Correctness Conditions for Concurrent Objects. LICS 1996: 219-228
28		Doron Peled: Partial Order Reduction: Model-Checking Using Representatives. MFCS 1996: 93-112
27		Ching-Tsun Chou, Doron Peled: Formal Verification of a Partial-Order Reduction Technique for Model Checking. TACAS 1996: 241-257
26		Rajeev Alur, Gerard J. Holzmann, Doron Peled: An Analyser for Mesage Sequence Charts. TACAS 1996: 35-48
25		Doron Peled: User Interfaces for Formal Methods. ACM Comput. Surv. 28(4es): 122 (1996)
24		Doron Peled: Combining Partial Order Reductions with On-the-Fly Model-Checking. Formal Methods in System Design 8(1): 39-64 (1996)
23		Patrice Godefroid, Doron Peled, Mark G. Staskauskas: Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. IEEE Trans. Software Eng. 22(7): 496-507 (1996)
22		Rajeev Alur, Gerard J. Holzmann, Doron Peled: An Analyzer for Message Sequence Charts. Software - Concepts and Tools 17(2): 70-77 (1996)
	1995
21		Rob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek: A Partial Order Approach to Branching Time Logic Model Checking. ISTCS 1995: 130-139
20		Rajeev Alur, Doron Peled, Wojciech Penczek: Model-Checking of Causality Properties LICS 1995: 90-100
19		Rob Gerth, Doron Peled, Moshe Y. Vardi, Pierre Wolper: Simple on-the-fly automatic verification of linear temporal logic. PSTV 1995: 3-18
18		Doron Peled, Wojciech Penczek: Using asynchronous Büchi automata for efficient automatic verification of concurrent systems. PSTV 1995: 315-330
	1994
17		Doron Peled: On Projective and Separable Properties. CAAP 1994: 291-308
16		Doron Peled: Combining Partial Order Reductions with On-the-fly Model-Checking. CAV 1994: 377-390
15		Gerard J. Holzmann, Doron Peled: An improvement in formal verification. FORTE 1994: 197-211
14		Marta Z. Kwiatkowska, Doron Peled, Wojciech Penczek: A Hierarchy of Partial Order Temporal Properties. ICTL 1994: 398-414
13		Doron Peled, Amir Pnueli: Proving Partial Order Properties. Theor. Comput. Sci. 126(2): 143-182 (1994)
12		Doron Peled, Mathai Joseph: A Compositional Framework for Fault Tolerance by Specification Transformation. Theor. Comput. Sci. 128(1&2): 99-125 (1994)
	1993
11		Doron Peled: All from One, One for All: on Model Checking Using Representatives. CAV 1993: 409-423
10		Doron Peled, Mathai Joseph: A Compositional Approach for Fault-Tolerance Using Specification Transformation. PARLE 1993: 173-184
	1992
9		Doron Peled: Sometimes 'Some' is as Good as 'All'. CONCUR 1992: 192-206
8		Shmuel Katz, Doron Peled: Verification of Distributed Programs Using Representative Interleaving Sequences. Distributed Computing 6(2): 107-120 (1992)
7		Shmuel Katz, Doron Peled: Defining Conditional Independence Using Collapses. Theor. Comput. Sci. 101(2): 337-359 (1992)
	1991
6		Doron Peled, Shmuel Katz, Amir Pnueli: Specifying and Proving Serializability in Temporal Logic LICS 1991: 232-244
	1990
5		Doron Peled, Amir Pnueli: Proving Partial Order Liveness Properties. ICALP 1990: 553-571
4		Shmuel Katz, Doron Peled: Interleaving Set Temporal Logic. Theor. Comput. Sci. 75(3): 263-287 (1990)
	1988
3		Shmuel Katz, Doron Peled: An efficient verification method for parallel and distributed programs. REX Workshop 1988: 489-507
	1987
2		Shmuel Katz, Doron Peled: Interleaving Set Temporal Logic (Preliminary Version). PODC 1987: 178-190
1		Shmuel Katz, Doron Peled: Interleaving Set Temporal Logic. Temporal Logic in Specification 1987: 21-43

Coauthor Index

1	Parosh Aziz Abdulla	[39] [48]
2	Rajeev Alur	[20] [22] [26] [29] [45] [52] [57] [61] [68] [92] [93]
3	Ananda Basu	[125] [136]
4	Peter A. Beerel	[59]
5	Saddek Bensalem	[90] [99] [112] [114] [125] [126] [130] [132] [136] [138]
6	Girish Bhat	[40] [43]
7	Dragan Bosnacki	[111] [123]
8	Marius Bozga	[132]
9	Ching-Tsun Chou	[27] [51]
10	Edmund M. Clarke	[50] [74]
11	Cindy Eisner	[81]
12	Edith Elkind	[106] [110] [111] [113] [123] [128]
13	E. Allen Emerson	[37]
14	Kousha Etessami	[57] [68]
15	John Fearnley	[144]
16	Blaise Genest	[87] [91] [98] [106] [110] [111] [113] [123] [128]
17	Rob Gerth	[19] [21] [53]
18	Patrice Godefroid	[23] [30]
19	Susanne Graf	[131] [132] [140] [143]
20	Andreas Griesmayer	[138]
21	Alex Groce	[80] [82] [103]
22	Orna Grumberg	[50] [74]
23	Elsa L. Gunter	[54] [63] [66] [69] [77] [79] [84] [85] [95]
24	Nicolas Halbwachs	[60]
25	Gerard J. Holzmann	[15] [22] [26] [32]
26	Michaela Huhn	[108] [109] [121]
27	Hardi Hungar	[108] [109] [121]
28	Somesh Jha	[37] [55]
29	Bengt Jonsson	[48]
30	Mathai Joseph	[10] [12]
31	Marcin Jurdzinski	[101]
32	Gal Katz	[116] [117] [119] [124] [129] [133] [141] [142]
33	Shmuel Katz	[1] [2] [3] [4] [6] [7] [8]
34	Mats Kindahl	[39] [48]
35	Ilkka Kokkarinen	[41] [67]
36	Ruurd Kuiper	[21] [53]
37	Robert P. Kurshan	[38] [44] [66] [76]
38	Dietrich Kuske	[98]
39	Marta Z. Kwiatkowska	[14]
40	Axel Legay	[138]
41	Vladimir Levin	[36] [38] [44] [59] [76]
42	Jing Liu	[135]
43	Francesco Logozzo	[120]
44	Zohar Manna	[134]
45	Kenneth L. McMillan	[29] [45] [61] [93]
46	Marius Minea	[38] [44] [50] [76] [91]
47	Anca Muscholl	[46] [56] [62] [69] [71] [84] [86] [87] [91] [98]
48	Thanh-Hung Nguyen	[138]
49	Peter Niebert	[105] [118] [122]
50	Patrizio Pelliccione	[115]
51	Wojciech Penczek	[14] [18] [20] [21] [53]
52	Amir Pnueli	[5] [6] [13] [72] [118]
53	Hongyang Qu	[89] [90] [96] [99] [100] [101] [104] [106] [112] [114]
54	Sophie Quinton	[131] [132] [140] [143]
55	Sven Schewe	[139] [141] [142] [144]
56	Natasha Sharygina	[73]
57	Joseph Sifakis	[125] [130] [136]
58	Paola Spoletini	[113] [115] [128]
59	Mark G. Staskauskas	[23] [30]
60	Zhendong Su	[46]
61	Salvatore La Torre	[57] [68]
62	Stavros Tripakis	[90] [99] [112] [114]
63	Yih-Kuen Tsay	[102] [107]
64	Antti Valmari	[41] [67]
65	Moshe Y. Vardi	[19] [58] [75] [83]
66	Bow-Yaw Wang	[135]
67	Farn Wang	[135]
68	Thomas Wilke	[31] [34] [42]
69	Pierre Wolper	[19] [31] [42]
70	Michael Wooldridge (Michael J. Wooldridge)	[127]
71	Mihalis Yannakakis	[58] [75] [80] [82] [103]
72	Hüsnü Yenigün	[38] [44] [59] [76]
73	Lenore D. Zuck	[70] [72] [112] [120]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page