Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Marta Kwiatkowska | Researchclopedia

Back to researchers

Marta Kwiatkowska

Medical University of Warsaw ORCID

540

Works

19,688

Citations

67

h-index

259

i10-index

Research Topics

Formal Methods in Verification Software Reliability and Analysis Research Advanced Software Engineering Methodologies

Affiliations

Linköping University1990–1990

Ithaka Harbors2024–2024

University of Leicester1989–2006

Cornell University1992–1992

Medical University of Warsaw2025–2025

Top Works

PRISM 4.0: Verification of Probabilistic Real-Time Systems

Marta Kwiatkowska,Gethin Norman,et al.

20112,299 citations

Adversarial Robustness in Machine Learning

Petri Nets in System Modeling

Safety Verification of Deep Neural Networks

Xiaowei Huang,Marta Kwiatkowska,et al.

2017821 citations

PRISM: Probabilistic Symbolic Model Checker

Marta Kwiatkowska,Gethin Norman,et al.

2002681 citations

Stochastic Model Checking

Marta Kwiatkowska,Gethin Norman,et al.

2007585 citations

PRISM: A Tool for Automatic Verification of Probabilistic Systems

Andrew Hinton,Marta Kwiatkowska,et al.

2006544 citations

Probabilistic symbolic model checking with PRISM: a hybrid approach

Marta Kwiatkowska,Gethin Norman,et al.

2004436 citations

Dynamic QoS Management and Optimization in Service-Based Systems

Radu Călinescu,Lars Grunske,et al.

2010370 citations

Concolic testing for deep neural networks

Youcheng Sun,Min Wu,et al.

2018327 citations

Automatic verification of real-time systems with discrete probability distributions

Marta Kwiatkowska,Gethin Norman,et al.

2002327 citations