MPG.eBooks - Author Search Results

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

Cover Image

1

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

by Peled, Doron A
Published 2002

IFIP International Federation for Information Processing

Cover Image

2

Software Reliability Methods

by Peled, Doron A.
Published 2001

Springer New York

Cover Image

3

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

by Halbwachs, Nicolas
Published 1999

Springer-Verlag Berlin Heidelberg

Other Authors: “...Peled, Doron...”

Cover Image

4

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

by Alur, Rajeev
Published 2004

Springer Berlin Heidelberg

Other Authors: “...Peled, Doron A...”

Cover Image

5

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

Published 1999

Springer Berlin Heidelberg

Other Authors: “...Peled, Doron...”

Cover Image

6

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

Published 2009

Springer Berlin Heidelberg

Other Authors: “...Peled, Doron A....”

Cover Image

7

Time for Verification : Essays in Memory of Amir Pnueli

Published 2010

Springer Berlin Heidelberg

Other Authors: “...Peled, Doron A....”

Cover Image

8

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

Published 2009

Springer Berlin Heidelberg

Other Authors: “...Peled, Doron A....”

Cover Image

9

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

Published 2004

Springer Berlin Heidelberg

Other Authors: “...Peled, Doron A....”

Cover Image

10

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

Published 2005

Springer Berlin Heidelberg

Other Authors: “...Peled, Doron A....”

Cover Image

11

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

Published 2002

Springer Berlin Heidelberg

Other Authors: “...Peled, Doron A....”

Cover Image

12

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

Published 2016

Springer International Publishing

Other Authors: “...Peled, Doron...”

Cover Image

13

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

Published 2008

Springer Berlin Heidelberg

Other Authors: “...Peled, Doron A....”