Dave Parker

Publications

  1. 2011
  2. Published
  3. Published
  4. Published
  5. Published
  6. Published
  7. 2010
  8. Published

    A game-based abstraction-refinement framework for Markov decision processes

    Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman & David Parker, 1 Sep 2010, In: Formal Methods in System Design. 36, 3, p. 246-280

    Research output: Contribution to journalArticlepeer-review

  9. Published

    Assume-Guarantee Verification for Probabilistic Systems

    David Parker & , 2010, Tools and Algorithms for the Construction and Analysis of Systems : 6th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. Esparza, J. & Majumdar, R. (eds.). Springer, p. 23-37 (Lecture Notes in Computer Science; vol. 6015).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. 2009
  11. Published

    Abstraction Refinement for Probabilistic Software

    Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman & David Parker, 2009, Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings. Jones, ND. & Muller-Olm, M. (eds.). Springer, p. 182-197 (Lecture Notes in Computer Science ; vol. 5403).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  12. Published
  13. 2008
  14. Published

    Probabilistic model checking of complex biological pathways

    John Heath, Marta Kwiatkowska, Gethin Norman, David Parker & , 14 Feb 2008, In: Theoretical Computer Science. 391, 3, p. 239-257 19 p.

    Research output: Contribution to journalArticlepeer-review

  15. 2007
  16. Published

    Translating the Probabilistic p-calculus to PRISM, Technical Report CSR-07-2

    Gethin Norman, , David Parker & , 1 Mar 2007, University of Birmingham.

    Research output: Book/ReportCommissioned report

  17. Published

    Stochastic model checking

    Marta Kwiatkowska, Gethin Norman & David Parker, 2007, Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation (SFM'07).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  18. 2006
  19. Published
  20. Published

    Performance Analysis of Probabilistic Timed Automata using Digital Clocks

    Marta Kwiatkowska, Gethin Norman, David Parker & , 1 Jul 2006, In: Formal Methods in System Design. 29, 1, p. 33-78 46 p.

    Research output: Contribution to journalArticle

  21. Published
  22. Published
  23. Published
  24. Published

    Game-based Abstraction for Markov Decision Processes

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2006, p. 157-166. 10 p.

    Research output: Contribution to conference (unpublished)Paper

  25. Published

    On reduction criteria for probabilistic reward models

    Gethin Norman, , , Marta Kwiatkowska & David Parker, 1 Jan 2006, p. 309-320. 12 p.

    Research output: Contribution to conference (unpublished)Paper

  26. Published

    PRISM: A Tool for Automatic Verification of Probabilistic Systems

    Marta Kwiatkowska, Gethin Norman, David Parker, & , 1 Jan 2006, p. 441-444. 4 p.

    Research output: Contribution to conference (unpublished)Paper