Dave Parker

Publications

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

  2. Published

    Online fault diagnosis in Petri net models of discrete-event systems using Fourier-Motzkin

    David Parker, 1 Nov 2018, Proceedings of the 12th UKACC International Conference on Control. IEEE Xplore, p. 397-402 6 p.

    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, Proceedings 29th IEEE Computer Security Foundations Symposium (CSF'16). IEEE Xplore

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

  4. Published

    The Hanoi Omega-Automata Format

    David Parker, 16 Jul 2015, Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I. Kroening, D. & Păsăreanu, C. S. (eds.). Springer, Vol. 9206 LNCS. p. 479-486

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

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

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

  7. Published

    An investigation into the feasibility of radioactive gas imaging for studies in process tomography

    Andy Ingram, Thomas Leadbeater & David Parker, 1 Jan 2014, 7th World Congress in Industrial Process Tomography. International Society for Industrial Process Tomography, p. 897-906 10 p. (7th World Congress in Industrial Process Tomography).

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

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

  9. Accepted/In press

    On Correctness, Precision, and Performance in Quantitative Verification: QComp 2020 Competition Report

    David Parker, 13 Jul 2020, (Accepted/In press) Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'20). Springer, 25 p. (Lecture Notes in Comuter Science).

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

  10. Published

    Automatic verification of competitive stochastic systems

    David Parker, 1 Aug 2013, In : Formal Methods in System Design. 43, 1, p. 61-92

    Research output: Contribution to journalArticle

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

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

  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

    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 journalArticle

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

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

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

  19. E-pub ahead of print
  20. 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

Previous 1 2 3 4 5 Next