Colin Paterson

Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings

Lydia Gauerhof, Richard Hawkins, Yuki Hagiwara, 2020, SAFECOMP.

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

Richard Hawkins, Ibrahim Habli, Chiara Picardi, 2019, SAFECOMP.

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

Radu Calinescu, Richard Hawkins, Ibrahim Habli, 2020, SafeAI@AAAI.

Socio-Cyber-Physical Systems: Models, Opportunities, Open Challenges

Javier Cámara, Radu Calinescu, Colin Paterson, 2019, 2019 IEEE/ACM 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS).