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
2082011
Assurance cases and prescriptive software safety certification: A comparative study
R Hawkins, I Habli, T Kelly, J McDermid
Safety science 59, 55-71, 2013
1282013
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
1192015
Deep reinforcement learning for drone navigation using sensor data
VJ Hodge, R Hawkins, R Alexander
Neural Computing and Applications 33, 2015-2033, 2021
1112021
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
822021
Arguing conformance
P Graydon, I Habli, R Hawkins, T Kelly, J Knight
IEEE software 29 (3), 50-57, 2012
702012
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
692019
The who, where, how, why and when of modular and incremental certification
L Fenn, RD Hawkins, PJ Williams, TP Kelly, MG Banner, Y Oakshott
2007 2nd Institution of Engineering and Technology International Conference …, 2007
602007
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
582003
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
542011
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
542011
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
502017
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
502007
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
442019
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
The principles of software safety assurance
R Hawkins, I Habli, T Kelly
31st International System Safety Conference, 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
372019
A systematic approach for developing software safety arguments
RD Hawkins, T Kelly
27th International System Safety Conference, 2010
342010
The system can't perform the operation now. Try again later.
Articles 1–20