Dave Parker
Publications
- Published
- Published
- 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
- 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
- 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)
- 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
Automatic verification of competitive stochastic systems
David Parker, 1 Aug 2013, In: Formal Methods in System Design. 43, 1, p. 61-92Research output: Contribution to journal › Article › peer-review
- 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
- Published
Compositional probabilistic verification through multi-objective model checking
Marta Kwiatkowska, Gethin Norman, David Parker, Nov 2013, In: Information and Computation. 232, p. 38-65Research output: Contribution to journal › Article › peer-review
- Published
- Published
- Published
- Published
- Published
- 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
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
Evaluating the reliability of NAND multiplexing with PRISM
Gethin Norman, David Parker, Marta Kwiatkowska, 1 Jan 2005, In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 24, 10, p. 1629-1637 9 p.Research output: Contribution to journal › Article
- 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
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
- 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
Local abstraction refinement for probabilistic timed programs
Marta Kwiatkowska, David Parker, 12 Jun 2014, In: Theoretical Computer Science. 538, p. 37-53Research output: Contribution to journal › Article › peer-review
- Published
- 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
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
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
- Published
Numerical vs. Statistical Probabilistic Model Checking
Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jun 2006, In: International Journal on Software Tools for Technology Transfer. 8, 3, p. 216-228 13 p.Research output: Contribution to journal › Article
- 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
- 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
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
- Published
On the Use of MTBDDs for Peformability Analysis and Verification of Stochastic Systems
Marta Kwiatkowska, Gethin Norman, David Parker, 1 Jan 2003, p. 23-67. 45 p.Research output: Contribution to conference (unpublished) › Paper
- 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 Motion Planning for Markov Decision Processes with Co-Safe Linear Temporal Logic Specifications
David Parker, Bruno Lacerda & Nick Hawes, 18 Feb 2014.Research output: Contribution to conference (unpublished) › Paper › peer-review
- 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
- E-pub ahead of print
Organisation-Oriented Coarse Graining and Refinement of Stochastic Reaction Networks
David Parker & Jon Rowe, 9 Feb 2018, In: IEEE - ACM Transactions on Computational Biology and Bioinformatics. 14 p.Research output: Contribution to journal › Article › peer-review
- Published
PRISM 2.0: A tool for probabilistic model checking
Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2004, p. 322-323. 2 p.Research output: Contribution to conference (unpublished) › Paper
- E-pub ahead of print
PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives
David Parker, 29 Nov 2017, In: International Journal on Software Tools for Technology Transfer. 16 p.Research output: Contribution to journal › Article › peer-review
- 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