| 2025 | ISSRE | A Case Study on Defining Traceable Machine Learning Safety Requirements for an Automotive Perception Component. | Sepeedeh Shahbeigi, Richard Hawkins, Simon Burton, Victoria J. Hodge, Colin Paterson, Ibrahim Habli |
| 2024 | SEAMS | Aloft: Self-Adaptive Drone Controller Testbed. | Calum Imrie, Rhys Howard, Divya Thuremella, Nawshin Mannan Proma, Tejas Pandey, Paulina Lewinska, Ricardo Cannizzaro, Richard Hawkins, Colin Paterson, Lars Kunze, Victoria J. Hodge |
| 2023 | AAAI | Transfer Assurance for Machine Learning in Autonomous Systems. | Chiara Picardi, Richard Hawkins, Colin Paterson, Ibrahim Habli |
| 2022 | EDCC | Risk-aware Real-time Object Detection. | Misael Alpizar Santana, Radu Calinescu, Colin Paterson |
| 2022 | SEAMS | PRESTO: Predicting System-level Disruptions through Parametric Model Checking. | Xinwei Fang, Radu Calinescu, Colin Paterson, Julie Wilson |
| 2021 | ICAART | Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies. | Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks |
| 2021 | ICAART | Assured Deep Multi-Agent Reinforcement Learning for Safe Robotic Systems. | Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks |
| 2021 | KES | Utilising Assured Multi-Agent Reinforcement Learning within Safety-Critical Scenarios. | Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks |
| 2021 | SAFECOMP | DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers. | Colin Paterson, Haoze Wu, John Grese, Radu Calinescu, Corina S. Pasareanu, Clark W. Barrett |
| 2021 | SEAMS | Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning. | Danny Weyns, Bradley R. Schmerl, Masako Kishida, Alberto Leva, Marin Litoiu, Necmiye Ozay, Colin Paterson, Kenji Tei |
| 2020 | AAAI | Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems. | Chiara Picardi, Colin Paterson, Richard Hawkins, Radu Calinescu, Ibrahim Habli |
| 2020 | SAFECOMP | Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings. | Lydia Gauerhof, Richard Hawkins, Chiara Picardi, Colin Paterson, Yuki Hagiwara, Ibrahim Habli |
| 2019 | ICSE | Socio-cyber-physical systems: models, opportunities, open challenges. | Radu Calinescu, Javier Cmara, Colin Paterson |
| 2019 | ICSE | Using unstructured data to improve the continuous planning of critical processes involving humans. | Colin Paterson, Radu Calinescu, Di Wang, Suresh Manandhar |
| 2019 | SAFECOMP | A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems. | Chiara Picardi, Richard Hawkins, Colin Paterson, Ibrahim Habli |
| 2018 | ICSE | Efficient parametric model checking using domain-specific modelling patterns. | Radu Calinescu, Kenneth Johnson, Colin Paterson |
| 2017 | ICSA | Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement. | Colin Paterson, Radu Calinescu |
| 2017 | ICSE | Self-Adaptive Role-Based Access Control for Business Processes. | Carlos Eduardo da Silva, Jos Diego Saraiva da Silva, Colin Paterson, Radu Calinescu |
| 2016 | TACAS | FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals. | Radu Calinescu, Kenneth Johnson, Colin Paterson |