| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | John Fearnley, Doron Peled, Sven Schewe |
Synthesis of Succinct Systems  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Susanne Graf, Doron Peled, Sophie Quinton |
Achieving distributed control through model checking. |
Formal Methods in System Design |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Peled, Sven Schewe |
Practical Distributed Control Synthesis |
INFINITY |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ananda Basu, Saddek Bensalem, Doron Peled, Joseph Sifakis |
Priority scheduling of distributed systems based on model checking. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Peled |
Model Checking. |
Software and Systems Safety - Specification and Verification |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Susanne Graf, Doron Peled, Sophie Quinton |
Monitoring Distributed Systems Using Knowledge. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron Peled |
Efficient deadlock detection for concurrent systems. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gal Katz, Doron Peled, Sven Schewe |
The Buck Stops Here: Order, Chance, and Coordination in Distributed Control. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gal Katz, Doron Peled, Sven Schewe |
Synthesis of Distributed Control through Knowledge Accumulation. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini |
Quantifying the Discord: Order Discrepancies in Message Sequence Charts. |
Int. J. Found. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gal Katz, Doron Peled |
Code Mutation in Verification and Automatic Code Correction. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Saddek Bensalem, Marius Bozga, Susanne Graf, Doron Peled, Sophie Quinton |
Methods for Knowledge Based Controlling of Distributed Systems. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gal Katz, Doron Peled |
MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Saddek Bensalem, Doron Peled, Joseph Sifakis |
Knowledge Based Scheduling of Distributed Systems. |
Essays in Memory of Amir Pnueli |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zohar Manna, Doron Peled (eds.) |
Time for Verification, Essays in Memory of Amir Pnueli |
Essays in Memory of Amir Pnueli |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Susanne Graf, Doron Peled, Sophie Quinton |
Achieving Distributed Control through Model Checking. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
TASE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Peter Niebert, Doron Peled |
Efficient model checking for LTL with partial order snapshots. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled |
On commutativity based Edge Lean search. |
Ann. Math. Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Saddek Bensalem, Doron Peled (eds.) |
Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers |
RV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
MoChArt |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ananda Basu, Saddek Bensalem, Doron Peled, Joseph Sifakis |
Priority Scheduling of Distributed Systems Based on Model Checking. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gal Katz, Doron Peled |
Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic Programming. |
Haifa Verification Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis |
Automatic generation of path conditions for concurrent timed systems. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Peled, Patrizio Pelliccione, Paola Spoletini |
Model Checking. |
Wiley Encyclopedia of Computer Science and Engineering |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gal Katz, Doron Peled |
Model Checking-Based Genetic Programming with an Application to Mutual Exclusion. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michaela Huhn, Hardi Hungar, Doron Peled (eds.) |
Tools for the Model-based Development of Certifiable, Dependable Systems, 10.06. - 15.06.2007 |
Tools for the Model-based Development of Certifiable, Dependable Systems |
2008 |
DBLP BibTeX RDF |
|
| 1 | Gal Katz, Doron Peled |
Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gal Katz, Doron Peled |
Model Checking Driven Heuristic Search for Correct Programs. |
MoChArt |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Niebert, Doron Peled, Amir Pnueli |
Discriminative Model Checking. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
VMCAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Doron Peled, Yih-Kuen Tsay |
Preface. |
Int. J. Found. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Edith Elkind, Blaise Genest, Doron Peled |
Detecting Races in Ensembles of Message Sequence Charts. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled |
On Commutativity Based Edge Lean Search. |
ICALP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini |
Quantifying the Discord: Order Discrepancies in Message Sequence Charts. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis, Lenore D. Zuck |
Test Case Generation for Ultimately Periodic Paths. |
Haifa Verification Conference |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Peled, Hongyang Qu |
Enforcing Concurrent Temporal Behaviors. |
Int. J. Found. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Groce, Doron Peled, Mihalis Yannakakis |
Adaptive Model Checking. |
Logic Journal of the IGPL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Edith Elkind, Blaise Genest, Doron Peled, Hongyang Qu |
Grey-Box Checking. |
FORTE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Niebert, Doron Peled |
Efficient Model Checking for LTL with Partial Order Snapshots. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Elsa L. Gunter, Doron Peled |
Model checking, testing and verification working together. |
Formal Asp. Comput. |
2005 |
DBLP DOI BibTeX RDF |
Model checking, Verification, Test generation |
| 1 | Doron Peled, Hongyang Qu |
Enforcing Concurrent Temporal Behaviors. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Peled |
Introduction: Special Issue on Partial Order in Formal Methods. |
Formal Methods in System Design |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Kenneth L. McMillan, Doron Peled |
Deciding Global Partial-Order Properties. |
Formal Methods in System Design |
2005 |
DBLP DOI BibTeX RDF |
partial order logics, model checking, concurrency, temporal logics |
| 1 | Blaise Genest, Dietrich Kuske, Anca Muscholl, Doron Peled |
Snapshot Verification. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Peled, Yih-Kuen Tsay (eds.) |
Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings |
ATVA |
2005 |
DBLP BibTeX RDF |
|
| 1 | Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis |
Generating Path Conditions for Timed Systems. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Peled |
Automatic Test Generation and Monitoring of Infinite States Systems. |
VISSAS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Marcin Jurdzinski, Doron Peled, Hongyang Qu |
Calculating Probabilities of Real-Time Test Cases. |
FATES |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Peled, Hongyang Qu |
Time Unbalanced Partial Order. |
FATES |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Doron Peled (eds.) |
Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings |
CAV |
2004 |
DBLP BibTeX RDF |
|
| 1 | Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis |
Automatic Generation of Path Conditions for Timed Systems. |
ISoLA (Preliminary proceedings) |
2004 |
DBLP BibTeX RDF |
|
| 1 | Blaise Genest, Marius Minea, Anca Muscholl, Doron Peled |
Specifying and Verifying Partial Order Properties Using Template MSCs. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Elsa L. Gunter, Anca Muscholl, Doron Peled |
Compositional message sequence charts. |
STTT |
2003 |
DBLP DOI BibTeX RDF |
Finite-state communication protocols, Message sequence charts, Partial-order methods |
| 1 | Doron Peled, Hongyang Qu |
Automatic Verification of Annotated Code. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Peled |
Model Checking and Testing Combined. |
ICALP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Anca Muscholl, Doron Peled |
Deciding Properties of Message Sequence Charts. |
Scenarios: Models, Transformations and Tools |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Elsa L. Gunter, Doron Peled |
Unit Checking: Symbolic Model Checking for a Unit of Code. |
Verification: Theory and Practice |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Blaise Genest, Anca Muscholl, Doron Peled |
Message Sequence Charts. |
Lectures on Concurrency and Petri Nets |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Elsa L. Gunter, Doron Peled |
Tracing the executions of concurrent programs. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Peled |
Specification and Verification using Message Sequence Charts. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis |
Black Box Checking. |
Journal of Automata, Languages and Combinatorics |
2002 |
DBLP BibTeX RDF |
|
| 1 | Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün |
Combining Software and Hardware Verification Techniques. |
Formal Methods in System Design |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
FORTE |
2002 |
DBLP BibTeX RDF |
|
| 1 | Elsa L. Gunter, Doron Peled |
Temporal Debugging for Concurrent Systems. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Groce, Doron Peled, Mihalis Yannakakis |
Adaptive Model Checking. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
Learning Algorithms, Automatic Verification, Black Box Testing |
| 1 | Cindy Eisner, Doron Peled |
Comparing Symbolic and Explicit Model Checking of a Software System. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Groce, Doron Peled, Mihalis Yannakakis |
AMC: An Adaptive Model Checker. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron Peled |
Parametric temporal logic for "model measuring". |
ACM Trans. Comput. Log. |
2001 |
DBLP DOI BibTeX RDF |
model checking, temporal logic, quantitative analysis |
| 1 | Doron Peled, Antti Valmari, Ilkka Kokkarinen |
Relaxed Visibility Enhances Partial Order Reduction. |
Formal Methods in System Design |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Edmund M. Clarke, Orna Grumberg, Doron Peled |
Model checking. |
|
2001 |
RDF |
|
| 1 | Elsa L. Gunter, Anca Muscholl, Doron Peled |
Compositional Message Sequence Charts. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Anca Muscholl, Doron Peled |
From Finite State Communication Protocols to High-Level Message Sequence Charts. |
ICALP |
2001 |
DBLP DOI BibTeX RDF |
HMSC, bounded automata, partial order specification, specification, Message sequence charts |
| 1 | Doron Peled, Lenore D. Zuck |
From Model Checking to a Temporal Proof. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Sharygina, Doron Peled |
A Combined Testing and Verification Approach for Software Reliability. |
FME |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Peled, Amir Pnueli, Lenore D. Zuck |
From Falsification to Verification. |
FSTTCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Kenneth L. McMillan, Doron Peled |
Model-Checking of Correctness Conditions for Concurrent Objects. |
Inf. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Peled |
Specification and Verification of Message Sequence Charts. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
| 1 | Doron Peled |
Formal Methods for Message Sequence Charts. |
ICDCS Workshop on Distributed System Validation and Verification |
2000 |
DBLP BibTeX RDF |
|
| 1 | Anca Muscholl, Doron Peled |
Analyzing Message Sequence Charts. |
SAM |
2000 |
DBLP BibTeX RDF |
|
| 1 | Elsa L. Gunter, Doron Peled |
Using a Mix of Languages in Formal Methods: The PET System. |
PDPTA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Elsa L. Gunter, Robert P. Kurshan, Doron Peled |
PET: An Interactive Software Testing Tool. |
CAV |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Doron Peled |
Undecidability of Partial Order Logics. |
Inf. Process. Lett. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek |
A Partial Order Approach to Branching Time Logic Model Checking. |
Inf. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ching-Tsun Chou, Doron Peled |
Formal Verification of a Partial-Order Reduction Technique for Model Checking. |
J. Autom. Reasoning |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Edmund M. Clarke, Orna Grumberg, Marius Minea, Doron Peled |
State Space Reduction Using Partial Order Techniques. |
STTT |
1999 |
DBLP DOI BibTeX RDF |
Partial order reduction, State space reduction |
| 1 | Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis |
Black Box Checking. |
FORTE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Elsa L. Gunter, Doron Peled |
Path Exploration Tool. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron Peled |
Parametric Temporal Logic for "Model Measuring". |
ICALP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Anca Muscholl, Doron Peled |
Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces. |
MFCS |
1999 |
DBLP DOI BibTeX RDF |
Message sequence graphs, Mazurkiewicz semi-traces, universality problem, automata theory |
| 1 | Hüsnü Yenigün, Vladimir Levin, Doron Peled, Peter A. Beerel |
Hazard-Freedom Checking in Speed-Independent Systems. |
CHARME |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Somesh Jha, Doron Peled |
Generalized Stuttering Equivalence. |
PDPTA |
1999 |
DBLP BibTeX RDF |
|
| 1 | Nicolas Halbwachs, Doron Peled (eds.) |
Computer Aided Verification, 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings |
CAV |
1999 |
DBLP BibTeX RDF |
|
| 1 | Doron Peled, Thomas Wilke, Pierre Wolper |
An Algorithmic Approach for Checking Closure Properties of Temporal Logic Specifications and Omega-Regular Languages. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Girish Bhat, Doron Peled |
Adding Partial Orders to Linear Temporal Logic. |
Fundam. Inform. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron Peled, Hüsnü Yenigün |
Static Partial Order Reduction. |
TACAS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Kenneth L. McMillan, Doron Peled |
Deciding Global Partial-Order Properties. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Peled |
A Toolset for Message Sequence Charts. |
CAV |
1998 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")