| 2024 | FM | Partially Observable Stochastic Games with Neural Perception Mechanisms. | Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska |
| 2022 | MFCS | Probabilistic Model Checking for Strategic Equilibria-Based Decision Making: Advances and Challenges (Invited Talk). | Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos, Rui Yan |
| 2022 | TACAS | Correlated Equilibria and Fairness in Concurrent Stochastic Games. | Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos |
| 2020 | CAV | PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time. | Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos |
| 2019 | FM | Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games. | Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos |
| 2014 | SIN | Mathematical Modelling of Identity, Identity Management and Other Related Topics. | Md Sadek Ferdous, Gethin Norman, Ron Poet |
| 2011 | CAV | PRISM 4.0: Verification of Probabilistic Real-Time Systems. | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
| 2011 | TACAS | Quantitative Multi-objective Verification for Probabilistic Systems. | Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu |
| 2010 | TACAS | Assume-Guarantee Verification for Probabilistic Systems. | Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu |
| 2009 | CONCUR | Concavely-Priced Probabilistic Timed Automata. | Marcin Jurdzinski, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi |
| 2009 | FOSSACS | Bisimulation for Demonic Schedulers. | Konstantinos Chatzikokolakis, Gethin Norman, David Parker |
| 2009 | VMCAI | Abstraction Refinement for Probabilistic Software. | Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
| 2006 | CAV | Symmetry Reduction for Probabilistic Model Checking. | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
| 2006 | WSC | Simulation and verification for computational modelling of signalling pathways. | Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn, John Heath, Eamonn A. Gaffney |
| 2006 | TACAS | PRISM: A Tool for Automatic Verification of Probabilistic Systems. | Andrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
| 2005 | FOSSACS | Stochastic Transition Systems for Continuous State Spaces and Non-determinism. | Stefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman |
| 2004 | ISoLA | A Formal Analysis of Bluetooth Device Discovery. | Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
| 2004 | VLSID | Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking. | Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla |
| 2004 | TACAS | Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study. | Hkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
| 2002 | FORTE | Verifying Randomized Byzantine Agreement. | Marta Z. Kwiatkowska, Gethin Norman |
| 2002 | TACAS | Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
| 2001 | CAV | Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM. | Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala |
| 2001 | CONCUR | Symbolic Computation of Maximal Probabilistic Reachability. | Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston |
| 2000 | CONCUR | Verifying Quantitative Properties of Continuous Probabilistic Timed Automata. | Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston |
| 2000 | TACAS | Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation. | Luca de Alfaro, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Roberto Segala |
| 1996 | MFCS | Probabilistic Metric Semantics for a Simple Language with Recursion. | Marta Z. Kwiatkowska, Gethin Norman |