| 2015 | FOSSACS | Knowledge = Observation + Memory + Computation. | Blaise Genest, Doron A. Peled, Sven Schewe |
| 2015 | MEMOCODE | Local and global fairness in concurrent systems. | Alon Brook, Doron A. Peled, Sven Schewe |
| 2014 | ISoLA | Using Statistical Model Checking for Measuring Systems. | Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang |
| 2014 | VMCAI | Monitoring Parametric Temporal Logic. | Peter Faymonville, Bernd Finkbeiner, Doron A. Peled |
| 2013 | ESOP | Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems. | Joost-Pieter Katoen, Doron A. Peled |
| 2013 | MEMOCODE | Synthesizing distributed scheduling implementation for probabilistic component-based systems. | Saddek Bensalem, Axel Legay, Ayoub Nouri, Doron A. Peled |
| 2012 | ATVA | Synthesis of Succinct Systems. | John Fearnley, Doron A. Peled, Sven Schewe |
| 2011 | ATVA | The Buck Stops Here: Order, Chance, and Coordination in Distributed Control. | Gal Katz, Doron A. Peled, Sven Schewe |
| 2011 | CAV | Synthesis of Distributed Control through Knowledge Accumulation. | Gal Katz, Doron A. Peled, Sven Schewe |
| 2011 | FORTE | Monitoring Distributed Systems Using Knowledge. | Susanne Graf, Doron A. Peled, Sophie Quinton |
| 2011 | MEMOCODE | Efficient deadlock detection for concurrent systems. | Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron A. Peled |
| 2010 | ATVA | Methods for Knowledge Based Controlling of Distributed Systems. | Saddek Bensalem, Marius Bozga, Susanne Graf, Doron A. Peled, Sophie Quinton |
| 2010 | ATVA | MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming. | Gal Katz, Doron A. Peled |
| 2010 | CAV | Achieving Distributed Control through Model Checking. | Susanne Graf, Doron A. Peled, Sophie Quinton |
| 2010 | TACAS | Code Mutation in Verification and Automatic Code Correction. | Gal Katz, Doron A. Peled |
| 2009 | CAV | Priority Scheduling of Distributed Systems Based on Model Checking. | Ananda Basu, Saddek Bensalem, Doron A. Peled, Joseph Sifakis |
| 2008 | ATVA | Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms. | Gal Katz, Doron A. Peled |
| 2008 | CAV | Discriminative Model Checking. | Peter Niebert, Doron A. Peled, Amir Pnueli |
| 2008 | TACAS | Model Checking-Based Genetic Programming with an Application to Mutual Exclusion. | Gal Katz, Doron A. Peled |
| 2007 | ATVA | Quantifying the Discord: Order Discrepancies in Message Sequence Charts. | Edith Elkind, Blaise Genest, Doron A. Peled, Paola Spoletini |
| 2007 | ICALP | On Commutativity Based Edge Lean Search. | Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron A. Peled |
| 2007 | TACAS | Detecting Races in Ensembles of Message Sequence Charts. | Edith Elkind, Blaise Genest, Doron A. Peled |
| 2006 | FORTE | Grey-Box Checking. | Edith Elkind, Blaise Genest, Doron A. Peled, Hongyang Qu |
| 2006 | TACAS | Efficient Model Checking for LTL with Partial Order Snapshots. | Peter Niebert, Doron A. Peled |
| 2005 | IFM | Generating Path Conditions for Timed Systems. | Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis |
| 2005 | TACAS | Snapshot Verification. | Blaise Genest, Dietrich Kuske, Anca Muscholl, Doron A. Peled |
| 2004 | FOSSACS | Specifying and Verifying Partial Order Properties Using Template MSCs. | Blaise Genest, Marius Minea, Anca Muscholl, Doron A. Peled |
| 2004 | ISoLA | Automatic Generation of Path Conditions for Timed Systems. | Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis |
| 2003 | FORTE | Automatic Verification of Annotated Code. | Doron A. Peled, Hongyang Qu |
| 2003 | ICALP | Model Checking and Testing Combined. | Doron A. Peled |
| 2002 | CAV | AMC: An Adaptive Model Checker. | Alex Groce, Doron A. Peled, Mihalis Yannakakis |
| 2002 | TACAS | Adaptive Model Checking. | Alex Groce, Doron A. Peled, Mihalis Yannakakis |
| 2002 | TACAS | Temporal Debugging for Concurrent Systems. | Elsa L. Gunter, Doron A. Peled |
| 2001 | FM | A Combined Testing and Verification Approach for Software Reliability. | Natasha Sharygina, Doron A. Peled |
| 2001 | ICALP | From Finite State Communication Protocols to High-Level Message Sequence Charts. | Anca Muscholl, Doron A. Peled |
| 2001 | TACAS | Compositional Message Sequence Charts. | Elsa L. Gunter, Anca Muscholl, Doron A. Peled |
| 2000 | CAV | PET: An Interactive Software Testing Tool. | Elsa L. Gunter, Robert P. Kurshan, Doron A. Peled |
| 2000 | FORTE | Specification and Verification of Message Sequence Charts. | Doron A. Peled |
| 2000 | PDPTA | Using a Mix of Languages in Formal Methods: The PET System. | Elsa L. Gunter, Doron A. Peled |
| 1999 | FORTE | Black Box Checking. | Doron A. Peled, Moshe Y. Vardi, Mihalis Yannakakis |
| 1999 | ICALP | Parametric Temporal Logic for "Model Measuring". | Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron A. Peled |
| 1999 | MFCS | Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces. | Anca Muscholl, Doron A. Peled |
| 1999 | PDPTA | Generalized Stuttering Equivalence. | Somesh Jha, Doron A. Peled |
| 1999 | TACAS | Path Exploration Tool. | Elsa L. Gunter, Doron A. Peled |
| 1998 | CAV | A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract). | Parosh Aziz Abdulla, Bengt Jonsson, Mats Kindahl, Doron A. Peled |
| 1998 | CAV | Ten Years of Partial Order Reduction. | Doron A. Peled |
| 1998 | CAV | A Toolset for Message Sequence Charts. | Doron A. Peled |
| 1998 | FOSSACS | Deciding Properties for Message Sequence Charts. | Anca Muscholl, Doron A. Peled, Zhendong Su |
| 1998 | ICALP | Deciding Global Partial-Order Properties. | Rajeev Alur, Kenneth L. McMillan, Doron A. Peled |
| 1998 | TACAS | Static Partial Order Reduction. | Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hsn Yenign |
| 1997 | CAV | Relaxed Visibility Enhances Partial Order Reduction. | Ilkka Kokkarinen, Doron A. Peled, Antti Valmari |
| 1997 | CONCUR | Adding Partial Orders to Linear Temporal Logic. | Girish Bhat, Doron A. Peled |
| 1997 | FORTE | An Improved Search Strategy for Lossy Channel Systems. | Parosh Aziz Abdulla, Mats Kindahl, Doron A. Peled |
| 1997 | ICCAD | Verifying hardware in its software context. | Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hsn Yenign |
| 1997 | TACAS | Combining Partial Order and Symmetry Reductions. | E. Allen Emerson, Somesh Jha, Doron A. Peled |
| 1996 | CAV | The State of SPIN. | Gerard J. Holzmann, Doron A. Peled |
| 1996 | CONCUR | An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages. | Doron A. Peled, Thomas Wilke, Pierre Wolper |
| 1996 | ISSTA | Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. | Patrice Godefroid, Doron A. Peled, Mark G. Staskauskas |
| 1996 | LICS | Model-Checking of Correctness Conditions for Concurrent Objects. | Rajeev Alur, Kenneth L. McMillan, Doron A. Peled |
| 1996 | MFCS | Partial Order Reduction: Model-Checking Using Representatives. | Doron A. Peled |
| 1996 | TACAS | An Analyser for Mesage Sequence Charts. | Rajeev Alur, Gerard J. Holzmann, Doron A. Peled |
| 1996 | TACAS | Formal Verification of a Partial-Order Reduction Technique for Model Checking. | Ching-Tsun Chou, Doron A. Peled |
| 1995 | LICS | Model-Checking of Causality Properties | Rajeev Alur, Doron A. Peled, Wojciech Penczek |
| 1994 | CAV | Combining Partial Order Reductions with On-the-fly Model-Checking. | Doron A. Peled |
| 1994 | FORTE | An improvement in formal verification. | Gerard J. Holzmann, Doron A. Peled |
| 1993 | CAV | All from One, One for All: on Model Checking Using Representatives. | Doron A. Peled |
| 1992 | CONCUR | Sometimes 'Some' is as Good as 'All'. | Doron A. Peled |
| 1991 | LICS | Specifying and Proving Serializability in Temporal Logic | Doron A. Peled, Shmuel Katz, Amir Pnueli |
| 1990 | ICALP | Proving Partial Order Liveness Properties. | Doron A. Peled, Amir Pnueli |
| 1987 | PODC | Interleaving Set Temporal Logic (Preliminary Version). | Shmuel Katz, Doron A. Peled |