Dave Parker
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
- 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
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
- 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
- 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
- Published
Probabilistic model checking of complex biological pathways
John Heath, Marta Kwiatkowska, Gethin Norman, David Parker, 1 Jan 2006, p. 32-47. 16 p.Research output: Contribution to conference (unpublished) › Paper
- Published
Probabilistic model checking of complex biological pathways
John Heath, Marta Kwiatkowska, Gethin Norman, David Parker, 1 Jan 2006, p. 32-47. 16 p.Research output: Contribution to conference (unpublished) › Paper
- Published
- 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
- 2005
- 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
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
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
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
Grid-enabled probabilistic model checking with PRISM
David Parker & Marta Kwiatkowska, 1 Jan 2005.Research output: Contribution to conference (unpublished) › Paper
- 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
- 2004
- Published
Controller dependability analysis by probabilistic model checking
Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2004.Research output: Contribution to conference (unpublished) › Paper
- 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
- 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
- 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
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
- 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
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
- 2003
- 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
- Published
- Published
- Published
- 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
- 2002
- 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
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
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
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
Probabilistic symbolic model checking with PRISM: A hybrid approach
Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2002, p. 52-66. 15 p.Research output: Contribution to conference (unpublished) › Paper
- 2001
- Published
- Published
- 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
- Published
PRISM: Probabilistic Symbolic Model Checker
Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2001.Research output: Contribution to conference (unpublished) › Paper