| PRISM 4.0: Verification of probabilistic real-time systems M Kwiatkowska, G Norman, D Parker International conference on computer aided verification, 585-591, 2011 | 2657 | 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 | 937 | 2006 |
| PRISM: Probabilistic symbolic model checker M Kwiatkowska, G Norman, D Parker International Conference on Modelling Techniques and Tools for Computer …, 2002 | 865 | 2002 |
| Safety verification of deep neural networks X Huang, M Kwiatkowska, S Wang, M Wu International conference on computer aided verification, 3-29, 2017 | 785 | 2017 |
| Stochastic model checking M Kwiatkowska, G Norman, D Parker International School on Formal Methods for the Design of Computer …, 2007 | 747 | 2007 |
| Dynamic QoS management and optimization in service-based systems RC Calinescu, L Grunske, M Kwiatkowska, R Mirandola, G Tamburrelli IEEE transactions on software engineering, 2011 | 467 | 2011 |
| Dynamic QoS management and optimization in service-based systems R Calinescu, L Grunske, M Kwiatkowska, R Mirandola, G Tamburrelli Software Engineering, IEEE Transactions on 37 (3), 387-409, 2011 | 467 | 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 | 417 | 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 | 413 | 2002 |
| 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 | 370 | 2011 |
| Self-adaptive software needs quantitative verification at runtime R Calinescu, C Ghezzi, M Kwiatkowska, R Mirandola Communications of the ACM 55 (9), 69-77, 2012 | 343 | 2012 |
| 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 | 311 | 2009 |
| Model checking for a probabilistic branching time logic with fairness C Baier, M Kwiatkowska Distributed Computing 11 (3), 125-155, 1998 | 290 | 1998 |
| 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 | 289 | 2006 |
| Large-scale complex IT systems I Sommerville, D Cliff, R Calinescu, J Keen, T Kelly, M Kwiatkowska, ... Communications of the ACM 55 (7), 71-77, 2012 | 266 | 2012 |
| Mathematical techniques for analyzing concurrent and probabilistic systems. P. Panangaden and F. van Breugel (eds.) J Rutten, M Kwiatkowska, G Norman, D Parker Amer Mathematical Society, 2004 | 264* | 2004 |
| 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 | 259 | 2006 |
| Multi-objective model checking of Markov decision processes K Etessami, M Kwiatkowska, MY Vardi, M Yannakakis International Conference on Tools and Algorithms for the Construction and …, 2007 | 233 | 2007 |
| Symbolic model checking for probabilistic processes C Baier, EM Clarke, V Hartonas-Garmhausen, M Kwiatkowska, M Ryan International Colloquium on Automata, Languages, and Programming, 430-440, 1997 | 230 | 1997 |
| 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 | 225 | 2004 |
