A Contract-based Approach to Designing Safe Systems. - Iain Bate; Richard Hawkins 001; John A. McDermid (SCS, 2003)

Using safety contracts in the development of safety critical object-oriented systems. - Richard D. Hawkins (2006)

Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study. - Jane Fenn; Richard Hawkins 001; Phil Williams; Tim Kelly (SSS, 2007)

Defence Standard 00-56 Issue 4: Towards Evidence-Based Safety Standards. - Catherine Menon; Richard Hawkins 001; John A. McDermid (SSS, 2009)

An Overview of the SoBP for Software in the Context of DS 00-56 Issue 4. - Catherine Menon; Richard Hawkins 001; John A. McDermid; Tim Kelly (SSS, 2010)

Software safety: relating software assurance and software integrity. - Ibrahim Habli; Richard Hawkins 001; Tim Kelly (Int. J. Crit. Comput. Based Syst., 2010)

Using a Software Safety Argument Pattern Catalogue: Two Case Studies. - Richard Hawkins 001; Kester Dean Clegg; Robert Alexander; Tim Kelly (SAFECOMP, 2011)

A New Approach to creating Clear Safety Arguments. - Richard Hawkins 001; Tim P. Kelly; John C. Knight; Patrick J. Graydon (SSS, 2011)

Arguing Conformance. - Patrick J. Graydon; Ibrahim Habli; Richard Hawkins 001; Tim Kelly; John C. Knight (IEEE Softw., 2012)

Principled Construction of Software Safety Cases. - Richard Hawkins 001; Ibrahim Habli; Tim Kelly (SASSUR@SAFECOMP, 2013)

Assurance Cases for Block-Configurable Software. - Richard Hawkins 001; Alvaro Miyazawa; Ana Cavalcanti 001; Tim Kelly; John Rowlands (SAFECOMP, 2014)

The Need for a Confidence View of CPS Support Environments (Fast Abstract). - Fredrik Asplund; Martin Törngren; Richard Hawkins 001; John A. McDermid (HASE, 2015)

Weaving an Assurance Case from Design: A Model-Based Approach. - Richard Hawkins 001; Ibrahim Habli; Dimitrios S. Kolovos; Richard F. Paige; Tim Kelly (HASE, 2015)

Developing Assurance Cases for D-MILS Systems. - Richard Hawkins 001; Tim Kelly; Ibrahim Habli (MILS@HiPEAC, 2015)

Using Process Models in System Assurance. - Richard Hawkins 001; Thomas Richardson 003; Tim Kelly (SAFECOMP, 2016)

Challenges of Safety Assurance for Industry 4.0. - Omar Jaradat; Irfan Sljivo; Ibrahim Habli; Richard Hawkins 001 (EDCC, 2017)

DEIS: Dependability Engineering Innovation for Cyber-Physical Systems. - Ran Wei; Tim P. Kelly; Richard Hawkins 001; Eric Armengaud (STAF Workshops, 2017)

Support for safety case generation via model transformation. - Chung-Ling Lin; Wuwei Shen; Richard Hawkins 001 (SIGBED Rev., 2017)

Service Level Agreements for Safe and Configurable Production Environments. - Mohammad Ashjaei; Kester Clegg; Lorenzo Corneo; Richard Hawkins 001; Omar Jaradat; Vincenzo Massimiliano Gulisano; Yiannis Nikolakopoulos (ETFA, 2018)

The visual inheritance structure to support the design of visual notations. - Nungki Selviandro; Tim Kelly; Richard Hawkins 001 (MoDELS (Workshops), 2018)

Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions. - Simon Burton 001; Lydia Gauerhof; Bibhuti Bhusan Sethy; Ibrahim Habli; Richard Hawkins 001 (SAFECOMP Workshops, 2019)

A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems. - Chiara Picardi; Richard Hawkins 001; Colin Paterson; Ibrahim Habli (SAFECOMP, 2019)

Model based system assurance using the structured assurance case metamodel. - Ran Wei; Tim P. Kelly; Xiaotian Dai 001; Shuai Zhao 004; Richard Hawkins 001 (J. Syst. Softw., 2019)

Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems. - Chiara Picardi; Colin Paterson; Richard Hawkins 001; Radu Calinescu; Ibrahim Habli (SafeAI@AAAI, 2020)

