Dave Parker

1 - 20 out of 98Page size: 20

Publications

  1. 2021
  2. E-pub ahead of print

    Automatic verification of concurrent stochastic systems

    David Parker, 22 Jan 2021, In: Formal Methods in System Design. 58 p.

    Research output: Contribution to journal › Article › peer-review

  3. 2020
  4. Accepted/In press

    Quantitative Verification of Kalman Filters

    Alexandros Evangelidis & David Parker, 29 Nov 2020, (Accepted/In press) In: Formal Aspects of Computing. 25 p.

    Research output: Contribution to journal › Article › peer-review

  5. 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 proceeding › Conference contribution

  6. 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 proceeding › Conference contribution

  7. Accepted/In press

    Multi-player Equilibria Verification for Concurrent Stochastic Games

    David Parker, 19 Jun 2020, (Accepted/In press) Proceedings of the 17th International Conference on Quantitative Evaluation of SysTems (QEST'20). Springer, 21 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  8. 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 proceeding › Conference contribution

  9. Accepted/In press

    PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time

    David Parker, 6 Apr 2020, (Accepted/In press) 32nd International Conference on Computer Aided Verification (CAV 2020), Proceedings. Springer, 12 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  10. 2019
  11. 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 proceeding › Conference contribution

  12. Published

    Equilibria-based probabilistic model checking for concurrent stochastic games

    David Parker, 23 Sep 2019, Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings. ter Beek, M. H., McIver, A. & Oliveira, J. N. (eds.). Springer, p. 298-315 18 p. (Lecture Notes in Computer Science; vol. 11800)(Programming and Software Engineering; vol. 11800).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  13. 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 proceeding › Conference contribution

  14. Published

    Automated formal analysis of side-channel attacks on probabilistic systems

    Chris Novakovic & David Parker, 15 Sep 2019, Computer Security – ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I. Sako, K., Schneider, S. & Ryan, P. Y. A. (eds.). Springer, p. 319-337 19 p. (Lecture Notes in Computer Science ; vol. 11735)(Security and Cryptology; vol. 11735).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  15. 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 journal › Article › peer-review

  16. E-pub ahead of print

    ATEN: And/Or Tree Ensemble for inferring accurate Boolean network topology and dynamics

    David Parker & Shan He, 17 Jul 2019, In: Bioinformatics. 8 p., btz563.

    Research output: Contribution to journal › Article › peer-review

  17. 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 proceeding › Conference contribution

  18. 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 proceeding › Conference contribution

  19. Published

    Multi-scale stochastic organization-oriented coarse-graining exemplified on the human mitotic checkpoint

    David Parker, Chris Good, Jon Rowe, 7 Mar 2019, In: Scientific Reports. 9, 1, 17 p., 3902.

    Research output: Contribution to journal › Article › peer-review

  20. 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 journal › Article › peer-review

  21. 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 proceeding › Conference contribution

  22. 2018
  23. 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 proceeding › Conference contribution

  24. Published

    Automated Verification of Concurrent Stochastic Games

    David Parker, 15 Aug 2018, Proceedings of the 15th International Conference on Quantitative Evaluation of SysTems (QEST'18).. Springer, 16 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Previous 1 2 3 4 5 Next