Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Doron Peled
2010 – today
- 2013
[c96]Joost-Pieter Katoen, Doron Peled: Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems. ESOP 2013: 411-430- 2012
- [j38]Susanne Graf, Doron Peled, Sophie Quinton: Achieving distributed control through model checking. Formal Methods in System Design 40(2): 263-281 (2012)
- [c95]
- [c94]Saddek Bensalem, Marius Bozga, Doron Peled, Jean Quilbeuf: Knowledge Based Transactional Behavior. Haifa Verification Conference 2012: 40-55
- [c93]Chung-Hao Huang, Doron Peled, Sven Schewe, Farn Wang: Rapid Recovery for Systems with Scarce Faults. GandALF 2012: 15-28
- [e11]
- [i1]
- 2011
- [j37]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)
- [c92]Gal Katz, Doron Peled, Sven Schewe: The Buck Stops Here: Order, Chance, and Coordination in Distributed Control. ATVA 2011: 422-431
- [c91]Gal Katz, Doron Peled, Sven Schewe: Synthesis of Distributed Control through Knowledge Accumulation. CAV 2011: 510-525
- [c90]Susanne Graf, Doron Peled, Sophie Quinton: Monitoring Distributed Systems Using Knowledge. FMOODS/FORTE 2011: 183-197
- [c89]Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron Peled: Efficient deadlock detection for concurrent systems. MEMOCODE 2011: 119-129
- [c88]
- [p2]Doron Peled: Model Checking. Software and Systems Safety - Specification and Verification 2011: 260-281
- 2010
- [j36]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)
- [c87]Saddek Bensalem, Marius Bozga, Susanne Graf, Doron Peled, Sophie Quinton: Methods for Knowledge Based Controlling of Distributed Systems. ATVA 2010: 52-66
- [c86]
- [c85]Saddek Bensalem, Doron Peled, Joseph Sifakis: Knowledge Based Scheduling of Distributed Systems. Essays in Memory of Amir Pnueli 2010: 26-41
- [c84]Susanne Graf, Doron Peled, Sophie Quinton: Achieving Distributed Control through Model Checking. CAV 2010: 396-409
- [c83]Gal Katz, Doron Peled: Code Mutation in Verification and Automatic Code Correction. TACAS 2010: 435-450
- [e10]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
- [e9]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
2000 – 2009
- 2009
- [j35]Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled: On commutativity based Edge Lean search. Ann. Math. Artif. Intell. 56(2): 187-210 (2009)
- [j34]Peter Niebert, Doron Peled: Efficient model checking for LTL with partial order snapshots. Theor. Comput. Sci. 410(42): 4180-4189 (2009)
- [c82]Ananda Basu, Saddek Bensalem, Doron Peled, Joseph Sifakis: Priority Scheduling of Distributed Systems Based on Model Checking. CAV 2009: 79-93
- [c81]Gal Katz, Doron Peled: Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic Programming. Haifa Verification Conference 2009: 117-132
- [e8]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
- [e7]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
- 2008
- [j33]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)
- [c80]
- [c79]
- [c78]Gal Katz, Doron Peled: Model Checking Driven Heuristic Search for Correct Programs. MoChArt 2008: 122-131
- [c77]Gal Katz, Doron Peled: Model Checking-Based Genetic Programming with an Application to Mutual Exclusion. TACAS 2008: 141-156
- [p1]Doron Peled, Patrizio Pelliccione, Paola Spoletini: Model Checking. Wiley Encyclopedia of Computer Science and Engineering 2008
- [e6]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
- [e5]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
- 2007
- [j32]
- [c76]Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini: Quantifying the Discord: Order Discrepancies in Message Sequence Charts. ATVA 2007: 378-393
- [c75]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
- [c74]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
- [c73]Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis, Lenore D. Zuck: Test Case Generation for Ultimately Periodic Paths. Haifa Verification Conference 2007: 120-135
- [c72]Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled: On Commutativity Based Edge Lean Search. ICALP 2007: 158-170
- [c71]Edith Elkind, Blaise Genest, Doron Peled: Detecting Races in Ensembles of Message Sequence Charts. TACAS 2007: 420-434
- 2006
- [j31]Alex Groce, Doron Peled, Mihalis Yannakakis: Adaptive Model Checking. Logic Journal of the IGPL 14(5): 729-744 (2006)
- [j30]Doron Peled, Hongyang Qu: Enforcing Concurrent Temporal Behaviors. Int. J. Found. Comput. Sci. 17(4): 743-762 (2006)
- [c70]
- [c69]Peter Niebert, Doron Peled: Efficient Model Checking for LTL with Partial Order Snapshots. TACAS 2006: 272-286
- 2005
- [j29]Doron Peled, Hongyang Qu: Enforcing Concurrent Temporal Behaviors. Electr. Notes Theor. Comput. Sci. 113: 65-83 (2005)
- [j28]Elsa L. Gunter, Doron Peled: Model checking, testing and verification working together. Formal Asp. Comput. 17(2): 201-221 (2005)
- [j27]Doron Peled: Introduction: Special Issue on Partial Order in Formal Methods. Formal Methods in System Design 26(1): 5-6 (2005)
- [j26]Rajeev Alur, Kenneth L. McMillan, Doron Peled: Deciding Global Partial-Order Properties. Formal Methods in System Design 26(1): 7-25 (2005)
- [c68]Marcin Jurdzinski, Doron Peled, Hongyang Qu: Calculating Probabilities of Real-Time Test Cases. FATES 2005: 134-151
- [c67]
- [c66]Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis: Generating Path Conditions for Timed Systems. IFM 2005: 5-19
- [c65]Blaise Genest, Dietrich Kuske, Anca Muscholl, Doron Peled: Snapshot Verification. TACAS 2005: 510-525
- [c64]Doron Peled: Automatic Test Generation and Monitoring of Infinite States Systems. VISSAS 2005: 127-142
- [e4]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
- 2004
- [c63]Blaise Genest, Marius Minea, Anca Muscholl, Doron Peled: Specifying and Verifying Partial Order Properties Using Template MSCs. FoSSaCS 2004: 195-210
- [c62]Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis: Automatic Generation of Path Conditions for Timed Systems. ISoLA (Preliminary proceedings) 2004: 243-249
- [e3]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
- 2003
- [j25]Elsa L. Gunter, Anca Muscholl, Doron Peled: Compositional message sequence charts. STTT 5(1): 78-89 (2003)
- [c61]Blaise Genest, Anca Muscholl, Doron Peled: Message Sequence Charts. Lectures on Concurrency and Petri Nets 2003: 537-558
- [c60]Elsa L. Gunter, Doron Peled: Unit Checking: Symbolic Model Checking for a Unit of Code. Verification: Theory and Practice 2003: 548-567
- [c59]Anca Muscholl, Doron Peled: Deciding Properties of Message Sequence Charts. Scenarios: Models, Transformations and Tools 2003: 43-65
- [c58]
- [c57]
- 2002
- [j24]Doron Peled: Specification and Verification using Message Sequence Charts. Electr. Notes Theor. Comput. Sci. 65(7): 51-64 (2002)
- [j23]Elsa L. Gunter, Doron Peled: Tracing the executions of concurrent programs. Electr. Notes Theor. Comput. Sci. 70(4): 128-141 (2002)
- [j22]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)
- [j21]Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis: Black Box Checking. Journal of Automata, Languages and Combinatorics 7(2): 225-246 (2002)
- [c56]
- [c55]Cindy Eisner, Doron Peled: Comparing Symbolic and Explicit Model Checking of a Software System. SPIN 2002: 230-239
- [c54]
- [c53]
- [e2]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
- 2001
- [b2]Edmund M. Clarke, Orna Grumberg, Doron Peled: Model checking. MIT Press 2001, ISBN 978-0-262-03270-4, pp. I-XIV, 1-314
- [b1]Doron Peled: Software Reliability Methods. Springer 2001, ISBN 0-387-95106-7
- [j20]Doron Peled, Antti Valmari, Ilkka Kokkarinen: Relaxed Visibility Enhances Partial Order Reduction. Formal Methods in System Design 19(3): 275-289 (2001)
- [j19]Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron Peled: Parametric temporal logic for "model measuring". ACM Trans. Comput. Log. 2(3): 388-407 (2001)
- [c52]Natasha Sharygina, Doron Peled: A Combined Testing and Verification Approach for Software Reliability. FME 2001: 611-628
- [c51]
- [c50]Anca Muscholl, Doron Peled: From Finite State Communication Protocols to High-Level Message Sequence Charts. ICALP 2001: 720-731
- [c49]
- [c48]Elsa L. Gunter, Anca Muscholl, Doron Peled: Compositional Message Sequence Charts. TACAS 2001: 496-511
- 2000
- [j18]Rajeev Alur, Kenneth L. McMillan, Doron Peled: Model-Checking of Correctness Conditions for Concurrent Objects. Inf. Comput. 160(1-2): 167-188 (2000)
- [c47]Elsa L. Gunter, Robert P. Kurshan, Doron Peled: PET: An Interactive Software Testing Tool. CAV 2000: 552-556
- [c46]
- [c45]Doron Peled: Formal Methods for Message Sequence Charts. ICDCS Workshop on Distributed System Validation and Verification 2000: E7-E13
- [c44]
- [c43]
1990 – 1999
- 1999
- [j17]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)
- [j16]Rajeev Alur, Doron Peled: Undecidability of Partial Order Logics. Inf. Process. Lett. 69(3): 137-143 (1999)
- [j15]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)
- [j14]Edmund M. Clarke, Orna Grumberg, Marius Minea, Doron Peled: State Space Reduction Using Partial Order Techniques. STTT 2(3): 279-287 (1999)
- [c42]Hüsnü Yenigün, Vladimir Levin, Doron Peled, Peter A. Beerel: Hazard-Freedom Checking in Speed-Independent Systems. CHARME 1999: 317-320
- [c41]
- [c40]Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron Peled: Parametric Temporal Logic for "Model Measuring". ICALP 1999: 159-168
- [c39]Anca Muscholl, Doron Peled: Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces. MFCS 1999: 81-91
- [c38]
- [c37]
- [e1]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
- 1998
- [j13]Girish Bhat, Doron Peled: Adding Partial Orders to Linear Temporal Logic. Fundam. Inform. 36(1): 1-21 (1998)
- [j12]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)
- [c36]
- [c35]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
- [c34]
- [c33]Anca Muscholl, Doron Peled, Zhendong Su: Deciding Properties for Message Sequence Charts. FoSSaCS 1998: 226-242
- [c32]Rajeev Alur, Kenneth L. McMillan, Doron Peled: Deciding Global Partial-Order Properties. ICALP 1998: 41-52
- [c31]Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Static Partial Order Reduction. TACAS 1998: 345-357
- 1997
- [j11]Doron Peled, Thomas Wilke: Stutter-Invariant Temporal Properties are Expressible Without the Next-Time Operator. Inf. Process. Lett. 63(5): 243-246 (1997)
- [j10]
- [c30]Ilkka Kokkarinen, Doron Peled, Antti Valmari: Relaxed Visibility Enhances Partial Order Reduction. CAV 1997: 328-339
- [c29]
- [c28]Parosh Aziz Abdulla, Mats Kindahl, Doron Peled: An Improved Search Strategy for Lossy Channel Systems. FORTE 1997: 251-264
- [c27]Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün: Verifying hardware in its software context. ICCAD 1997: 742-749
- [c26]E. Allen Emerson, Somesh Jha, Doron Peled: Combining Partial Order and Symmetry Reductions. TACAS 1997: 19-34
- [c25]Vladimir Levin, Doron Peled: Verification of Message Sequence Charts via Template Matching. TAPSOFT 1997: 652-666
- [c24]
- 1996
- [j9]
- [j8]Doron Peled: Combining Partial Order Reductions with On-the-Fly Model-Checking. Formal Methods in System Design 8(1): 39-64 (1996)
- [j7]Rajeev Alur, Gerard J. Holzmann, Doron Peled: An Analyzer for Message Sequence Charts. Software - Concepts and Tools 17(2): 70-77 (1996)
- [j6]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)
- [c23]
- [c22]Doron Peled, Thomas Wilke, Pierre Wolper: An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages. CONCUR 1996: 596-610
- [c21]Patrice Godefroid, Doron Peled, Mark G. Staskauskas: Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. ISSTA 1996: 261-269
- [c20]Rajeev Alur, Kenneth L. McMillan, Doron Peled: Model-Checking of Correctness Conditions for Concurrent Objects. LICS 1996: 219-228
- [c19]
- [c18]Rajeev Alur, Gerard J. Holzmann, Doron Peled: An Analyser for Mesage Sequence Charts. TACAS 1996: 35-48
- [c17]Ching-Tsun Chou, Doron Peled: Formal Verification of a Partial-Order Reduction Technique for Model Checking. TACAS 1996: 241-257
- 1995
- [c16]Rob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek: A Partial Order Approach to Branching Time Logic Model Checking. ISTCS 1995: 130-139
- [c15]Rajeev Alur, Doron Peled, Wojciech Penczek: Model-Checking of Causality Properties. LICS 1995: 90-100
- [c14]Rob Gerth, Doron Peled, Moshe Y. Vardi, Pierre Wolper: Simple on-the-fly automatic verification of linear temporal logic. PSTV 1995: 3-18
- [c13]Doron Peled, Wojciech Penczek: Using asynchronous Büchi automata for efficient automatic verification of concurrent systems. PSTV 1995: 315-330
- 1994
- [j5]Doron Peled, Amir Pnueli: Proving Partial Order Properties. Theor. Comput. Sci. 126(2): 143-182 (1994)
- [j4]Doron Peled, Mathai Joseph: A Compositional Framework for Fault Tolerance by Specification Transformation. Theor. Comput. Sci. 128(1&2): 99-125 (1994)
- [c12]
- [c11]
- [c10]
- [c9]Marta Z. Kwiatkowska, Doron Peled, Wojciech Penczek: A Hierarchy of Partial Order Temporal Properties. ICTL 1994: 398-414
- 1993
- [c8]
- [c7]Doron Peled, Mathai Joseph: A Compositional Approach for Fault-Tolerance Using Specification Transformation. PARLE 1993: 173-184
- 1992
- [j3]Shmuel Katz, Doron Peled: Verification of Distributed Programs Using Representative Interleaving Sequences. Distributed Computing 6(2): 107-120 (1992)
- [j2]Shmuel Katz, Doron Peled: Defining Conditional Independence Using Collapses. Theor. Comput. Sci. 101(2): 337-359 (1992)
- [c6]
- 1991
- [c5]Doron Peled, Shmuel Katz, Amir Pnueli: Specifying and Proving Serializability in Temporal Logic. LICS 1991: 232-244
- 1990
- [j1]Shmuel Katz, Doron Peled: Interleaving Set Temporal Logic. Theor. Comput. Sci. 75(3): 263-287 (1990)
- [c4]
1980 – 1989
- 1988
- [c3]Shmuel Katz, Doron Peled: An efficient verification method for parallel and distributed programs. REX Workshop 1988: 489-507
- 1987
- [c2]
- [c1]Shmuel Katz, Doron Peled: Interleaving Set Temporal Logic. Temporal Logic in Specification 1987: 21-43
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:17 CEST by the dblp team