Colin Paterson

53 papers A 3B 5Misc 1Journal 29Unranked 14

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Safe Machine Learning: Why Performance Is Not Enough. IEEE Softw. Richard Hawkins, Colin Paterson, Ibrahim Habli, Markus Borg
2025	—	`conf`	A Case Study on Defining Traceable Machine Learning Safety Requirements for an Automotive Perception Component. ISSREW Sepeedeh Shahbeigi, Richard Hawkins, Simon Burton, Victoria J. Hodge, Colin Paterson, Ibrahim Habli
2025	J	`jnl`	An Innovative Algorithm For Robust, Interactive, Piecewise-Linear Data Exploration. CoRR Stephen Wright, Colin Paterson
2025	J	`jnl`	INSYTE: A Classification Framework for Traditional to Agentic AI Systems. ACM Trans. Auton. Adapt. Syst. Zoë Porter, Radu Calinescu, Ernest Lim, Victoria J. Hodge, Philippa Ryan, Simon Burton, Ibrahim Habli, Tom Lawton, John A. McDermid, John Molloy, Helen Monkhouse, Phillip Morgan, Paul Noordhof, Colin Paterson, Isobel Standen, Jie Zou
2025	J	`jnl`	Out-of-Distribution Detection for Safety Assurance of AI and Autonomous Systems. CoRR Victoria J. Hodge, Colin Paterson, Ibrahim Habli
2025	J	`jnl`	Safety assurance of Machine Learning for autonomous systems. Reliab. Eng. Syst. Saf. Colin Paterson, Richard Hawkins, Chiara Picardi, Yan Jia, Radu Calinescu, Ibrahim Habli
2025	J	`jnl`	Specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents. J. Syst. Softw. Sinem Getir Yaman, Pedro Ribeiro, Ana Cavalcanti, Radu Calinescu, Colin Paterson, Beverley A. Townsend
2025	J	`jnl`	The BIG Argument for AI Safety Cases. CoRR Ibrahim Habli, Richard Hawkins, Colin Paterson, Philippa Ryan, Yan Jia, Mark Sujan, John A. McDermid
2024	—	`conf`	Aloft: Self-Adaptive Drone Controller Testbed. SEAMS@ICSE Calum Imrie, Rhys Howard, Divya Thuremella, Nawshin Mannan Proma, Tejas Pandey, Paulina Lewinska, Ricardo Cannizzaro, Richard Hawkins, Colin Paterson, Lars Kunze, Victoria J. Hodge
2024	J	`jnl`	Learning Run-time Safety Monitors for Machine Learning Components. CoRR Ozan Vardal, Richard Hawkins, Colin Paterson, Chiara Picardi, Daniel Omeiza, Lars Kunze, Ibrahim Habli
2024	J	`jnl`	Predicting Nonfunctional Requirement Violations in Autonomous Systems. ACM Trans. Auton. Adapt. Syst. Xinwei Fang, Sinem Getir Yaman, Radu Calinescu, Julie Wilson, Colin Paterson
2024	J	`jnl`	The Safety of Autonomy: A Systematic Approach. Computer John A. McDermid, Radu Calinescu, Ibrahim Habli, Richard Hawkins, Yan Jia, John Molloy, Matt Osborne, Colin Paterson, Zoë Porter, Philippa Ryan Conmy
2023	J	`jnl`	Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents. CoRR Sinem Getir Yaman, Ana Cavalcanti, Radu Calinescu, Colin Paterson, Pedro Ribeiro, Beverley A. Townsend
2023	—	`conf`	Transfer Assurance for Machine Learning in Autonomous Systems. SafeAI@AAAI Chiara Picardi, Richard Hawkins, Colin Paterson, Ibrahim Habli
2022	—	`conf`	Assured Multi-agent Reinforcement Learning with Robust Agent-Interaction Adaptability. KES-IDT Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks
2022	J	`jnl`	Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges. ACM Comput. Surv. Rob Ashmore, Radu Calinescu, Colin Paterson
2022	J	`jnl`	From Pluralistic Normative Principles to Autonomous-Agent Rules. Minds Mach. Beverley A. Townsend, Colin Paterson, T. T. Arvind, Gabriel Nemirovsky, Radu Calinescu, Ana Cavalcanti, Ibrahim Habli, Alan Thomas
2022	B	`conf`	Mitigating Risk in Neural Network Classifiers. SEAA Misael Alpizar Santana, Radu Calinescu, Colin Paterson
2022	A	`conf`	PRESTO: Predicting System-level Disruptions through Parametric Model Checking. SEAMS Xinwei Fang, Radu Calinescu, Colin Paterson, Julie Wilson
2022	J	`jnl`	PRESTO: Predicting System-level Disruptions through Parametric Model Checking. CoRR Xinwei Fang, Radu Calinescu, Colin Paterson, Julie Wilson
2022	J	`jnl`	Quantitative verification with adaptive uncertainty reduction. J. Syst. Softw. Naif Alasmari, Radu Calinescu, Colin Paterson, Raffaela Mirandola
2022	Misc	`conf`	Risk-aware Real-time Object Detection. EDCC Misael Alpizar Santana, Radu Calinescu, Colin Paterson
2022	J	`jnl`	Verified synthesis of optimal safety controllers for human-robot collaboration. Sci. Comput. Program. Mario Gleirscher, Radu Calinescu, James A. Douthwaite, Benjamin Lesage, Colin Paterson, Jonathan M. Aitken, Rob Alexander, James Law
2021	—	`conf`	Assured Deep Multi-Agent Reinforcement Learning for Safe Robotic Systems. ICAART (Revised Selected Papers) Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks
2021	B	`conf`	DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers. SAFECOMP Colin Paterson, Haoze Wu, John Grese, Radu Calinescu, Corina S. Pasareanu, Clark W. Barrett
2021	J	`jnl`	DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers. CoRR Colin Paterson, Haoze Wu, John Grese, Radu Calinescu, Corina S. Pasareanu, Clark W. Barrett
2021	—	`conf`	Detection and Mitigation of Rare Subclasses in Deep Neural Network Classifiers. AITest Colin Paterson, Radu Calinescu, Chiara Picardi
2021	J	`jnl`	Efficient Parametric Model Checking Using Domain Knowledge. IEEE Trans. Software Eng. Radu Calinescu, Colin Paterson, Kenneth Johnson
2021	J	`jnl`	Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS). CoRR Richard Hawkins, Colin Paterson, Chiara Picardi, Yan Jia, Radu Calinescu, Ibrahim Habli
2021	J	`jnl`	Quantitative Verification with Adaptive Uncertainty Reduction. CoRR Naif Alasmari, Radu Calinescu, Colin Paterson, Raffaela Mirandola
2021	—	`conf`	Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies. ICAART (2) Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks
2021	—	`conf`	Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning. SEAMS@ICSE Danny Weyns, Bradley R. Schmerl, Masako Kishida, Alberto Leva, Marin Litoiu, Necmiye Ozay, Colin Paterson, Kenji Tei
2021	J	`jnl`	Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning. CoRR Danny Weyns, Bradley R. Schmerl, Masako Kishida, Alberto Leva, Marin Litoiu, Necmiye Ozay, Colin Paterson, Kenji Tei
2021	B	`conf`	Utilising Assured Multi-Agent Reinforcement Learning within Safety-Critical Scenarios. KES Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks
2021	J	`jnl`	Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration. CoRR Mario Gleirscher, Radu Calinescu, James A. Douthwaite, Benjamin Lesage, Colin Paterson, Jonathan M. Aitken, Rob Alexander, James Law
2020	—	`conf`	Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems. SafeAI@AAAI Chiara Picardi, Colin Paterson, Richard Hawkins, Radu Calinescu, Ibrahim Habli
2020	B	`conf`	Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings. SAFECOMP Lydia Gauerhof, Richard Hawkins, Chiara Picardi, Colin Paterson, Yuki Hagiwara, Ibrahim Habli
2020	J	`jnl`	Observation-Enhanced QoS Analysis of Component-Based Systems. IEEE Trans. Software Eng. Colin Paterson, Radu Calinescu
2019	B	`conf`	A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems. SAFECOMP Chiara Picardi, Richard Hawkins, Colin Paterson, Ibrahim Habli
2019	J	`jnl`	Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges. CoRR Rob Ashmore, Radu Calinescu, Colin Paterson
2019	J	`jnl`	Detection and Mitigation of Rare Subclasses in Neural Network Classifiers. CoRR Colin Paterson, Radu Calinescu
2019	—	`conf`	Socio-cyber-physical systems: models, opportunities, open challenges. SEsCPS@ICSE Radu Calinescu, Javier Cámara, Colin Paterson
2019	—	`conf`	Using unstructured data to improve the continuous planning of critical processes involving humans. SEAMS@ICSE Colin Paterson, Radu Calinescu, Di Wang, Suresh Manandhar
2018	J	`jnl`	Efficient Parametric Model Checking Using Domain Knowledge. CoRR Radu Calinescu, Colin Paterson, Kenneth Johnson
2018	—	`conf`	Efficient parametric model checking using domain-specific modelling patterns. ICSE (NIER) Radu Calinescu, Kenneth Johnson, Colin Paterson
2018	J	`jnl`	Observation-Enhanced QoS Analysis of Component-Based Systems. CoRR Colin Paterson, Radu Calinescu
2018	—	`—`	Observation-enhanced verification of operational processes. Colin Paterson
2017	A	`conf`	Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement. ICSA Colin Paterson, Radu Calinescu
2017	—	`conf`	Self-Adaptive Role-Based Access Control for Business Processes. SEAMS@ICSE Carlos Eduardo da Silva, José Diego Saraiva da Silva, Colin Paterson, Radu Calinescu
2016	A	`conf`	FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals. TACAS Radu Calinescu, Kenneth Johnson, Colin Paterson
2013	—	`conf`	Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software - Advances, Applications and Research Challenges. Software Engineering for Self-Adaptive Systems Radu Calinescu, Simos Gerasimou, Kenneth Johnson, Colin Paterson
2012	J	`jnl`	Enhanced lateral transshipments in a multi-location inventory system. Eur. J. Oper. Res. Colin Paterson, Ruud H. Teunter, Kevin D. Glazebrook
2011	J	`jnl`	Inventory models with lateral transshipments: A review. Eur. J. Oper. Res. Colin Paterson, Gudrun P. Kiesmüller, Ruud H. Teunter, Kevin D. Glazebrook