Dave Parker

Publications

  1. Published
  2. Published

    Controller dependability analysis by probabilistic model checking

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

    Research output: Contribution to conference (unpublished)Paper

  3. Published
  4. Published

    Dual-processor parallelisation of symbolic probabilistic model checking

    Marta Kwiatkowska, David Parker, Yi Zhang & , 1 Jan 2004, p. 123-130. 8 p.

    Research output: Contribution to conference (unpublished)Paper

  5. Published

    Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes

    David Parker, Jul 2017, Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 22-28, Proceedings. Majumdar, R. & Kunčak, V. (eds.). Springer, p. 160-180 21 p. (Lecture Notes in Computer Science).

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

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

  7. Published
  8. Published

    Evaluating the reliability of defect-tolerant architectures for nanotechnology with probabilistic model checking

    Gethin Norman, David Parker, Marta Kwiatkowska & , 1 Jan 2004, p. 907-914. 8 p.

    Research output: Contribution to conference (unpublished)Paper

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

  10. Accepted/In press

    Fault diagnosis in labelled Petri nets: a Fourier-Motzkin based approach

    David Parker, 5 Jun 2021, (Accepted/In press) In: Automatica.

    Research output: Contribution to journalArticlepeer-review

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

  12. Published

    Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory

    Chunyan Mu, , David Parker & Jon Rowe, 2016, Computational Methods in Systems Biology: 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings. Springer, p. 232-251 (Lecture Notes in Computer Science; vol. 9859).

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

  13. Published

    Formal analysis and validation of continuous time Markov chain based system level power management strategies

    Gethin Norman, David Parker, Marta Kwiatkowska, , & , 1 Jan 2002, p. 45-50. 6 p.

    Research output: Contribution to conference (unpublished)Paper

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

  15. Published

    Grid-enabled probabilistic model checking with PRISM

    David Parker & Marta Kwiatkowska, 1 Jan 2005.

    Research output: Contribution to conference (unpublished)Paper

  16. Published
  17. Published

    Local abstraction refinement for probabilistic timed programs

    Marta Kwiatkowska, David Parker & , 12 Jun 2014, In: Theoretical Computer Science. 538, p. 37-53

    Research output: Contribution to journalArticlepeer-review

  18. Published
  19. Accepted/In press

    Multi-objective Policy Generation for Mobile Robots under Probabilistic Time-Bounded Guarantees

    Bruno Lacerda, David Parker & Nick Hawes, 26 Jan 2017, (Accepted/In press) Proceedings of the twenty seventh International Conference on Automated Planning and Scheduling (ICAPS 2017). AAAI Press, 9 p.

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

  20. Accepted/In press

    Multi-player Equilibria Verification for Concurrent Stochastic Games

    David Parker & , 19 Jun 2020, (Accepted/In press) Proceedings of the 17th International Conference on Quantitative Evaluation of SysTems (QEST'20). Springer, 21 p. (Lecture Notes in Computer Science).

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