Dave Parker
Publications
- Chapter (peer-reviewed) › Research › Not peer-reviewed
- Published
Abstraction Refinement for Probabilistic Software
Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman & David Parker, 2009, Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings. Jones, ND. & Muller-Olm, M. (eds.). Springer, p. 182-197 (Lecture Notes in Computer Science ; vol. 5403).Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)
- Chapter (peer-reviewed) › Research › Peer-reviewed
- Accepted/In press
Probabilistic Model Checking: Advances and Applications
David Parker, 1 Apr 2017, (Accepted/In press) Formal System Verification: State-of the-Art and Future Trends. Drechsler, R. (ed.). Springer, 48 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
- 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-486Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
- Published
Verification and control of partially observable probabilistic real-time systems
Gethin Norman, David Parker, 22 Aug 2015, Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. Sankaranarayanan, S. & Vicario, E. (eds.). Springer, Vol. 9268. p. 240-255 (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
- Book › Research
- Published
- Commissioned report › Research
- Published
Translating the Probabilistic p-calculus to PRISM, Technical Report CSR-07-2
Gethin Norman, David Parker, 1 Mar 2007, University of Birmingham.Research output: Book/Report › Commissioned report
- Chapter › Research
- Published
Symbolic representations and analysis of large probabilistic systems
David Parker, 1 Jan 2004, Validation of Stochastic Systems: A Guide to Current Research.Research output: Chapter in Book/Report/Conference proceeding › Chapter
- Conference contribution › Research
- 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 proceeding › Conference contribution
- Published
Assume-Guarantee Verification for Probabilistic Systems
David Parker, 2010, Tools and Algorithms for the Construction and Analysis of Systems : 6th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. Esparza, J. & Majumdar, R. (eds.). Springer, p. 23-37 (Lecture Notes in Computer Science; vol. 6015).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
- 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
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 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
Finite-Horizon Bisimulation Minimisation for Probabilistic Systems
David Parker & Jon Rowe, 8 Apr 2016, Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Springer, p. 147-164 18 p. (Lecture Notes in Computer Science; vol. 9641).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Published
Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory
Chunyan Mu, David Parker & Jon Rowe, 2016, Computational Methods in Systems Biology: 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings. Springer, p. 232-251 (Lecture Notes in Computer Science; vol. 9859).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Accepted/In press
Multi-objective Policy Generation for Mobile Robots under Probabilistic Time-Bounded Guarantees
Bruno Lacerda, David Parker & Nick Hawes, 26 Jan 2017, (Accepted/In press) Proceedings of the twenty seventh International Conference on Automated Planning and Scheduling (ICAPS 2017). AAAI Press, 9 p.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
- Published
Nested value iteration for partially satisfiable co-safe ltl specifications (Extended Abstract)
Bruno Lacerda, David Parker & Nick Hawes, 2015, AAAI Fall Symposium - Technical Report. AI Access Foundation, Vol. FS-15-06. p. 54-55 2 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- 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
- 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
Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications
Bruno Lacerda, David Parker & Nick Hawes, 20 Jul 2015, Proc. 24th International Joint Conference on Artificial Intelligence (IJCAI'15). Yang, Q. & Wooldridge, M. (eds.). Association for the Advancement of Artificial Intelligence, p. 1587-1593Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Published
Optimal and dynamic planning for Markov decision processes with co-safe LTL specifications
Bruno Lacerda, David Parker & Nick Hawes, 31 Oct 2014, IEEE International Conference on Intelligent Robots and Systems. Institute of Electrical and Electronics Engineers (IEEE), p. 1511-1516 6 p. 6942756Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Published
PRISM-games 2.0: A Tool for Multi-Objective Strategy Synthesis for Stochastic Games
David Parker, 9 Apr 2016, Proceedings 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'16). Chechik, M. & Raskin, J-F. (eds.). Springer, 6 p. (Lecture Notes in Computer Science; vol. 9636).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
- 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-364Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- 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 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
- 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 proceeding › Conference contribution
- 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. 6595829Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- 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 XploreResearch 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
- 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
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
- 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 proceeding › Conference contribution
- 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
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
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 proceeding › Conference contribution
- Other chapter contribution › Research
- 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 proceeding › Other chapter contribution
- Paper › Research › Not peer-reviewed
- Published
A symbolic out-of-core solution method for Markov models
Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2002.Research output: Contribution to conference (unpublished) › Paper
- Published
A wavefront parallelisation of CTMC solution using MTBDDs
David Parker & Marta Kwiatkowska, 1 Jan 2005, p. 734-742. 9 p.Research output: Contribution to conference (unpublished) › Paper
- Published
Controller dependability analysis by probabilistic model checking
Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2004.Research output: Contribution to conference (unpublished) › Paper
- Published
Dual-processor parallelisation of symbolic probabilistic model checking
Marta Kwiatkowska, David Parker, Yi Zhang, 1 Jan 2004, p. 123-130. 8 p.Research output: Contribution to conference (unpublished) › Paper
- Published
Evaluating the reliability of defect-tolerant architectures for nanotechnology with probabilistic model checking
Gethin Norman, David Parker, Marta Kwiatkowska, 1 Jan 2004, p. 907-914. 8 p.Research output: Contribution to conference (unpublished) › Paper
- Published
Faster and symbolic CTMC model checking
Marta Kwiatkowska, Gethin Norman, David Parker, 1 Jan 2001, p. 23-38. 16 p.Research output: Contribution to conference (unpublished) › Paper
- Published
Formal analysis and validation of continuous time Markov chain based system level power management strategies
Gethin Norman, David Parker, Marta Kwiatkowska, 1 Jan 2002, p. 45-50. 6 p.Research output: Contribution to conference (unpublished) › Paper
- Published
Game-based Abstraction for Markov Decision Processes
Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2006, p. 157-166. 10 p.Research output: Contribution to conference (unpublished) › Paper
- Published
Grid-enabled probabilistic model checking with PRISM
David Parker & Marta Kwiatkowska, 1 Jan 2005.Research output: Contribution to conference (unpublished) › Paper
- Published
Numerical vs. statistical probabilistic model checking: An empirical study
Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2004, p. 46-60. 15 p.Research output: Contribution to conference (unpublished) › Paper
- Published
On reduction criteria for probabilistic reward models
Gethin Norman, Marta Kwiatkowska & David Parker, 1 Jan 2006, p. 309-320. 12 p.Research output: Contribution to conference (unpublished) › Paper