David Parker
David Parker
Professor of Computer Science, University of Birmingham
Verified email at cs.bham.ac.uk - Homepage
TitleCited byYear
PRISM 4.0: Verification of probabilistic real-time systems
M Kwiatkowska, G Norman, D Parker
International conference on computer aided verification, 585-591, 2011
17732011
PRISM: A tool for automatic verification of probabilistic systems
A Hinton, M Kwiatkowska, G Norman, D Parker
International Conference on Tools and Algorithms for the Construction and …, 2006
8142006
PRISM: Probabilistic symbolic model checker
M Kwiatkowska, G Norman, D Parker
International Conference on Modelling Techniques and Tools for Computer …, 2002
6922002
Stochastic model checking
M Kwiatkowska, G Norman, D Parker
International School on Formal Methods for the Design of Computer …, 2007
5492007
Probabilistic symbolic model checking with PRISM: A hybrid approach
M Kwiatkowska, G Norman, D Parker
International Journal on Software Tools for Technology Transfer 6 (2), 128-142, 2004
3662004
Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems, P. Panangaden and F. van Breugel (eds.)
J Rutten, M Kwiatkowska, G Norman, D Parker
American Mathematical Society, 2004
263*2004
PRISM: probabilistic model checking for performance and reliability analysis
M Kwiatkowska, G Norman, D Parker
ACM SIGMETRICS Performance Evaluation Review 36 (4), 40-45, 2009
2592009
Implementation of symbolic model checking for probabilistic systems
D Parker
University of Birmingham, 2002
2392002
Automated verification techniques for probabilistic systems
V Forejt, M Kwiatkowska, G Norman, D Parker
International School on Formal Methods for the Design of Computer …, 2011
2382011
Performance analysis of probabilistic timed automata using digital clocks
M Kwiatkowska, G Norman, D Parker, J Sproston
Formal Methods in System Design 29 (1), 33-78, 2006
2362006
Numerical vs. statistical probabilistic model checking
HLS Younes, M Kwiatkowska, G Norman, D Parker
International Journal on Software Tools for Technology Transfer 8 (3), 216-228, 2006
2262006
PRISM 2.0: A tool for probabilistic model checking
M Kwiatkowska, G Norman, D Parker
First International Conference on the Quantitative Evaluation of Systems …, 2004
2012004
Probabilistic model checking of complex biological pathways
J Heath, M Kwiatkowska, G Norman, D Parker, O Tymchyshyn
Theoretical Computer Science 391 (3), 239-257, 2008
1962008
Probabilistic symbolic model checking with PRISM: A hybrid approach
M Kwiatkowska, G Norman, D Parker
International Conference on Tools and Algorithms for the Construction and …, 2002
1952002
Symbolic model checking of probabilistic processes using MTBDDs and the Kronecker representation
L De Alfaro, M Kwiatkowska, G Norman, D Parker, R Segala
International Conference on Tools and Algorithms for the Construction and …, 2000
1562000
A formal analysis of Bluetooth device discovery
M Duflot, M Kwiatkowska, G Norman, D Parker
International journal on software tools for technology transfer 8 (6), 621-632, 2006
1522006
Symmetry reduction for probabilistic model checking
M Kwiatkowska, G Norman, D Parker
International Conference on Computer Aided Verification, 234-248, 2006
1522006
Assume-guarantee verification for probabilistic systems
M Kwiatkowska, G Norman, D Parker, H Qu
International Conference on Tools and Algorithms for the Construction and …, 2010
1292010
Automatic verification of competitive stochastic systems
T Chen, V Forejt, M Kwiatkowska, D Parker, A Simaitis
Tools and Algorithms for the Construction and Analysis of Systems, 315-330, 2012
1212012
Probabilistic model checking of complex biological pathways
J Heath, M Kwiatkowska, G Norman, D Parker, O Tymchyshyn
International Conference on Computational Methods in Systems Biology, 32-47, 2006
1112006
The system can't perform the operation now. Try again later.
Articles 1–20