Marta Kwiatkowska

Probabilistic symbolic model checking with PRISM: a hybrid approach

Marta Kwiatkowska, Gethin Norman, David Parker · International Journal on Software Tools for Technology Transfer · 2004 · 436 citations

Engineering, Automated Reasoning, Program Analysis +10

Dynamic QoS Management and Optimization in Service-Based Systems

Radu Călinescu, Lars Grunske, Marta Kwiatkowska et al. · IEEE Transactions on Software Engineering · 2010 · 369 citations

Engineering, Dynamic Resource Allocation, Qos Requirements +18

Automatic verification of real-time systems with discrete probability distributions

Marta Kwiatkowska, Gethin Norman, Roberto Segala et al. · Theoretical Computer Science · 2002 · 327 citations

Engineering, Probabilistic Verification, Verification +8

Concolic testing for deep neural networks

Youcheng Sun, Min Wu, Wenjie Ruan et al. · 2018 · 325 citations · Full text

Convolutional Neural Network, Engineering, Combines Program Execution +18

Self-adaptive software needs quantitative verification at runtime

Radu Călinescu, Carlo Ghezzi, Marta Kwiatkowska et al. · Communications of the ACM · 2012 · 251 citations

Software Maintenance, Self-adaptation Decisions, Engineering +19