Colin Paterson

According to our database, Colin Paterson authored at least 35 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

The Safety of Autonomy: A Systematic Approach.

John A. McDermid, Radu Calinescu, Ibrahim Habli, Richard Hawkins, Yan Jia, John Molloy, Matt Osborne, Colin Paterson, Zoë Porter, Philippa Ryan Conmy

Computer, April, 2024

Predicting Nonfunctional Requirement Violations in Autonomous Systems.

Xinwei Fang, Sinem Getir Yaman, Radu Calinescu, Julie Wilson, Colin Paterson

ACM Trans. Auton. Adapt. Syst., March, 2024

2023

Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents.

Sinem Getir Yaman, Ana Cavalcanti, Radu Calinescu, Colin Paterson, Pedro Ribeiro, Beverley A. Townsend

CoRR, 2023

Transfer Assurance for Machine Learning in Autonomous Systems.

Chiara Picardi, Richard Hawkins, Colin Paterson, Ibrahim Habli

Proceedings of the Workshop on Artificial Intelligence Safety 2023 (SafeAI 2023) co-located with the Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023), 2023

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

From Pluralistic Normative Principles to Autonomous-Agent Rules.

Beverley A. Townsend, Colin Paterson, T. T. Arvind, Gabriel Nemirovsky, Radu Calinescu, Ana Cavalcanti, Ibrahim Habli, Alan Thomas

Minds Mach., 2022

Quantitative verification with adaptive uncertainty reduction.

Naif Alasmari, Radu Calinescu, Colin Paterson, Raffaela Mirandola

J. Syst. Softw., 2022

Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges.

Rob Ashmore, Radu Calinescu, Colin Paterson

ACM Comput. Surv., 2022

PRESTO: Predicting System-level Disruptions through Parametric Model Checking.

Xinwei Fang, Radu Calinescu, Colin Paterson, Julie Wilson

Proceedings of the International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2022

Assured Multi-agent Reinforcement Learning with Robust Agent-Interaction Adaptability.

Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks

Proceedings of the Intelligent Decision Technologies, 2022

Mitigating Risk in Neural Network Classifiers.

Misael Alpizar Santana, Radu Calinescu, Colin Paterson

Proceedings of the 48th Euromicro Conference on Software Engineering and Advanced Applications, 2022

Risk-aware Real-time Object Detection.

Misael Alpizar Santana, Radu Calinescu, Colin Paterson

Proceedings of the 18th European Dependable Computing Conference, 2022

2021

Efficient Parametric Model Checking Using Domain Knowledge.

Radu Calinescu, Colin Paterson, Kenneth Johnson

IEEE Trans. Software Eng., 2021

Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS).

Richard Hawkins, Colin Paterson, Chiara Picardi, Yan Jia, Radu Calinescu, Ibrahim Habli

CoRR, 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

Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

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

Proceedings of the Computer Safety, Reliability, and Security, 2021

Utilising Assured Multi-Agent Reinforcement Learning within Safety-Critical Scenarios.

Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 25th International Conference KES-2021, 2021

Assured Deep Multi-Agent Reinforcement Learning for Safe Robotic Systems.

Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks

Proceedings of the Agents and Artificial Intelligence - 13th International Conference, 2021

Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies.

Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks

Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021

Detection and Mitigation of Rare Subclasses in Deep Neural Network Classifiers.

Colin Paterson, Radu Calinescu, Chiara Picardi

Proceedings of the 2021 IEEE International Conference on Artificial Intelligence Testing, 2021

2020

Observation-Enhanced QoS Analysis of Component-Based Systems.

Colin Paterson, Radu Calinescu

IEEE Trans. Software Eng., 2020

Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings.

Lydia Gauerhof, Richard Hawkins, Chiara Picardi, Colin Paterson, Yuki Hagiwara, Ibrahim Habli

Proceedings of the Computer Safety, Reliability, and Security, 2020

Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems.

Chiara Picardi, Colin Paterson, Richard Hawkins, Radu Calinescu, Ibrahim Habli

Proceedings of the Workshop on Artificial Intelligence Safety, 2020

2019

Detection and Mitigation of Rare Subclasses in Neural Network Classifiers.

Colin Paterson, Radu Calinescu

CoRR, 2019

A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems.

Chiara Picardi, Richard Hawkins, Colin Paterson, Ibrahim Habli

Proceedings of the Computer Safety, Reliability, and Security, 2019

Using unstructured data to improve the continuous planning of critical processes involving humans.

Colin Paterson, Radu Calinescu, Di Wang, Suresh Manandhar

Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

Socio-cyber-physical systems: models, opportunities, open challenges.

Radu Calinescu, Javier Cámara, Colin Paterson

Proceedings of the 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2019

2018

Observation-enhanced verification of operational processes.

Colin Paterson

PhD thesis, 2018

Efficient parametric model checking using domain-specific modelling patterns.

Radu Calinescu, Kenneth Johnson, Colin Paterson

Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018

2017

Self-Adaptive Role-Based Access Control for Business Processes.

Carlos Eduardo da Silva, José Diego Saraiva da Silva, Colin Paterson, Radu Calinescu

Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017

Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement.

Colin Paterson, Radu Calinescu

Proceedings of the 2017 IEEE International Conference on Software Architecture, 2017

2016

FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals.

Radu Calinescu, Kenneth Johnson, Colin Paterson

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2013

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

Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

2012

Enhanced lateral transshipments in a multi-location inventory system.

Colin Paterson, Ruud H. Teunter, Kevin D. Glazebrook

Eur. J. Oper. Res., 2012

2011

Inventory models with lateral transshipments: A review.

Colin Paterson, Gudrun P. Kiesmüller, Ruud H. Teunter, Kevin D. Glazebrook

Eur. J. Oper. Res., 2011