Dave Parker

Publications

  1. Conference contribution › Research
  2. E-pub ahead of print

    Quantitative Verification and Synthesis of Attack-Defence Scenarios

    David Parker, 11 Aug 2016, Proceedings 29th IEEE Computer Security Foundations Symposium (CSF'16). IEEE Xplore

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

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

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

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

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

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

  8. E-pub ahead of print

    The quantitative verification benchmark set

    David Parker, 4 Apr 2019, 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

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

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

  11. Other chapter contribution › Research
  12. 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

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