Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDoron A. Peled
Doron Peled
Person information
- affiliation: Bar Ilan University, Department of Computer Science
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 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]