Colin Paterson
Title
Cited by
Cited by
Year
Assuring the machine learning lifecycle: Desiderata, methods, and challenges
R Ashmore, R Calinescu, C Paterson
ACM Computing Surveys (CSUR) 54 (5), 1-39, 2021
392021
A pattern for arguing the assurance of machine learning in medical diagnosis systems
C Picardi, R Hawkins, C Paterson, I Habli
International Conference on Computer Safety, Reliability, and Security, 165-179, 2019
202019
FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals.
R Calinescu, K Johnson, C Paterson
International Conference on Tools and Algorithms for the Construction and …, 2016
182016
Self-adaptive role-based access control for business processes
CE da Silva, JDS da Silva, C Paterson, R Calinescu
2017 IEEE/ACM 12th International Symposium on Software Engineering for …, 2017
142017
Socio-cyber-physical systems: models, opportunities, open challenges
R Calinescu, J Cámara, C Paterson
2019 IEEE/ACM 5th International Workshop on Software Engineering for Smart …, 2019
122019
Observation-enhanced QoS analysis of component-based systems
C Paterson, R Calinescu
IEEE Transactions on Software Engineering 46 (5), 526-548, 2018
92018
Accurate analysis of quality properties of software with observation-based Markov chain refinement
C Paterson, R Calinescu
2017 IEEE International Conference on Software Architecture (ICSA), 121-130, 2017
92017
Using runtime quantitative verification to provide assurance evidence for self-adaptive software
R Calinescu, S Gerasimou, K Johnson, C Paterson
Software Engineering for Self-Adaptive Systems III. Assurances, 223-248, 2017
92017
Assurance argument patterns and processes for machine learning in safety-related systems
C Picardi, C Paterson, RD Hawkins, R Calinescu, I Habli
Proceedings of the Workshop on Artificial Intelligence Safety (SafeAI 2020 …, 2020
72020
Assuring the safety of machine learning for pedestrian detection at crossings
L Gauerhof, R Hawkins, C Picardi, C Paterson, Y Hagiwara, I Habli
International Conference on Computer Safety, Reliability, and Security, 197-212, 2020
62020
Using unstructured data to improve the continuous planning of critical processes involving humans
C Paterson, R Calinescu, S Manandhar, D Wang
2019 IEEE/ACM 14th International Symposium on Software Engineering for …, 2019
52019
A fixed parameter optimal controller design for an active suspension system—A sensitivity analysis
RA Paterson, CA and Burnham, KJ and James, DJG and Williams
Mechatronics 4 (3), 317-329, 1994
51994
Assuring the machine learning lifecycle: Desiderata, methods, and challenges. arXiv 2019
R Ashmore, R Calinescu, C Paterson
arXiv preprint arXiv:1905.04223, 0
5
Efficient parametric model checking using domain knowledge
R Calinescu, CA Paterson, K Johnson
IEEE Transactions on Software Engineering, 2019
42019
Efficient parametric model checking using domain-specific modelling patterns
R Calinescu, K Johnson, C Paterson
2018 IEEE/ACM 40th International Conference on Software Engineering: New …, 2018
42018
Guidance on the assurance of machine learning in autonomous systems (AMLAS)
R Hawkins, C Paterson, C Picardi, Y Jia, R Calinescu, I Habli
arXiv preprint arXiv:2102.01564, 2021
32021
Detection and mitigation of rare subclasses in neural network classifiers
C Paterson, R Calinescu
arXiv preprint arXiv:1911.12780, 2019
32019
Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies
J Riley, R Calinescu, C Paterson, D Kudenko, A Banks
13th International Conference on Agents and Artificial Intelligence, 2021
12021
Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration
M Gleirscher, R Calinescu, J Douthwaite, B Lesage, C Paterson, J Aitken, ...
arXiv preprint arXiv:2106.06604, 2021
2021
Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning
D Weyns, B Schmerl, M Kishida, A Leva, M Litoiu, N Ozay, C Paterson, ...
arXiv preprint arXiv:2103.10847, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–20