Marta Kwiatkowska
Medical University of Warsaw(PL)University of Oxford(GB)
Publications by Year
Research Areas
Formal Methods in Verification, Software Reliability and Analysis Research, Advanced Software Engineering Methodologies, Adversarial Robustness in Machine Learning, Petri Nets in System Modeling
Most-Cited Works
- → PRISM 4.0: Verification of Probabilistic Real-Time Systems(2011)2,299 cited
- → Safety Verification of Deep Neural Networks(2017)819 cited
- → PRISM: Probabilistic Symbolic Model Checker(2002)680 cited
- → Stochastic Model Checking(2007)585 cited
- → PRISM: A Tool for Automatic Verification of Probabilistic Systems(2006)544 cited
- → Probabilistic symbolic model checking with PRISM: a hybrid approach(2004)436 cited
- → Dynamic QoS Management and Optimization in Service-Based Systems(2010)