Doron A. Peled
Doron A. Peled
Professor Of Computer Science, Bar Ilan University
確認したメール アドレス: cs.biu.ac.il - ホームページ
タイトル
引用先
引用先
年
Model checking
EM Clarke Jr, O Grumberg, D Kroening, D Peled, H Veith
MIT press, 2018
142162018
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
11141995
All from one, one for all: on model checking using representatives
D Peled
International Conference on Computer Aided Verification, 409-423, 1993
7151993
An improvement in formal verification
GJ Holzmann, D Peled
Formal Description Techniques VII, 197-211, 1995
4761995
Combining partial order reductions with on-the-fly model-checking
D Peled
International Conference on Computer Aided Verification, 377-390, 1994
4301994
Software reliability methods
DA Peled
Springer Science & Business Media, 2001
4092001
An analyzer for message sequence charts
R Alur, GJ Holzmann, D Peled
International Workshop on Tools and Algorithms for the Construction and …, 1996
3751996
On nested depth first search.
GJ Holzmann, DA Peled, M Yannakakis
The Spin Verification System 32, 81-89, 1996
3131996
Combining partial order reductions with on-the-fly model-checking
D Peled
Formal Methods in System Design 8 (1), 39-64, 1996
2611996
Ten years of partial order reduction
D Peled
International Conference on Computer Aided Verification, 17-28, 1998
2291998
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
2201999
Black box checking
D Peled, MY Vardi, M Yannakakis
Formal Methods for Protocol Engineering and Distributed Systems, 225-240, 1999
2001999
Stutter-invariant temporal properties are expressible without the next-time operator
D Peled, T Wilke
Information Processing Letters 63 (5), 243-246, 1997
1821997
Defining conditional independence using collapses
S Katz, D Peled
Theoretical Computer Science 101 (2), 337-359, 1992
1641992
Deciding properties for message sequence charts
A Muscholl, D Peled, Z Su
International Conference on Foundations of Software Science and Computation …, 1998
1551998
Adaptive model checking
A Groce, D Peled, M Yannakakis
International Conference on Tools and Algorithms for the Construction and …, 2002
1522002
Message sequence graphs and decision problems on Mazurkiewicz traces
A Muscholl, D Peled
International Symposium on Mathematical Foundations of Computer Science, 81-91, 1999
1491999
Model-checking of correctness conditions for concurrent objects
R Alur, K McMillan, D Peled
Information and Computation 160 (1-2), 167-188, 2000
1432000
The state of SPIN
GJ Holzmann, D Peled
International Conference on Computer Aided Verification, 383-389, 1996
1411996
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
1341998
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20