A Visual Notation for the Representation of Assurance Cases Using SACM. - Nungki Selviandro; Richard Hawkins 001; Ibrahim Habli (IMBSA, 2020)

Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings. - Lydia Gauerhof; Richard Hawkins 001; Chiara Picardi; Colin Paterson; Yuki Hagiwara; Ibrahim Habli (SAFECOMP, 2020)

Enhancing Covid-19 Decision-Making by Creating an Assurance Case for Simulation Models. - Ibrahim Habli; Rob Alexander; Richard Hawkins 001; Mark Sujan; John A. McDermid; Chiara Picardi; Tom Lawton (CoRR, 2020)

Runtime Decision Making Under Uncertainty in Autonomous Vehicles. - Vibhu Gautam; Youcef Gheraibia; Rob Alexander; Richard Hawkins 001 (SafeAI@AAAI, 2021)

Robust Intent Classification Using Bayesian LSTM for Clinical Conversational Agents (CAs). - Haris Aftab; Vibhu Gautam; Richard Hawkins 001; Rob Alexander; Ibrahim Habli (MobiHealth, 2021)

Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS). - Richard Hawkins 001; Colin Paterson; Chiara Picardi; Yan Jia 008; Radu Calinescu; Ibrahim Habli (CoRR, 2021)

DEIS: Dependability Engineering Innovation for Industrial CPS. - Eric Armengaud; Georg Macher; Alexander Massoner; Sebastian Frager; Rasmus Adler; Daniel Schneider 001; Simone Longo; Massimiliano Melis; Riccardo Groppo; Federica A. Villa; Pádraig O'Leary; Kevin Bambury; et al. (CoRR, 2021)

Deep reinforcement learning for drone navigation using sensor data. - Victoria J. Hodge; Richard Hawkins 001; Rob Alexander (Neural Comput. Appl., 2021)

Analysing the Safety of Decision-Making in Autonomous Systems. - Matt Osborne; Richard Hawkins 001; John A. McDermid (SAFECOMP, 2022)

Analysing Ultra-Wide Band Positioning for Geofencing in a Safety Assurance Context. - Victoria J. Hodge; Richard Hawkins 001; James Hilder; Ibrahim Habli (CoRR, 2022)

Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE). - Richard Hawkins 001; Matt Osborne; Mike Parsons; Mark Nicholson 001; John A. McDermid; Ibrahim Habli (CoRR, 2022)

Creating a Safety Assurance Case for an ML Satellite-Based Wildfire Detection and Alert System. - Richard Hawkins 001; Chiara Picardi; Lucy Donnell; Murray Ireland (CoRR, 2022)

Transfer Assurance for Machine Learning in Autonomous Systems. - Chiara Picardi; Richard Hawkins 001; Colin Paterson; Ibrahim Habli (SafeAI@AAAI, 2023)

Runtime Model-Based Assurance of Open and Adaptive Cyber-Physical Systems. - Luís Nascimento; André Luíz de Oliveira; Regina Villela 001; Ran Wei; Richard Hawkins 001; Tim Kelly (AINA (1), 2023)

Operationalizing Assurance Cases for Data Scientists: A Showcase of Concepts and Tooling in the Context of Test Data Quality for Machine Learning. - Lisa Jöckel; Michael Kläs; Janek Groß; Pascal Gerber; Markus Scholz; Jonathan Eberle; Marc Teschner; Daniel Seifert; Richard Hawkins 001; John Molloy; Jens Ottnad (PROFES (1), 2023)

Structuring Research Related to Dynamic Risk Management for Autonomous Systems. - Rasmus Adler; Jan Reich; Richard Hawkins 001 (SAFECOMP Workshops, 2023)

Identifying Run-Time Monitoring Requirements for Autonomous Systems Through the Analysis of Safety Arguments. - Richard Hawkins 001; Philippa Ryan Conmy (SAFECOMP, 2023)

