| 2006 |
|---|
| EE | Peter Niebert,
Doron Peled:
Efficient Model Checking for LTL with Partial Order Snapshots.
TACAS 2006: 272-286 |
| 2005 |
|---|
| | 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 |
| EE | Marcin Jurdzinski,
Doron Peled,
Hongyang Qu:
Calculating Probabilities of Real-Time Test Cases.
FATES 2005: 134-151 |
| | Doron Peled, Automatic Test Generation and Monitoring of Infinite States Systems.
VISSAS 2005, Timisoara, Romania, March 17--22, 2005, Proceedings, IOS Press. |
| EE | Doron Peled,
Hongyang Qu:
Time Unbalanced Partial Order.
FATES 2005: 152-169 |
| EE | Saddek Bensalem,
Doron Peled,
Hongyang Qu,
Stavros Tripakis:
Generating Path Conditions for Timed Systems.
IFM 2005: 5-19 |
| EE | Blaise Genest,
Dietrich Kuske,
Anca Muscholl,
Doron Peled:
Snapshot Verification.
TACAS 2005: 510-525 |
| EE | Doron Peled,
Hongyang Qu:
Enforcing Concurrent Temporal Behaviors.
Electr. Notes Theor. Comput. Sci. 113: 65-83 (2005) |
| EE | Elsa L. Gunter,
Doron Peled:
Model checking, testing and verification working together.
Formal Asp. Comput. 17(2): 201-221 (2005) |
| EE | Doron Peled:
Introduction: Special Issue on Partial Order in Formal Methods.
Formal Methods in System Design 26(1): 5-6 (2005) |
| EE | Rajeev Alur,
Kenneth L. McMillan,
Doron Peled:
Deciding Global Partial-Order Properties.
Formal Methods in System Design 26(1): 7-25 (2005) |
| 2004 |
|---|
| | Rajeev Alur,
Doron Peled:
Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
Springer 2004 |
| EE | Blaise Genest,
Marius Minea,
Anca Muscholl,
Doron Peled:
Specifying and Verifying Partial Order Properties Using Template MSCs.
FoSSaCS 2004: 195-210 |
| 2003 |
|---|
| EE | Doron Peled,
Hongyang Qu:
Automatic Verification of Annotated Code.
FORTE 2003: 127-143 |
| EE | Doron Peled:
Model Checking and Testing Combined.
ICALP 2003: 47-63 |
| EE | Blaise Genest,
Anca Muscholl,
Doron Peled:
Message Sequence Charts.
Lectures on Concurrency and Petri Nets 2003: 537-558 |
| EE | Anca Muscholl,
Doron Peled:
Deciding Properties of Message Sequence Charts.
Scenarios: Models, Transformations and Tools 2003: 43-65 |
| EE | Elsa L. Gunter,
Doron Peled:
Unit Checking: Symbolic Model Checking for a Unit of Code. (see journal version of paper with same co-author, 2005)
Verification: Theory and Practice 2003: 548-567 |
| EE | Elsa L. Gunter,
Anca Muscholl,
Doron Peled:
Compositional message sequence charts.
STTT 5(1): 78-89 (2003) |
| 2002 |
|---|
| | | 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 |
| | EE | Alex Groce,
Doron Peled,
Mihalis Yannakakis:
AMC: An Adaptive Model Checker.
CAV 2002: 521-525 |
| |
EE | Cindy Eisner,
Doron Peled:
Comparing Symbolic and Explicit Model
Checking of a Software System.
SPIN 2002: 230-23
9 |
| | EE | Alex Groce,
Doron Peled,
Mihalis Yannakakis:
Adaptive Model Checking.
TACAS 2002: 357-370 |
| | EE | Elsa L. Gunter,
Doron Peled:
temporal Debugging for Concurrent Systems.
TACAS 2002: 431-444 |
| |
EE | Doron Peled:
Specification and Verification using Message Sequence Charts.
ENTCS 65(7): (
2002) |
| |
EE | Elsa L. Gunter,
Doron Peled:
Tracing the executions of concurrent programs.
ENTCS 70(4):
(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) |
| 2001 |
|---|
| | EE | Natasha Sharygina,
Doron Peled:
A Combined Testing and Verification Approach for Software Reliability.
FME 2001: 611-628 |
| | EE | Doron Peled,
Amir Pnueli,
Lenore D. Zuck:
From Falsification to Verification.
FSTTCS 2001: 292-304 |
| | EE | Anca Muscholl,
Doron Peled:
From Finite State Communication Protocols to High-Level Message Sequence Charts.
ICALP 2001: 720-731 |
| | EE | Doron Peled,
Lenore D. Zuck:
From Model Checking to a Temporal Proof.
SPIN 2001: 1-14 |
| | EE | Elsa L. Gunter,
Anca Muscholl,
Doron Peled:
Compositional Message Sequence Charts.
TACAS 2001: 496-511 |
| | | Doron Peled,
Antti Valmari,
Ilkka Kokkarinen:
Relaxed Visibility Enhances Partial Order Reduction.
Formal Methods in System Design 19(3): 275-289 (2001) |
| |
EE | Rajeev Alur,
Kousha Etessami,
Salvatore La Torre,
Doron Peled:
Parametric temporal logic for "model measuring".
TOCL 2(3): 388-4
07 (2001) |
| 2000 |
|---|
| | |
Elsa L. Gunter,
Doron Peled:
Using Functional Languages in Formal Methods:
The PET System
PDPTA 2000: 2981-2986 |
| | | 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 |
| | | Rajeev Alur,
Kenneth L. McMillan,
Doron Peled:
Model-Checking of Correctness Conditions for Concurrent Objects.
Information and Computation 160(1-2): 167-188 (2000) |
| 1999 |
|---|
| | | Nicolas Halbwachs,
Doron Peled:
Computer Aided Verification, 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings.
Springer 1999 |
| | |
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 |
| | EE | 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 |
| | EE | Elsa L. Gunter,
Doron Peled:
Path Exploration Tool.
TACAS 1999: 405-419 |
| | | Rajeev Alur,
Doron Peled:
Undecidability of Partial Order Logics.
Information Processing Letters 69(3): 137-143 (1999) |
| | | Rob Gerth,
Ruurd Kuiper,
Doron Peled,
Wojciech Penczek:
A Partial Order Approach to Branching Time Logic Model Checking.
Information and Computation 150(2): 132-152 (1999) |
| | | Ching-Tsun Chou,
Doron Peled:
Formal Verification of a Partial-Order Reduction Technique for Model Checking.
Journal of Automated Reasoning 23(3-4): 265-298 (1999) |
| | EE | Edmund M. Clarke,
Orna Grumberg,
Marius Minea,
Doron Peled:
State Space Reduction Using Partial Order Techniques.
STTT 2(3): 279-287 (1999) |
| 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.
CAV 1998: 379-390 |
| | | Doron Peled:
A Toolset for Message Sequence Charts.
CAV 1998: 532-536 |
| | EE | Anca Muscholl,
Doron Peled,
Zhendong Su:
Deciding Properties for Message Sequence Charts.
FoSSaCS 1998: 226-242 |
| | EE | Rajeev Alur,
Kenneth L. McMillan,
Doron Peled:
Deciding Global Partial-Order Properties.
ICALP 1998: 41-52 |
| | EE | Robert P. Kurshan,
Vladdimir Levin,
Marius Minea,
Doron Peled,
Husnu Yenigun:
Static Partial Order Reduction.
TACAS 1998: 345-357 |
| | | Girish Bhat,
Doron Peled:
Adding Partial Orders to Linear Temporal Logic.
Fundamenta Informaticae 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.
TCS 195(2): 183-203 (1998) |
| 1997 |
|---|
| | |
Doron Peled:
Model Checking using Automata Theory.
Verification of Digital and Hybrid Systems,
NATO Summer School, Antalia, Turkey, NATO ASI series,
55-79 |
| | |
Parosh Abdulla, Mats Kindahl, Doron Peled:
An Improved Search Strategy for Lossy Channel Systems.
FORTE 1997: 251-264, Osaka, Japan |
| | | Ilkka Kokkarinen,
Doron Peled,
Antti Valmari:
Relaxed Visibility Enhances Partial Order Reduction.
CAV 1997: 328-339 (see journal version 2001) |
| | | Girish Bhat,
Doron Peled:
Adding Partial Orders to Linear Temporal Logic.
CONCUR 1997: 119-134 (see journal version 1998) |
| | EE | Robert P. Kurshan,
Vlassimir Levin,
Marius Minea,
Doron Peled,
Husnu Yenigun:
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 |
| | | Vladdimir 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,
Thomas Wilke:
Stutter-Invariant Temporal Properties are Expressible Without the Next-Time Operator.
Information Processing Letters 63(5): 243-246 (1997) |
| | | Doron Peled:
On Projective and Separable Properties.
TCS 186(1-2): 135-156 (1997) |
| 1996 |
|---|
| | | Gerard J. Holzmann, Doron Peled, Mihalis Yannakakis:
On Nested Depth First Search
Second SPIN Workshop, DIMACS |
| | | Doron Peled:
Partial Order Reduction: Linear and Branching Temporal Logics and Process
Algebras. DIMACS workshop on
apartial Order Methods in Verification. |
| | | 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 (see journal version 1998) |
| | EE | Patrice Godefroid,
Doron Peled,
Mark G. Staskauskas:
Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs.
ISSTA 1996: 261-269 (see journal version) |
| | | Rajeev Alur,
Kenneth L. McMillan,
Doron Peled:
Model-Checking of Correctness Conditions for Concurrent Objects.
LICS 1996: 219-228 (see journal version 2000) |
| | | Doron Peled:
Partial Order Reduction: Model-Checking Using Representatives.
MFCS 1996: 93-112 |
| | | Ching-Tsun Chou,
Doron Peled:
Formal Verification of a Partial-Order Reduction Technique for Model Checking.
TACAS 1996: 241-257 (see journal version) |
| | | Rajeev Alur,
Gerard J. Holzmann,
Doron Peled:
An Analyser for Mesage Sequence Charts.
TACAS 1996: 35-48 (see journal version 1996) |
| | | Doron Peled:
User Interfaces for Formal Methods.
ACM Computing Surveys 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.
TSE 22(7): 496-507 (1996) |
| 1995 |
|---|
| | | Rob Gerth,
Ruurd Kuiper,
Doron Peled,
Wojciech Penczek:
A Partial Order Approach to Branching Time Logic Model Checking.
ISTCS 1995: 130-139 (see journal version 1999) |
| | | 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 |
| 1994 |
|---|
| | | Doron Peled:
On Projective and Separable Properties.
CAAP 1994: 291-308 (see journal version 1997) |
| | | Doron Peled:
Combining Partial Order Reductions with On-the-fly Model-Checking.
CAV 1994: 377-390 (see journal version 1996) |
| | | 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,
Amir Pnueli:
Proving Partial Order Properties.
TCS 126(2): 143-182 (1994) |
| | | Doron Peled,
Mathai Joseph:
A Compositional Framework for Fault Tolerance by Specification Transformation.
TCS 128(1&2): 99-125 (1994) |
| 1993 |
|---|
| | | 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 (see journal version) |
| 1992 |
|---|
| | | Doron Peled:
Sometimes 'Some' is as Good as 'All'.
CONCUR 1992: 192-206 |
| | | 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.
TCS 101(2): 337-359 (1992) |
| 1991 |
|---|
| | | Doron Peled,
Shmuel Katz,
Amir Pnueli:
Specifying and Proving Serializability in Temporal Logic.
LICS 1991: 232-244 |
| 1990 |
|---|
| | | Doron Peled,
Amir Pnueli:
Proving Partial Order Liveness Properties.
ICALP 1990: 553-571 (see journal version) |
| | | Shmuel Katz,
Doron Peled:
Interleaving Set Temporal Logic.
TCS 75(3): 263-287 (1990) |
| 1988 |
|---|
| | | Shmuel Katz,
Doron Peled:
An efficient verification method for parallel and distributed programs.
REX Workshop 1988: 489-507 |
| 1987 |
|---|
| | | 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 |