| PRISM 4.0: Verification of probabilistic real-time systems M Kwiatkowska, G Norman, D Parker International conference on computer aided verification, 585-591, 2011 | 3582 | 2011 |
| PRISM: Probabilistic symbolic model checker M Kwiatkowska, G Norman, D Parker International Conference on Modelling Techniques and Tools for Computer …, 2002 | 1024 | 2002 |
| 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 | 985 | 2006 |
| Stochastic model checking M Kwiatkowska, G Norman, D Parker International School on Formal Methods for the Design of Computer …, 2007 | 945 | 2007 |
| 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 | 522 | 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 (2), 128-142, 2004 | 449 | 2004 |
| Automatic verification of real-time systems with discrete probability distributions M Kwiatkowska, G Norman, R Segala, J Sproston Theoretical Computer Science 282 (1), 101-150, 2002 | 439 | 2002 |
| 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 | 348 | 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 | 319 | 2006 |
| 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 | 294 | 2006 |
| Mathematical techniques for analyzing concurrent and probabilistic systems JJMM Rutten, P Panangaden Amer Mathematical Society, 2004 | 274 | 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 | 248 | 2008 |
| 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 | 244 | 2004 |
| 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 | 226 | 2002 |
| Symbolic model checking for probabilistic timed automata M Kwiatkowska, G Norman, J Sproston, F Wang Information and Computation 205 (7), 1027-1077, 2007 | 218 | 2007 |
| Symmetry reduction for probabilistic model checking M Kwiatkowska, G Norman, D Parker International Conference on Computer Aided Verification, 234-248, 2006 | 214 | 2006 |
| Probabilistic model checking of the IEEE 802.11 wireless local area network protocol M Kwiatkowska, G Norman, J Sproston Joint International Workshop von Process Algebra and Probabilistic Methods …, 2002 | 209 | 2002 |
| 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 | 199 | 2000 |
| 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 | 192 | 2010 |
| 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 | 189 | 2006 |
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
