Follow
Richard Hawkins
Richard Hawkins
Senior Research Fellow, Department of Computer Science, The University of York
Verified email at cs.york.ac.uk
Title
Cited by
Cited by
Year
A new approach to creating clear safety arguments
R Hawkins, T Kelly, J Knight, P Graydon
Advances in Systems Safety: Proceedings of the Nineteenth Safety-Critical …, 2011
2092011
Assurance cases and prescriptive software safety certification: A comparative study
R Hawkins, I Habli, T Kelly, J McDermid
Safety science 59, 55-71, 2013
1272013
Weaving an assurance case from design: a model-based approach
R Hawkins, I Habli, D Kolovos, R Paige, T Kelly
2015 IEEE 16th International Symposium on High Assurance Systems Engineering …, 2015
1182015
Deep reinforcement learning for drone navigation using sensor data
VJ Hodge, R Hawkins, R Alexander
Neural Computing and Applications 33 (6), 2015-2033, 2021
1172021
Guidance on the assurance of machine learning in autonomous systems (AMLAS)
R Hawkins, C Paterson, C Picardi, Y Jia, R Calinescu, I Habli
arXiv preprint arXiv:2102.01564, 2021
852021
Arguing conformance
P Graydon, I Habli, R Hawkins, T Kelly, J Knight
IEEE software 29 (3), 50-57, 2012
712012
Model based system assurance using the structured assurance case metamodel
R Wei, TP Kelly, X Dai, S Zhao, R Hawkins
Journal of Systems and Software 154, 211-233, 2019
662019
The who, where, how, why and when of modular and incremental certification
JL Fenn, RD Hawkins, PJ Williams, TP Kelly, MG Banner, Y Oakshott
2007 2nd Institution of Engineering and Technology International Conference …, 2007
592007
A contract-based approach to designing safe systems
I Bate, R Hawkins, J McDermid
Proceedings of the 8th Australian workshop on Safety critical systems and …, 2003
572003
Security assurance cases: motivation and the state of the art
R Alexander, R Hawkins, T Kelly
High Integrity Systems Engineering Department of Computer Science University …, 2011
532011
Using a software safety argument pattern catalogue: Two case studies
R Hawkins, K Clegg, R Alexander, T Kelly
Computer Safety, Reliability, and Security: 30th International Conference …, 2011
522011
Challenges of safety assurance for industry 4.0
O Jaradat, I Sljivo, I Habli, R Hawkins
2017 13th European Dependable Computing Conference (EDCC), 103-106, 2017
492017
Safety case composition using contracts-refinements based on feedback from an industrial case study
J Fenn, R Hawkins, P Williams, T Kelly
The Safety of Systems: Proceedings of the Fifteenth Safety-critical Systems …, 2007
492007
Defence standard 00-56 issue 4: Towards evidence-based safety standards
C Menon, R Hawkins, J McDermid
Safety-Critical Systems: Problems, Process and Practice: Proceedings of the …, 2009
442009
A pattern for arguing the assurance of machine learning in medical diagnosis systems
C Picardi, R Hawkins, C Paterson, I Habli
Computer Safety, Reliability, and Security: 38th International Conference …, 2019
432019
The principles of software safety assurance
R Hawkins, I Habli, T Kelly
31st International System Safety Conference, 12-16, 2013
432013
Assuring the safety of machine learning for pedestrian detection at crossings
L Gauerhof, R Hawkins, C Picardi, C Paterson, Y Hagiwara, I Habli
Computer Safety, Reliability, and Security: 39th International Conference …, 2020
422020
A software safety argument pattern catalogue
R Hawkins, T Kelly
The University of York, York 30, 2013
422013
Confidence arguments for evidence of performance in machine learning for highly automated driving functions
S Burton, L Gauerhof, BB Sethy, I Habli, R Hawkins
Computer Safety, Reliability, and Security: SAFECOMP 2019 Workshops, ASSURE …, 2019
362019
Software safety: relating software assurance and software integrity
I Habli, R Hawkins, T Kelly
International Journal of Critical Computer-Based Systems 1 (4), 364-383, 2010
352010
The system can't perform the operation now. Try again later.
Articles 1–20