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
Showing 1 - 3 results of 3 for search 'Peled, Doron,', query time: 0.05s Refine Results
1
Dependable software systems engineering /
Participants: Pretschner, Alexander, [ TeilnehmendeR ]; Peled, Doron, [ TeilnehmendeR ]; Hutzelmann, Thomas, [ TeilnehmendeR ]
Published: 2017.
Superior document: NATO Science for Peace and Security Series-D: Information and Communication Security ; Volume 50
Other Authors: “...Peled, Doron,...”
Links: Get full text
Save to List
Saved in:
2
Dependable software systems engineering /
Participants: Irlbeck, Maximilian, [ TeilnehmendeR ]; Peled, Doron, [ TeilnehmendeR ]; Pretschner, Alexander, [ TeilnehmendeR ]
Published: 2015.
Superior document: NATO Science for Peace and Security Series - D: Information and Communication Security, Volume 40
Other Authors: “...Peled, Doron,...”
Links: Get full text
Save to List
Saved in:
3
Engineering dependable software systems /
Participants: NATO Advanced Study Institute on Engineering Dependable Software Systems Marktoberdorf, Germany) [ ]; Broy, M., 1949- [ TeilnehmendeR ]; Kalus, Georg. [ TeilnehmendeR ]; Peled, Doron, 1962- [ TeilnehmendeR ]
Published: [2013]
Superior document: NATO science for peace and security series. Sub-series D, Information and communication security ; volume 34
Other Authors: “...Peled, Doron, 1962-...”
Links: Get full text
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search