Creating a Safety Assurance Case for a Machine Learned Satellite-Based Wildfire Detection and Alert System. - Richard Hawkins 001; Chiara Picardi; Lucy Donnell; Murray Ireland (J. Intell. Robotic Syst., 2023)

From Fault Tree Analysis to Runtime Model-Based Assurance Cases. - Luís Nascimento; André Luíz de Oliveira; Regina Villela 001; Ran Wei; Richard Hawkins 001; Tim Kelly (AINA (2), 2024)

Defining an Effective Context for the Safe Operation of Autonomous Systems. - Matt Osborne; Richard Hawkins 001 (EDCC Workshops, 2024)

A New Approach to Creating Clear Operational Safety Arguments. - Jane Fenn; Richard Hawkins 001; Mark Nicholson 001 (SAFECOMP (Workshops), 2024)

Aloft: Self-Adaptive Drone Controller Testbed. - Calum Imrie; Rhys Howard; Divya Thuremella; Nawshin Mannan Proma; Tejas Pandey; Paulina Lewinska; Ricardo Cannizzaro; Richard Hawkins 001; Colin Paterson; Lars Kunze; Victoria J. Hodge (SEAMS@ICSE, 2024)

Learning Run-time Safety Monitors for Machine Learning Components. - Ozan Vardal; Richard Hawkins 001; Colin Paterson; Chiara Picardi; Daniel Omeiza; Lars Kunze; Ibrahim Habli (CoRR, 2024)

The Safety of Autonomy: A Systematic Approach. - John A. McDermid; Radu Calinescu; Ibrahim Habli; Richard Hawkins 001; Yan Jia 008; John Molloy; Matt Osborne; Colin Paterson; Zoë Porter; Philippa Ryan Conmy (Computer, 2024)

Model-Based Security Assurance Cases for Open and Adaptive Cyber-Physical Systems. - Luís Nascimento; André Luíz de Oliveira; Regina Villela 001; Edelberto Franco Silva; Ran Wei; Richard Hawkins 001; Tim Kelly (AINA (8), 2025)

ACEditor: A Modeling Tool for Specifying and Synthesizing Executable Assurance Cases from Fault Trees. - Luís Nascimento; André Luíz de Oliveira; Regina Villela 001; Hiago Fonseca; Kalinka R. L. J. Castelo Branco; Ran Wei; Richard Hawkins 001; Tim Kelly (IMBSA, 2025)

A Case Study on Defining Traceable Machine Learning Safety Requirements for an Automotive Perception Component. - Sepeedeh Shahbeigi; Richard Hawkins 001; Simon Burton 001; Victoria J. Hodge; Colin Paterson; Ibrahim Habli (ISSREW, 2025)

Robustness Requirement Coverage using a Situation Coverage Approach for Vision-based AI Systems. - Sepeedeh Shahbeigi; Nawshin Mannan Proma; Victoria J. Hodge; Richard Hawkins 001; Boda Li; Valentina Donzella (REW, 2025)

Safety assurance of Machine Learning for autonomous systems. - Colin Paterson; Richard Hawkins 001; Chiara Picardi; Yan Jia 008; Radu Calinescu; Ibrahim Habli (Reliab. Eng. Syst. Saf., 2025)

Developing Compelling Safety Cases. - Richard Hawkins 001 (CoRR, 2025)

The BIG Argument for AI Safety Cases. - Ibrahim Habli; Richard Hawkins 001; Colin Paterson; Philippa Ryan; Yan Jia 008; Mark Sujan; John A. McDermid (CoRR, 2025)

Assuring the Safety of Reinforcement Learning Components: AMLAS-RL. - Calum C. Imrie; Ioannis Stefanakos; Sepeedeh Shahbeigi; Richard Hawkins 001; Simon Burton 001 (CoRR, 2025)

Evaluating Metrics for Safety with LLM-as-Judges. - Kester Clegg; Richard Hawkins 001; Ibrahim Habli; Tom Lawton (CoRR, 2025)

Safe Machine Learning: Why Performance Is Not Enough. - Richard Hawkins 001; Colin Paterson; Ibrahim Habli; Markus Borg (IEEE Softw., 2026)

Arguing conformance with data protection principles. - Chris Smith; Richard Hawkins 001 (CoRR, 2026)