Items where authors include "Hawkins, Richard"

Proceedings Paper

Hawkins, Richard orcid.org/0000-0001-7347-3413, Habli, Ibrahim orcid.org/0000-0003-2736-8238, Kolovos, Dimitrios S. orcid.org/0000-0002-1724-6563 et al. (2 more authors) (2015) Weaving an Assurance Case from Design: A Model-Based Approach. In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015. UNSPECIFIED. IEEE , pp. 110-117.

Preprint

Shahbeigi, Sepeedeh, Proma, Nawshin Mannan orcid.org/0000-0002-8869-3977, Hodge, Victoria orcid.org/0000-0002-2469-0224 et al. (3 more authors) (2025) Robustness Requirement Coverage using a Situation Coverage Approach for Vision-based AI Systems. [Preprint]

Habli, Ibrahim orcid.org/0000-0003-2736-8238, Hawkins, Richard orcid.org/0000-0001-7347-3413, Paterson, Colin orcid.org/0000-0002-6678-3752 et al. (4 more authors) (2025) The BIG Argument for AI Safety Cases. [Preprint]