His primary areas of investigation include Algorithm, Model checking, Programming language, Partial order reduction and Theoretical computer science. His Algorithm research incorporates themes from State space and Temporal logic. His research integrates issues of PSPACE, Black box, Artificial intelligence, White-box testing and Machine learning in his study of Model checking.
His work on Decision problem and Correctness as part of general Programming language study is frequently connected to Engineering design process, therefore bridging the gap between diverse disciplines of science and establishing a new relationship between them. His Partial order reduction research is multidisciplinary, relying on both Depth-first search, Search algorithm, Breadth-first search, Systems design and Formal verification. His research in Theoretical computer science focuses on subjects like Formal methods, which are connected to Formal specification, Functional verification and Automated theorem proving.
Doron Peled mainly investigates Model checking, Theoretical computer science, Algorithm, Programming language and Linear temporal logic. The various areas that Doron Peled examines in his Model checking study include Formal verification, Genetic programming and Concurrency. The study incorporates disciplines such as Sequence and Correctness in addition to Theoretical computer science.
His Algorithm research is multidisciplinary, incorporating elements of Structure, Graph and State space. His Programming language research integrates issues from Communications protocol and Notation. His Linear temporal logic research incorporates elements of Discrete mathematics, Equivalence class and Equivalence relation.
Doron Peled spends much of his time researching Theoretical computer science, Runtime verification, Model checking, Programming language and Genetic programming. His Runtime verification research is multidisciplinary, incorporating elements of Property, Carry, Temporal logic and Linear temporal logic. His Temporal logic research is multidisciplinary, relying on both Measure, Representation, Algorithm, Binary decision diagram and Sequence.
He has researched Algorithm in several fields, including Collapse and State space. His work in Linear temporal logic addresses subjects such as Adjacency list, which are connected to disciplines such as Automaton. His research investigates the link between Model checking and topics such as Software that cross with problems in Dependability.
Doron Peled mostly deals with Theoretical computer science, Runtime verification, Model checking, Temporal logic and Genetic programming. In his work, Dual, Correctness and Liveness is strongly intertwined with Property, which is a subfield of Theoretical computer science. In his works, Doron Peled performs multidisciplinary study on Model checking and Psychological resilience.
Doron Peled interconnects Measure and Algorithm in the investigation of issues within Temporal logic. His study in Online algorithm and Linear temporal logic is done as part of Algorithm. The Genetic programming study combines topics in areas such as Programming language, Automated theorem proving, Heuristics and Heuristic.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Simple on-the-fly automatic verification of linear temporal logic
Rob Gerth;Doron Peled;Moshe Y. Vardi;Pierre Wolper.
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV (1995)
All from One, One for All: on Model Checking Using Representatives
computer aided verification (1993)
An improvement in formal verification
Gerard J. Holzmann;Doron Peled.
Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII (1995)
Combining Partial Order Reductions with On-the-fly Model-Checking
computer aided verification (1994)
Software Reliability Methods
Doron A. Peled;David Gries;Fred B. Schneider.
An analyzer for message sequence charts
Rajeev Alur;Gerard J. Holzmann;Doron Peled.
tools and algorithms for construction and analysis of systems (1996)
An improvement in formal verification.
Gerard J. Holzmann;Doron A. Peled.
formal techniques for (networked and) distributed systems (1994)
On nested depth first search.
Gerard J. Holzmann;Doron A. Peled;Mihalis Yannakakis.
The Spin Verification System (1996)
Combining partial order reductions with on-the-fly model-checking
Doron A. Peled.
formal methods (1996)
State space reduction using partial order techniques
Edmund M. Clarke;Orna Grumberg;Marius Minea;Doron A. Peled.
International Journal on Software Tools for Technology Transfer (1999)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: