Doron A. Peled | Academic Influence

Doron A. Peled's AcademicInfluence.com Rankings

Doron A. Peled

Computer Science

#7556

World Rank

#7955

Historical Rank

Software Engineering

#229

World Rank

#233

Historical Rank

Database

#6202

World Rank

#6430

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Doron A. Peled's Degrees

Bachelors Mathematics and Computer Science Tel Aviv University
Masters Computer Science Weizmann Institute of Science
PhD Computer Science Weizmann Institute of Science

Similar Degrees You Can Earn

Why Is Doron A. Peled Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Doron A. Peled is a computer science Professor at Bar-Ilan University. His research interests include formal methods, model checking, program synthesis and runtime verification. With Edmund M. Clarke and Orna Grumberg, he is the coauthor of the book Model Checking and the author of the book Software Reliability Methods .

(See a Problem?)

Doron A. Peled's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Simple on-the-fly automatic verification of linear temporal logic (1995) (856)
All from One, One for All: on Model Checking Using Representatives (1993) (640)
Combining partial order reductions with on-the-fly model-checking (1994) (550)
An improvement in formal verification (1994) (377)
Black Box Checking (1999) (321)
On nested depth first search (1996) (235)
State space reduction using partial order techniques (1999) (205)
An Analyzer for Message Sequence Charts (1996) (198)
Ten Years of Partial Order Reduction (1998) (198)
A partial order approach to branching time logic model checking (1995) (196)
Adaptive Model Checking (2002) (193)
Stutter-Invariant Temporal Properties are Expressible Without the Next-Time Operator (1997) (174)
Software Reliability Methods (2001) (161)
An Analyser for Mesage Sequence Charts (1996) (152)
Message Sequence Charts (2003) (139)
Defining Conditional Independence Using Collapses (1992) (134)
Model-checking of correctness conditions for concurrent objects (1996) (131)
Interleaving set temporal logic (1987) (127)
Static Partial Order Reduction (1998) (116)
The State of SPIN (1996) (116)
Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces (1999) (109)
Parametric temporal logic for “model measuring” (2001) (101)
Compositional message sequence charts (2001) (93)
Model-checking of causality properties (1995) (89)
Combining Partial Order and Symmetry Reductions (1997) (83)
Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 1 (1995) (82)
Deciding Properties of Message Sequence Charts (2003) (81)
Using partial-order methods in the formal validation of industrial concurrent programs (1996) (78)
Partial order reduction: Linear and branching temporal logics and process algebras (1997) (75)
An efficient verification method for parallel and distributed programs (1988) (65)
Deciding Properties for Message Sequence Charts (1998) (63)
Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms (2008) (60)
Model Checking-Based Genetic Programming with an Application to Mutual Exclusion (2008) (56)
First-order temporal logic monitoring with BDDs (2017) (52)
From Falsification to Verification (2001) (48)
Priority scheduling of distributed systems based on model checking (2009) (46)
Proving Partial Order Properties (1994) (46)
Model checking, testing and verification working together (2005) (45)
Comparing Symbolic and Explicit Model Checking of a Software System (2002) (44)
An Algorithmic Approach for Checking Closure Properties of Temporal Logic Specifications and Omega-Regular Languages (1998) (44)
Specification and Verification of Message Sequence Charts (2000) (43)
Formal Verification of a Partial-Order Reduction Technique for Model Checking (1996) (43)
Partial Order Methods in Verification (1997) (43)
Relaxed Visibility Enhances Partial Order Reduction (1997) (42)
Design tools for requirements engineering (1997) (41)
Partial Order Reduction: Model-Checking Using Representatives (1996) (40)
Verification of distributed programs using representative interleaving sequences (1992) (38)
Achieving distributed control through model checking (2010) (37)
From model checking to a temporal proof (2001) (36)
A Combined Testing and Verification Approach for Software Reliability (2001) (36)
Grey-Box Checking (2006) (33)
Path Exploration Tool (1999) (33)
Proving Partial Order Liveness Properties (1990) (32)
A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract) (1998) (32)
An Algorithmic Approach for Checking Closure Properties of omega-Regular Languages (1996) (31)
Combining Software and Hardware Verification Techniques (2002) (29)
Code Mutation in Verification and Automatic Code Correction (2010) (29)
Synthesis of Distributed Control through Knowledge Accumulation (2011) (28)
Methods for Knowledge Based Controlling of Distributed Systems (2010) (26)
Model Checking and Testing Combined (2003) (26)
Runtime Verification: From Propositional to First-Order Temporal Logic (2018) (26)
Time for Verification, Essays in Memory of Amir Pnueli (2010) (25)
Analyzing Message Sequence Charts (2000) (25)
Specifying and Verifying Partial Order Properties Using Template MSCs (2004) (25)
Deciding Global Partial-Order Properties (1998) (22)
Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic Programming (2009) (22)
Temporal Debugging for Concurrent Systems (2002) (22)
A Compositional Framework for Fault Tolerance by Specification Transformation (1994) (22)
Using Statistical Model Checking for Measuring Systems (2014) (21)
Specifying and proving serializability in temporal logic (1991) (21)
Verification of Message Sequence Charts via Template Matching (1997) (20)
Refining the Safety-Liveness Classification of Temporal Properties According to Monitorability (2018) (20)
Synthesizing, correcting and improving code, using model checking-based genetic programming (2013) (19)
AMC: An Adaptive Model Checker (2002) (19)
Verifying hardware in its software context (1997) (19)
Efficient Runtime Verification of First-Order Temporal Properties (2018) (18)
Efficient deadlock detection for concurrent systems (2011) (16)
The SPIN Verification System (1997) (16)
From Finite State Communication Protocols to High-Level Message Sequence Charts (2001) (15)
Unit Checking: Symbolic Model Checking for a Unit of Code (2004) (13)
Monitoring Distributed Systems Using Knowledge (2011) (13)
Parametric Temporal Logic for "Model Measuring" (1999) (13)
Specification and Verification using Message Sequence Charts (2002) (13)
Proceedings of the 11th International Conference on Computer Aided Verification (1999) (11)
On Projective and Separable Properties (1994) (11)
Partial-Order Reduction (2018) (11)
Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems (2013) (11)
First-order temporal logic monitoring with BDDs (2020) (11)
A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors (2016) (10)
PET: An Interactive Software Testing Tool (2000) (10)
Synthesis of Parametric Programs using Genetic Programming and Model Checking (2014) (10)
Verification for Robust Specification (1997) (10)
DejaVu: A Monitoring Tool for First-Order Temporal Logic (2018) (10)
Discriminative Model Checking (2008) (10)
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings (2004) (10)
Detecting Races in Ensembles of Message Sequence Charts (2007) (10)
An Improved Search Strategy for Lossy Channel Systems (1997) (10)
Synthesis of succinct systems (2012) (9)
Adding Partial Orders to Linear Temporal Logic (1997) (9)
Using asynchronous Büchi automata for efficient automatic verification of concurrent systems (1995) (9)
Hazard-Freedom Checking in Speed-Independent Systems (1999) (8)
Knowledge Based Scheduling of Distributed Systems (2010) (8)
Workshop on Partial Order Methods in Verification (1996) (8)
A Compositional Approach for Fault-Tolerance Using Specification Transformation (1993) (8)
Proceedings of the DIMACS workshop on Partial order methods in verification (1997) (8)
Quantifying the Discord: Order Discrepancies in Message Sequence Charts (2007) (7)
On commutativity based Edge Lean search (2007) (7)
MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming (2010) (7)
Knowledge = Observation + Memory + Computation (2015) (7)
BDDs on the Run (2018) (7)
Undecidability of Partial Order Logics (1999) (7)
Model Checking Driven Heuristic Search for Correct Programs (2009) (6)
Practical Distributed Control Synthesis (2011) (6)
Calculating Probabilities of Real-Time Test Cases (2005) (6)
Formal Techniques for Networked and Distributed Sytems — FORTE 2002 (2002) (6)
Model checking, 2nd Edition (2018) (6)
Enforcing Concurrent Temporal Behaviors (2006) (5)
Tracing the executions of concurrent programs (2002) (5)
Sometimes 'Some' is as Good as 'All' (1992) (5)
Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers (2009) (5)
First-Order Timed Runtime Verification Using BDDs (2020) (5)
Monitoring Parametric Temporal Logic (2014) (5)
The Buck Stops Here: Order, Chance, and Coordination in Distributed Control (2011) (5)
A Hierarchy of Partial Order Temporal Properties (1994) (5)
Automatic generation of path conditions for concurrent timed systems (2008) (4)
Engineering Dependable Software Systems (2013) (4)
Knowledge Based Transactional Behavior (2012) (4)
Efficient model checking for LTL with partial order snapshots (2006) (4)
Test Case Generation for Ultimately Periodic Paths (2007) (4)
Debate '90: An electronic discussion on true concurrency (1997) (4)
Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers (2009) (4)
A Toolset for Message Sequence Charts (1998) (4)
Computer Aided Verification: 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings (1999) (4)
Memory-Efficient Tactics for Randomized LTL Model Checking (2017) (3)
An Extension of LTL with Rules and Its Application to Runtime Verification (2019) (3)
Snapshot Verification (2005) (3)
Automatic Synthesis of Code Using Genetic Programming (2016) (3)
BDDs for Representing Data in Runtime Verification (2020) (3)
Synthesizing distributed scheduling implementation for probabilistic component-based systems (2013) (3)
Rapid Recovery for Systems with Scarce Faults (2012) (3)
Generating Path Conditions for Timed Systems (2005) (3)
Compositional Branching-Time Measurements (2014) (2)
Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking (2018) (2)
Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (2005) (2)
Partial Order Reductions (2000) (2)
Model checking, 1st Edition (2001) (2)
Monitoring First-Order Interval Logic (2021) (2)
An extension of first-order LTL with rules with application to runtime verification (2021) (2)
Chasing Errors Using Biasing Automata (2018) (2)
Software Tools for Technology Transfer Manuscript-nr. State Space Reduction Using Partial Order Techniques (1998) (2)
Dagstuhl Seminar on Logic, Algebra, and Formal Verification of Concurrent Systems (2008) (1)
Automatic Verification of Annotated Code (2003) (1)
Model Checking Basics (2013) (1)
Control Synthesis Through Deep Learning (2019) (1)
Introduction: Special Issue on Partial Order in Formal Methods (2005) (1)
Using Functional Languages in Formal Methods: The Pet System (2008) (1)
Partial order methods in verification : DIMACS Workshop, July 24-26, 1996, (1997) (1)
Using a Mix of Languages in Formal Methods: The PET System (2000) (1)
Synthesizing Control for a System with Black Box Environment, Based on Deep Learning (2020) (1)
Dependable Software Systems Engineering (2017) (1)
Modeling Software Systems (2001) (1)
Using Genetic Programming for Software Reliability (2016) (1)
Local and global fairness in concurrent systems (2015) (1)
Automatic Generation of Path Conditions for Timed Systems (2004) (1)
Formal Methods (2019) (1)
Model Checking (2008) (1)
Sometimes ''Some'' is as Good as ''All'' (Preliminary Version) (1992) (0)
Accelerating Black Box Testing with Light-Weight Learning (2023) (0)
Time Unbalanced Partial Order (2005) (0)
Formal Methods for Message Sequence Charts (2000) (0)
Process Algebra and Equivalences (2001) (0)
Reverse Engineering Through Automata Learning (2021) (0)
Automata Based Validation Techniques (2017) (0)
Logic and Theorem Proving (2001) (0)
Formal Techniques for Networked and Distributed Systems - FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings (2002) (0)
Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation (2002) (0)
Interleaving Set Temporal Logic (Preliminary Version). (1987) (0)
Testing the FormalCheck Query Library (2013) (0)
Invaluable Feedback from a Superb Team of Requirements Engineers (1996) (0)
User interfaces for formal methods (1996) (0)
A Game-Theoreti Foundation for the Maximum Software Resilien eagainst Dense Errors (2016) (0)
Model Checking 4 Extensions Next-time Operator 3 Decision Procedure for Istl 2 a Global Partial-order Logic Deciding Global Partial-order Properties (0)
Editorial: special issue on synthesis (2014) (0)
Performance Evaluation of Process Partitioning Using Probabilistic Model Checking (2013) (0)
From Verification to Synthesis (2015) (0)
Proceedings First Workshop on Synthesis: Preface (2012) (0)
Collection Tools for the Model-based Development of Certi able , Dependable Systems Dagstuhl Seminar (2008) (0)
Proceedings of the Third international conference on Automated Technology for Verification and Analysis (2005) (0)
Achieving distributed control through model checking (2012) (0)
Tools for the Model-based Development of Certi able , Dependable Systems June 10 th to June 15 th 2007 Dagstuhl Seminar (2008) (0)
The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996 (1997) (0)
Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems (2002) (0)
07241 Summary - Tools for the Model-based Development of Certifiable, Dependable Systems (2007) (0)
Review of : Model Checking (2004) (0)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2008) (0)
Combining Formal Methods (2001) (0)
Ten Years of Part ial Order (0)
Deductive Software Verification (2001) (0)
Message Sequen e (2007) (0)
Proceedings First Workshop on Synthesis (2012) (0)
Tools for the Model-based Development of Certifiable, Dependable Systems, 10.06. - 15.06.2007 (2008) (0)
Editorial: special issue on synthesis (2014) (0)
Automatic Test Generation and Monitoring of Infinite States Systems (2005) (0)
Scheduling of Distributed Systems with Priorities Based on Knowledge (2010) (0)
A Reinforcement-Learning Style Algorithm for Black Box Automata (2022) (0)
07241 Abstracts Collection - Tools for the Model-based Development of Certifiable, Dependable Systems (2007) (0)
Rob Tristan Gerth: 1956-2003 (2004) (0)
INTERLEAVING S ET T EMPORAL L OGIC t (1987) (0)
2 Embedding LTL Properties in Branching Time Specification Syntax (2008) (0)
Distributed Control Synthesis (2014) (0)
Interleaving Set Temporal Logic T (2013) (0)
TEMPORAL LOGICS FOR DISTRIBUTED SYSTEMS (2008) (0)
Synthesizing, correcting and improving code, using model checking-based genetic programming (2016) (0)
A hierarchy of partial order properties (1994) (0)
The DejaVu Runtime Verification Benchmark (2018) (0)
Relaxed Visibil ity Enhances Partial Order Reduct ion (2005) (0)
Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings (2008) (0)
Logic, Algebra, and Formal Verification of Concurrent Systems (Dagstuhl Seminar 00481) (2021) (0)
Generalized Stuttering Equivalence (1999) (0)
Formal Specification for Learning-Enabled Autonomous Systems (2022) (0)

This paper list is powered by the following services:

Other Resources About Doron A. Peled

en.wikipedia.org

What Schools Are Affiliated With Doron A. Peled?

Doron A. Peled is affiliated with the following schools: