Doron Peled

Joost-Pieter Katoen, Doron Peled: Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems. ESOP 2013: 411-430

Susanne Graf, Doron Peled, Sophie Quinton: Achieving distributed control through model checking. Formal Methods in System Design 40(2): 263-281 (2012)

John Fearnley, Doron Peled, Sven Schewe: Synthesis of Succinct Systems. ATVA 2012: 208-222

Chung-Hao Huang, Doron Peled, Sven Schewe, Farn Wang: Rapid Recovery for Systems with Scarce Faults. GandALF 2012: 15-28

Doron Peled, Sven Schewe (Eds.): Proceedings First Workshop on Synthesis. EPTCS 84, 2012

John Fearnley, Doron Peled, Sven Schewe: Synthesis of Succinct Systems. CoRR abs/1202.5449 (2012)

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)

Gal Katz, Doron Peled, Sven Schewe: The Buck Stops Here: Order, Chance, and Coordination in Distributed Control. ATVA 2011: 422-431

Gal Katz, Doron Peled, Sven Schewe: Synthesis of Distributed Control through Knowledge Accumulation. CAV 2011: 510-525

Susanne Graf, Doron Peled, Sophie Quinton: Monitoring Distributed Systems Using Knowledge. FMOODS/FORTE 2011: 183-197

Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron Peled: Efficient deadlock detection for concurrent systems. MEMOCODE 2011: 119-129

Doron Peled, Sven Schewe: Practical Distributed Control Synthesis. INFINITY 2011: 2-17

Doron Peled: Model Checking. Software and Systems Safety - Specification and Verification 2011: 260-281

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)

Saddek Bensalem, Marius Bozga, Susanne Graf, Doron Peled, Sophie Quinton: Methods for Knowledge Based Controlling of Distributed Systems. ATVA 2010: 52-66

Gal Katz, Doron Peled: MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming. ATVA 2010: 359-364

Saddek Bensalem, Doron Peled, Joseph Sifakis: Knowledge Based Scheduling of Distributed Systems. Essays in Memory of Amir Pnueli 2010: 26-41

Susanne Graf, Doron Peled, Sophie Quinton: Achieving Distributed Control through Model Checking. CAV 2010: 396-409

Gal Katz, Doron Peled: Code Mutation in Verification and Automatic Code Correction. TACAS 2010: 435-450

Zohar Manna, Doron Peled (Eds.): Time for Verification, Essays in Memory of Amir Pnueli. Lecture Notes in Computer Science 6200, Springer 2010, isbn 978-3-642-13753-2

Jing Liu, Doron Peled, Bow-Yaw Wang, Farn Wang (Eds.): 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, 25-27 August 2010. IEEE Computer Society 2010, isbn 978-0-7695-4148-8

Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled: On commutativity based Edge Lean search. Ann. Math. Artif. Intell. 56(2): 187-210 (2009)

Peter Niebert, Doron Peled: Efficient model checking for LTL with partial order snapshots. Theor. Comput. Sci. 410(42): 4180-4189 (2009)

Ananda Basu, Saddek Bensalem, Doron Peled, Joseph Sifakis: Priority Scheduling of Distributed Systems Based on Model Checking. CAV 2009: 79-93

Gal Katz, Doron Peled: Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic Programming. Haifa Verification Conference 2009: 117-132

Doron Peled, Michael Wooldridge (Eds.): Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers. Lecture Notes in Computer Science 5348, Springer 2009, isbn 978-3-642-00430-8

Saddek Bensalem, Doron Peled (Eds.): Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers. Lecture Notes in Computer Science 5779, Springer 2009, isbn 978-3-642-04693-3

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)

Gal Katz, Doron Peled: Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms. ATVA 2008: 33-47

Peter Niebert, Doron Peled, Amir Pnueli: Discriminative Model Checking. CAV 2008: 504-516

Gal Katz, Doron Peled: Model Checking Driven Heuristic Search for Correct Programs. MoChArt 2008: 122-131

Gal Katz, Doron Peled: Model Checking-Based Genetic Programming with an Application to Mutual Exclusion. TACAS 2008: 141-156

Doron Peled, Patrizio Pelliccione, Paola Spoletini: Model Checking. Wiley Encyclopedia of Computer Science and Engineering 2008

Michaela Huhn, Hardi Hungar, Doron Peled (Eds.): Tools for the Model-based Development of Certifiable, Dependable Systems, 10.06. - 15.06.2007. Dagstuhl Seminar Proceedings 07241, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008

Francesco Logozzo, Doron Peled, Lenore D. Zuck (Eds.): Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings. Lecture Notes in Computer Science 4905, Springer 2008, isbn 978-3-540-78162-2

