Dave Parker
Publications
- 2021
- 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
- 2020
- 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
- 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
- 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
- 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
- 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
- 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
- 2019
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 2018
- 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
- 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