Dave Parker
Publications
- Published
Symmetry reduction for probabilistic model checking
Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2006, p. 234-248. 15 p.Research output: Contribution to conference (unpublished) › Paper
- 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
PRISM: Probabilistic symbolic model checker
Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2002, p. 200-204. 5 p.Research output: Contribution to conference (unpublished) › Paper
- Published
- 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
Probabilistic model checking in practice: case studies with PRISM
Marta Kwiatkowska, Gethin Norman & David Parker, 1 Mar 2005, In: ACM SIGMETRICS Performance Evaluation Review. 32, 4, p. 16-21 6 p.Research output: Contribution to journal › Article
- Published
Probabilistic symbolic model checker
Marta Kwiatkowska, Gethin Norman, David Parker, 1 Jan 2002, p. LNCS 200-204.Research output: Contribution to conference (unpublished) › Paper
- 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
Probabilistic model checking and power-aware computing
Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2005, p. 6-9. 4 p.Research output: Contribution to conference (unpublished) › Paper
- 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
- Published
Probabilistic symbolic model checking with PRISM: A hybrid approach
Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2004, In: International Journal on Software Tools for Technology Transfer. 6, 2, p. 128-142 15 p.Research output: Contribution to journal › Article
- Published
- 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
- 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
- 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
- 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
- Published
- 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
- 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
- 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
- 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
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
- Published
- 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
- 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
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
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
- 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
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
- Published
Verification and control of partially observable probabilistic systems
David Parker, May 2017, In: Real-Time Systems. 53, 3, p. 354–402 49 p.Research output: Contribution to journal › Article › peer-review
- 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
Using Probabilistic Model Checking for Dynamic Power Management. Technical Report DSSE-TR-2003-2
Gethin Norman, David Parker, Marta Kwiatkowska, 1 Jan 2003, p. 202-215. 14 p.Research output: Contribution to conference (unpublished) › Paper
- Published
Using probabilistic model checking for dynamic power management
Gethin Norman, David Parker, Marta Kwiatkowska, 1 Aug 2005, In: Formal Aspects of Computing. 17, 2, p. 160-176 17 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
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
- 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
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
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
- 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
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
- 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
Grid-enabled probabilistic model checking with PRISM
David Parker & Marta Kwiatkowska, 1 Jan 2005.Research output: Contribution to conference (unpublished) › Paper
- Published
Synthesizing efficient systems in probabilistic environments
David Parker, May 2015, In: Acta Informatica. 237Research output: Contribution to journal › Article › peer-review