Richard Hawkins
机构: Senior Research Fellow, Department of Computer Science, The University of York
每年引用次数
引用次数
引用: 1,954
H-指数: 26
I10-指数 : 40
出版物: 95
From Safety Cases to Security Cases
Robert David Alexander , Timothy Patrick Kelly , Richard David Hawkins
3
2017
Transfer Assurance for Machine Learning in Autonomous Systems
Chiara Picardi , Richard David Hawkins , Colin Paterson , Ibrahim Habli
Smpte Journal
2023
Assurance argument patterns and processes for machine learning in safety-related systems
Chiara Picardi , Colin Paterson , Richard David Hawkins , Radu Calinescu
Proceedings of the Workshop on Artificial Intelligence Safety (SafeAI 2020) 23 -30
27
2020
Safety cases: An impending crisis?
Ibrahim Habli , Rob Alexander , Richard David Hawkins
7
2021
Runtime decision making under uncertainty in autonomous vehicles
Vibhu Gautam , Youcef Gheraibia , Rob Alexander , Richard David Hawkins
Proceedings of the Workshop on Artificial Intelligence Safety (SafeAI 2021)
4
2021
Human factors of using artificial intelligence in healthcare: challenges that stretch across industries
Mark Sujan , Dominic Furniss , Richard David Hawkins , Ibrahim Habli
Safety-Critical Systems Symposium
10
2020
A systematic approach for developing software safety arguments
Richard David Hawkins , Tim Kelly
27th International System Safety Conference
35
2010
The need for a weaving model in assurance case automation
Richard David Hawkins , Ibrahim Habli , Tim Kelly
Ada User Journal 187 -191
8
2015
The visual inheritance structure to support the design of visual notations
Nungki Selviandro , Tim Kelly , Richard David Hawkins
Third International Workshop on Human Factors in Modeling (HuFaMo’18)
5
2018
Aloft: Self-Adaptive Drone Controller Testbed
Calum Imrie , Rhys Howard , Divya Thuremella , Nawshin Mannan Proma
ACM
2
2024
Implementing autonomy in nuclear robotics; an experience-informed review of applying SACE
Phillip Mulvana , Lacey-Jo Marsland , Tom Boden , Guy Burroughes
Safety Critical Systems Symposium
2024
ASUMI: Assuring the Safety of UAVs for Mine Inspection
Victoria J Hodge , Paulina Barbara Wiktoria Lewinska , Richard David Hawkins , Matthew Osborne
Engineering Reliable Autonomous Systems
2024
An “As Desired” Model of the Software Safety Assurance Lifecycle
Matthew Osborne , Richard David Hawkins , Mark Nicholson
2021
EFFECT OF CONTINUOUS GLUCOSE INFUSION ON RAT HEPATIC GLUCOSE-6-PHOSPHATASE ACTIVITY
RD HAWKINS , MA ASHWORTH , H SCHACHTER , RE HAIST
FEDERATION PROCEEDINGS 18 ( 1) 65 -65
1959
A contract-based approach to designing safe systems
Iain Bate , John McDermid , Richard Hawkins
SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33 25 -36
27
2003
Principled Construction of Software Safety Cases.
Ibrahim Habli , Tim Kelly , Richard Hawkins
international conference on computer safety reliability and security
15
2013
Modular Safety Cases for the Assurance of Industry 4.0
Irfan Sljivo , Ibrahim Habli , Omar Jaradat , Richard Hawkins
28th Safety-Critical Systems Symposium SCSS'20, 11 Feb 2020, York, United Kingdom
2020
Using Process Models in System Assurance
Richard Hawkins , Thomas Richardson , Tim Kelly
international conference on computer safety, reliability, and security 27 -38
2
2016
Enhancing COVID-19 decision making by creating an assurance case for epidemiological models.
Ibrahim Habli , Rob Alexander , Richard Hawkins , Mark Sujan
BMJ Health & Care Informatics 27 ( 3)
2020