| 2026 | AAAI | Efficient Solution and Learning of Robust Factored MDPs. | Yannik Schnitzer, Alessandro Abate, David Parker |
| 2026 | CONCUR | On the Continuity of the Probabilistic Bisimilarity Distance. | Syyeda Zainab Fatmi, Stefan Kiefer, David Parker, Franck van Breugel |
| 2026 | TACAS | Robust Verification of Concurrent Stochastic Games. | Angel Y. He, David Parker |
| 2025 | CAV | Robust Probabilistic Bisimilarity for Labelled Markov Chains. | Syyeda Zainab Fatmi, Stefan Kiefer, David Parker, Franck van Breugel |
| 2025 | ICRA | Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty. | Pian Yu, Yong Li, David Parker, Marta Kwiatkowska |
| 2025 | TACAS | Certifiably Robust Policies for Uncertain Parametric Environments. | Yannik Schnitzer, Alessandro Abate, David Parker |
| 2024 | FM | Partially Observable Stochastic Games with Neural Perception Mechanisms. | Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska |
| 2024 | ICRA | Safe POMDP Online Planning via Shielding. | Shili Sheng, David Parker, Lu Feng |
| 2024 | SEFM | Partially-Observable Security Games for Attack-Defence Analysis in Software Systems. | Narges Khakpour, David Parker |
| 2022 | AAAI | Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise. | Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Marille Stoelinga |
| 2022 | IROS | A Value-based Dynamic Learning Approach for Vehicle Dispatch in Ride-Sharing. | Cheng Li, David Parker, Qi Hao |
| 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 | UAI | Finite-horizon equilibria for neuro-symbolic concurrent stochastic games. | Rui Yan, Gabriel Santos, Xiaoming Duan, David Parker, Marta Kwiatkowska |
| 2022 | TACAS | Correlated Equilibria and Fairness in Concurrent Stochastic Games. | Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos |
| 2021 | IJCAI | Verifying Reinforcement Learning up to Infinity. | Edoardo Bacci, Mirco Giacobbe, David Parker |
| 2021 | ICRA | Optimal Online Dispatch for High-Capacity Shared Autonomous Mobility-on-Demand Systems. | Cheng Li, David Parker, Qi Hao |
| 2021 | IROS | Vehicle Dispatch in On-Demand Ride-Sharing with Stochastic Travel Times. | Cheng Li, David Parker, Qi Hao |
| 2020 | CAV | PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time. | Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos |
| 2020 | ISoLA | On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report. | Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Kretnsk, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang |
| 2019 | ASSETS | Exploration of Multi-fingered Access to 2D Spatial Information. | David Parker, Dianne T. V. Pawluk |
| 2019 | ESORICS | Automated Formal Analysis of Side-Channel Attacks on Probabilistic Systems. | Chris Novakovic, David Parker |
| 2019 | FM | Quantitative Verification of Numerical Stability for Kalman Filters. | Alexandros Evangelidis, David Parker |
| 2019 | FM | Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games. | Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos |
| 2019 | TACAS | The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report). | Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretnsk, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz |
| 2019 | TACAS | The Quantitative Verification Benchmark Set. | Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters |
| 2018 | IROS | Simultaneous Task Allocation and Planning Under Uncertainty. | Fatma Faruq, David Parker, Bruno Lacerda, Nick Hawes |
| 2017 | CAV | Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes. | Christel Baier, Joachim Klein, Linda Leuschner, David Parker, Sascha Wunderlich |
| 2017 | CCGRID | Performance Modelling and Verification of Cloud-based Auto-Scaling Policies. | Alexandros Evangelidis, David Parker, Rami Bahsoon |
| 2017 | WorldCIST | Big Data Analytics and Customs Throughput: The Case of Jamaica. | Maurice McNaughton, Lila Rao, David Parker, Daniel Lewis |
| 2016 | AMIA | Most Common Allergen Terms in the Departments of Defense and Veterans Affairs: Developing a Baseline Set of Allergen Terms for the C-CDA Using RxNorm "Ingredient" Level Abstraction. | Karl J. Stiller, David Parker, Brett Marquard, Adam Chiou, Michael Lincoln, Archie Bockhorst, Albert Bonnema, Steven Kator, Norman Stone |
| 2016 | TACAS | PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games. | Marta Kwiatkowska, David Parker, Clemens Wiltsche |
| 2015 | CAV | The Hanoi Omega-Automata Format. | Toms Babiak, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kretnsk, David Mller, David Parker, Jan Strejcek |
| 2015 | IJCAI | Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications. | Bruno Lacerda, David Parker, Nick Hawes |
| 2014 | ATVA | Verification of Markov Decision Processes Using Learning Algorithms. | Toms Brzdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretnsk, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma |
| 2014 | IROS | Optimal and dynamic planning for Markov decision processes with co-safe LTL specifications. | Bruno Lacerda, David Parker, Nick Hawes |
| 2014 | TACAS | Permissive Controller Synthesis for Probabilistic Systems. | Klaus Drger, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma |
| 2013 | ATVA | Automated Verification and Strategy Synthesis for Probabilistic Systems. | Marta Z. Kwiatkowska, David Parker |
| 2013 | CSCW | Limber: exploring motivation in a workplace exergame. | Derek Neil, Samuel Perreault, Nathan Lapierre, Derek Reilly, David Parker, Harjot Bal |
| 2013 | SAFECOMP | Automatic Decomposition of Safety Integrity Levels: Optimization by Tabu Search. | Lus Silva Azevedo, David Parker, Martin Walker, Yiannis Papadopoulos, Rui Esteves Araujo |
| 2013 | TACAS | PRISM-games: A Model Checker for Stochastic Multi-Player Games. | Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis |
| 2013 | VMCAI | SMT-Based Bisimulation Minimisation of Markov Models. | Christian Dehnert, Joost-Pieter Katoen, David Parker |
| 2012 | ATVA | Pareto Curves for Probabilistic Model Checking. | Vojtech Forejt, Marta Z. Kwiatkowska, David Parker |
| 2012 | RV | Incremental Runtime Verification of Probabilistic Systems. | Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma |
| 2012 | TACAS | Automatic Verification of Competitive Stochastic Systems. | Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis |
| 2011 | ATVA | Learning-Based Compositional Verification for Synchronous Probabilistic Systems. | Lu Feng, Tingting Han, Marta Z. Kwiatkowska, David Parker |
| 2011 | CAV | PRISM 4.0: Verification of Probabilistic Real-Time Systems. | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
| 2011 | DSN | Incremental quantitative verification for Markov decision processes. | Marta Z. Kwiatkowska, David Parker, Hongyang Qu |
| 2011 | FASE | Automated Learning of Probabilistic Assumptions for Compositional Reasoning. | Lu Feng, Marta Z. Kwiatkowska, 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 | 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 | ICSE | An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems. | Lars Grunske, Peter A. Lindsay, Egor Bondarev, Yiannis Papadopoulos, 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 | DSN | A Wavefront Parallelisation of CTMC Solution Using MTBDDs. | Yi Zhang, David Parker, Marta Z. Kwiatkowska |
| 2004 | ISoLA | A Formal Analysis of Bluetooth Device Discovery. | Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker |
| 2004 | MASCOTS | Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking. | Marta Z. Kwiatkowska, David Parker, Yi Zhang, Rashid Mehmood |
| 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 | TACAS | Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. | Marta Z. Kwiatkowska, Gethin Norman, David Parker |
| 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 |