| PRISM 4.0: Verification of probabilistic real-time systems M Kwiatkowska, G Norman, D Parker Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 3339 | 2011 |
| 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 | 977 | 2006 |
| PRISM: Probabilistic symbolic model checker M Kwiatkowska, G Norman, D Parker International Conference on Modelling Techniques and Tools for Computer …, 2002 | 977 | 2002 |
| Stochastic model checking M Kwiatkowska, G Norman, D Parker Formal Methods for Performance Evaluation: 7th International School on …, 2007 | 885 | 2007 |
| Automated verification techniques for probabilistic systems V Forejt, M Kwiatkowska, G Norman, D Parker Formal Methods for Eternal Networked Software Systems: 11th International …, 2011 | 483 | 2011 |
| 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 | 440 | 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 | 336 | 2009 |
| 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 | 310 | 2006 |
| 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 | 299* | 2004 |
| Implementation of symbolic model checking for probabilistic systems D Parker University of Birmingham, 2002 | 296 | 2002 |
| 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 | 285 | 2006 |
| 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 | 258 | 2014 |
| 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 | 240 | 2004 |
| 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 | 239 | 2008 |
| 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 | 232 | 2002 |
| 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 | 215 | 2012 |
| Symmetry reduction for probabilistic model checking M Kwiatkowska, G Norman, D Parker International Conference on Computer Aided Verification, 234-248, 2006 | 208 | 2006 |
| 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 | 192 | 2000 |
| 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 | 186 | 2013 |
| Assume-guarantee verification for probabilistic systems M Kwiatkowska, G Norman, D Parker, H Qu Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010 | 184 | 2010 |
Marta KwiatkowskaProfessor of Computing Systems, University of Oxford確認したメール アドレス: comlab.ox.ac.uk
