Dave Parker

Publications

  1. Published
  2. Published
  3. 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

  4. 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

  5. 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 journalArticle

  6. 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 proceedingChapter (peer-reviewed)

  7. 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 proceedingConference contribution

  8. 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 proceedingConference contribution

  9. 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 proceedingConference contribution

  10. 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 proceedingConference contribution

  11. Published

    Automatic verification of competitive stochastic systems

    David Parker, 1 Aug 2013, In : Formal Methods in System Design. 43, 1, p. 61-92

    Research output: Contribution to journalArticle

  12. Published
  13. Published
  14. Published
  15. Published
  16. Published
  17. Published
  18. Published

    Controller dependability analysis by probabilistic model checking

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2004.

    Research output: Contribution to conference (unpublished)Paper

  19. 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

  20. 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 proceedingConference contribution

  21. 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 proceedingConference contribution

  22. Published
  23. Published
  24. 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

  25. 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 proceedingConference contribution

  26. 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 proceedingConference contribution

  27. Published
  28. 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

  29. Published

    Grid-enabled probabilistic model checking with PRISM

    David Parker & Marta Kwiatkowska, 1 Jan 2005.

    Research output: Contribution to conference (unpublished)Paper

  30. Published

    Local abstraction refinement for probabilistic timed programs

    Marta Kwiatkowska, David Parker, 12 Jun 2014, In : Theoretical Computer Science. 538, p. 37-53

    Research output: Contribution to journalArticle

  31. Published
  32. 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 proceedingConference contribution

  33. 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 proceedingConference contribution

  34. Published
  35. 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 proceedingConference contribution

  36. Published
  37. 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

  38. 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 proceedingConference contribution

  39. 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

  40. 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

  41. 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 proceedingConference contribution

  42. Published
  43. 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-1593

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  44. 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. 6942756

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  45. E-pub ahead of print
  46. 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

  47. E-pub ahead of print
  48. 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 proceedingConference contribution

  49. 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 proceedingConference contribution

  50. Published

    PRISM: A Tool for Automatic Verification of Probabilistic Systems

    Marta Kwiatkowska, Gethin Norman, David Parker, 1 Jan 2006, p. 441-444. 4 p.

    Research output: Contribution to conference (unpublished)Paper

Previous 1 2 Next