Richard Hawkins
Richard Hawkins
Research Associate, Department of Computer Science, The University of York
Verified email at
Cited by
Cited by
A new approach to creating clear safety arguments
R Hawkins, T Kelly, J Knight, P Graydon
Advances in systems safety, 3-23, 2011
Assurance cases and prescriptive software safety certification: A comparative study
R Hawkins, I Habli, T Kelly, J McDermid
Safety science 59, 55-71, 2013
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
Arguing conformance
P Graydon, I Habli, R Hawkins, T Kelly, J Knight
IEEE software 29 (3), 50-57, 2012
GSN community standard version 1
K Attwood, P Chinneck, M Clarke, G Cleland, M Coates, T Cockram, ...
Origin Consulting Limited, York, UK, 2011
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
Using a software safety argument pattern catalogue: Two case studies
R Hawkins, K Clegg, R Alexander, T Kelly
International Conference on Computer Safety, Reliability, and Security, 185-198, 2011
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
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
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, 133-146, 2007
The principles of software safety assurance
R Hawkins, I Habli, T Kelly
31st International System Safety Conference, 2013
Defence standard 00-56 issue 4: Towards evidence-based safety standards
C ine Menon, R Hawkins, J McDermid
Safety-Critical Systems: Problems, Process and Practice, 223-243, 2009
A software safety argument pattern catalogue
R Hawkins, T Kelly
The University of York, York 30, 2013
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
A systematic approach for developing software safety arguments
RD Hawkins, TP Kelly
Hazard prevention 46 (4), 25, 2010
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
Software safety assurance-what is sufficient?
RD Hawkins, TP Kelly
4th IET International Conference on Systems Safety 2009. Incorporating the …, 2009
An approach to designing safety critical systems using the unified modelling language
R Hawkins, I Toyn, I Bate
TUM, 3, 2003
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
A pattern for arguing the assurance of machine learning in medical diagnosis systems
C Picardi, R Hawkins, C Paterson, I Habli
International Conference on Computer Safety, Reliability, and Security, 165-179, 2019
The system can't perform the operation now. Try again later.
Articles 1–20