Search results for ‘Doron A. Peled’

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers

Software Reliability Methods

Doron A. Peled

Software Reliability Methods

Doron A. Peled

Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

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

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

Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings

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

Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Model Checking

Edmund M. Clarke Jr. (Carnegie Mellon University),Orna Grumberg (Technion),Daniel Kroening (Oxford University),Doron Peled (Bar Ilan University),Helmut Veith (Technische Universitaet Darmstadt)