Dave Parker

Publications

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

  2. Published

    PRISM: Probabilistic Symbolic Model Checker

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

    Research output: Contribution to conference (unpublished)Paper

  3. Published
  4. Published

    PRISM: Probabilistic symbolic model checker

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2002, p. 200-204. 5 p.

    Research output: Contribution to conference (unpublished)Paper

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

  8. Published

    Performance Modelling and Verification of Cloud-based Auto-Scaling Policies

    David Parker & Rami Bahsoon, 13 Jul 2017, Proceedings of 2017 IEEE/ACM 17th International Symposium on Cluster, Cloud and Grid Computing (CCGrid'17). IEEE Xplore, p. 355-364

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

  9. E-pub ahead of print

    Performance Modelling and Verification of Cloud-based Auto-Scaling Policies

    Alexandros Evangelidis, David Parker & Rami Bahsoon, 10 Jan 2018, (E-pub ahead of print) In: Future Generation Computer Systems. 21 p.

    Research output: Contribution to journalArticlepeer-review

  10. Published

    Performance Modelling and Verification of Cloud-based Auto-Scaling Policies

    Alexandros Evangelidis, David Parker & Rami Bahsoon, 13 Jul 2017, Performance Modelling and Verification of Cloud-based Auto-Scaling Policies. IEEE Computer Society Press, p. 355 364 p.

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

  11. Published
  12. Published

    Performance analysis of probabilistic timed automata using digital clocks

    Marta Kwiatkowska, Gethin Norman, David Parker & Jeremy Sproston, 1 Jan 2004, p. 105-120. 16 p.

    Research output: Contribution to conference (unpublished)Paper

  13. Published

    Permissive Controller Synthesis for Probabilistic Systems

    David Parker & , 2014, Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. Abraham, E. & Havelund, K. (eds.). Springer, Vol. 8413. p. 531-546 16 p. Chapter 44. (Lecture Notes in Computer Science; vol. 8413).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  14. Published

    Permissive Controller Synthesis for Probabilistic Systems

    David Parker & , 30 Jun 2015, In: Logical Methods in Computer Science. 11, 12, 16.

    Research output: Contribution to journalArticlepeer-review

  15. Accepted/In press

    Probabilistic Guarantees for Safe Deep Reinforcement Learning

    Edoardo Bacci & David Parker, 29 Jun 2020, (Accepted/In press) Proceedings of 18th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2020). Bertrand, N. & Jansen, N. (eds.). Springer, 18 p. (Lecture Notes in Computer Science).

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

  16. Accepted/In press

    Probabilistic Model Checking: Advances and Applications

    David Parker, 1 Apr 2017, (Accepted/In press) Formal System Verification: State-of the-Art and Future Trends. Drechsler, R. (ed.). Springer, 48 p.

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

  17. Published

    Probabilistic model checking and power-aware computing

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2005, p. 6-9. 4 p.

    Research output: Contribution to conference (unpublished)Paper

  18. Published
  19. 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

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