Doron A. Peled

Publication Activity (10 Years)

Years Active: 1987-2016
Publications (10 Years): 4

Top Venues

Haifa Verification Conference

MEMOCODE

J. Comput. Syst. Sci.

FoSSaCS

Publications

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) (2016)
Blaise Genest, Doron A. Peled, Sven Schewe
Knowledge = Observation + Memory + Computation. FoSSaCS (2015)
Alon Brook, Doron A. Peled, Sven Schewe
Local and global fairness in concurrent systems. MEMOCODE (2015)
John Fearnley, Doron A. Peled, Sven Schewe
Synthesis of succinct systems. J. Comput. Syst. Sci. 81 (7) (2015)
Peter Faymonville, Bernd Finkbeiner, Doron A. Peled
Monitoring Parametric Temporal Logic. VMCAI (2014)
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)
Doron A. Peled, Sven Schewe
Editorial: special issue on synthesis. Acta Informatica 51 (3-4) (2014)
Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang
Compositional Branching-Time Measurements. FPS@ETAPS (2014)
Gal Katz, Doron A. Peled
Synthesis of Parametric Programs using Genetic Programming and Model Checking. INFINITY (2013)
Gal Katz, Doron A. Peled
Synthesizing, Correcting and Improving Code, Using Model Checking-Based Genetic Programming. Haifa Verification Conference (2013)
Joost-Pieter Katoen, Doron A. Peled
Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems. ESOP (2013)
Saddek Bensalem, Borzoo Bonakdarpour, Marius Bozga, Doron A. Peled, Jean Quilbeuf
Performance Evaluation of Process Partitioning Using Probabilistic Model Checking. Haifa Verification Conference (2013)
Saddek Bensalem, Axel Legay, Ayoub Nouri, Doron A. Peled
Synthesizing distributed scheduling implementation for probabilistic component-based systems. MEMOCODE (2013)
Chung-Hao Huang, Doron A. Peled, Sven Schewe, Farn Wang
Rapid Recovery for Systems with Scarce Faults GandALF (2012)
John Fearnley, Doron A. Peled, Sven Schewe
Synthesis of Succinct Systems. ATVA (2012)
John Fearnley, Doron A. Peled, Sven Schewe
Synthesis of Succinct Systems CoRR (2012)
Saddek Bensalem, Marius Bozga, Doron A. Peled, Jean Quilbeuf
Knowledge Based Transactional Behavior. Haifa Verification Conference (2012)
Susanne Graf, Doron A. Peled, Sophie Quinton
Achieving distributed control through model checking. Formal Methods Syst. Des. 40 (2) (2012)
Susanne Graf, Doron A. Peled, Sophie Quinton
Monitoring Distributed Systems Using Knowledge. FMOODS/FORTE (2011)
Gal Katz, Doron A. Peled, Sven Schewe
The Buck Stops Here: Order, Chance, and Coordination in Distributed Control. ATVA (2011)
Gal Katz, Doron A. Peled, Sven Schewe
Synthesis of Distributed Control through Knowledge Accumulation. CAV (2011)
Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron A. Peled
Efficient deadlock detection for concurrent systems. MEMOCODE (2011)
Ananda Basu, Saddek Bensalem, Doron A. Peled, Joseph Sifakis
Priority scheduling of distributed systems based on model checking. Formal Methods Syst. Des. 39 (3) (2011)
Doron A. Peled, Sven Schewe
Practical Distributed Control Synthesis INFINITY (2011)
Susanne Graf, Doron A. Peled, Sophie Quinton
Achieving Distributed Control through Model Checking. CAV (2010)
Saddek Bensalem, Doron A. Peled, Joseph Sifakis
Knowledge Based Scheduling of Distributed Systems. Essays in Memory of Amir Pnueli (2010)
Saddek Bensalem, Marius Bozga, Susanne Graf, Doron A. Peled, Sophie Quinton
Methods for Knowledge Based Controlling of Distributed Systems. ATVA (2010)
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) (2010)
Gal Katz, Doron A. Peled
Code Mutation in Verification and Automatic Code Correction. TACAS (2010)
Gal Katz, Doron A. Peled
MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming. ATVA (2010)
Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron A. Peled
On commutativity based Edge Lean search. Ann. Math. Artif. Intell. 56 (2) (2009)
Ananda Basu, Saddek Bensalem, Doron A. Peled, Joseph Sifakis
Priority Scheduling of Distributed Systems Based on Model Checking. CAV (2009)
Peter Niebert, Doron A. Peled
Efficient model checking for LTL with partial order snapshots. Theor. Comput. Sci. 410 (42) (2009)
Gal Katz, Doron A. Peled
Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic Programming. Haifa Verification Conference (2009)
Peter Niebert, Doron A. Peled, Amir Pnueli
Discriminative Model Checking. CAV (2008)
Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis
Automatic generation of path conditions for concurrent timed systems. Theor. Comput. Sci. 404 (3) (2008)
Gal Katz, Doron A. Peled
Model Checking-Based Genetic Programming with an Application to Mutual Exclusion. TACAS (2008)
Gal Katz, Doron A. Peled
Model Checking Driven Heuristic Search for Correct Programs. MoChArt (2008)
Gal Katz, Doron A. Peled
Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms. ATVA (2008)
Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis, Lenore D. Zuck
Test Case Generation for Ultimately Periodic Paths. Haifa Verification Conference (2007)
Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron A. Peled
On Commutativity Based Edge Lean Search. ICALP (2007)
Edith Elkind, Blaise Genest, Doron A. Peled, Paola Spoletini
Quantifying the Discord: Order Discrepancies in Message Sequence Charts. ATVA (2007)
Edith Elkind, Blaise Genest, Doron A. Peled
Detecting Races in Ensembles of Message Sequence Charts. TACAS (2007)
Doron A. Peled, Yih-Kuen Tsay
Preface. Int. J. Found. Comput. Sci. 18 (1) (2007)
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)
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)
Alex Groce, Doron A. Peled, Mihalis Yannakakis
Adaptive Model Checking. Log. J. IGPL 14 (5) (2006)
Peter Niebert, Doron A. Peled
Efficient Model Checking for LTL with Partial Order Snapshots. TACAS (2006)
Doron A. Peled, Hongyang Qu
Enforcing Concurrent Temporal Behaviors. Int. J. Found. Comput. Sci. 17 (4) (2006)
Edith Elkind, Blaise Genest, Doron A. Peled, Hongyang Qu
Grey-Box Checking. FORTE (2006)
Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis
Generating Path Conditions for Timed Systems. IFM (2005)
Elsa L. Gunter, Doron A. Peled
Model checking, testing and verification working together. Formal Aspects Comput. 17 (2) (2005)
Doron A. Peled, Hongyang Qu
Time Unbalanced Partial Order. FATES (2005)
Rajeev Alur, Kenneth L. McMillan, Doron A. Peled
Deciding Global Partial-Order Properties. Formal Methods Syst. Des. 26 (1) (2005)
Blaise Genest, Dietrich Kuske, Anca Muscholl, Doron A. Peled
Snapshot Verification. TACAS (2005)
Doron A. Peled
Automatic Test Generation and Monitoring of Infinite States Systems. VISSAS (2005)
Doron A. Peled, Hongyang Qu
Enforcing Concurrent Temporal Behaviors. Electron. Notes Theor. Comput. Sci. 113 (2005)
Doron A. Peled
Introduction: Special Issue on Partial Order in Formal Methods. Formal Methods Syst. Des. 26 (1) (2005)
Marcin Jurdzinski, Doron A. Peled, Hongyang Qu
Calculating Probabilities of Real-Time Test Cases. FATES (2005)
Blaise Genest, Marius Minea, Anca Muscholl, Doron A. Peled
Specifying and Verifying Partial Order Properties Using Template MSCs. FoSSaCS (2004)
Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis
Automatic Generation of Path Conditions for Timed Systems. ISoLA (Preliminary proceedings) (2004)
Doron A. Peled, Hongyang Qu
Automatic Verification of Annotated Code. FORTE (2003)
Blaise Genest, Anca Muscholl, Doron A. Peled
Message Sequence Charts. Lectures on Concurrency and Petri Nets (2003)
Doron A. Peled
Model Checking and Testing Combined. ICALP (2003)
Elsa L. Gunter, Anca Muscholl, Doron A. Peled
Compositional message sequence charts. Int. J. Softw. Tools Technol. Transf. 5 (1) (2003)
Anca Muscholl, Doron A. Peled
Deciding Properties of Message Sequence Charts. Scenarios: Models, Transformations and Tools (2003)
Elsa L. Gunter, Doron A. Peled
Unit Checking: Symbolic Model Checking for a Unit of Code. Verification: Theory and Practice (2003)
Doron A. Peled
Specification and Verification using Message Sequence Charts. Electron. Notes Theor. Comput. Sci. 65 (7) (2002)
Doron A. Peled, Moshe Y. Vardi, Mihalis Yannakakis
Black Box Checking. J. Autom. Lang. Comb. 7 (2) (2002)
Alex Groce, Doron A. Peled, Mihalis Yannakakis
Adaptive Model Checking. TACAS (2002)
Alex Groce, Doron A. Peled, Mihalis Yannakakis
AMC: An Adaptive Model Checker. CAV (2002)
Elsa L. Gunter, Doron A. Peled
Temporal Debugging for Concurrent Systems. TACAS (2002)
Cindy Eisner, Doron A. Peled
Comparing Symbolic and Explicit Model Checking of a Software System. SPIN (2002)
Elsa L. Gunter, Doron A. Peled
Tracing the executions of concurrent programs. Electron. Notes Theor. Comput. Sci. 70 (4) (2002)
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) (2002)
Doron A. Peled, Antti Valmari, Ilkka Kokkarinen
Relaxed Visibility Enhances Partial Order Reduction. Formal Methods Syst. Des. 19 (3) (2001)
Anca Muscholl, Doron A. Peled
From Finite State Communication Protocols to High-Level Message Sequence Charts. ICALP (2001)
Natasha Sharygina, Doron A. Peled
A Combined Testing and Verification Approach for Software Reliability. FME (2001)
Doron A. Peled, Lenore D. Zuck
From Model Checking to a Temporal Proof. SPIN (2001)
Doron A. Peled, Amir Pnueli, Lenore D. Zuck
From Falsification to Verification. FSTTCS (2001)
Elsa L. Gunter, Anca Muscholl, Doron A. Peled
Compositional Message Sequence Charts. TACAS (2001)
Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron A. Peled
Parametric temporal logic for "model measuring". ACM Trans. Comput. Log. 2 (3) (2001)
Elsa L. Gunter, Robert P. Kurshan, Doron A. Peled
PET: An Interactive Software Testing Tool. CAV (2000)
Anca Muscholl, Doron A. Peled
Analyzing Message Sequence Charts. SAM (2000)
Doron A. Peled
Formal Methods for Message Sequence Charts. ICDCS Workshop on Distributed System Validation and Verification (2000)
Rajeev Alur, Kenneth L. McMillan, Doron A. Peled
Model-Checking of Correctness Conditions for Concurrent Objects. Inf. Comput. 160 (1-2) (2000)
Doron A. Peled
Specification and Verification of Message Sequence Charts. FORTE (2000)
Elsa L. Gunter, Doron A. Peled
Using a Mix of Languages in Formal Methods: The PET System. PDPTA (2000)
Rob Gerth, Ruurd Kuiper, Doron A. Peled, Wojciech Penczek
A Partial Order Approach to Branching Time Logic Model Checking. Inf. Comput. 150 (2) (1999)
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) (1999)
Anca Muscholl, Doron A. Peled
Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces. MFCS (1999)
Ching-Tsun Chou, Doron A. Peled
Formal Verification of a Partial-Order Reduction Technique for Model Checking. J. Autom. Reason. 23 (3-4) (1999)
Hüsnü Yenigün, Vladimir Levin, Doron A. Peled, Peter A. Beerel
Hazard-Freedom Checking in Speed-Independent Systems. CHARME (1999)
Rajeev Alur, Doron A. Peled
Undecidability of Partial Order Logics. Inf. Process. Lett. 69 (3) (1999)
Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron A. Peled
Parametric Temporal Logic for "Model Measuring". ICALP (1999)
Doron A. Peled, Moshe Y. Vardi, Mihalis Yannakakis
Black Box Checking. FORTE (1999)
Elsa L. Gunter, Doron A. Peled
Path Exploration Tool. TACAS (1999)
Somesh Jha, Doron A. Peled
Generalized Stuttering Equivalence. PDPTA (1999)
Doron A. Peled
Ten Years of Partial Order Reduction. CAV (1998)
Girish Bhat, Doron A. Peled
Adding Partial Orders to Linear Temporal Logic. Fundam. Informaticae 36 (1) (1998)

Doron A. Peled.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Doron A. Peled