Marta Kwiatkowska
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
Geverifieerd e-mailadres voor comlab.ox.ac.uk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
PRISM 4.0: Verification of probabilistic real-time systems
M Kwiatkowska, G Norman, D Parker
International conference on computer aided verification, 585-591, 2011
19232011
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
8372006
PRISM: Probabilistic symbolic model checker
M Kwiatkowska, G Norman, D Parker
International Conference on Modelling Techniques and Tools for Computer …, 2002
7292002
Stochastic model checking
M Kwiatkowska, G Norman, D Parker
International School on Formal Methods for the Design of Computer …, 2007
5792007
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
3762004
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
3642011
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
3642011
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
3612002
Safety verification of deep neural networks
X Huang, M Kwiatkowska, S Wang, M Wu
International Conference on Computer Aided Verification, 3-29, 2017
3502017
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
2682012
Model checking for a probabilistic branching time logic with fairness
C Baier, M Kwiatkowska
Distributed Computing 11 (3), 125-155, 1998
2671998
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
2642009
Automated verification techniques for probabilistic systems
V Forejt, M Kwiatkowska, G Norman, D Parker
International School on Formal Methods for the Design of Computer …, 2011
2612011
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
2502006
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
250*2004
Numerical vs. statistical probabilistic model checking
HLS Younes, M Kwiatkowska, G Norman, D Parker
International Journal on Software Tools for Technology Transfer 8 (3), 216-228, 2006
2342006
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
2152012
Symbolic model checking for probabilistic processes
C Baier, EM Clarke, V Hartonas-Garmhausen, M Kwiatkowska, M Ryan
International Colloquium on Automata, Languages, and Programming, 430-440, 1997
2141997
PRISM 2.0: A tool for probabilistic model checking
M Kwiatkowska, G Norman, D Parker
First International Conference on the Quantitative Evaluation of Systems …, 2004
2062004
Probabilistic symbolic model checking with PRISM: A hybrid approach
M Kwiatkowska, G Norman, D Parker
International Conference on Tools and Algorithms for the Construction and …, 2002
1992002
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20