Dave Parker

Publications

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

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

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

  5. Published
  6. Published

    PRISM: Probabilistic Symbolic Model Checker

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

    Research output: Contribution to conference (unpublished)Paper

  7. Published

    Equilibria-based probabilistic model checking for concurrent stochastic games

    David Parker, 23 Sep 2019, Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings. ter Beek, M. H., McIver, A. & Oliveira, J. N. (eds.). Springer, p. 298-315 18 p. (Lecture Notes in Computer Science; vol. 11800)(Programming and Software Engineering; vol. 11800).

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

  8. E-pub ahead of print
  9. 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

  10. Published
Previous 1 2 3 4 5 6 7 8 ...10 Next