Doron A. Peled

No bio available. Add one in Open Library.

Books by Doron A. Peled (50 max)

+ shelf+ list

Model Checking

1999

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

+ shelf+ list

Software Reliability Methods

2011

Doron A. Peled, E.M. Clarke

+ shelf+ list

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings (Lecture Notes in Computer Science)

2004

Rajeev Alur, Doron A. Peled

+ shelf+ list

Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (Lecture Notes in Computer Science)

2005

Doron A. Peled

+ shelf+ list

Software Reliability Methods (Texts in Computer Science)

2001

Doron A. Peled

+ shelf+ list

Formal Techniques for Networked and Distributed Systems - FORTE 2002 22nd IFIP WG 6. 1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings

2003

Doron A. Peled, Moshe Y. Vardi

+ shelf+ list

Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

2008

Francesco Logozzo, Doron A. Peled, Leonore D. Zuck

+ shelf+ list

Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers

2009

Doron A. Peled, Michael Wooldridge

+ shelf+ list

Time For Verification Essays In Memory Of Amir Pnueli

2010

Doron A. Peled

+ shelf+ list

Time for Verification Essays in Memory of Amir Pnueli

2010

Zohar Manna, Doron A. Peled