Marta Kwiatkowska

Cited by

	All	Since 2019
Citations	27860	11080
h-index	77	48
i10-index	281	171

2000

1000

500

1500

19981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202485 82 103 105 150 252 351 406 503 544 593 801 898 977 1160 1308 1365 1513 1563 1539 1764 1759 1981 1931 1978 1959 1461

Public access

View all

133 articles

1 article

available

not available

Based on funding mandates

Co-authors

Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing ScienceVerified email at glasgow.ac.uk
David ParkerProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Radu CalinescuProfessor of Computer Science, University of YorkVerified email at york.ac.uk
Jeremy SprostonAssistant professor, University of TurinVerified email at di.unito.it
Luca LaurentiTU DelftVerified email at tudelft.nl
Luca CardelliUniversity of OxfordVerified email at cs.ox.ac.uk
Andrea PataneTrinity College DublinVerified email at tcd.ie
Vojtěch ForejtDifflblueVerified email at diffblue.com
Nicola PaolettiDepartment of Informatics, King's College LondonVerified email at kcl.ac.uk
Xiaowei HuangProfessor of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Taolue ChenSchool of Computing and Mathematical Sciences, Birkbeck, University of LondonVerified email at bbk.ac.uk
Hongyang QuResearch Fellow, University of SheffieldVerified email at sheffield.ac.uk
Roberto SegalaUniversità di VeronaVerified email at univr.it
Min WuDepartment of Computer Science, Stanford UniversityVerified email at stanford.edu
Christel BaierTU DresdenVerified email at tu-dresden.de
Matthew WickerImperial College London & The Alan Turing InstituteVerified email at imperial.ac.uk
Alexandru MereacreNquiringminds LtdVerified email at nquiringminds.com
Milan CeskaBrno University of TechnologyVerified email at fit.vutbr.cz
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
Wenjie RuanSenior Lecturer, University of ExeterVerified email at cs.ox.ac.uk

Marta Kwiatkowska

Professor of Computing Systems, University of Oxford

Verified email at comlab.ox.ac.uk - Homepage

Computer Science Automated Verification Probabilistic/Quantitative Model Checking


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
PRISM 4.0: Verification of probabilistic real-time systems M Kwiatkowska, G Norman, D Parker Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011	3233	2011
Safety verification of deep neural networks X Huang, M Kwiatkowska, S Wang, M Wu Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017	1130	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	971	2006
PRISM: Probabilistic symbolic model checker M Kwiatkowska, G Norman, D Parker International Conference on Modelling Techniques and Tools for Computer …, 2002	951	2002
Stochastic model checking M Kwiatkowska, G Norman, D Parker Formal Methods for Performance Evaluation: 7th International School on …, 2007	872	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	506	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	506	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	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, 128-142, 2004	438	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	430	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	369	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	356	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	334	2009
Reachability analysis of deep neural networks with provable guarantees W Ruan, X Huang, M Kwiatkowska arXiv preprint arXiv:1805.02242, 2018	326	2018
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	306	2006
Model checking for a probabilistic branching time logic with fairness C Baier, M Kwiatkowska Distributed Computing 11 (3), 125-155, 1998	303	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	296	2012
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	281	2006
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	278	2018
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

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors