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 | 209 | 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 | 128 | 2013 |
Deep reinforcement learning for drone navigation using sensor data VJ Hodge, R Hawkins, R Alexander Neural Computing and Applications 33 (6), 2015-2033, 2021 | 125 | 2021 |
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 | 120 | 2015 |
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 | 88 | 2021 |
Arguing conformance P Graydon, I Habli, R Hawkins, T Kelly, J Knight IEEE software 29 (3), 50-57, 2012 | 71 | 2012 |
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 | 68 | 2019 |
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 | 60 | 2007 |
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 | 57 | 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 | 54 | 2011 |
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 | 52 | 2011 |
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 | 49 | 2017 |
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 | 49 | 2007 |
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 | 44 | 2009 |
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 | 43 | 2019 |
The principles of software safety assurance R Hawkins, I Habli, T Kelly 31st International System Safety Conference, 12-16, 2013 | 43 | 2013 |
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 | 42 | 2020 |
A software safety argument pattern catalogue R Hawkins, T Kelly The University of York, York 30, 2013 | 42 | 2013 |
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 | 36 | 2019 |
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 | 35 | 2010 |