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ítuloCitado porAño
Model checking
EM Clarke Jr, O Grumberg, D Kroening, D Peled, H Veith
MIT press, 2018
132912018
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
10431995
All from one, one for all: on model checking using representatives
D Peled
International Conference on Computer Aided Verification, 409-423, 1993
6631993
An improvement in formal verification
GJ Holzmann, D Peled
Formal Description Techniques VII, 197-211, 1995
4661995
Combining partial order reductions with on-the-fly model-checking
D Peled
International Conference on Computer Aided Verification, 377-390, 1994
4191994
Software reliability methods
DA Peled
Springer Science & Business Media, 2013
3832013
An analyzer for message sequence charts
R Alur, GJ Holzmann, D Peled
International Workshop on Tools and Algorithms for the Construction and …, 1996
3671996
On nested depth first search.
GJ Holzmann, DA Peled, M Yannakakis
The Spin Verification System 32, 81-89, 1996
3011996
Combining partial order reductions with on-the-fly model-checking
D Peled
Formal Methods in System Design 8 (1), 39-64, 1996
2471996
Ten years of partial order reduction
D Peled
International Conference on Computer Aided Verification, 17-28, 1998
2101998
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
1871999
Black box checking
D Peled, MY Vardi, M Yannakakis
Formal Methods for Protocol Engineering and Distributed Systems, 225-240, 1999
1761999
Stutter-invariant temporal properties are expressible without the next-time operator
D Peled, T Wilke
Information Processing Letters 63 (5), 243-246, 1997
1681997
Defining conditional independence using collapses
S Katz, D Peled
Theoretical Computer Science 101 (2), 337-359, 1992
1571992
Deciding properties for message sequence charts
A Muscholl, D Peled, Z Su
International Conference on Foundations of Software Science and Computation …, 1998
1561998
Message sequence graphs and decision problems on Mazurkiewicz traces
A Muscholl, D Peled
International Symposium on Mathematical Foundations of Computer Science, 81-91, 1999
1421999
Adaptive model checking
A Groce, D Peled, M Yannakakis
International Conference on Tools and Algorithms for the Construction and …, 2002
1402002
The state of SPIN
GJ Holzmann, D Peled
International Conference on Computer Aided Verification, 383-389, 1996
1371996
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
1331998
A partial order approach to branching time logic model checking
R Gerth, R Kuiper, D Peled, W Penczek
Proceedings Third Israel Symposium on the Theory of Computing and Systems …, 1995
1171995
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20