Dave Parker

Publications

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

  2. Published
  3. Published

    Software adaptation for an unmanned undersea vehicle

    David Parker, & Chris Novakovic, 1 Mar 2019, In: IEEE Software. 36, 2, p. 91-96 6 p., 8648259.

    Research output: Contribution to journalArticlepeer-review

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

  5. Published

    Simulation and Verification for Computational Modelling of Signalling Pathways

    Marta Kwiatkowska, Gethin Norman, David Parker, , John Heath, Eamonn Gaffney, , , , , & , 1 Jan 2006, p. 1666-12675. 11010 p.

    Research output: Contribution to conference (unpublished)Paper

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

  7. E-pub ahead of print

    Quantitative verification of Kalman filters

    Alexandros Evangelidis & David Parker, 5 Feb 2021, (E-pub ahead of print) In: Formal Aspects of Computing.

    Research output: Contribution to journalArticlepeer-review

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

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

  11. Published
  12. Published

    Probabilistic symbolic model checking with PRISM: A hybrid approach

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2002, p. 52-66. 15 p.

    Research output: Contribution to conference (unpublished)Paper

  13. Published
  14. Published

    Probabilistic symbolic model checker

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

    Research output: Contribution to conference (unpublished)Paper

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

  16. Published

    Probabilistic planning with formal performance guarantees for mobile service robots

    Fatma Faruq, David Parker & , 1 Aug 2019, In: The International Journal of Robotics Research. 38, 9, p. 1098–1123 26 p.

    Research output: Contribution to journalArticlepeer-review

  17. Published

    Probabilistic model checking of labelled markov processes via finite approximate bisimulations

    David Parker, 2014, Horizons of the Mind. A Tribute to Prakash Panangaden : Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. van Breugel, F., Kashefi, E., Palamidessi, C. & Rutten, J. (eds.). Springer, Vol. 8464 LNCS. p. 40-58 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8464 LNCS).

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

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

  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