Nick Tudor

Safety Assurance Objectives for Autonomous Systems

Hamid Asgari, Catherine Menon, Ben Bradshaw, 2020 .

Assessing the Real Worth of Software Tools to Check the Healthiness Conditions of Automotive Software

R. Peter Jones, Ross McMurran, Arun Chakrapani Rao, 2007 .

Dependable Systems of Systems

William P. Milam, Ross McMurran, Nick Tudor, 2006 .

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

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

Modeling Risk-Benefit Assumptions in Technology Substitution

Antony Powell, John Murdoch, Nick Tudor, 2007, ICSP.

Formal Model-Based Assurance Cases in Isabelle/SACM: An Autonomous Underwater Vehicle Case Study

Yakoub Nemouchi, Colin O'Halloran, Simon Foster, 2020, FormaliSE@ICSE.