Richard Hawkins
Richard Hawkins
Research Associate, 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, 3-23, 2011
1782011
Assurance cases and prescriptive software safety certification: A comparative study
R Hawkins, I Habli, T Kelly, J McDermid
Safety science 59, 55-71, 2013
962013
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
862015
Arguing conformance
P Graydon, I Habli, R Hawkins, T Kelly, J Knight
IEEE software 29 (3), 50-57, 2012
652012
GSN community standard version 1
K Attwood, P Chinneck, M Clarke, G Cleland, M Coates, T Cockram, ...
Origin Consulting Limited, York, UK, 2011
622011
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
552007
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
522011
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
512003
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
442011
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
442007
The principles of software safety assurance
R Hawkins, I Habli, T Kelly
31st International System Safety Conference, 2013
372013
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
372009
A software safety argument pattern catalogue
R Hawkins, T Kelly
The University of York, York 30, 2013
342013
A systematic approach for developing software safety arguments
RD Hawkins, TP Kelly
Hazard prevention 46 (4), 25, 2010
322010
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
312010
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
302019
Software safety assurance-what is sufficient?
RD Hawkins, TP Kelly
4th IET International Conference on Systems Safety 2009. Incorporating the …, 2009
272009
An approach to designing safety critical systems using the unified modelling language
R Hawkins, I Toyn, I Bate
TUM, 3, 2003
262003
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
242017
Interim standard of best practice on software in the context of DS 00-56 Issue 4
C Menon, R Hawkins, J McDermid
Standard of Best Practice, 2009
242009
The system can't perform the operation now. Try again later.
Articles 1–20