# Doron A. Peled

According to our database

Collaborative distances:

^{1}, Doron A. Peled authored at least 154 papers between 1987 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepages:

#### On csauthors.net:

## Bibliography

2020

Proceedings of the Runtime Verification - 20th International Conference, 2020

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

Proceedings of the Runtime Verification - 19th International Conference, 2019

Proceedings of the From Reactive Systems to Cyber-Physical Systems, 2019

Proceedings of the Handbook of Software Engineering., 2019

2018

Proceedings of the Handbook of Model Checking., 2018

Proceedings of the Model Checking Software - 25th International Symposium, 2018

Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking.

Proceedings of the Model Checking Software - 25th International Symposium, 2018

Proceedings of the Runtime Verification - 18th International Conference, 2018

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018

Refining the Safety-Liveness Classification of Temporal Properties According to Monitorability.

Proceedings of the Models, Mindsets, 2018

2017

Proceedings of the Dependable Software Systems Engineering, 2017

Synthesizing, correcting and improving code, using model checking-based genetic programming.

Int. J. Softw. Tools Technol. Transf., 2017

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2016

A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors.

IEEE Trans. Software Eng., 2016

Proceedings of the Runtime Verification - 16th International Conference, 2016

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015

Proceedings of the Dependable Software Systems Engineering, 2015

J. Comput. Syst. Sci., 2015

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

Proceedings of the Foundations of Software Science and Computation Structures, 2015

2014

Acta Informatica, 2014

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014

2013

Proceedings of the Engineering Dependable Software Systems, 2013

Proceedings of the Proceedings 15th International Workshop on Verification of Infinite-State Systems, 2013

Synthesizing distributed scheduling implementation for probabilistic component-based systems.

Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013

Performance Evaluation of Process Partitioning Using Probabilistic Model Checking.

Proceedings of the Hardware and Software: Verification and Testing, 2013

Proceedings of the Programming Languages and Systems, 2013

2012

Formal Methods Syst. Des., 2012

Proceedings of the Proceedings Third International Symposium on Games, 2012

Proceedings of the Hardware and Software: Verification and Testing, 2012

2011

Proceedings of the Software and Systems Safety - Specification and Verification, 2011

Formal Methods Syst. Des., 2011

Proceedings of the Proceedings 13th International Workshop on Verification of Infinite-State Systems, 2011

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

Proceedings of the Formal Techniques for Distributed Systems, 2011

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

Int. J. Found. Comput. Sci., 2010

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Proceedings of the Time for Verification, 2010

Proceedings of the Automated Technology for Verification and Analysis, 2010

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

Theor. Comput. Sci., 2009

Ann. Math. Artif. Intell., 2009

Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic Programming.

Proceedings of the Hardware and Software: Verification and Testing, 2009

2008

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Theor. Comput. Sci., 2008

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms.

Proceedings of the Automated Technology for Verification and Analysis, 2008

2007

Int. J. Found. Comput. Sci., 2007

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Proceedings of the Hardware and Software: Verification and Testing, 2007

07241 Abstracts Collection - Tools for the Model-based Development of Certifiable, Dependable Systems.

Proceedings of the Tools for the Model-based Development of Certifiable, Dependable Systems, 10.06., 2007

07241 Summary - Tools for the Model-based Development of Certifiable, Dependable Systems.

Proceedings of the Tools for the Model-based Development of Certifiable, Dependable Systems, 10.06., 2007

2006

Log. J. IGPL, 2006

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2005

Formal Methods Syst. Des., 2005

Formal Methods Syst. Des., 2005

Formal Aspects Comput., 2005

Electron. Notes Theor. Comput. Sci., 2005

Automatic Test Generation and Monitoring of Infinite States Systems.

Proceedings of the Verification of Infinite-State Systems with Applications to Security, 2005

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005

Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005

2004

Automatic Generation of Path Conditions for Timed Systems.

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Proceedings of the Foundations of Software Science and Computation Structures, 2004

2003

Int. J. Softw. Tools Technol. Transf., 2003

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003

Proceedings of the Scenarios: Models, 2003

Proceedings of the Verification: Theory and Practice, 2003

Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002

J. Autom. Lang. Comb., 2002

Formal Methods Syst. Des., 2002

Electron. Notes Theor. Comput. Sci., 2002

Electron. Notes Theor. Comput. Sci., 2002

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

Proceedings of the Model Checking of Software, 2002

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

ACM Trans. Comput. Log., 2001

Formal Methods Syst. Des., 2001

Proceedings of the Model Checking Software, 2001

Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001

Proceedings of the FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 2001

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

Texts in Computer Science, Springer, ISBN: 978-1-4419-2876-4, 2001

MIT Press, ISBN: 978-0-262-03270-4, 2001

2000

Inf. Comput., 2000

Analyzing Message Sequence Charts.

Proceedings of the SAM 2000, 2000

Using a Mix of Languages in Formal Methods: The PET System.

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

Formal Methods for Message Sequence Charts.

Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000

Specification and Verification of Message Sequence Charts.

Proceedings of the Formal Techniques for Distributed System Development, 2000

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Int. J. Softw. Tools Technol. Transf., 1999

J. Autom. Reason., 1999

Inf. Process. Lett., 1999

Inf. Comput., 1999

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

Generalized Stuttering Equivalence.

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

Proceedings of the Mathematical Foundations of Computer Science 1999, 1999

Proceedings of the Correct Hardware Design and Verification Methods, 1999

1998

An Algorithmic Approach for Checking Closure Properties of Temporal Logic Specifications and Omega-Regular Languages.

Theor. Comput. Sci., 1998

Fundam. Informaticae, 1998

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

Proceedings of the Foundations of Software Science and Computation Structure, 1998

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract).

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

Theor. Comput. Sci., 1997

Stutter-Invariant Temporal Properties are Expressible Without the Next-Time Operator.

Inf. Process. Lett., 1997

Bell Labs Tech. J., 1997

Proceedings of the Theorem Proving in Higher Order Logics, 10th International Conference, 1997

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997

An Improved Search Strategy for Lossy Channel Systems.

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

1996

Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs.

IEEE Trans. Software Eng., 1996

An Analyzer for Message Sequence Charts.

Softw. Concepts Tools, 1996

Formal Methods Syst. Des., 1996

ACM Comput. Surv., 1996

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

Partial order reduction: Linear and branching temporal logics and process algebras.

Proceedings of the Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, 1996

Proceedings of the Spin Verification System, 1996

Preface.

Proceedings of the Spin Verification System, 1996

An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages.

Proceedings of the CONCUR '96, 1996

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

Using asynchronous Büchi automata for efficient automatic verification of concurrent systems.

Proceedings of the Protocol Specification, 1995

Simple on-the-fly automatic verification of linear temporal logic.

Proceedings of the Protocol Specification, 1995

Proceedings of the Proceedings, 1995

1994

Theor. Comput. Sci., 1994

Theor. Comput. Sci., 1994

Proceedings of the Temporal Logic, First International Conference, 1994

An improvement in formal verification.

Proceedings of the Formal Description Techniques VII, 1994

1993

Proceedings of the PARLE '93, 1993

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992

Theor. Comput. Sci., 1992

Distributed Comput., 1992

Proceedings of the CONCUR '92, 1992

1991

Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991

1990

Theor. Comput. Sci., 1990

Proceedings of the Automata, Languages and Programming, 17th International Colloquium, 1990

1988

Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988

1987

Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing, 1987