Seuraa
Doron A. Peled
Doron A. Peled
Professor Of Computer Science, Bar Ilan University
Vahvistettu sähköpostiosoite verkkotunnuksessa cs.biu.ac.il - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Model checking
EM Clarke
Foundations of Software Technology and Theoretical Computer Science: 17th …, 1997
161351997
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
12601995
All from one, one for all: on model checking using representatives
D Peled
Computer Aided Verification: 5th International Conference, CAV'93 Elounda …, 1993
8131993
An improvement in formal verification
GJ Holzmann, D Peled
Formal Description Techniques VII: Proceedings of the 7th IFIP WG 6.1 …, 1995
5101995
Combining partial order reductions with on-the-fly model-checking
D Peled
Computer Aided Verification: 6th International Conference, CAV'94 Stanford …, 1994
4581994
Software reliability methods
DA Peled
Springer Science & Business Media, 2001
4412001
Black box checking
D Peled, MY Vardi, M Yannakakis
International Conference on Protocol Specification, Testing and Verification …, 1999
4221999
An analyzer for message sequence charts
R Alur, GJ Holzmann, D Peled
Tools and Algorithms for the Construction and Analysis of Systems: Second …, 1996
3851996
On nested depth first search
GJ Holzmann, D Peled, M Yannakakis
The Spin Verification System 32, 23-32, 1997
3481997
Combining partial order reductions with on-the-fly model-checking
D Peled
Formal Methods in System Design 8, 39-64, 1996
2851996
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
2791999
Ten years of partial order reduction
D Peled
Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998
2591998
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
2411999
Stutter-invariant temporal properties are expressible without the next-time operator
D Peled, T Wilke
Information Processing Letters 63 (5), 243-246, 1997
2041997
Defining conditional independence using collapses
S Katz, D Peled
Theoretical Computer Science 101 (2), 337-359, 1992
1871992
Adaptive model checking
A Groce, D Peled, M Yannakakis
Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002
1782002
Message sequence graphs and decision problems on Mazurkiewicz traces
A Muscholl, D Peled
Mathematical Foundations of Computer Science 1999: 24th International …, 1999
1551999
Deciding properties for message sequence charts
A Muscholl, D Peled, Z Su
International Conference on Foundations of Software Science and Computation …, 1998
1551998
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
1521998
Model checking
M Edmund, J Clarke, O Grumberg, DA Peled
MIT Press, 314, 1999
1431999
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20