Follow
Doron A. Peled
Doron A. Peled
Professor Of Computer Science, Bar Ilan University
Verified email at cs.biu.ac.il - Homepage
Title
Cited by
Cited by
Year
Model checking
EM Clarke
Foundations of Software Technology and Theoretical Computer Science: 17th …, 1997
147361997
Simple on-the-fly automatic verification of linear temporal logic
R Gerth, D Peled, MY Vardi, P Wolper
Protocol Specification, Testing and Verification XV: Proceedings of the …, 1996
11911996
All from one, one for all: on model checking using representatives
D Peled
Computer Aided Verification: 5th International Conference, CAV'93 Elounda …, 1993
7701993
An improvement in formal verification
GJ Holzmann, D Peled
Formal Description Techniques VII: Proceedings of the 7th IFIP WG 6.1 …, 1995
4981995
Combining partial order reductions with on-the-y model-checking
D Peled
Proc. 6th Conference on Computer Aided Verification 818, 377-390, 1994
4461994
Software reliability methods
DA Peled
Springer Science & Business Media, 2013
4332013
An analyzer for message sequence charts
R Alur, G Holzmann, D Peled
Lecture Notes in Computer Science 1055, 35-48, 1996
3871996
Black box checking
D Peled, MY Vardi, M Yannakakis
Formal Methods for Protocol Engineering and Distributed Systems: FORTE XII …, 1999
3631999
Model checking
EM Clarke Jr, O Grumberg, D Kroening, D Peled, H Veith
MIT press, 2018
3482018
On nested depth first search.
GJ Holzmann, DA Peled, M Yannakakis
The Spin Verification System 32, 23-32, 1996
3271996
Combining partial order reductions with on-the-fly model-checking
D Peled
Formal Methods in System Design 8, 39-64, 1996
2741996
State space reduction using partial order techniques
EM Clarke, O Grumberg, M Minea, D Peled
International Journal on Software Tools for Technology Transfer 2, 279-287, 1999
2531999
Ten years of partial order reduction
D Peled
CAV 98, 17-28, 1998
2491998
A partial order approach to branching time logic model checking
R Gerth, R Kuiper, D Peled, W Penczek
Information and Computation 150 (2), 132-152, 1999
2341999
Stutter-invariant temporal properties are expressible without the next-time operator
D Peled, T Wilke
Information Processing Letters 63 (5), 243-246, 1997
1931997
Model checking
EM Clark, O Grumberg, DA Peled
The MIT Press 288, 289, 1999
1891999
Defining conditional independence using collapses
S Katz, D Peled
Theoretical Computer Science 101 (2), 337-359, 1992
1781992
Adaptive model checking
A Groce, D Peled, M Yannakakis
Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002
1672002
Model-checking of correctness conditions for concurrent objects
R Alur, K McMillan, D Peled
Information and Computation 160 (1-2), 167-188, 2000
1582000
Deciding properties for message sequence charts
A Muscholl, D Peled, Z Su
Foundations of Software Science and Computation Structures: First …, 1998
1531998
The system can't perform the operation now. Try again later.
Articles 1–20