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 - 12 results of 12 for search 'Peled, Doron', query time: 0.06s Refine Results
  1. 1
    Computer Aided Verification 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings /
    Published 1999
    Other Authors: “…Peled, Doron…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Time for Verification Essays in Memory of Amir Pnueli
    by Manna, Zohar
    Published 2010
    Other Authors: “…Peled, Doron A., 1962-…”
    Get full text
    Electronic Kit Book
  3. 3
    Computer Aided Verification 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings /
    Published 2004
    Other Authors: “…Peled, Doron A.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Time for Verification Essays in Memory of Amir Pnueli /
    Published 2010
    Other Authors: “…Peled, Doron A.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers /
    Published 2009
    Other Authors: “…Peled, Doron A.…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    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
    Other Authors: “…Peled, Doron A.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings /
    Published 2016
    Other Authors: “…Peled, Doron…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /
    Published 2009
    Other Authors: “…Peled, Doron A.…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings /
    Published 2005
    Other Authors: “…Peled, Doron A.…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Model checking /
    Other Authors: “…Peled, Doron A., 1962-…”
    Book
  11. 11
    Model checking and artificial intelligence /
    Published 2008
    Other Authors: “…Peled, Doron A., 1962-…”
    Conference Proceeding Book
  12. 12
    Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings /
    Published 2008
    Other Authors: “…Peled, Doron A.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search