Dave Parker
51 - 60 out of 98Page size: 10
Publications
- 2010
- Published
- 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
- 2009
- 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)
- 2008
- Published
Probabilistic model checking of complex biological pathways
John Heath, Marta Kwiatkowska, Gethin Norman, David Parker, 14 Feb 2008, In: Theoretical Computer Science. 391, 3, p. 239-257 19 p.Research output: Contribution to journal › Article › peer-review
- 2007
- 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
- 2006
- Published
- Published
Performance Analysis of Probabilistic Timed Automata using Digital Clocks
Marta Kwiatkowska, Gethin Norman, David Parker, 1 Jul 2006, In: Formal Methods in System Design. 29, 1, p. 33-78 46 p.Research output: Contribution to journal › Article
- 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
- Published