Marta Kwiatkowska

Cituota

	Visi	Nuo 2020
Šaltiniai	28553	10057
h-rodyklė	78	45
i10-rodyklė	285	159

2100

1050

525

1575

199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202584 81 101 107 151 254 361 409 507 542 611 802 909 983 1152 1311 1367 1501 1557 1490 1755 1723 1950 1910 1968 1944 2021 257

Viešas pasiekiamumas

Peržiūrėti viską

138 straipsniai

1 straipsnis

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Gethin NormanSenior Lecturer of Computing Science, Glasgow University, School of Computing SciencePatvirtintas el. paštas glasgow.ac.uk
David ParkerProfessor of Computer Science, University of OxfordPatvirtintas el. paštas cs.ox.ac.uk
Radu CalinescuProfessor of Computer Science, University of YorkPatvirtintas el. paštas york.ac.uk
Jeremy SprostonAssistant professor, University of TurinPatvirtintas el. paštas di.unito.it
Luca LaurentiTU DelftPatvirtintas el. paštas tudelft.nl
Luca CardelliUniversity of OxfordPatvirtintas el. paštas cs.ox.ac.uk
Andrea PataneTrinity College DublinPatvirtintas el. paštas tcd.ie
Vojtěch ForejtDifflbluePatvirtintas el. paštas diffblue.com
Nicola PaolettiDepartment of Informatics, King's College LondonPatvirtintas el. paštas kcl.ac.uk
Xiaowei HuangProfessor of Computer Science, University of LiverpoolPatvirtintas el. paštas liverpool.ac.uk
Taolue ChenSchool of Computing and Mathematical Sciences, Birkbeck, University of LondonPatvirtintas el. paštas bbk.ac.uk
Hongyang QuResearch Fellow, University of SheffieldPatvirtintas el. paštas sheffield.ac.uk
Min WuStanford UniversityPatvirtintas el. paštas stanford.edu
Christel BaierTU DresdenPatvirtintas el. paštas tu-dresden.de
Roberto SegalaUniversità di VeronaPatvirtintas el. paštas univr.it
Matthew WickerImperial College London & The Alan Turing InstitutePatvirtintas el. paštas imperial.ac.uk
Alexandru MereacreNquiringminds LtdPatvirtintas el. paštas nquiringminds.com
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKPatvirtintas el. paštas cs.ox.ac.uk
Milan CeskaBrno University of TechnologyPatvirtintas el. paštas fit.vutbr.cz
Wenjie RuanSenior Lecturer, University of ExeterPatvirtintas el. paštas cs.ox.ac.uk

Stebėti

Marta Kwiatkowska

Professor of Computing Systems, University of Oxford

Patvirtintas el. paštas comlab.ox.ac.uk - Pagrindinis puslapis

Computer Science Automated Verification Probabilistic/Quantitative Model Checking


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
PRISM 4.0: Verification of probabilistic real-time systems M Kwiatkowska, G Norman, D Parker Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011	3354	2011
Safety verification of deep neural networks X Huang, M Kwiatkowska, S Wang, M Wu International conference on computer aided verification, 3-29, 2017	1180	2017
PRISM: Probabilistic symbolic model checker M Kwiatkowska, G Norman, D Parker International Conference on Modelling Techniques and Tools for Computer …, 2002	983	2002
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	974	2006
Stochastic model checking M Kwiatkowska, G Norman, D Parker Formal Methods for Performance Evaluation: 7th International School on …, 2007	896	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	517	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	517	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	484	2011
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
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	439	2004
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	370	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	361	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	337	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	312	2006
Model checking for a probabilistic branching time logic with fairness C Baier, M Kwiatkowska Distributed Computing 11 (3), 125-155, 1998	309	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	304	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	288	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	275*	2004

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai