Dave Parker

View Scopus Profile

Dave Parker

Prof

 https://orcid.org/0000-0003-4137-8862

Accepting PhD Students

PhD projects

David Parker's research focuses on verification: formal techniques for checking that systems function correctly. In particular, he is interested in quantitative verification, which focuses on the analysis of systems with probabilistic and real-time behaviour.

Dr Parker's work spans the development of new theory, algorithms and tools for this area, as well as investigating its applicability to a wide range of areas, including biology and security. He also leads the development of the probabilistic model checking tool PRISM.

20012022

Research activity per year

Filter
Chapter (peer-reviewed)

Search results

  • Chapter (peer-reviewed)

    Abstraction Refinement for Probabilistic Software

    Kattenbelt, M., Kwiatkowska, M., Norman, G. & Parker, D., 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)

    44 Citations (Scopus)

  • Probabilistic Model Checking: Advances and Applications

    Kwiatkowska, M., Norman, G. & Parker, D., 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

  • The Hanoi Omega-Automata Format

    Babiak, T., Blahoudek, F., Duret-Lutz, A., Klein, J., Kretinsky, J., Muller, D., Parker, D. & Strejcek, J., 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-486

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

    Open Access
    File
    39 Citations (Scopus)
    308 Downloads (Pure)

  • Verification and control of partially observable probabilistic real-time systems

    Norman, G., Parker, D. & Zou, X., 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

    5 Citations (Scopus)