Doron Peled, Yih-Kuen Tsay: Preface. Int. J. Found. Comput. Sci. 18(1): 1-4 (2007)

Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini: Quantifying the Discord: Order Discrepancies in Message Sequence Charts. ATVA 2007: 378-393

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

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

Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis, Lenore D. Zuck: Test Case Generation for Ultimately Periodic Paths. Haifa Verification Conference 2007: 120-135

Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled: On Commutativity Based Edge Lean Search. ICALP 2007: 158-170

Edith Elkind, Blaise Genest, Doron Peled: Detecting Races in Ensembles of Message Sequence Charts. TACAS 2007: 420-434

Alex Groce, Doron Peled, Mihalis Yannakakis: Adaptive Model Checking. Logic Journal of the IGPL 14(5): 729-744 (2006)

Doron Peled, Hongyang Qu: Enforcing Concurrent Temporal Behaviors. Int. J. Found. Comput. Sci. 17(4): 743-762 (2006)

Edith Elkind, Blaise Genest, Doron Peled, Hongyang Qu: Grey-Box Checking. FORTE 2006: 420-435

Peter Niebert, Doron Peled: Efficient Model Checking for LTL with Partial Order Snapshots. TACAS 2006: 272-286

Doron Peled, Hongyang Qu: Enforcing Concurrent Temporal Behaviors. Electr. Notes Theor. Comput. Sci. 113: 65-83 (2005)

Elsa L. Gunter, Doron Peled: Model checking, testing and verification working together. Formal Asp. Comput. 17(2): 201-221 (2005)

Doron Peled: Introduction: Special Issue on Partial Order in Formal Methods. Formal Methods in System Design 26(1): 5-6 (2005)

Rajeev Alur, Kenneth L. McMillan, Doron Peled: Deciding Global Partial-Order Properties. Formal Methods in System Design 26(1): 7-25 (2005)

Marcin Jurdzinski, Doron Peled, Hongyang Qu: Calculating Probabilities of Real-Time Test Cases. FATES 2005: 134-151

Doron Peled, Hongyang Qu: Time Unbalanced Partial Order. FATES 2005: 152-169

Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis: Generating Path Conditions for Timed Systems. IFM 2005: 5-19

Blaise Genest, Dietrich Kuske, Anca Muscholl, Doron Peled: Snapshot Verification. TACAS 2005: 510-525

Doron Peled: Automatic Test Generation and Monitoring of Infinite States Systems. VISSAS 2005: 127-142

Doron Peled, Yih-Kuen Tsay (Eds.): Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings. Lecture Notes in Computer Science 3707, Springer 2005, isbn 3-540-29209-8

Blaise Genest, Marius Minea, Anca Muscholl, Doron Peled: Specifying and Verifying Partial Order Properties Using Template MSCs. FoSSaCS 2004: 195-210

Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis: Automatic Generation of Path Conditions for Timed Systems. ISoLA (Preliminary proceedings) 2004: 243-249

Rajeev Alur, Doron Peled (Eds.): Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings. Lecture Notes in Computer Science 3114, Springer 2004, isbn 3-540-22342-8

Elsa L. Gunter, Anca Muscholl, Doron Peled: Compositional message sequence charts. STTT 5(1): 78-89 (2003)

Blaise Genest, Anca Muscholl, Doron Peled: Message Sequence Charts. Lectures on Concurrency and Petri Nets 2003: 537-558

Elsa L. Gunter, Doron Peled: Unit Checking: Symbolic Model Checking for a Unit of Code. Verification: Theory and Practice 2003: 548-567

Anca Muscholl, Doron Peled: Deciding Properties of Message Sequence Charts. Scenarios: Models, Transformations and Tools 2003: 43-65

Doron Peled, Hongyang Qu: Automatic Verification of Annotated Code. FORTE 2003: 127-143

Doron Peled: Model Checking and Testing Combined. ICALP 2003: 47-63

Doron Peled: Specification and Verification using Message Sequence Charts. Electr. Notes Theor. Comput. Sci. 65(7): 51-64 (2002)

Elsa L. Gunter, Doron Peled: Tracing the executions of concurrent programs. Electr. Notes Theor. Comput. Sci. 70(4): 128-141 (2002)

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)

Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis: Black Box Checking. Journal of Automata, Languages and Combinatorics 7(2): 225-246 (2002)

Alex Groce, Doron Peled, Mihalis Yannakakis: AMC: An Adaptive Model Checker. CAV 2002: 521-525

Cindy Eisner, Doron Peled: Comparing Symbolic and Explicit Model Checking of a Software System. SPIN 2002: 230-239

Alex Groce, Doron Peled, Mihalis Yannakakis: Adaptive Model Checking. TACAS 2002: 357-370

Elsa L. Gunter, Doron Peled: Temporal Debugging for Concurrent Systems. TACAS 2002: 431-444

