Doron A. Peled

175 papers A* 25A 16B 19C 10Misc 3Journal 40Unranked 45
YearRankTypeTitle / Venue / Authors
2019 — ch.
Formal Methods.
Handbook of Software Engineering
Doron A. Peled
2018 — book
Model checking, 2nd Edition.
Edmund M. Clarke, Orna Grumberg, Daniel Kroening, Doron A. Peled, Helmut Veith
2016 J jnl
A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors.
IEEE Trans. Software Eng.
Chung-Hao Huang, Doron A. Peled, Sven Schewe, Farn Wang
2015 — book
Dependable Software Systems Engineering
Dependable Software Systems Engineering
Maximilian Irlbeck, Doron A. Peled, Alexander Pretschner
2015 — ch.
From Verification to Synthesis.
Dependable Software Systems Engineering
Doron A. Peled
2015 B conf
Knowledge = Observation + Memory + Computation.
FoSSaCS
Blaise Genest, Doron A. Peled, Sven Schewe
2015 C conf
Local and global fairness in concurrent systems.
MEMOCODE
Alon Brook, Doron A. Peled, Sven Schewe
2015 J jnl
Synthesis of succinct systems.
J. Comput. Syst. Sci.
John Fearnley, Doron A. Peled, Sven Schewe
2014 — conf
Compositional Branching-Time Measurements.
FPS@ETAPS
Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang
2014 — ch.
Distributed Control Synthesis.
HOWARD-60
Doron A. Peled, Sven Schewe
2014 J jnl
Editorial: special issue on synthesis.
Acta Informatica
Doron A. Peled, Sven Schewe
2014 B conf
Monitoring Parametric Temporal Logic.
VMCAI
Peter Faymonville, Bernd Finkbeiner, Doron A. Peled
2014 — conf
Using Statistical Model Checking for Measuring Systems.
ISoLA (2)
Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang
2013 — book
Engineering Dependable Software Systems
Engineering Dependable Software Systems
Manfred Broy, Doron A. Peled, Georg Kalus
2013 — ch.
Model Checking Basics.
Engineering Dependable Software Systems
Doron A. Peled
2013 — conf
Performance Evaluation of Process Partitioning Using Probabilistic Model Checking.
Haifa Verification Conference
Saddek Bensalem, Borzoo Bonakdarpour, Marius Bozga, Doron A. Peled, Jean Quilbeuf
2013 — conf
Synthesis of Parametric Programs using Genetic Programming and Model Checking.
INFINITY
Gal Katz, Doron A. Peled
2013 C conf
Synthesizing distributed scheduling implementation for probabilistic component-based systems.
MEMOCODE
Saddek Bensalem, Axel Legay, Ayoub Nouri, Doron A. Peled
2013 — conf
Synthesizing, Correcting and Improving Code, Using Model Checking-Based Genetic Programming.
Haifa Verification Conference
Gal Katz, Doron A. Peled
2013 A conf
Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems.
ESOP
Joost-Pieter Katoen, Doron A. Peled
2012 J jnl
Achieving distributed control through model checking.
Formal Methods Syst. Des.
Susanne Graf, Doron A. Peled, Sophie Quinton
2012 — conf
Knowledge Based Transactional Behavior.
Haifa Verification Conference
Saddek Bensalem, Marius Bozga, Doron A. Peled, Jean Quilbeuf
2012 — ed.
Proceedings First Workshop on Synthesis, SYNT 2012, Berkeley, California, USA, 7th and 8th July 2012.
SYNT
Doron A. Peled, Sven Schewe
2012 — conf
Rapid Recovery for Systems with Scarce Faults
GandALF
Chung-Hao Huang, Doron A. Peled, Sven Schewe, Farn Wang
2012 J jnl
Synthesis of Succinct Systems
CoRR
John Fearnley, Doron A. Peled, Sven Schewe
2012 B conf
Synthesis of Succinct Systems.
ATVA
John Fearnley, Doron A. Peled, Sven Schewe
2011 C conf
Efficient deadlock detection for concurrent systems.
MEMOCODE
Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron A. Peled
2011 — ch.
Model Checking.
Software and Systems Safety - Specification and Verification
Doron A. Peled
2011 — conf
Monitoring Distributed Systems Using Knowledge.
FMOODS/FORTE
Susanne Graf, Doron A. Peled, Sophie Quinton
2011 — conf
Practical Distributed Control Synthesis
INFINITY
Doron A. Peled, Sven Schewe
2011 J jnl
Priority scheduling of distributed systems based on model checking.
Formal Methods Syst. Des.
Ananda Basu, Saddek Bensalem, Doron A. Peled, Joseph Sifakis
2011 A* conf
Synthesis of Distributed Control through Knowledge Accumulation.
CAV
Gal Katz, Doron A. Peled, Sven Schewe
2011 B conf
The Buck Stops Here: Order, Chance, and Coordination in Distributed Control.
ATVA
Gal Katz, Doron A. Peled, Sven Schewe
2010 Misc ed.
4th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, 25-27 August 2010
TASE
Jing Liu, Doron A. Peled, Bow-Yaw Wang, Farn Wang
2010 A* conf
Achieving Distributed Control through Model Checking.
CAV
Susanne Graf, Doron A. Peled, Sophie Quinton
2010 A conf
Code Mutation in Verification and Automatic Code Correction.
TACAS
Gal Katz, Doron A. Peled
2010 — conf
Knowledge Based Scheduling of Distributed Systems.
Essays in Memory of Amir Pnueli
Saddek Bensalem, Doron A. Peled, Joseph Sifakis
2010 B conf
MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming.
ATVA
Gal Katz, Doron A. Peled
2010 B conf
Methods for Knowledge Based Controlling of Distributed Systems.
ATVA
Saddek Bensalem, Marius Bozga, Susanne Graf, Doron A. Peled, Sophie Quinton
2010 J jnl
Quantifying the Discord: Order Discrepancies in Message Sequence Charts.
Int. J. Found. Comput. Sci.
Edith Elkind, Blaise Genest, Doron A. Peled, Paola Spoletini
2010 — ed.
Time for Verification, Essays in Memory of Amir Pnueli
Essays in Memory of Amir Pnueli
Zohar Manna, Doron A. Peled
2009 J jnl
Efficient model checking for LTL with partial order snapshots.
Theor. Comput. Sci.
Peter Niebert, Doron A. Peled
2009 — ed.
Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers
MoChArt
Doron A. Peled, Michael J. Wooldridge
2009 J jnl
On commutativity based Edge Lean search.
Ann. Math. Artif. Intell.
Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron A. Peled
2009 A* conf
Priority Scheduling of Distributed Systems Based on Model Checking.
CAV
Ananda Basu, Saddek Bensalem, Doron A. Peled, Joseph Sifakis
2009 B ed.
Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers
RV
Saddek Bensalem, Doron A. Peled
2009 — conf
Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic Programming.
Haifa Verification Conference
Gal Katz, Doron A. Peled
2008 J jnl
Automatic generation of path conditions for concurrent timed systems.
Theor. Comput. Sci.
Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis
2008 A* conf
Discriminative Model Checking.
CAV
Peter Niebert, Doron A. Peled, Amir Pnueli
2008 B conf
Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms.
ATVA
Gal Katz, Doron A. Peled
2008 — conf
Model Checking Driven Heuristic Search for Correct Programs.
MoChArt
Gal Katz, Doron A. Peled
2008 A conf
Model Checking-Based Genetic Programming with an Application to Mutual Exclusion.
TACAS
Gal Katz, Doron A. Peled
2008 — ch.
Model Checking.
Wiley Encyclopedia of Computer Science and Engineering
Doron A. Peled, Patrizio Pelliccione, Paola Spoletini
2008 — ed.
Tools for the Model-based Development of Certifiable, Dependable Systems, 10.06. - 15.06.2007
Tools for the Model-based Development of Certifiable, Dependable Systems
Michaela Huhn, Hardi Hungar, Doron A. Peled
2008 B ed.
Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
VMCAI
Francesco Logozzo, Doron A. Peled, Lenore D. Zuck
2007 — conf
07241 Abstracts Collection - Tools for the Model-based Development of Certifiable, Dependable Systems.
Tools for the Model-based Development of Certifiable, Dependable Systems
Michaela Huhn, Hardi Hungar, Doron A. Peled
2007 — conf
07241 Summary - Tools for the Model-based Development of Certifiable, Dependable Systems.
Tools for the Model-based Development of Certifiable, Dependable Systems
Michaela Huhn, Hardi Hungar, Doron A. Peled
2007 A conf
Detecting Races in Ensembles of Message Sequence Charts.
TACAS
Edith Elkind, Blaise Genest, Doron A. Peled
2007 A* conf
On Commutativity Based Edge Lean Search.
ICALP
Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron A. Peled
2007 J jnl
Preface.
Int. J. Found. Comput. Sci.
Doron A. Peled, Yih-Kuen Tsay
2007 B conf
Quantifying the Discord: Order Discrepancies in Message Sequence Charts.
ATVA
Edith Elkind, Blaise Genest, Doron A. Peled, Paola Spoletini
2007 — conf
Test Case Generation for Ultimately Periodic Paths.
Haifa Verification Conference
Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis, Lenore D. Zuck
2006 J jnl
Adaptive Model Checking.
Log. J. IGPL
Alex Groce, Doron A. Peled, Mihalis Yannakakis
2006 A conf
Efficient Model Checking for LTL with Partial Order Snapshots.
TACAS
Peter Niebert, Doron A. Peled
2006 J jnl
Enforcing Concurrent Temporal Behaviors.
Int. J. Found. Comput. Sci.
Doron A. Peled, Hongyang Qu
2006 C conf
Grey-Box Checking.
FORTE
Edith Elkind, Blaise Genest, Doron A. Peled, Hongyang Qu
2005 B ed.
Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
ATVA
Doron A. Peled, Yih-Kuen Tsay
2005 — conf
Automatic Test Generation and Monitoring of Infinite States Systems.
VISSAS
Doron A. Peled
2005 — conf
Calculating Probabilities of Real-Time Test Cases.
FATES
Marcin Jurdzinski, Doron A. Peled, Hongyang Qu
2005 J jnl
Deciding Global Partial-Order Properties.
Formal Methods Syst. Des.
Rajeev Alur, Kenneth L. McMillan, Doron A. Peled
2005 B conf
Generating Path Conditions for Timed Systems.
IFM
Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis
2005 J jnl
Introduction: Special Issue on Partial Order in Formal Methods.
Formal Methods Syst. Des.
Doron A. Peled
2005 J jnl
Model checking, testing and verification working together.
Formal Aspects Comput.
Elsa L. Gunter, Doron A. Peled
2005 A conf
Snapshot Verification.
TACAS
Blaise Genest, Dietrich Kuske, Anca Muscholl, Doron A. Peled
2005 — conf
Time Unbalanced Partial Order.
FATES
Doron A. Peled, Hongyang Qu
2004 — conf
Automatic Generation of Path Conditions for Timed Systems.
ISoLA (Preliminary proceedings)
Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis
2004 A* ed.
Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
CAV
Rajeev Alur, Doron A. Peled
2004 — conf
Enforcing Concurrent Temporal Behaviors.
RV@ETAPS
Doron A. Peled, Hongyang Qu
2004 B conf
Specifying and Verifying Partial Order Properties Using Template MSCs.
FoSSaCS
Blaise Genest, Marius Minea, Anca Muscholl, Doron A. Peled
2003 C conf
Automatic Verification of Annotated Code.
FORTE
Doron A. Peled, Hongyang Qu
2003 J jnl
Compositional message sequence charts.
Int. J. Softw. Tools Technol. Transf.
Elsa L. Gunter, Anca Muscholl, Doron A. Peled
2003 — conf
Deciding Properties of Message Sequence Charts.
Scenarios: Models, Transformations and Tools
Anca Muscholl, Doron A. Peled
2003 — conf
Message Sequence Charts.
Lectures on Concurrency and Petri Nets
Blaise Genest, Anca Muscholl, Doron A. Peled
2003 A* conf
Model Checking and Testing Combined.
ICALP
Doron A. Peled
2003 — conf
Unit Checking: Symbolic Model Checking for a Unit of Code.
Verification: Theory and Practice
Elsa L. Gunter, Doron A. Peled
2002 A* conf
AMC: An Adaptive Model Checker.
CAV
Alex Groce, Doron A. Peled, Mihalis Yannakakis
2002 A conf
Adaptive Model Checking.
TACAS
Alex Groce, Doron A. Peled, Mihalis Yannakakis
2002 J jnl
Black Box Checking.
J. Autom. Lang. Comb.
Doron A. Peled, Moshe Y. Vardi, Mihalis Yannakakis
2002 J jnl
Combining Software and Hardware Verification Techniques.
Formal Methods Syst. Des.
Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün
2002 — conf
Comparing Symbolic and Explicit Model Checking of a Software System.
SPIN
Cindy Eisner, Doron A. Peled
2002 C ed.
Formal Techniques for Networked and Distributed Systems - FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings
FORTE
Doron A. Peled, Moshe Y. Vardi
2002 — conf
Specification and Verification using Message Sequence Charts.
VISS@ETAPS
Doron A. Peled
2002 A conf
Temporal Debugging for Concurrent Systems.
TACAS
Elsa L. Gunter, Doron A. Peled
2002 — conf
Tracing the executions of concurrent programs.
RV@FLoC
Elsa L. Gunter, Doron A. Peled
2001 — conf
A Combined Testing and Verification Approach for Software Reliability.
FME
Natasha Sharygina, Doron A. Peled
2001 A conf
Compositional Message Sequence Charts.
TACAS
Elsa L. Gunter, Anca Muscholl, Doron A. Peled
2001 — conf
From Falsification to Verification.
FSTTCS
Doron A. Peled, Amir Pnueli, Lenore D. Zuck
2001 A* conf
From Finite State Communication Protocols to High-Level Message Sequence Charts.
ICALP
Anca Muscholl, Doron A. Peled
2001 — conf
From Model Checking to a Temporal Proof.
SPIN
Doron A. Peled, Lenore D. Zuck
2001 — book
Model checking, 1st Edition.
Edmund M. Clarke, Orna Grumberg, Doron A. Peled
2001 J jnl
Parametric temporal logic for "model measuring".
ACM Trans. Comput. Log.
Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron A. Peled
2001 J jnl
Relaxed Visibility Enhances Partial Order Reduction.
Formal Methods Syst. Des.
Doron A. Peled, Antti Valmari, Ilkka Kokkarinen
2001 — book
Software Reliability Methods.
Doron A. Peled
2000 — conf
Analyzing Message Sequence Charts.
SAM
Anca Muscholl, Doron A. Peled
2000 — conf
Formal Methods for Message Sequence Charts.
ICDCS Workshop on Distributed System Validation and Verification
Doron A. Peled
2000 J jnl
Model-Checking of Correctness Conditions for Concurrent Objects.
Inf. Comput.
Rajeev Alur, Kenneth L. McMillan, Doron A. Peled
2000 A* conf
PET: An Interactive Software Testing Tool.
CAV
Elsa L. Gunter, Robert P. Kurshan, Doron A. Peled
2000 C conf
Specification and Verification of Message Sequence Charts.
FORTE
Doron A. Peled
2000 Misc conf
Using a Mix of Languages in Formal Methods: The PET System.
PDPTA
Elsa L. Gunter, Doron A. Peled
1999 J jnl
A Partial Order Approach to Branching Time Logic Model Checking.
Inf. Comput.
Rob Gerth, Ruurd Kuiper, Doron A. Peled, Wojciech Penczek
1999 C conf
Black Box Checking.
FORTE
Doron A. Peled, Moshe Y. Vardi, Mihalis Yannakakis
1999 A* ed.
Computer Aided Verification, 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings
CAV
Nicolas Halbwachs, Doron A. Peled
1999 J jnl
Formal Verification of a Partial-Order Reduction Technique for Model Checking.
J. Autom. Reason.
Ching-Tsun Chou, Doron A. Peled
1999 Misc conf
Generalized Stuttering Equivalence.
PDPTA
Somesh Jha, Doron A. Peled
1999 — conf
Hazard-Freedom Checking in Speed-Independent Systems.
CHARME
Hüsnü Yenigün, Vladimir Levin, Doron A. Peled, Peter A. Beerel
1999 B conf
Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces.
MFCS
Anca Muscholl, Doron A. Peled
1999 A* conf
Parametric Temporal Logic for "Model Measuring".
ICALP
Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron A. Peled
1999 A conf
Path Exploration Tool.
TACAS
Elsa L. Gunter, Doron A. Peled
1999 J jnl
State Space Reduction Using Partial Order Techniques.
Int. J. Softw. Tools Technol. Transf.
Edmund M. Clarke, Orna Grumberg, Marius Minea, Doron A. Peled
1999 J jnl
Undecidability of Partial Order Logics.
Inf. Process. Lett.
Rajeev Alur, Doron A. Peled
1998 A* conf
A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract).
CAV
Parosh Aziz Abdulla, Bengt Jonsson, Mats Kindahl, Doron A. Peled
1998 A* conf
A Toolset for Message Sequence Charts.
CAV
Doron A. Peled
1998 J jnl
Adding Partial Orders to Linear Temporal Logic.
Fundam. Informaticae
Girish Bhat, Doron A. Peled
1998 J jnl
An Algorithmic Approach for Checking Closure Properties of Temporal Logic Specifications and Omega-Regular Languages.
Theor. Comput. Sci.
Doron A. Peled, Thomas Wilke, Pierre Wolper
1998 A* conf
Deciding Global Partial-Order Properties.
ICALP
Rajeev Alur, Kenneth L. McMillan, Doron A. Peled
1998 B conf
Deciding Properties for Message Sequence Charts.
FoSSaCS
Anca Muscholl, Doron A. Peled, Zhendong Su
1998 A conf
Static Partial Order Reduction.
TACAS
Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün
1998 A* conf
Ten Years of Partial Order Reduction.
CAV
Doron A. Peled
1997 B conf
Adding Partial Orders to Linear Temporal Logic.
CONCUR
Girish Bhat, Doron A. Peled
1997 C conf
An Improved Search Strategy for Lossy Channel Systems.
FORTE
Parosh Aziz Abdulla, Mats Kindahl, Doron A. Peled
1997 A conf
Combining Partial Order and Symmetry Reductions.
TACAS
E. Allen Emerson, Somesh Jha, Doron A. Peled
1997 J jnl
Design tools for requirements engineering.
Bell Labs Tech. J.
Gerard J. Holzmann, Doron A. Peled, Margaret H. Redberg
1997 J jnl
On Projective and Separable Properties.
Theor. Comput. Sci.
Doron A. Peled
1997 A* conf
Relaxed Visibility Enhances Partial Order Reduction.
CAV
Ilkka Kokkarinen, Doron A. Peled, Antti Valmari
1997 J jnl
Stutter-Invariant Temporal Properties are Expressible Without the Next-Time Operator.
Inf. Process. Lett.
Doron A. Peled, Thomas Wilke
1997 — ed.
The Spin Verification System, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, August, 1996
The Spin Verification System
Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled
1997 — conf
Verification for Robust Specification.
TPHOLs
Doron A. Peled
1997 — conf
Verification of Message Sequence Charts via Template Matching.
TAPSOFT
Vladimir Levin, Doron A. Peled
1997 A conf
Verifying hardware in its software context.
ICCAD
Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün
1996 B conf
An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages.
CONCUR
Doron A. Peled, Thomas Wilke, Pierre Wolper
1996 A conf
An Analyser for Mesage Sequence Charts.
TACAS
Rajeev Alur, Gerard J. Holzmann, Doron A. Peled
1996 J jnl
An Analyzer for Message Sequence Charts.
Softw. Concepts Tools
Rajeev Alur, Gerard J. Holzmann, Doron A. Peled
1996 J jnl
Combining Partial Order Reductions with On-the-Fly Model-Checking.
Formal Methods Syst. Des.
Doron A. Peled
1996 A conf
Formal Verification of a Partial-Order Reduction Technique for Model Checking.
TACAS
Ching-Tsun Chou, Doron A. Peled
1996 A* conf
Model-Checking of Correctness Conditions for Concurrent Objects.
LICS
Rajeev Alur, Kenneth L. McMillan, Doron A. Peled
1996 — conf
On nested depth first search.
The Spin Verification System
Gerard J. Holzmann, Doron A. Peled, Mihalis Yannakakis
1996 — ed.
Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996
Partial Order Methods in Verification
Doron A. Peled, Vaughan R. Pratt, Gerard J. Holzmann
1996 B conf
Partial Order Reduction: Model-Checking Using Representatives.
MFCS
Doron A. Peled
1996 — conf
Partial order reduction: Linear and branching temporal logics and process algebras.
Partial Order Methods in Verification
Doron A. Peled
1996 — conf
Preface.
The Spin Verification System
Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled
1996 A* conf
The State of SPIN.
CAV
Gerard J. Holzmann, Doron A. Peled
1996 J jnl
User Interfaces for Formal Methods.
ACM Comput. Surv.
Doron A. Peled
1996 A conf
Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs.
ISSTA
Patrice Godefroid, Doron A. Peled, Mark G. Staskauskas
1996 J jnl
Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs.
IEEE Trans. Software Eng.
Patrice Godefroid, Doron A. Peled, Mark G. Staskauskas
1995 — conf
A Partial Order Approach to Branching Time Logic Model Checking.
ISTCS
Rob Gerth, Ruurd Kuiper, Doron A. Peled, Wojciech Penczek
1995 A* conf
Model-Checking of Causality Properties
LICS
Rajeev Alur, Doron A. Peled, Wojciech Penczek
1995 — conf
Simple on-the-fly automatic verification of linear temporal logic.
PSTV
Rob Gerth, Doron A. Peled, Moshe Y. Vardi, Pierre Wolper
1995 — conf
Using asynchronous Büchi automata for efficient automatic verification of concurrent systems.
PSTV
Doron A. Peled, Wojciech Penczek
1994 J jnl
A Compositional Framework for Fault Tolerance by Specification Transformation.
Theor. Comput. Sci.
Doron A. Peled, Mathai Joseph
1994 — conf
A Hierarchy of Partial Order Temporal Properties.
ICTL
Marta Z. Kwiatkowska, Doron A. Peled, Wojciech Penczek
1994 C conf
An improvement in formal verification.
FORTE
Gerard J. Holzmann, Doron A. Peled
1994 A* conf
Combining Partial Order Reductions with On-the-fly Model-Checking.
CAV
Doron A. Peled
1994 — conf
On Projective and Separable Properties.
CAAP
Doron A. Peled
1994 J jnl
Proving Partial Order Properties.
Theor. Comput. Sci.
Doron A. Peled, Amir Pnueli
1993 — conf
A Compositional Approach for Fault-Tolerance Using Specification Transformation.
PARLE
Doron A. Peled, Mathai Joseph
1993 A* conf
All from One, One for All: on Model Checking Using Representatives.
CAV
Doron A. Peled
1992 J jnl
Defining Conditional Independence Using Collapses.
Theor. Comput. Sci.
Shmuel Katz, Doron A. Peled
1992 B conf
Sometimes 'Some' is as Good as 'All'.
CONCUR
Doron A. Peled
1992 J jnl
Verification of Distributed Programs Using Representative Interleaving Sequences.
Distributed Comput.
Shmuel Katz, Doron A. Peled
1991 A* conf
Specifying and Proving Serializability in Temporal Logic
LICS
Doron A. Peled, Shmuel Katz, Amir Pnueli
1990 J jnl
Interleaving Set Temporal Logic.
Theor. Comput. Sci.
Shmuel Katz, Doron A. Peled
1990 A* conf
Proving Partial Order Liveness Properties.
ICALP
Doron A. Peled, Amir Pnueli
1988 — conf
An efficient verification method for parallel and distributed programs.
REX Workshop
Shmuel Katz, Doron A. Peled
1987 A* conf
Interleaving Set Temporal Logic (Preliminary Version).
PODC
Shmuel Katz, Doron A. Peled
1987 — conf
Interleaving Set Temporal Logic.
Temporal Logic in Specification
Shmuel Katz, Doron A. Peled