Dave Parker

Publications

  1. Published

    Simultaneous task allocation and planning under uncertainty

    Fatma Faruq & David Parker, 7 Jan 2019, 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE Computer Society Press, p. 3559-3564 6 p. (IEEE International Workshop on Intelligent Robots and Systems (IROS) ).

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

  2. 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

  3. E-pub ahead of print

    The 2019 comparison of tools for the analysis of quantitative formal models (QComp 2019 competition report)

    David Parker, 4 Apr 2019, (E-pub ahead of print) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019. Beyer, D., Huisman, M., Kordon, F. & Steffen, B. (eds.). Springer, Vol. 3. p. 69-92 24 p. (Lecture Notes in Computer Science; vol. 11429).

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

  4. E-pub ahead of print

    The quantitative verification benchmark set

    David Parker, 4 Apr 2019, (E-pub ahead of print) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019. Beyer, D., Huisman, M., Kordon, F. & Steffen, B. (eds.). Springer, Vol. 1. p. 344–350 7 p. (Lecture Notes in Computer Science; vol. 11427).

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

  5. Published

    Probabilistic model checking of complex biological pathways

    John Heath, Marta Kwiatkowska, Gethin Norman, David Parker, 1 Jan 2006, p. 32-47. 16 p.

    Research output: Contribution to conference (unpublished)Paper

  6. 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

  7. Published

    Probabilistic model checking of complex biological pathways

    John Heath, Marta Kwiatkowska, Gethin Norman, David Parker, 1 Jan 2006, p. 32-47. 16 p.

    Research output: Contribution to conference (unpublished)Paper

  8. Published

    Multi-scale stochastic organization-oriented coarse-graining exemplified on the human mitotic checkpoint

    David Parker, Chris Good, Jon Rowe, 7 Mar 2019, In: Scientific Reports. 9, 1, 17 p., 3902.

    Research output: Contribution to journalArticlepeer-review

  9. Published

    On the Use of MTBDDs for Peformability Analysis and Verification of Stochastic Systems

    Marta Kwiatkowska, Gethin Norman, David Parker, 1 Jan 2003, p. 23-67. 45 p.

    Research output: Contribution to conference (unpublished)Paper

  10. 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

  11. 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

  12. Published

    Finite-Horizon Bisimulation Minimisation for Probabilistic Systems

    David Parker & Jon Rowe, 8 Apr 2016, Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Springer, p. 147-164 18 p. (Lecture Notes in Computer Science; vol. 9641).

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

  13. Published
  14. Published

    Faster and symbolic CTMC model checking

    Marta Kwiatkowska, Gethin Norman, David Parker, 1 Jan 2001, p. 23-38. 16 p.

    Research output: Contribution to conference (unpublished)Paper

  15. 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)

  16. 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

  17. Published

    PRISM: Probabilistic Symbolic Model Checker

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2001.

    Research output: Contribution to conference (unpublished)Paper

  18. E-pub ahead of print
  19. Published

    PRISM-games 2.0: A Tool for Multi-Objective Strategy Synthesis for Stochastic Games

    David Parker, 9 Apr 2016, Proceedings 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'16). Chechik, M. & Raskin, J-F. (eds.). Springer, 6 p. (Lecture Notes in Computer Science; vol. 9636).

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

  20. Published