Suivre
David Parker
David Parker
Professor of Computer Science, University of Oxford
Adresse e-mail validée de cs.ox.ac.uk - Page d'accueil
Titre
Citée par
Citée par
Année
PRISM 4.0: Verification of probabilistic real-time systems
M Kwiatkowska, G Norman, D Parker
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
31462011
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
9622006
PRISM: Probabilistic symbolic model checker
M Kwiatkowska, G Norman, D Parker
International Conference on Modelling Techniques and Tools for Computer …, 2002
9412002
Stochastic model checking
M Kwiatkowska, G Norman, D Parker
Formal Methods for Performance Evaluation: 7th International School on …, 2007
8512007
Automated verification techniques for probabilistic systems
V Forejt, M Kwiatkowska, G Norman, D Parker
Formal Methods for Eternal Networked Software Systems: 11th International …, 2011
4582011
Probabilistic symbolic model checking with PRISM: A hybrid approach
M Kwiatkowska, G Norman, D Parker
International journal on software tools for technology transfer 6, 128-142, 2004
4322004
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
3332009
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
3032006
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
298*2004
Implementation of symbolic model checking for probabilistic systems
D Parker
University of Birmingham, 2002
2902002
Numerical vs. statistical probabilistic model checking
HLS Younes, M Kwiatkowska, G Norman, D Parker
International Journal on Software Tools for Technology Transfer 8, 216-228, 2006
2822006
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
2362008
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
2362004
Verification of Markov decision processes using learning algorithms
T Brázdil, K Chatterjee, M Chmelik, V Forejt, J Křetínský, M Kwiatkowska, ...
Automated Technology for Verification and Analysis: 12th International …, 2014
2322014
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
2282002
Symmetry reduction for probabilistic model checking
M Kwiatkowska, G Norman, D Parker
International Conference on Computer Aided Verification, 234-248, 2006
2042006
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
2032012
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
1892000
Using probabilistic model checking in systems biology
M Kwiatkowska, G Norman, D Parker
ACM SIGMETRICS Performance Evaluation Review 35 (4), 14-21, 2008
1872008
PRISM-games: A model checker for stochastic multi-player games
T Chen, V Forejt, M Kwiatkowska, D Parker, A Simaitis
Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013
1802013
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20