| 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 |
| Safety verification of deep neural networks X Huang, M Kwiatkowska, S Wang, M Wu Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 1176 | 2017 |
| 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 |
| 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 | 510 | 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 | 510 | 2011 |
| 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 |
| 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 | 440 | 2002 |
| 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 | 376 | 2012 |
| Concolic testing for deep neural networks Y Sun, M Wu, W Ruan, X Huang, M Kwiatkowska, D Kroening Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 364 | 2018 |
| Reachability analysis of deep neural networks with provable guarantees W Ruan, X Huang, M Kwiatkowska arXiv preprint arXiv:1805.02242, 2018 | 339 | 2018 |
| 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 |
| Model checking for a probabilistic branching time logic with fairness C Baier, M Kwiatkowska Distributed Computing 11 (3), 125-155, 1998 | 308 | 1998 |
| 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 | 302 | 2012 |
| Feature-guided black-box safety testing of deep neural networks M Wicker, X Huang, M Kwiatkowska Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018 | 287 | 2018 |
| 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 |
| 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 | 274* | 2004 |
Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing Science在 glasgow.ac.uk 的电子邮件经过验证
