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