Doron Peled, Moshe Y. Vardi (Eds.): Formal Techniques for Networked and Distributed Systems - FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings. Lecture Notes in Computer Science 2529, Springer 2002, isbn 3-540-00141-7

Edmund M. Clarke, Orna Grumberg, Doron Peled: Model checking. MIT Press 2001, isbn 978-0-262-03270-4, pp. I-XIV, 1-314

Doron Peled: Software Reliability Methods. Springer 2001, isbn 0-387-95106-7

Doron Peled, Antti Valmari, Ilkka Kokkarinen: Relaxed Visibility Enhances Partial Order Reduction. Formal Methods in System Design 19(3): 275-289 (2001)

Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron Peled: Parametric temporal logic for "model measuring". ACM Trans. Comput. Log. 2(3): 388-407 (2001)

Natasha Sharygina, Doron Peled: A Combined Testing and Verification Approach for Software Reliability. FME 2001: 611-628

Doron Peled, Amir Pnueli, Lenore D. Zuck: From Falsification to Verification. FSTTCS 2001: 292-304

Anca Muscholl, Doron Peled: From Finite State Communication Protocols to High-Level Message Sequence Charts. ICALP 2001: 720-731

Doron Peled, Lenore D. Zuck: From Model Checking to a Temporal Proof. SPIN 2001: 1-14

Elsa L. Gunter, Anca Muscholl, Doron Peled: Compositional Message Sequence Charts. TACAS 2001: 496-511

Rajeev Alur, Kenneth L. McMillan, Doron Peled: Model-Checking of Correctness Conditions for Concurrent Objects. Inf. Comput. 160(1-2): 167-188 (2000)

Elsa L. Gunter, Robert P. Kurshan, Doron Peled: PET: An Interactive Software Testing Tool. CAV 2000: 552-556

Doron Peled: Specification and Verification of Message Sequence Charts. FORTE 2000: 139-154

Doron Peled: Formal Methods for Message Sequence Charts. ICDCS Workshop on Distributed System Validation and Verification 2000: E7-E13

Elsa L. Gunter, Doron Peled: Using a Mix of Languages in Formal Methods: The PET System. PDPTA 2000

Anca Muscholl, Doron Peled: Analyzing Message Sequence Charts. SAM 2000: 3-17

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)

Rajeev Alur, Doron Peled: Undecidability of Partial Order Logics. Inf. Process. Lett. 69(3): 137-143 (1999)

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)

Edmund M. Clarke, Orna Grumberg, Marius Minea, Doron Peled: State Space Reduction Using Partial Order Techniques. STTT 2(3): 279-287 (1999)

Hüsnü Yenigün, Vladimir Levin, Doron Peled, Peter A. Beerel: Hazard-Freedom Checking in Speed-Independent Systems. CHARME 1999: 317-320

Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis: Black Box Checking. FORTE 1999: 225-240

Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron Peled: Parametric Temporal Logic for "Model Measuring". ICALP 1999: 159-168

Anca Muscholl, Doron Peled: Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces. MFCS 1999: 81-91

Somesh Jha, Doron Peled: Generalized Stuttering Equivalence. PDPTA 1999: 1054-1060

Elsa L. Gunter, Doron Peled: Path Exploration Tool. TACAS 1999: 405-419

Nicolas Halbwachs, Doron Peled (Eds.): Computer Aided Verification, 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings. Lecture Notes in Computer Science 1633, Springer 1999, isbn 3-540-66202-2

Girish Bhat, Doron Peled: Adding Partial Orders to Linear Temporal Logic. Fundam. Inform. 36(1): 1-21 (1998)

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)

Doron Peled: Ten Years of Partial Order Reduction. CAV 1998: 17-28

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

Doron Peled: A Toolset for Message Sequence Charts. CAV 1998: 532-536

Anca Muscholl, Doron Peled, Zhendong Su: Deciding Properties for Message Sequence Charts. FoSSaCS 1998: 226-242

Rajeev Alur, Kenneth L. McMillan, Doron Peled: Deciding Global Partial-Order Properties. ICALP 1998: 41-52

Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Static Partial Order Reduction. TACAS 1998: 345-357

Doron Peled, Thomas Wilke: Stutter-Invariant Temporal Properties are Expressible Without the Next-Time Operator. Inf. Process. Lett. 63(5): 243-246 (1997)

Doron Peled: On Projective and Separable Properties. Theor. Comput. Sci. 186(1-2): 135-156 (1997)

Ilkka Kokkarinen, Doron Peled, Antti Valmari: Relaxed Visibility Enhances Partial Order Reduction. CAV 1997: 328-339

Girish Bhat, Doron Peled: Adding Partial Orders to Linear Temporal Logic. CONCUR 1997: 119-134

