Folgen
Marta Kwiatkowska
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
Bestätigte E-Mail-Adresse bei comlab.ox.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
PRISM 4.0: Verification of probabilistic real-time systems
M Kwiatkowska, G Norman, D Parker
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
30132011
Safety verification of deep neural networks
X Huang, M Kwiatkowska, S Wang, M Wu
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
9962017
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
9592006
PRISM: Probabilistic symbolic model checker
M Kwiatkowska, G Norman, D Parker
International Conference on Modelling Techniques and Tools for Computer …, 2002
9112002
Stochastic model checking
M Kwiatkowska, G Norman, D Parker
Formal Methods for Performance Evaluation: 7th International School on …, 2007
8202007
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
4872011
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
4872011
Automated verification techniques for probabilistic systems
V Forejt, M Kwiatkowska, G Norman, D Parker
Formal Methods for Eternal Networked Software Systems: 11th International …, 2011
4322011
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
4282004
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
4252002
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
3592012
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
3272009
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
3102018
Model checking for a probabilistic branching time logic with fairness
C Baier, M Kwiatkowska
Distributed Computing 11, 125-155, 1998
3011998
Performance analysis of probabilistic timed automata using digital clocks
M Kwiatkowska, G Norman, D Parker, J Sproston
Formal Methods in System Design 29, 33-78, 2006
2992006
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
2892012
Reachability analysis of deep neural networks with provable guarantees
W Ruan, X Huang, M Kwiatkowska
arXiv preprint arXiv:1805.02242, 2018
2852018
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
2742006
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
273*2004
Multi-objective model checking of Markov decision processes
K Etessami, M Kwiatkowska, MY Vardi, M Yannakakis
Logical Methods in Computer Science 4, 2008
2522008
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20