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