The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Doron A. Peled Doron Peled ( http://dblp.L3S.de/Authors/Doron_A._Peled )

URL (Homepage):  http://u.cs.biu.ac.il/~doronp/  Author page on DBLP  Author page in RDF  Community of Doron A. Peled in ASPL-2

Publication years (Num. hits)
1987-1994 (17) 1995-1996 (19) 1997-1998 (19) 1999-2000 (17) 2001-2002 (18) 2003-2005 (19) 2006-2008 (19) 2009-2011 (21) 2012-2014 (18) 2015-2018 (23) 2019-2021 (10)
Publication types (Num. hits)
article(46) book(6) incollection(8) inproceedings(126) proceedings(14)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 37 occurrences of 26 keywords

Results
Found 201 publication records. Showing 200 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Klaus Havelund, Doron Peled An extension of first-order LTL with rules with application to runtime verification. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Doron Peled Reverse Engineering Through Automata Learning. Search on Bibsonomy Formal Methods in Outer Space The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Klaus Havelund, Moran Omer, Doron Peled Monitoring First-Order Interval Logic. Search on Bibsonomy SEFM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Klaus Havelund, Doron Peled, Dogan Ulus First-order temporal logic monitoring with BDDs. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Simon Iosti, Doron Peled, Khen Aharon, Saddek Bensalem, Yoav Goldberg Synthesizing Control for a System with Black Box Environment, Based on Deep Learning. Search on Bibsonomy ISoLA (2) The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Klaus Havelund, Doron Peled First-Order Timed Runtime Verification Using BDDs. Search on Bibsonomy ATVA The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Klaus Havelund, Doron Peled BDDs for Representing Data in Runtime Verification. Search on Bibsonomy RV The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Doron A. Peled Formal Methods. Search on Bibsonomy Handbook of Software Engineering The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Doron Peled, Simon Iosti, Saddek Bensalem Control Synthesis Through Deep Learning. Search on Bibsonomy From Reactive Systems to Cyber-Physical Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Klaus Havelund, Doron Peled An Extension of LTL with Rules and Its Application to Runtime Verification. Search on Bibsonomy RV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Edmund M. Clarke, Orna Grumberg, Daniel Kroening, Doron A. Peled, Helmut Veith Model checking, 2nd Edition. Search on Bibsonomy 2018   RDF
1Doron Peled Partial-Order Reduction. Search on Bibsonomy Handbook of Model Checking The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Klaus Havelund, Doron Peled BDDs on the Run. Search on Bibsonomy ISoLA (4) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lei Bu, Doron Peled, Dashuan Shen, Yael Tzirulnikov Chasing Errors Using Biasing Automata. Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lei Bu, Doron Peled, Dachuan Shen, Yuan Zhuang Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking. Search on Bibsonomy SPIN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Klaus Havelund, Doron Peled Efficient Runtime Verification of First-Order Temporal Properties. Search on Bibsonomy SPIN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Doron Peled, Klaus Havelund Refining the Safety-Liveness Classification of Temporal Properties According to Monitorability. Search on Bibsonomy Models, Mindsets, Meta The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Klaus Havelund, Doron Peled Runtime Verification: From Propositional to First-Order Temporal Logic. Search on Bibsonomy RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Klaus Havelund, Doron Peled, Dogan Ulus DejaVu: A Monitoring Tool for First-Order Temporal Logic. Search on Bibsonomy MT@CPSWeek The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gal Katz, Doron Peled Synthesizing, correcting and improving code, using model checking-based genetic programming. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Doron Peled Automata Based Validation Techniques. Search on Bibsonomy Dependable Software Systems Engineering The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alexander Pretschner, Doron Peled, Thomas Hutzelmann (eds.) Dependable Software Systems Engineering Search on Bibsonomy 2017 DBLP  BibTeX  RDF
1Kim G. Larsen, Doron Peled, Sean Sedwards Memory-Efficient Tactics for Randomized LTL Model Checking. Search on Bibsonomy VSTTE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Klaus Havelund, Doron Peled, Dogan Ulus First order temporal logic monitoring with BDDs. Search on Bibsonomy FMCAD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chung-Hao Huang, Doron A. Peled, Sven Schewe, Farn Wang A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Doron Peled Automatic Synthesis of Code Using Genetic Programming. Search on Bibsonomy ISoLA (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Cyrille Artho, Axel Legay, Doron Peled (eds.) Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Doron Peled Using Genetic Programming for Software Reliability. Search on Bibsonomy RV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1John Fearnley, Doron A. Peled, Sven Schewe Synthesis of succinct systems. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Maximilian Irlbeck, Doron A. Peled, Alexander Pretschner (eds.) Dependable Software Systems Engineering Search on Bibsonomy 2015 DBLP  BibTeX  RDF
1Doron A. Peled From Verification to Synthesis. Search on Bibsonomy Dependable Software Systems Engineering The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alon Brook, Doron A. Peled, Sven Schewe Local and global fairness in concurrent systems. Search on Bibsonomy MEMOCODE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Blaise Genest, Doron A. Peled, Sven Schewe Knowledge = Observation + Memory + Computation. Search on Bibsonomy FoSSaCS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Doron A. Peled, Sven Schewe Editorial: special issue on synthesis. Search on Bibsonomy Acta Informatica The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang Using Statistical Model Checking for Measuring Systems. Search on Bibsonomy ISoLA (2) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Doron A. Peled, Sven Schewe Distributed Control Synthesis. Search on Bibsonomy HOWARD-60 The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang Compositional Branching-Time Measurements. Search on Bibsonomy FPS@ETAPS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Peter Faymonville, Bernd Finkbeiner, Doron A. Peled Monitoring Parametric Temporal Logic. Search on Bibsonomy VMCAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gal Katz, Doron A. Peled Synthesis of Parametric Programs using Genetic Programming and Model Checking. Search on Bibsonomy INFINITY The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Manfred Broy, Doron A. Peled, Georg Kalus (eds.) Engineering Dependable Software Systems Search on Bibsonomy 2013 DBLP  BibTeX  RDF
1Doron A. Peled Model Checking Basics. Search on Bibsonomy Engineering Dependable Software Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Axel Legay, Ayoub Nouri, Doron A. Peled Synthesizing distributed scheduling implementation for probabilistic component-based systems. Search on Bibsonomy MEMOCODE The full citation details ... 2013 DBLP  BibTeX  RDF
1Joost-Pieter Katoen, Doron A. Peled Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems. Search on Bibsonomy ESOP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gal Katz, Doron A. Peled Synthesizing, Correcting and Improving Code, Using Model Checking-Based Genetic Programming. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Borzoo Bonakdarpour, Marius Bozga, Doron A. Peled, Jean Quilbeuf Performance Evaluation of Process Partitioning Using Probabilistic Model Checking. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Susanne Graf, Doron A. Peled, Sophie Quinton Achieving distributed control through model checking. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1John Fearnley, Doron A. Peled, Sven Schewe Synthesis of Succinct Systems Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Chung-Hao Huang, Doron A. Peled, Sven Schewe, Farn Wang Rapid Recovery for Systems with Scarce Faults Search on Bibsonomy GandALF The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Doron A. Peled, Sven Schewe (eds.) Proceedings First Workshop on Synthesis, SYNT 2012, Berkeley, California, USA, 7th and 8th July 2012. Search on Bibsonomy SYNT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1John Fearnley, Doron A. Peled, Sven Schewe Synthesis of Succinct Systems. Search on Bibsonomy ATVA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Marius Bozga, Doron A. Peled, Jean Quilbeuf Knowledge Based Transactional Behavior. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ananda Basu, Saddek Bensalem, Doron A. Peled, Joseph Sifakis Priority scheduling of distributed systems based on model checking. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Doron A. Peled, Sven Schewe Practical Distributed Control Synthesis Search on Bibsonomy INFINITY The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Doron A. Peled Model Checking. Search on Bibsonomy Software and Systems Safety - Specification and Verification The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron A. Peled Efficient deadlock detection for concurrent systems. Search on Bibsonomy MEMOCODE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gal Katz, Doron A. Peled, Sven Schewe Synthesis of Distributed Control through Knowledge Accumulation. Search on Bibsonomy CAV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gal Katz, Doron A. Peled, Sven Schewe The Buck Stops Here: Order, Chance, and Coordination in Distributed Control. Search on Bibsonomy ATVA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Susanne Graf, Doron A. Peled, Sophie Quinton Monitoring Distributed Systems Using Knowledge. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Edith Elkind, Blaise Genest, Doron A. Peled, Paola Spoletini Quantifying the Discord: Order Discrepancies in Message Sequence Charts. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Susanne Graf, Doron A. Peled, Sophie Quinton Achieving Distributed Control through Model Checking. Search on Bibsonomy CAV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Zohar Manna, Doron A. Peled (eds.) Time for Verification, Essays in Memory of Amir Pnueli Search on Bibsonomy Essays in Memory of Amir Pnueli The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Doron A. Peled, Joseph Sifakis Knowledge Based Scheduling of Distributed Systems. Search on Bibsonomy Essays in Memory of Amir Pnueli The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Marius Bozga, Susanne Graf, Doron A. Peled, Sophie Quinton Methods for Knowledge Based Controlling of Distributed Systems. Search on Bibsonomy ATVA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gal Katz, Doron A. Peled MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming. Search on Bibsonomy ATVA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gal Katz, Doron A. Peled Code Mutation in Verification and Automatic Code Correction. Search on Bibsonomy TACAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jing Liu, Doron A. 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 Search on Bibsonomy TASE The full citation details ... 2010 DBLP  BibTeX  RDF
1Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron A. Peled On commutativity based Edge Lean search. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Peter Niebert, Doron A. Peled Efficient model checking for LTL with partial order snapshots. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ananda Basu, Saddek Bensalem, Doron A. Peled, Joseph Sifakis Priority Scheduling of Distributed Systems Based on Model Checking. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Doron A. Peled, Michael J. Wooldridge (eds.) Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers Search on Bibsonomy MoChArt The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Doron A. Peled (eds.) Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers Search on Bibsonomy RV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gal Katz, Doron A. Peled Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic Programming. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Doron A. Peled, Patrizio Pelliccione, Paola Spoletini Model Checking. Search on Bibsonomy Wiley Encyclopedia of Computer Science and Engineering The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Doron A. Peled, Hongyang Qu 0001, Stavros Tripakis Automatic generation of path conditions for concurrent timed systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Peter Niebert, Doron A. Peled, Amir Pnueli Discriminative Model Checking. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Michaela Huhn, Hardi Hungar, Doron A. Peled (eds.) Tools for the Model-based Development of Certifiable, Dependable Systems, 10.06. - 15.06.2007 Search on Bibsonomy Tools for the Model-based Development of Certifiable, Dependable Systems The full citation details ... 2008 DBLP  BibTeX  RDF
1Gal Katz, Doron A. Peled Model Checking Driven Heuristic Search for Correct Programs. Search on Bibsonomy MoChArt The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gal Katz, Doron A. Peled Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms. Search on Bibsonomy ATVA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gal Katz, Doron A. Peled Model Checking-Based Genetic Programming with an Application to Mutual Exclusion. Search on Bibsonomy TACAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.) Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings Search on Bibsonomy VMCAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Doron A. Peled, Yih-Kuen Tsay Preface. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Michaela Huhn, Hardi Hungar, Doron A. Peled 07241 Abstracts Collection - Tools for the Model-based Development of Certifiable, Dependable Systems. Search on Bibsonomy Tools for the Model-based Development of Certifiable, Dependable Systems The full citation details ... 2007 DBLP  BibTeX  RDF
1Michaela Huhn, Hardi Hungar, Doron A. Peled 07241 Summary - Tools for the Model-based Development of Certifiable, Dependable Systems. Search on Bibsonomy Tools for the Model-based Development of Certifiable, Dependable Systems The full citation details ... 2007 DBLP  BibTeX  RDF
1Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron A. Peled On Commutativity Based Edge Lean Search. Search on Bibsonomy ICALP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Edith Elkind, Blaise Genest, Doron A. Peled, Paola Spoletini Quantifying the Discord: Order Discrepancies in Message Sequence Charts. Search on Bibsonomy ATVA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Edith Elkind, Blaise Genest, Doron A. Peled Detecting Races in Ensembles of Message Sequence Charts. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Doron A. Peled, Hongyang Qu 0001, Stavros Tripakis, Lenore D. Zuck Test Case Generation for Ultimately Periodic Paths. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Doron A. Peled, Hongyang Qu 0001 Enforcing Concurrent Temporal Behaviors. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alex Groce, Doron A. Peled, Mihalis Yannakakis Adaptive Model Checking. Search on Bibsonomy Log. J. IGPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Peter Niebert, Doron A. Peled Efficient Model Checking for LTL with Partial Order Snapshots. Search on Bibsonomy TACAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Edith Elkind, Blaise Genest, Doron A. Peled, Hongyang Qu 0001 Grey-Box Checking. Search on Bibsonomy FORTE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Doron A. Peled, Hongyang Qu 0001 Enforcing Concurrent Temporal Behaviors. Search on Bibsonomy Electron. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Doron A. Peled Introduction: Special Issue on Partial Order in Formal Methods. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Kenneth L. McMillan, Doron A. Peled Deciding Global Partial-Order Properties. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF partial order logics, model checking, concurrency, temporal logics
1Elsa L. Gunter, Doron A. Peled Model checking, testing and verification working together. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Model checking, Verification, Test generation
1Doron A. Peled Automatic Test Generation and Monitoring of Infinite States Systems. Search on Bibsonomy VISSAS The full citation details ... 2005 DBLP  BibTeX  RDF
1Doron A. Peled, Yih-Kuen Tsay (eds.) Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings Search on Bibsonomy ATVA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Doron A. Peled, Hongyang Qu 0001 Time Unbalanced Partial Order. Search on Bibsonomy FATES The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Marcin Jurdzinski, Doron A. Peled, Hongyang Qu 0001 Calculating Probabilities of Real-Time Test Cases. Search on Bibsonomy FATES The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Saddek Bensalem, Doron A. Peled, Hongyang Qu 0001, Stavros Tripakis Generating Path Conditions for Timed Systems. Search on Bibsonomy IFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 200 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license