![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Doron A. Peled
Person information
- affiliation: Bar Ilan University, Department of Computer Science
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c136]Klaus Havelund, Panagiotis Katsaros, Moran Omer, Doron Peled, Anastasios Temperekidis:
TP-DejaVu: Combining Operational and Declarative Runtime Verification. VMCAI (2) 2024: 249-263 - [i4]Mohamed Abdelsalam, Loai Ali, Saddek Bensalem, Weicheng He, Panagiotis Katsaros, Nikolaos Kekatos, Doron Peled, Anastasios Temperekidis, Changshun Wu:
A Digital Twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle. CoRR abs/2402.09097 (2024) - 2023
- [c135]Mohamed Abdelsalam, Loai Ali, Saddek Bensalem, Weicheng He, Panagiotis Katsaros, Nikolaos Kekatos, Doron Peled, Anastasios Temperekidis, Changshun Wu:
A digital twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle. PoEM Companion 2023 - [c134]Moran Omer, Doron Peled:
Runtime Verification Prediction for Traces with Data. RV 2023: 148-167 - [c133]Klaus Havelund, Doron Peled:
Monitorability for Runtime Verification. RV 2023: 447-460 - [c132]Roi Fogler, Itay Cohen, Doron Peled:
Accelerating Black Box Testing with Light-Weight Learning. SPIN 2023: 103-120 - [c131]Saddek Bensalem, Panagiotis Katsaros, Dejan Nickovic
, Brian Hsuan-Cheng Liao, Ricardo Ruiz Nolasco, Mohamed Abd El Salam Ahmed, Tewodros A. Beyene, Filip Cano
, Antoine Delacourt, Hasan Esen, Alexandru Forrai, Weicheng He, Xiaowei Huang, Nikolaos Kekatos, Bettina Könighofer, Michael Paulitsch, Doron Peled, Matthieu Ponchant, Lev Sorokin, Son Tong, Changshun Wu:
Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems. AISoLA 2023: 256-278 - [c130]Itay Cohen, Doron Peled:
Integrating Distributed Component-Based Systems Through Deep Reinforcement Learning. AISoLA 2023: 395-417 - 2022
- [j43]Klaus Havelund, Doron Peled
:
On monitoring linear temporal properties. Formal Methods Syst. Des. 60(3): 405-425 (2022) - [c129]Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang, Panagiotis Katsaros, Adam Molin, Dejan Nickovic, Doron Peled:
Formal Specification for Learning-Enabled Autonomous Systems. NSV/FoMLAS@CAV 2022: 131-143 - [c128]Itay Cohen
, Roi Fogler, Doron Peled:
A Reinforcement-Learning Style Algorithm for Black Box Automata. MEMOCODE 2022: 1-11 - 2021
- [j42]Klaus Havelund, Doron Peled:
An extension of first-order LTL with rules with application to runtime verification. Int. J. Softw. Tools Technol. Transf. 23(4): 547-563 (2021) - [c127]Doron Peled:
Reverse Engineering Through Automata Learning. Formal Methods in Outer Space 2021: 182-192 - [c126]Klaus Havelund, Moran Omer, Doron Peled:
Monitoring First-Order Interval Logic. SEFM 2021: 66-83 - 2020
- [j41]Klaus Havelund
, Doron Peled
, Dogan Ulus
:
First-order temporal logic monitoring with BDDs. Formal Methods Syst. Des. 56(1): 1-21 (2020) - [c125]Klaus Havelund, Doron Peled:
First-Order Timed Runtime Verification Using BDDs. ATVA 2020: 3-24 - [c124]Simon Iosti, Doron Peled, Khen Aharon, Saddek Bensalem, Yoav Goldberg:
Synthesizing Control for a System with Black Box Environment, Based on Deep Learning. ISoLA (2) 2020: 457-472 - [c123]Klaus Havelund, Doron Peled:
BDDs for Representing Data in Runtime Verification. RV 2020: 107-128
2010 – 2019
- 2019
- [c122]Doron Peled, Simon Iosti, Saddek Bensalem:
Control Synthesis Through Deep Learning. From Reactive Systems to Cyber-Physical Systems 2019: 242-255 - [c121]Klaus Havelund, Doron Peled:
An Extension of LTL with Rules and Its Application to Runtime Verification. RV 2019: 239-255 - [p8]Doron A. Peled:
Formal Methods. Handbook of Software Engineering 2019: 193-222 - 2018
- [b3]Edmund M. Clarke, Orna Grumberg, Daniel Kroening, Doron A. Peled, Helmut Veith:
Model checking, 2nd Edition. MIT Press 2018, ISBN 978-0-262-03883-6 - [c120]Doron Peled, Klaus Havelund:
Refining the Safety-Liveness Classification of Temporal Properties According to Monitorability. Models, Mindsets, Meta 2018: 218-234 - [c119]Klaus Havelund, Doron Peled, Dogan Ulus
:
DejaVu: A Monitoring Tool for First-Order Temporal Logic. MT@CPSWeek 2018: 12-13 - [c118]Klaus Havelund, Doron Peled:
BDDs on the Run. ISoLA (4) 2018: 58-69 - [c117]Lei Bu, Doron Peled, Dashuan Shen, Yael Tzirulnikov:
Chasing Errors Using Biasing Automata. ISoLA (2) 2018: 271-286 - [c116]Klaus Havelund, Doron Peled:
Runtime Verification: From Propositional to First-Order Temporal Logic. RV 2018: 90-112 - [c115]Klaus Havelund, Doron Peled:
Efficient Runtime Verification of First-Order Temporal Properties. SPIN 2018: 26-47 - [c114]Lei Bu
, Doron Peled, Dachuan Shen, Yuan Zhuang:
Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking. SPIN 2018: 275-291 - [p7]Doron Peled:
Partial-Order Reduction. Handbook of Model Checking 2018: 173-190 - 2017
- [j40]Gal Katz, Doron Peled:
Synthesizing, correcting and improving code, using model checking-based genetic programming. Int. J. Softw. Tools Technol. Transf. 19(4): 449-464 (2017) - [c113]Klaus Havelund, Doron Peled, Dogan Ulus
:
First order temporal logic monitoring with BDDs. FMCAD 2017: 116-123 - [c112]Kim G. Larsen
, Doron Peled, Sean Sedwards:
Memory-Efficient Tactics for Randomized LTL Model Checking. VSTTE 2017: 152-169 - [p6]Doron Peled:
Automata Based Validation Techniques. Dependable Software Systems Engineering 2017: 126-140 - [e17]Alexander Pretschner, Doron Peled, Thomas Hutzelmann:
Dependable Software Systems Engineering. NATO Science for Peace and Security Series - D: Information and Communication Security 50, IOS Press 2017, ISBN 978-1-61499-809-9 [contents] - 2016
- [j39]Chung-Hao Huang, Doron A. Peled, Sven Schewe
, Farn Wang:
A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors. IEEE Trans. Software Eng. 42(7): 605-622 (2016) - [c111]Doron Peled:
Automatic Synthesis of Code Using Genetic Programming. ISoLA (1) 2016: 182-187 - [c110]Doron Peled:
Using Genetic Programming for Software Reliability. RV 2016: 116-131 - [e16]Cyrille Artho, Axel Legay, Doron Peled:
Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings. Lecture Notes in Computer Science 9938, 2016, ISBN 978-3-319-46519-7 [contents] - 2015
- [j38]John Fearnley, Doron A. Peled, Sven Schewe
:
Synthesis of succinct systems. J. Comput. Syst. Sci. 81(7): 1171-1193 (2015) - [c109]Blaise Genest, Doron A. Peled, Sven Schewe
:
Knowledge = Observation + Memory + Computation. FoSSaCS 2015: 215-229 - [c108]Alon Brook, Doron A. Peled, Sven Schewe
:
Local and global fairness in concurrent systems. MEMOCODE 2015: 2-9 - [p5]Doron A. Peled:
From Verification to Synthesis. Dependable Software Systems Engineering 2015: 204-223 - [e15]Maximilian Irlbeck, Doron A. Peled, Alexander Pretschner:
Dependable Software Systems Engineering. NATO Science for Peace and Security Series, D: Information and Communication Security 40, IOS Press 2015, ISBN 978-1-61499-494-7 [contents] - 2014
- [j37]Doron A. Peled, Sven Schewe
:
Editorial: special issue on synthesis. Acta Informatica 51(3-4): 127-128 (2014) - [c107]Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang:
Compositional Branching-Time Measurements. FPS@ETAPS 2014: 118-128 - [c106]Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang:
Using Statistical Model Checking for Measuring Systems. ISoLA (2) 2014: 223-238 - [c105]Peter Faymonville
, Bernd Finkbeiner, Doron A. Peled:
Monitoring Parametric Temporal Logic. VMCAI 2014: 357-375 - [p4]Doron A. Peled, Sven Schewe:
Distributed Control Synthesis. HOWARD-60 2014: 271-288 - 2013
- [c104]Joost-Pieter Katoen, Doron A. Peled:
Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems. ESOP 2013: 411-430 - [c103]Gal Katz, Doron A. Peled:
Synthesizing, Correcting and Improving Code, Using Model Checking-Based Genetic Programming. Haifa Verification Conference 2013: 246-261 - [c102]Saddek Bensalem, Borzoo Bonakdarpour, Marius Bozga, Doron A. Peled, Jean Quilbeuf:
Performance Evaluation of Process Partitioning Using Probabilistic Model Checking. Haifa Verification Conference 2013: 344-358 - [c101]Saddek Bensalem, Axel Legay, Ayoub Nouri, Doron A. Peled:
Synthesizing distributed scheduling implementation for probabilistic component-based systems. MEMOCODE 2013: 87-96 - [c100]Gal Katz, Doron A. Peled:
Synthesis of Parametric Programs using Genetic Programming and Model Checking. INFINITY 2013: 70-84 - [p3]Doron A. Peled:
Model Checking Basics. Engineering Dependable Software Systems 2013: 335-362 - [e14]Manfred Broy, Doron A. Peled, Georg Kalus:
Engineering Dependable Software Systems. NATO Science for Peace and Security Series, D: Information and Communication Security 34, IOS Press 2013, ISBN 978-1-61499-206-6 [contents] - 2012
- [j36]Susanne Graf, Doron A. Peled, Sophie Quinton:
Achieving distributed control through model checking. Formal Methods Syst. Des. 40(2): 263-281 (2012) - [c99]John Fearnley, Doron A. Peled, Sven Schewe
:
Synthesis of Succinct Systems. ATVA 2012: 208-222 - [c98]Saddek Bensalem, Marius Bozga, Doron A. Peled, Jean Quilbeuf:
Knowledge Based Transactional Behavior. Haifa Verification Conference 2012: 40-55 - [c97]Chung-Hao Huang, Doron A. Peled, Sven Schewe
, Farn Wang:
Rapid Recovery for Systems with Scarce Faults. GandALF 2012: 15-28 - [e13]Doron A. Peled, Sven Schewe
:
Proceedings First Workshop on Synthesis, SYNT 2012, Berkeley, California, USA, 7th and 8th July 2012. EPTCS 84, 2012 [contents] - [i3]John Fearnley, Doron A. Peled, Sven Schewe:
Synthesis of Succinct Systems. CoRR abs/1202.5449 (2012) - 2011
- [j35]Ananda Basu, Saddek Bensalem, Doron A. Peled, Joseph Sifakis:
Priority scheduling of distributed systems based on model checking. Formal Methods Syst. Des. 39(3): 229-245 (2011) - [c96]Gal Katz, Doron A. Peled, Sven Schewe
:
The Buck Stops Here: Order, Chance, and Coordination in Distributed Control. ATVA 2011: 422-431 - [c95]Gal Katz, Doron A. Peled, Sven Schewe
:
Synthesis of Distributed Control through Knowledge Accumulation. CAV 2011: 510-525 - [c94]Susanne Graf, Doron A. Peled, Sophie Quinton:
Monitoring Distributed Systems Using Knowledge. FMOODS/FORTE 2011: 183-197 - [c93]Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron A. Peled:
Efficient deadlock detection for concurrent systems. MEMOCODE 2011: 119-129 - [c92]Doron A. Peled, Sven Schewe
:
Practical Distributed Control Synthesis. INFINITY 2011: 2-17 - [p2]Doron A. Peled:
Model Checking. Software and Systems Safety - Specification and Verification 2011: 260-281 - 2010
- [j34]Edith Elkind, Blaise Genest, Doron A. Peled, Paola Spoletini:
Quantifying the Discord: Order Discrepancies in Message Sequence Charts. Int. J. Found. Comput. Sci. 21(2): 211-233 (2010) - [c91]Saddek Bensalem, Marius Bozga, Susanne Graf, Doron A. Peled, Sophie Quinton:
Methods for Knowledge Based Controlling of Distributed Systems. ATVA 2010: 52-66 - [c90]Gal Katz, Doron A. Peled:
MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming. ATVA 2010: 359-364 - [c89]Saddek Bensalem, Doron A. Peled, Joseph Sifakis:
Knowledge Based Scheduling of Distributed Systems. Essays in Memory of Amir Pnueli 2010: 26-41 - [c88]Susanne Graf, Doron A. Peled, Sophie Quinton:
Achieving Distributed Control through Model Checking. CAV 2010: 396-409 - [c87]Gal Katz, Doron A. Peled:
Code Mutation in Verification and Automatic Code Correction. TACAS 2010: 435-450 - [e12]Zohar Manna, Doron A. Peled:
Time for Verification, Essays in Memory of Amir Pnueli. Lecture Notes in Computer Science 6200, Springer 2010, ISBN 978-3-642-13753-2 [contents] - [e11]Jing Liu, Doron A. Peled, Bow-Yaw Wang, Farn Wang:
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 [contents]
2000 – 2009
- 2009
- [j33]Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron A. Peled:
On commutativity based Edge Lean search. Ann. Math. Artif. Intell. 56(2): 187-210 (2009) - [j32]Peter Niebert, Doron A. Peled:
Efficient model checking for LTL with partial order snapshots. Theor. Comput. Sci. 410(42): 4180-4189 (2009) - [c86]Ananda Basu, Saddek Bensalem, Doron A. Peled, Joseph Sifakis:
Priority Scheduling of Distributed Systems Based on Model Checking. CAV 2009: 79-93 - [c85]Gal Katz, Doron A. Peled:
Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic Programming. Haifa Verification Conference 2009: 117-132 - [e10]Doron A. Peled, Michael J. Wooldridge:
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 [contents] - [e9]Saddek Bensalem, Doron A. Peled:
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 [contents] - 2008
- [j31]Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis
:
Automatic generation of path conditions for concurrent timed systems. Theor. Comput. Sci. 404(3): 275-292 (2008) - [c84]Gal Katz, Doron A. Peled:
Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms. ATVA 2008: 33-47 - [c83]Peter Niebert, Doron A. Peled, Amir Pnueli:
Discriminative Model Checking. CAV 2008: 504-516 - [c82]Gal Katz, Doron A. Peled:
Model Checking Driven Heuristic Search for Correct Programs. MoChArt 2008: 122-131 - [c81]Gal Katz, Doron A. Peled:
Model Checking-Based Genetic Programming with an Application to Mutual Exclusion. TACAS 2008: 141-156 - [p1]Doron A. Peled, Patrizio Pelliccione
, Paola Spoletini
:
Model Checking. Wiley Encyclopedia of Computer Science and Engineering 2008 - [e8]Michaela Huhn, Hardi Hungar, Doron A. Peled:
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 [contents] - [e7]Francesco Logozzo, Doron A. Peled, Lenore D. Zuck:
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 [contents] - 2007
- [j30]Doron A. Peled, Yih-Kuen Tsay
:
Preface. Int. J. Found. Comput. Sci. 18(1): 1-4 (2007) - [c80]Edith Elkind, Blaise Genest, Doron A. Peled, Paola Spoletini:
Quantifying the Discord: Order Discrepancies in Message Sequence Charts. ATVA 2007: 378-393 - [c79]Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis
, Lenore D. Zuck:
Test Case Generation for Ultimately Periodic Paths. Haifa Verification Conference 2007: 120-135 - [c78]Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron A. Peled:
On Commutativity Based Edge Lean Search. ICALP 2007: 158-170 - [c77]Edith Elkind, Blaise Genest, Doron A. Peled:
Detecting Races in Ensembles of Message Sequence Charts. TACAS 2007: 420-434 - [i2]Michaela Huhn, Hardi Hungar, Doron A. Peled:
07241 Summary - Tools for the Model-based Development of Certifiable, Dependable Systems. Tools for the Model-based Development of Certifiable, Dependable Systems 2007 - [i1]Michaela Huhn, Hardi Hungar, Doron A. 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 - 2006
- [j29]Alex Groce, Doron A. Peled, Mihalis Yannakakis:
Adaptive Model Checking. Log. J. IGPL 14(5): 729-744 (2006) - [j28]Doron A. Peled, Hongyang Qu:
Enforcing Concurrent Temporal Behaviors. Int. J. Found. Comput. Sci. 17(4): 743-762 (2006) - [c76]Edith Elkind, Blaise Genest, Doron A. Peled, Hongyang Qu:
Grey-Box Checking. FORTE 2006: 420-435 - [c75]Peter Niebert, Doron A. Peled:
Efficient Model Checking for LTL with Partial Order Snapshots. TACAS 2006: 272-286 - 2005
- [j27]Elsa L. Gunter, Doron A. Peled:
Model checking, testing and verification working together. Formal Aspects Comput. 17(2): 201-221 (2005) - [j26]Doron A. Peled:
Introduction: Special Issue on Partial Order in Formal Methods. Formal Methods Syst. Des. 26(1): 5-6 (2005) - [j25]Rajeev Alur, Kenneth L. McMillan, Doron A. Peled:
Deciding Global Partial-Order Properties. Formal Methods Syst. Des. 26(1): 7-25 (2005) - [c74]Marcin Jurdzinski, Doron A. Peled, Hongyang Qu:
Calculating Probabilities of Real-Time Test Cases. FATES 2005: 134-151 - [c73]Doron A. Peled, Hongyang Qu:
Time Unbalanced Partial Order. FATES 2005: 152-169 - [c72]Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis
:
Generating Path Conditions for Timed Systems. IFM 2005: 5-19 - [c71]Blaise Genest, Dietrich Kuske, Anca Muscholl, Doron A. Peled:
Snapshot Verification. TACAS 2005: 510-525 - [c70]Doron A. Peled:
Automatic Test Generation and Monitoring of Infinite States Systems. VISSAS 2005: 127-142 - [e6]Doron A. Peled, Yih-Kuen Tsay:
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 [contents] - 2004
- [c69]Blaise Genest, Marius Minea, Anca Muscholl, Doron A. Peled:
Specifying and Verifying Partial Order Properties Using Template MSCs. FoSSaCS 2004: 195-210 - [c68]Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis:
Automatic Generation of Path Conditions for Timed Systems. ISoLA (Preliminary proceedings) 2004: 243-249 - [c67]Doron A. Peled, Hongyang Qu:
Enforcing Concurrent Temporal Behaviors. RV@ETAPS 2004: 65-83 - [e5]Rajeev Alur, Doron A. Peled:
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 [contents] - 2003
- [j24]Elsa L. Gunter, Anca Muscholl, Doron A. Peled:
Compositional message sequence charts. Int. J. Softw. Tools Technol. Transf. 5(1): 78-89 (2003) - [c66]Blaise Genest, Anca Muscholl, Doron A. Peled:
Message Sequence Charts. Lectures on Concurrency and Petri Nets 2003: 537-558 - [c65]Elsa L. Gunter, Doron A. Peled:
Unit Checking: Symbolic Model Checking for a Unit of Code. Verification: Theory and Practice 2003: 548-567 - [c64]Anca Muscholl, Doron A. Peled:
Deciding Properties of Message Sequence Charts. Scenarios: Models, Transformations and Tools 2003: 43-65 - [c63]Doron A. Peled, Hongyang Qu:
Automatic Verification of Annotated Code. FORTE 2003: 127-143 - [c62]Doron A. Peled:
Model Checking and Testing Combined. ICALP 2003: 47-63 - 2002
- [j23]Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün:
Combining Software and Hardware Verification Techniques. Formal Methods Syst. Des. 21(3): 251-280 (2002) - [j22]Doron A. Peled, Moshe Y. Vardi, Mihalis Yannakakis:
Black Box Checking. J. Autom. Lang. Comb. 7(2): 225-246 (2002) - [c61]Alex Groce, Doron A. Peled, Mihalis Yannakakis:
AMC: An Adaptive Model Checker. CAV 2002: 521-525 - [c60]Cindy Eisner, Doron A. Peled:
Comparing Symbolic and Explicit Model Checking of a Software System. SPIN 2002: 230-239 - [c59]Alex Groce, Doron A. Peled, Mihalis Yannakakis:
Adaptive Model Checking. TACAS 2002: 357-370 - [c58]Elsa L. Gunter, Doron A. Peled:
Temporal Debugging for Concurrent Systems. TACAS 2002: 431-444 - [c57]Doron A. Peled:
Specification and Verification using Message Sequence Charts. VISS@ETAPS 2002: 51-64 - [c56]Elsa L. Gunter, Doron A. Peled:
Tracing the executions of concurrent programs. RV@FLoC 2002: 128-141 - [e4]Doron A. 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. Lecture Notes in Computer Science 2529, Springer 2002, ISBN 3-540-00141-7 [contents] - 2001
- [b2]Edmund M. Clarke, Orna Grumberg, Doron A. Peled:
Model checking, 1st Edition. MIT Press 2001, ISBN 978-0-262-03270-4, pp. I-XIV, 1-314 - [b1]Doron A. Peled:
Software Reliability Methods. Texts in Computer Science, Springer 2001, ISBN 978-1-4419-2876-4, pp. i-xix, 1-332 - [j21]Doron A. Peled, Antti Valmari, Ilkka Kokkarinen:
Relaxed Visibility Enhances Partial Order Reduction. Formal Methods Syst. Des. 19(3): 275-289 (2001) - [j20]Rajeev Alur, Kousha Etessami, Salvatore La Torre
, Doron A. Peled:
Parametric temporal logic for "model measuring". ACM Trans. Comput. Log. 2(3): 388-407 (2001) - [c55]Natasha Sharygina, Doron A. Peled:
A Combined Testing and Verification Approach for Software Reliability. FME 2001: 611-628 - [c54]Doron A. Peled, Amir Pnueli, Lenore D. Zuck:
From Falsification to Verification. FSTTCS 2001: 292-304 - [c53]Anca Muscholl, Doron A. Peled:
From Finite State Communication Protocols to High-Level Message Sequence Charts. ICALP 2001: 720-731 - [c52]Doron A. Peled, Lenore D. Zuck:
From Model Checking to a Temporal Proof. SPIN 2001: 1-14 - [c51]Elsa L. Gunter, Anca Muscholl, Doron A. Peled:
Compositional Message Sequence Charts. TACAS 2001: 496-511 - 2000
- [j19]Rajeev Alur, Kenneth L. McMillan, Doron A. Peled:
Model-Checking of Correctness Conditions for Concurrent Objects. Inf. Comput. 160(1-2): 167-188 (2000) - [c50]Elsa L. Gunter, Robert P. Kurshan, Doron A. Peled:
PET: An Interactive Software Testing Tool. CAV 2000: 552-556 - [c49]Doron A. Peled:
Specification and Verification of Message Sequence Charts. FORTE 2000: 139-154 - [c48]Doron A. Peled:
Formal Methods for Message Sequence Charts. ICDCS Workshop on Distributed System Validation and Verification 2000: E7-E13 - [c47]Elsa L. Gunter, Doron A. Peled:
Using a Mix of Languages in Formal Methods: The PET System. PDPTA 2000 - [c46]Anca Muscholl, Doron A. Peled:
Analyzing Message Sequence Charts. SAM 2000: 3-17
1990 – 1999
- 1999
- [j18]Rob Gerth, Ruurd Kuiper, Doron A. Peled, Wojciech Penczek
:
A Partial Order Approach to Branching Time Logic Model Checking. Inf. Comput. 150(2): 132-152 (1999) - [j17]Rajeev Alur, Doron A. Peled:
Undecidability of Partial Order Logics. Inf. Process. Lett. 69(3): 137-143 (1999) - [j16]Ching-Tsun Chou, Doron A. Peled:
Formal Verification of a Partial-Order Reduction Technique for Model Checking. J. Autom. Reason. 23(3-4): 265-298 (1999) - [j15]Edmund M. Clarke, Orna Grumberg, Marius Minea, Doron A. Peled:
State Space Reduction Using Partial Order Techniques. Int. J. Softw. Tools Technol. Transf. 2(3): 279-287 (1999) - [c45]Hüsnü Yenigün, Vladimir Levin, Doron A. Peled, Peter A. Beerel:
Hazard-Freedom Checking in Speed-Independent Systems. CHARME 1999: 317-320 - [c44]Doron A. Peled, Moshe Y. Vardi, Mihalis Yannakakis:
Black Box Checking. FORTE 1999: 225-240 - [c43]Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron A. Peled:
Parametric Temporal Logic for "Model Measuring". ICALP 1999: 159-168 - [c42]Anca Muscholl, Doron A. Peled:
Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces. MFCS 1999: 81-91 - [c41]Somesh Jha, Doron A. Peled:
Generalized Stuttering Equivalence. PDPTA 1999: 1054-1060 - [c40]Elsa L. Gunter, Doron A. Peled:
Path Exploration Tool. TACAS 1999: 405-419 - [e3]Nicolas Halbwachs, Doron A. Peled:
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 [contents] - 1998
- [j14]Girish Bhat, Doron A. Peled:
Adding Partial Orders to Linear Temporal Logic. Fundam. Informaticae 36(1): 1-21 (1998) - [j13]Doron A. 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) - [c39]Doron A. Peled:
Ten Years of Partial Order Reduction. CAV 1998: 17-28 - [c38]Parosh Aziz Abdulla, Bengt Jonsson, Mats Kindahl, Doron A. Peled:
A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract). CAV 1998: 379-390 - [c37]Doron A. Peled:
A Toolset for Message Sequence Charts. CAV 1998: 532-536 - [c36]Anca Muscholl, Doron A. Peled, Zhendong Su
:
Deciding Properties for Message Sequence Charts. FoSSaCS 1998: 226-242 - [c35]Rajeev Alur, Kenneth L. McMillan, Doron A. Peled:
Deciding Global Partial-Order Properties. ICALP 1998: 41-52 - [c34]Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün:
Static Partial Order Reduction. TACAS 1998: 345-357 - 1997
- [j12]Gerard J. Holzmann, Doron A. Peled, Margaret H. Redberg:
Design tools for requirements engineering. Bell Labs Tech. J. 2(1): 86-95 (1997) - [j11]Doron A. Peled, Thomas Wilke:
Stutter-Invariant Temporal Properties are Expressible Without the Next-Time Operator. Inf. Process. Lett. 63(5): 243-246 (1997) - [j10]Doron A. Peled:
On Projective and Separable Properties. Theor. Comput. Sci. 186(1-2): 135-156 (1997) - [c33]Ilkka Kokkarinen, Doron A. Peled, Antti Valmari:
Relaxed Visibility Enhances Partial Order Reduction. CAV 1997: 328-339 - [c32]Girish Bhat, Doron A. Peled:
Adding Partial Orders to Linear Temporal Logic. CONCUR 1997: 119-134 - [c31]Parosh Aziz Abdulla, Mats Kindahl, Doron A. Peled:
An Improved Search Strategy for Lossy Channel Systems. FORTE 1997: 251-264 - [c30]Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün:
Verifying hardware in its software context. ICCAD 1997: 742-749 - [c29]E. Allen Emerson, Somesh Jha, Doron A. Peled:
Combining Partial Order and Symmetry Reductions. TACAS 1997: 19-34 - [c28]Vladimir Levin, Doron A. Peled:
Verification of Message Sequence Charts via Template Matching. TAPSOFT 1997: 652-666 - [c27]Doron A. Peled:
Verification for Robust Specification. TPHOLs 1997: 231-241 - [e2]Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled:
The Spin Verification System, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, August, 1996. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 32, DIMACS/AMS 1997, ISBN 978-0-8218-0680-7 [contents] - 1996
- [j9]Doron A. Peled:
User Interfaces for Formal Methods. ACM Comput. Surv. 28(4es): 122 (1996) - [j8]Doron A. Peled:
Combining Partial Order Reductions with On-the-Fly Model-Checking. Formal Methods Syst. Des. 8(1): 39-64 (1996) - [j7]Rajeev Alur, Gerard J. Holzmann, Doron A. Peled:
An Analyzer for Message Sequence Charts. Softw. Concepts Tools 17(2): 70-77 (1996) - [j6]Patrice Godefroid, Doron A. 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) - [c26]Gerard J. Holzmann, Doron A. Peled:
The State of SPIN. CAV 1996: 385-389 - [c25]Doron A. Peled, Thomas Wilke, Pierre Wolper
:
An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages. CONCUR 1996: 596-610 - [c24]Gerard J. Holzmann, Doron A. Peled, Mihalis Yannakakis:
On nested depth first search. The Spin Verification System 1996: 23-31 - [c23]Doron A. Peled:
Partial order reduction: Linear and branching temporal logics and process algebras. Partial Order Methods in Verification 1996: 233-257 - [c22]Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled:
Preface. The Spin Verification System 1996: ix- - [c21]Patrice Godefroid, Doron A. 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 A. Peled:
Model-Checking of Correctness Conditions for Concurrent Objects. LICS 1996: 219-228 - [c19]Doron A. Peled:
Partial Order Reduction: Model-Checking Using Representatives. MFCS 1996: 93-112 - [c18]Rajeev Alur, Gerard J. Holzmann, Doron A. Peled:
An Analyser for Mesage Sequence Charts. TACAS 1996: 35-48 - [c17]Ching-Tsun Chou, Doron A. Peled:
Formal Verification of a Partial-Order Reduction Technique for Model Checking. TACAS 1996: 241-257 - [e1]Doron A. Peled, Vaughan R. Pratt, Gerard J. Holzmann:
Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, July 24-26, 1996. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 29, DIMACS/AMS 1996, ISBN 978-0-8218-0579-4 [contents] - 1995
- [c16]Rob Gerth, Ruurd Kuiper, Doron A. Peled, Wojciech Penczek
:
A Partial Order Approach to Branching Time Logic Model Checking. ISTCS 1995: 130-139 - [c15]Rajeev Alur, Doron A. Peled, Wojciech Penczek:
Model-Checking of Causality Properties. LICS 1995: 90-100 - [c14]Rob Gerth, Doron A. Peled, Moshe Y. Vardi, Pierre Wolper:
Simple on-the-fly automatic verification of linear temporal logic. PSTV 1995: 3-18 - [c13]Doron A. Peled, Wojciech Penczek:
Using asynchronous Büchi automata for efficient automatic verification of concurrent systems. PSTV 1995: 315-330 - 1994
- [j5]Doron A. Peled, Amir Pnueli:
Proving Partial Order Properties. Theor. Comput. Sci. 126(2): 143-182 (1994) - [j4]Doron A. Peled, Mathai Joseph:
A Compositional Framework for Fault Tolerance by Specification Transformation. Theor. Comput. Sci. 128(1&2): 99-125 (1994) - [c12]Doron A. Peled:
On Projective and Separable Properties. CAAP 1994: 291-308 - [c11]Doron A. Peled:
Combining Partial Order Reductions with On-the-fly Model-Checking. CAV 1994: 377-390 - [c10]Gerard J. Holzmann, Doron A. Peled:
An improvement in formal verification. FORTE 1994: 197-211 - [c9]Marta Z. Kwiatkowska, Doron A. Peled, Wojciech Penczek:
A Hierarchy of Partial Order Temporal Properties. ICTL 1994: 398-414 - 1993
- [c8]Doron A. Peled:
All from One, One for All: on Model Checking Using Representatives. CAV 1993: 409-423 - [c7]Doron A. Peled, Mathai Joseph:
A Compositional Approach for Fault-Tolerance Using Specification Transformation. PARLE 1993: 173-184 - 1992
- [j3]Shmuel Katz, Doron A. Peled:
Verification of Distributed Programs Using Representative Interleaving Sequences. Distributed Comput. 6(2): 107-120 (1992) - [j2]Shmuel Katz, Doron A. Peled:
Defining Conditional Independence Using Collapses. Theor. Comput. Sci. 101(2): 337-359 (1992) - [c6]Doron A. Peled:
Sometimes 'Some' is as Good as 'All'. CONCUR 1992: 192-206 - 1991
- [c5]Doron A. Peled, Shmuel Katz, Amir Pnueli:
Specifying and Proving Serializability in Temporal Logic. LICS 1991: 232-244 - 1990
- [j1]Shmuel Katz, Doron A. Peled:
Interleaving Set Temporal Logic. Theor. Comput. Sci. 75(3): 263-287 (1990) - [c4]Doron A. Peled, Amir Pnueli:
Proving Partial Order Liveness Properties. ICALP 1990: 553-571
1980 – 1989
- 1988
- [c3]Shmuel Katz, Doron A. Peled:
An efficient verification method for parallel and distributed programs. REX Workshop 1988: 489-507 - 1987
- [c2]Shmuel Katz, Doron A. Peled:
Interleaving Set Temporal Logic (Preliminary Version). PODC 1987: 178-190 - [c1]Shmuel Katz, Doron A. Peled:
Interleaving Set Temporal Logic. Temporal Logic in Specification 1987: 21-43
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint