Colin Paterson

Orcid: 0000-0002-6678-3752

According to our database1, Colin Paterson authored at least 36 papers between 2011 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
The Safety of Autonomy: A Systematic Approach.
Computer, April, 2024

Predicting Nonfunctional Requirement Violations in Autonomous Systems.
ACM Trans. Auton. Adapt. Syst., March, 2024

Aloft: Self-Adaptive Drone Controller Testbed.
Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2024

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

Transfer Assurance for Machine Learning in Autonomous Systems.
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.
Sci. Comput. Program., 2022

From Pluralistic Normative Principles to Autonomous-Agent Rules.
Minds Mach., 2022

Quantitative verification with adaptive uncertainty reduction.
J. Syst. Softw., 2022

Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges.
ACM Comput. Surv., 2022

PRESTO: Predicting System-level Disruptions through Parametric Model Checking.
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.
Proceedings of the Intelligent Decision Technologies, 2022

Mitigating Risk in Neural Network Classifiers.
Proceedings of the 48th Euromicro Conference on Software Engineering and Advanced Applications, 2022

Risk-aware Real-time Object Detection.
Proceedings of the 18th European Dependable Computing Conference, 2022

2021
Efficient Parametric Model Checking Using Domain Knowledge.
IEEE Trans. Software Eng., 2021

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

Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning.
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.
Proceedings of the Computer Safety, Reliability, and Security, 2021

Utilising Assured Multi-Agent Reinforcement Learning within Safety-Critical Scenarios.
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.
Proceedings of the Agents and Artificial Intelligence - 13th International Conference, 2021

Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies.
Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021

Detection and Mitigation of Rare Subclasses in Deep Neural Network Classifiers.
Proceedings of the 2021 IEEE International Conference on Artificial Intelligence Testing, 2021

2020
Observation-Enhanced QoS Analysis of Component-Based Systems.
IEEE Trans. Software Eng., 2020

Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings.
Proceedings of the Computer Safety, Reliability, and Security, 2020

Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems.
Proceedings of the Workshop on Artificial Intelligence Safety, 2020

2019
Detection and Mitigation of Rare Subclasses in Neural Network Classifiers.
CoRR, 2019

A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2019

Using unstructured data to improve the continuous planning of critical processes involving humans.
Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

Socio-cyber-physical systems: models, opportunities, open challenges.
Proceedings of the 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2019

2018
Observation-enhanced verification of operational processes.
PhD thesis, 2018

Efficient parametric model checking using domain-specific modelling patterns.
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.
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.
Proceedings of the 2017 IEEE International Conference on Software Architecture, 2017

2016
FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals.
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.
Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

2012
Enhanced lateral transshipments in a multi-location inventory system.
Eur. J. Oper. Res., 2012

2011
Inventory models with lateral transshipments: A review.
Eur. J. Oper. Res., 2011


  Loading...