Parosh Aziz Abdulla, Mats Kindahl, Doron Peled: An Improved Search Strategy for Lossy Channel Systems. FORTE 1997: 251-264

Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Verifying hardware in its software context. ICCAD 1997: 742-749

E. Allen Emerson, Somesh Jha, Doron Peled: Combining Partial Order and Symmetry Reductions. TACAS 1997: 19-34

Vladimir Levin, Doron Peled: Verification of Message Sequence Charts via Template Matching. TAPSOFT 1997: 652-666

Doron Peled: Verification for Robust Specification. TPHOLs 1997: 231-241

Doron Peled: User Interfaces for Formal Methods. ACM Comput. Surv. 28(4es): 122 (1996)

Doron Peled: Combining Partial Order Reductions with On-the-Fly Model-Checking. Formal Methods in System Design 8(1): 39-64 (1996)

Rajeev Alur, Gerard J. Holzmann, Doron Peled: An Analyzer for Message Sequence Charts. Software - Concepts and Tools 17(2): 70-77 (1996)

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)

Gerard J. Holzmann, Doron Peled: The State of SPIN. CAV 1996: 385-389

Doron Peled, Thomas Wilke, Pierre Wolper: An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages. CONCUR 1996: 596-610

Patrice Godefroid, Doron Peled, Mark G. Staskauskas: Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. ISSTA 1996: 261-269

Rajeev Alur, Kenneth L. McMillan, Doron Peled: Model-Checking of Correctness Conditions for Concurrent Objects. LICS 1996: 219-228

Doron Peled: Partial Order Reduction: Model-Checking Using Representatives. MFCS 1996: 93-112

Rajeev Alur, Gerard J. Holzmann, Doron Peled: An Analyser for Mesage Sequence Charts. TACAS 1996: 35-48

Ching-Tsun Chou, Doron Peled: Formal Verification of a Partial-Order Reduction Technique for Model Checking. TACAS 1996: 241-257

Rob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek: A Partial Order Approach to Branching Time Logic Model Checking. ISTCS 1995: 130-139

Rajeev Alur, Doron Peled, Wojciech Penczek: Model-Checking of Causality Properties. LICS 1995: 90-100

Rob Gerth, Doron Peled, Moshe Y. Vardi, Pierre Wolper: Simple on-the-fly automatic verification of linear temporal logic. PSTV 1995: 3-18

Doron Peled, Wojciech Penczek: Using asynchronous Büchi automata for efficient automatic verification of concurrent systems. PSTV 1995: 315-330

Doron Peled, Amir Pnueli: Proving Partial Order Properties. Theor. Comput. Sci. 126(2): 143-182 (1994)

Doron Peled, Mathai Joseph: A Compositional Framework for Fault Tolerance by Specification Transformation. Theor. Comput. Sci. 128(1&2): 99-125 (1994)

Doron Peled: On Projective and Separable Properties. CAAP 1994: 291-308

Doron Peled: Combining Partial Order Reductions with On-the-fly Model-Checking. CAV 1994: 377-390

Gerard J. Holzmann, Doron Peled: An improvement in formal verification. FORTE 1994: 197-211

Marta Z. Kwiatkowska, Doron Peled, Wojciech Penczek: A Hierarchy of Partial Order Temporal Properties. ICTL 1994: 398-414

Doron Peled: All from One, One for All: on Model Checking Using Representatives. CAV 1993: 409-423

Doron Peled, Mathai Joseph: A Compositional Approach for Fault-Tolerance Using Specification Transformation. PARLE 1993: 173-184

Shmuel Katz, Doron Peled: Verification of Distributed Programs Using Representative Interleaving Sequences. Distributed Computing 6(2): 107-120 (1992)

Shmuel Katz, Doron Peled: Defining Conditional Independence Using Collapses. Theor. Comput. Sci. 101(2): 337-359 (1992)

Doron Peled: Sometimes 'Some' is as Good as 'All'. CONCUR 1992: 192-206

Doron Peled, Shmuel Katz, Amir Pnueli: Specifying and Proving Serializability in Temporal Logic. LICS 1991: 232-244

Shmuel Katz, Doron Peled: Interleaving Set Temporal Logic. Theor. Comput. Sci. 75(3): 263-287 (1990)

Doron Peled, Amir Pnueli: Proving Partial Order Liveness Properties. ICALP 1990: 553-571

Shmuel Katz, Doron Peled: An efficient verification method for parallel and distributed programs. REX Workshop 1988: 489-507

Shmuel Katz, Doron Peled: Interleaving Set Temporal Logic (Preliminary Version). PODC 1987: 178-190

Shmuel Katz, Doron Peled: Interleaving Set Temporal Logic. Temporal Logic in Specification 1987: 21-43