Inventory models with lateral transshipments: A review. - Colin Paterson; Gudrun P. Kiesmüller; Ruud H. Teunter; Kevin D. Glazebrook (Eur. J. Oper. Res., 2011)

Enhanced lateral transshipments in a multi-location inventory system. - Colin Paterson; Ruud H. Teunter; Kevin D. Glazebrook (Eur. J. Oper. Res., 2012)

Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software - Advances, Applications and Research Challenges. - Radu Calinescu; Simos Gerasimou; Kenneth Johnson; Colin Paterson (Software Engineering for Self-Adaptive Systems, 2013)

FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals. - Radu Calinescu; Kenneth Johnson; Colin Paterson (TACAS, 2016)

Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement. - Colin Paterson; Radu Calinescu (ICSA, 2017)

Self-Adaptive Role-Based Access Control for Business Processes. - Carlos Eduardo da Silva; José Diego Saraiva da Silva; Colin Paterson; Radu Calinescu (SEAMS@ICSE, 2017)

Efficient parametric model checking using domain-specific modelling patterns. - Radu Calinescu; Kenneth Johnson; Colin Paterson (ICSE (NIER), 2018)

Observation-enhanced verification of operational processes. - Colin Paterson (2018)

Socio-cyber-physical systems: models, opportunities, open challenges. - Radu Calinescu; Javier Cámara 001; Colin Paterson (SEsCPS@ICSE, 2019)

Using unstructured data to improve the continuous planning of critical processes involving humans. - Colin Paterson; Radu Calinescu; Di Wang; Suresh Manandhar (SEAMS@ICSE, 2019)

A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems. - Chiara Picardi; Richard Hawkins; Colin Paterson; Ibrahim Habli (SAFECOMP, 2019)

Detection and Mitigation of Rare Subclasses in Neural Network Classifiers. - Colin Paterson; Radu Calinescu (CoRR, 2019)

Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems. - Chiara Picardi; Colin Paterson; Richard Hawkins; Radu Calinescu; Ibrahim Habli (SafeAI@AAAI, 2020)

Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings. - Lydia Gauerhof; Richard Hawkins; Chiara Picardi; Colin Paterson; Yuki Hagiwara; Ibrahim Habli (SAFECOMP, 2020)

Observation-Enhanced QoS Analysis of Component-Based Systems. - Colin Paterson; Radu Calinescu (IEEE Trans. Software Eng., 2020)

Detection and Mitigation of Rare Subclasses in Deep Neural Network Classifiers. - Colin Paterson; Radu Calinescu; Chiara Picardi (AITest, 2021)

Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies. - Joshua Riley; Radu Calinescu; Colin Paterson; Daniel Kudenko; Alec Banks (ICAART (2), 2021)

Assured Deep Multi-Agent Reinforcement Learning for Safe Robotic Systems. - Joshua Riley; Radu Calinescu; Colin Paterson; Daniel Kudenko; Alec Banks (ICAART (Revised Selected Papers), 2021)

Utilising Assured Multi-Agent Reinforcement Learning within Safety-Critical Scenarios. - Joshua Riley; Radu Calinescu; Colin Paterson; Daniel Kudenko; Alec Banks (KES, 2021)

DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers. - Colin Paterson; Haoze Wu 001; John Grese; Radu Calinescu; Corina S. Pasareanu; Clark W. Barrett (SAFECOMP, 2021)

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 (SEAMS@ICSE, 2021)

Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS). - Richard Hawkins; Colin Paterson; Chiara Picardi; Yan Jia 008; Radu Calinescu; Ibrahim Habli (CoRR, 2021)

Efficient Parametric Model Checking Using Domain Knowledge. - Radu Calinescu; Colin Paterson; Kenneth Johnson (IEEE Trans. Software Eng., 2021)

Risk-aware Real-time Object Detection. - Misael Alpizar Santana; Radu Calinescu; Colin Paterson (EDCC, 2022)

Mitigating Risk in Neural Network Classifiers. - Misael Alpizar Santana; Radu Calinescu; Colin Paterson (SEAA, 2022)

Assured Multi-agent Reinforcement Learning with Robust Agent-Interaction Adaptability. - Joshua Riley; Radu Calinescu; Colin Paterson; Daniel Kudenko; Alec Banks (KES-IDT, 2022)

PRESTO: Predicting System-level Disruptions through Parametric Model Checking. - Xinwei Fang; Radu Calinescu; Colin Paterson; Julie Wilson (SEAMS, 2022)

Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges. - Rob Ashmore; Radu Calinescu; Colin Paterson (ACM Comput. Surv., 2022)

Quantitative verification with adaptive uncertainty reduction. - Naif Alasmari; Radu Calinescu; Colin Paterson; Raffaela Mirandola (J. Syst. Softw., 2022)

From Pluralistic Normative Principles to Autonomous-Agent Rules. - Beverley A. Townsend; Colin Paterson; T. T. Arvind; Gabriel Nemirovsky; Radu Calinescu; Ana Cavalcanti 001; Ibrahim Habli; Alan Thomas (Minds Mach., 2022)

Verified synthesis of optimal safety controllers for human-robot collaboration. - Mario Gleirscher; Radu Calinescu; James A. Douthwaite; Benjamin Lesage; Colin Paterson; Jonathan M. Aitken; Rob Alexander; James Law (Sci. Comput. Program., 2022)

Transfer Assurance for Machine Learning in Autonomous Systems. - Chiara Picardi; Richard Hawkins; Colin Paterson; Ibrahim Habli (SafeAI@AAAI, 2023)

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 (SEAMS@ICSE, 2024)

Learning Run-time Safety Monitors for Machine Learning Components. - Ozan Vardal; Richard Hawkins; Colin Paterson; Chiara Picardi; Daniel Omeiza; Lars Kunze; Ibrahim Habli (CoRR, 2024)

Predicting Nonfunctional Requirement Violations in Autonomous Systems. - Xinwei Fang; Sinem Getir Yaman; Radu Calinescu; Julie Wilson; Colin Paterson (ACM Trans. Auton. Adapt. Syst., 2024)

The Safety of Autonomy: A Systematic Approach. - John A. McDermid; Radu Calinescu; Ibrahim Habli; Richard Hawkins; Yan Jia 008; John Molloy; Matt Osborne; Colin Paterson; Zoë Porter; Philippa Ryan Conmy (Computer, 2024)

Specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents. - Sinem Getir Yaman; Pedro Ribeiro 002; Ana Cavalcanti 001; Radu Calinescu; Colin Paterson; Beverley A. Townsend (J. Syst. Softw., 2025)

Safety assurance of Machine Learning for autonomous systems. - Colin Paterson; Richard Hawkins; Chiara Picardi; Yan Jia 008; Radu Calinescu; Ibrahim Habli (Reliab. Eng. Syst. Saf., 2025)

The BIG Argument for AI Safety Cases. - Ibrahim Habli; Richard Hawkins; Colin Paterson; Philippa Ryan; Yan Jia 008; Mark Sujan; John A. McDermid (CoRR, 2025)