John Botham

A Layered Model for Structuring Automotive Safety Arguments (Short Paper)

Ibrahim Habli, Helen Monkhouse, Ben Bradshaw, 2014, 2014 Tenth European Dependable Computing Conference.

PICASSOS – Practical Applications of Automated Formal Methods to Safety Related Automotive Systems

Peter Miller, Antony Powell, Colin O'Halloran, 2017 .

Effective Functional Safety Concept Generation in the Context of ISO 26262

John Botham, Darren Sexton, Antonio Priore, 2014 .

Safety Cases and Their Role in ISO 26262 Functional Safety Assessment

Peter Jesty, Ibrahim Habli, Helen Monkhouse, 2013, SAFECOMP.

A Structured Argument for Assuring Safety of the Intended Functionality (SOTIF)

Gareth Price, Ibrahim Habli, Helen Monkhouse, 2020, SAFECOMP Workshops.