Dave Parker

Publications

  1. Conference contribution › Research
  2. Published

    Probabilistic point-to-point information leakage

    Tom Chothia, Yusuke Kawamoto, & David Parker, 9 Oct 2013, Proceedings - 2013 IEEE 26th Computer Security Foundations Symposium, CSF 2013. p. 193-205 13 p. 6595829

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

  3. E-pub ahead of print

    Quantitative Verification and Synthesis of Attack-Defence Scenarios

    David Parker, 11 Aug 2016, (E-pub ahead of print) Proceedings 29th IEEE Computer Security Foundations Symposium (CSF'16). IEEE Xplore

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

  4. Accepted/In press

    Quantitative Verification of Certificate Transparency Gossip Protocols

    Michael Oxford, David Parker & Mark Ryan, 3 May 2020, (Accepted/In press) Proceedings of 6th International Workshop on Security and Privacy in the Cloud (SPC'20). IEEE Computer Society Press, 9 p.

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

  5. Published

    Quantitative verification of numerical stability for Kalman filters

    Alexandros Evangelidis & David Parker, 23 Sep 2019, Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings. Springer, 17 p. (Lecture Notes in Computer Science; vol. 11800).

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

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

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

  8. Published

    Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata

    David Parker, 25 Jul 2017, KiMfest : A conference in honour of Kim G. Larsen on the occasion of his 60th birthday. Springer, p. 289-309 21 p. (Lecture Notes in Computer Science ; vol. 10460).

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

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

  10. Published

    The PRISM benchmark suite

    Gethin Norman & David Parker, 2012, Proc. 9th International Conference on Quantitative Evaluation of SysTems (QEST'12).

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

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

  12. Accepted/In press

    Vehicle dispatch in on-demand ride-sharing with stochastic travel times

    David Parker & , 30 Jun 2021, (Accepted/In press) 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE, (IEEE International Workshop on Intelligent Robots and Systems (IROS)).

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

  13. Published

    Verification and control of turn-based probabilistic real-time games

    David Parker, 4 Nov 2019, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Springer, Vol. 11760. p. 379-396 16 p. (Lecture Notes in Computer Science).

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

  14. Published

    Verification of markov decision processes using learning algorithms

    David Parker & , 2014, Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings. Cassez, F. & Raskin, J-F. (eds.). Springer, Vol. 8837. p. 98-114 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8837).

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

  15. Published

    Verifying reinforcement learning up to infinity

    Edoardo Bacci, & David Parker, 27 Aug 2021, Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence: Montreal, 19-27 August 2021. Zhou, Z-H. (ed.). International Joint Conferences on Artificial Intelligence Organization (IJCAI), p. 2154-2160 7 p.

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

  16. Other chapter contribution › Research
  17. 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

  18. Paper › Research › Not peer-reviewed
  19. Published

    A symbolic out-of-core solution method for Markov models

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

    Research output: Contribution to conference (unpublished)Paper

  20. Published

    A wavefront parallelisation of CTMC solution using MTBDDs

    David Parker & Marta Kwiatkowska, 1 Jan 2005, p. 734-742. 9 p.

    Research output: Contribution to conference (unpublished)Paper

  21. Published

    Controller dependability analysis by probabilistic model checking

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

    Research output: Contribution to conference (unpublished)Paper

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

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