Seguir
Doron A. Peled
Doron A. Peled
Professor Of Computer Science, Bar Ilan University
Dirección de correo verificada de cs.biu.ac.il - Página principal
Título
Citado por
Citado por
Año
Model checking
EM Clarke
International Conference on Foundations of Software Technology and …, 1997
149091997
Simple on-the-fly automatic verification of linear temporal logic
R Gerth, D Peled, MY Vardi, P Wolper
International Conference on Protocol Specification, Testing and Verification …, 1995
11571995
All from one, one for all: on model checking using representatives
D Peled
International Conference on Computer Aided Verification, 409-423, 1993
7521993
An improvement in formal verification
GJ Holzmann, D Peled
Formal Description Techniques VII, 197-211, 1995
4901995
Combining partial order reductions with on-the-fly model-checking
D Peled
International Conference on Computer Aided Verification, 377-390, 1994
4401994
Software reliability methods
DA Peled
Springer Science & Business Media, 2001
4292001
An analyzer for message sequence charts
R Alur, GJ Holzmann, D Peled
International Workshop on Tools and Algorithms for the Construction and …, 1996
3781996
Black box checking
D Peled, MY Vardi, M Yannakakis
Formal Methods for Protocol Engineering and Distributed Systems, 225-240, 1999
3481999
On nested depth first search.
GJ Holzmann, DA Peled, M Yannakakis
The Spin Verification System 32, 23-32, 1996
3251996
Combining partial order reductions with on-the-fly model-checking
D Peled
Formal Methods in System Design 8 (1), 39-64, 1996
2731996
Ten years of partial order reduction
D Peled
International Conference on Computer Aided Verification, 17-28, 1998
2451998
State space reduction using partial order techniques
EM Clarke, O Grumberg, M Minea, D Peled
International Journal on Software Tools for Technology Transfer 2 (3), 279-287, 1999
2411999
Stutter-invariant temporal properties are expressible without the next-time operator
D Peled, T Wilke
Information Processing Letters 63 (5), 243-246, 1997
1921997
Defining conditional independence using collapses
S Katz, D Peled
Theoretical Computer Science 101 (2), 337-359, 1992
1681992
Adaptive model checking
A Groce, D Peled, M Yannakakis
International Conference on Tools and Algorithms for the Construction and …, 2002
1632002
Model-checking of correctness conditions for concurrent objects
R Alur, K McMillan, D Peled
Information and Computation 160 (1-2), 167-188, 2000
1532000
Deciding properties for message sequence charts
A Muscholl, D Peled, Z Su
International Conference on Foundations of Software Science and Computation …, 1998
1531998
Message sequence graphs and decision problems on Mazurkiewicz traces
A Muscholl, D Peled
International Symposium on Mathematical Foundations of Computer Science, 81-91, 1999
1481999
The state of SPIN
GJ Holzmann, D Peled
International Conference on Computer Aided Verification, 383-389, 1996
1421996
Static partial order reduction
R Kurshan, V Levin, M Minea, D Peled, H Yenigün
International Conference on Tools and Algorithms for the Construction and …, 1998
1401998
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20