Doron A. Peled

Doron A. Peled Doron A. Peled (born 1962) () is a computer science Professor at Bar-Ilan University. His research interests include formal methods, model checking, program synthesis and runtime verification. With Edmund M. Clarke and Orna Grumberg, he is the coauthor of the book Model Checking (MIT Press, 1999) and the author of the book Software Reliability Methods (Springer Verlag, 2000). Provided by Wikipedia
1
Dependable software systems engineering [E-Book] /
Other Personal Name(s): “...Peled, Doron...”

Full text 
Favorites
Saved in:
2
Dependable software systems engineering [E-Book] /
Other Personal Name(s): “...Peled, Doron...”

Full text 
Favorites
Saved in:
3
Engineering dependable software systems [E-Book] /
Broy, M.
2013
Other Personal Name(s): “...Peled, Doron...”

Full text 
Favorites
Saved in:
4
Time for Verification [E-Book] : Essays in Memory of Amir Pnueli /
Other Personal Name(s): “...Peled, Doron A....”

Full text 
Favorites
Saved in:
5
Runtime Verification [E-Book] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers /
Other Personal Name(s): “...Peled, Doron A....”

Full text 
Favorites
Saved in:
6
Model Checking and Artificial Intelligence [E-Book] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /
Other Personal Name(s): “...Peled, Doron A....”

Full text 
Favorites
Saved in:
7
Verification, Model Checking, and Abstract Interpretation [E-Book] : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings /
Other Personal Name(s): “...Peled, Doron A....”

Full text 
Favorites
Saved in:
8
Automated Technology for Verification and Analysis [E-Book] / Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
Other Personal Name(s): “...Peled, Doron A....”

Full text 
Favorites
Saved in:
9
Computer Aided Verification [E-Book] : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings /
Other Personal Name(s): “...Peled, Doron A....”

Full text 
Favorites
Saved in:
10
Formal Techniques for Networked and Distributed Sytems — FORTE 2002 [E-Book] : 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings /
Other Personal Name(s): “...Peled, Doron A....”

Full text 
Favorites
Saved in:
11
Computer Aided Verification [E-Book] : 11th International Conference, CAV’99 Trento, Italy, July 6–10, 1999 Proceedings /
Other Personal Name(s): “...Peled, Doron....”

Full text 
Favorites
Saved in: