| PRISM 4.0: Verification of probabilistic real-time systems M Kwiatkowska, G Norman, D Parker International conference on computer aided verification, 585-591, 2011 | 2169 | 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 | 866 | 2006 |
| PRISM: Probabilistic symbolic model checker M Kwiatkowska, G Norman, D Parker International Conference on Modelling Techniques and Tools for Computer …, 2002 | 778 | 2002 |
| Stochastic model checking M Kwiatkowska, G Norman, D Parker International School on Formal Methods for the Design of Computer …, 2007 | 630 | 2007 |
| Safety verification of deep neural networks X Huang, M Kwiatkowska, S Wang, M Wu International Conference on Computer Aided Verification, 3-29, 2017 | 514 | 2017 |
| 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 | 393 | 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 | 393 | 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 | 390 | 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 | 375 | 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 | 298 | 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 | 292 | 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 | 275 | 2009 |
| Model checking for a probabilistic branching time logic with fairness C Baier, M Kwiatkowska Distributed Computing 11 (3), 125-155, 1998 | 274 | 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 | 260 | 2006 |
| 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 | 257* | 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 | 243 | 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 | 235 | 2012 |
| 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 | 217 | 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 | 214 | 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 | 207 | 2008 |
