Dave Parker
61 - 70 out of 98Page size: 10
Publications
- 2006
- 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