Marta Kwiatkowska

צוטט על ידי

	הכל	מאז 2019
ציטוטים ביבליוגרפיים	27833	11054
H-index	77	47
i10-index	281	171

2000

1000

500

1500

19981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202485 82 103 105 150 252 351 406 503 544 593 800 898 975 1160 1309 1365 1513 1563 1539 1764 1759 1977 1934 1982 1957 1434

גישה ציבורית

הצג הכל

132 מאמרים

מאמר אחד

זמין

לא זמין

על סמך ייפוי כח מהמממנים

מחברים משותפים

Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing Scienceכתובת אימייל מאומתת בדומיין glasgow.ac.uk
David ParkerProfessor of Computer Science, University of Oxfordכתובת אימייל מאומתת בדומיין cs.ox.ac.uk
Radu CalinescuProfessor of Computer Science, University of Yorkכתובת אימייל מאומתת בדומיין york.ac.uk
Jeremy SprostonAssistant professor, University of Turinכתובת אימייל מאומתת בדומיין di.unito.it
Luca LaurentiTU Delftכתובת אימייל מאומתת בדומיין tudelft.nl
Luca CardelliUniversity of Oxfordכתובת אימייל מאומתת בדומיין cs.ox.ac.uk
Andrea PataneTrinity College Dublinכתובת אימייל מאומתת בדומיין tcd.ie
Vojtěch ForejtDifflblueכתובת אימייל מאומתת בדומיין diffblue.com
Nicola PaolettiDepartment of Informatics, King's College Londonכתובת אימייל מאומתת בדומיין kcl.ac.uk
Xiaowei HuangProfessor of Computer Science, University of Liverpoolכתובת אימייל מאומתת בדומיין liverpool.ac.uk
Taolue ChenSchool of Computing and Mathematical Sciences, Birkbeck, University of Londonכתובת אימייל מאומתת בדומיין bbk.ac.uk
Hongyang QuResearch Fellow, University of Sheffieldכתובת אימייל מאומתת בדומיין sheffield.ac.uk
Roberto SegalaUniversità di Veronaכתובת אימייל מאומתת בדומיין univr.it
Min WuDepartment of Computer Science, Stanford Universityכתובת אימייל מאומתת בדומיין stanford.edu
Christel BaierTU Dresdenכתובת אימייל מאומתת בדומיין tu-dresden.de
Matthew WickerImperial College London & The Alan Turing Instituteכתובת אימייל מאומתת בדומיין imperial.ac.uk
Alexandru MereacreNquiringminds Ltdכתובת אימייל מאומתת בדומיין nquiringminds.com
Milan CeskaBrno University of Technologyכתובת אימייל מאומתת בדומיין fit.vutbr.cz
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKכתובת אימייל מאומתת בדומיין cs.ox.ac.uk
Wenjie RuanSenior Lecturer, University of Exeterכתובת אימייל מאומתת בדומיין cs.ox.ac.uk

עקוב אחר

Marta Kwiatkowska

Professor of Computing Systems, University of Oxford

כתובת אימייל מאומתת בדומיין comlab.ox.ac.uk - דף הבית

Computer Science Automated Verification Probabilistic/Quantitative Model Checking


כותרת מיון לפי ציטוט ביבליוגרפי מיון לפי שנה מיון לפי כותרת	צוטט על ידי צוטט על ידי	שנה
PRISM 4.0: Verification of probabilistic real-time systems‏ M Kwiatkowska, G Norman, D Parker‏ Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011‏	3230	2011
Safety verification of deep neural networks‏ X Huang, M Kwiatkowska, S Wang, M Wu‏ Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017‏	1126	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‏	333	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‏	297	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

המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.

מאמרים 1–20

ציטוטים ביבליוגרפיים בשנה

ציטוטים ביביליוגרפיים כפולים

ציטוטים ביביליוגרפיים שמוזגו

הוסף מחברים שותפיםמחברים משותפים

עקוב אחר

צוטט על ידי

מחברים משותפים