Publications

  • "Implementing autonomy in nuclear robotics; an experience-informed review of applying SACE"
    Mulvana, P., Marsland, L-J., Boden, T., Burroughes, G., Hawkins, R. D. & Osborne, M.
    Safety-Critical Systems Symposium (SSS’24).

  • "A New Approach to Creating Clear Operational Safety Arguments"
    Fenn, J., Hawkins, R. D. & Nicholson, M.
    SAFECOMP 2024: 11th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2024).

  • "Learning Run-time Safety Monitors for Machine Learning Components"
    Vardal, O., Hawkins, R. D., Paterson, C., Picardi, C., Omeiza, D., Kunze, L. & Habli, I.
    arXiv preprint arXiv:2406.16220. (2024)

  • "Aloft: Self-Adaptive Drone Controller Testbed"
    Imrie, C. C., Howard, R., Thuremella, D., Proma, N. M., Pandey, T., Lewinska, P. B. W., Cannizzaro, R., Hawkins, R. D., Paterson, C., Kunze, L. & Hodge, V. J.
    SEAMS '24: Proceedings of the 19th Symposium on Software Engineering for Adaptive and Self-Managing Systems. ACM

  • "Defining an Effective Context for the Safe Operation of Autonomous Systems."
    Osborne, M. and Hawkins, R.
    European Dependable Computing Conference (EDCC '24)

  • "The Safety of Autonomy: A Systematic Approach"
    McDermid, J. A., Calinescu, R., Habli, I., Hawkins, R., Jia, Y., Molloy, J., Osborne, M., Paterson, C., Porter, Z. & Ryan Conmy, P.
    Computer. 57, 4, 2004.

  • "Understanding Safety Engineering Practice: Comparing Safety Engineering Practice As Desired, As Required, and As Observed"
    Osborne, M., Hawkins, R. D., Alexander, R. & Nicholson, M.
    Safety science. 172, 22 2024

  • "Identifying Run-Time Monitoring Requirements for Autonomous Systems Through the Analysis of Safety Arguments"
    Hawkins, R. and Ryan, P.
    In Proceedings of Safecomp 2023.

  • "Creating a Safety Assurance Case for a Machine Learned Satellite-Based Wildfire Detection and Alert System"
    Hawkins, R.D., Picardi, C., Donnell, L. and Ireland, M.
    Journal of Intelligent & Robotic Systems (2023).

  • "Transfer Assurance for Machine Learning in Autonomous Systems"
    Picardi, C., Hawkins, R.D., Paterson, C. and Habli, I.
    In Proceedings of the Workshop on Artificial Intelligence Safety (SafeAI 2023).

  • "Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE)"
    Hawkins, R., Osborne, M., Parsons, M., Nicholson, M., McDermid, J. and Habli, I.
    arXiv preprint arXiv:2208.00853

  • "Analysing the Safety of Decision-Making in Autonomous Systems.
    Osborne, M., Hawkins, R.D. and McDermid, J.A.
    In SAFECOMP 2022 (41st International Conference on Computer Safety, Reliability and Security)

  • "Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS)"
    Hawkins, R. D., Paterson, C., Picardi, C., Jia, Y., Calinescu, R. and Habli, I.
    arXiv preprint arXiv:2102.01564

  • "Robust Intent Classification using Bayesian LSTM for Clinical Conversational Agents (CAs)"
    Aftab, H., Gautam, V., Hawkins, R. D., Alexander, R. & Habli, I.
    EAI MobiHealth 2021

  • "Safety Cases: An Impending Crisis?"
    Habli, I., Alexander, R. and Hawkins, R.
    In Safety Critical Systems Symposium (SSS '21)

  • "Runtime Decision Making Under Uncertainty in Autonomous Vehicles"
    Gautam, V., Gheraibia, Y., Alexander, R. and Hawkins, R.
    In Workshop on Artificial Intelligence Safety (SafeAI 2021)

  • "An “As Desired” Model of the Software Safety Assurance Lifecycle"
    Osborne, M., Hawkins, R.and Nicholson, M.
    In Safety Critical Systems Symposium (SSS '21)

  • "Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings"
    Gauerhof, L., Hawkins, R.D., Picardi, C., Paterson, C., Hagiwara, Y. and Habli, I.
    In SAFECOMP 2020 (39th International Conference on Computer Safety, Reliability and Security)

  • "Deep reinforcement learning for drone navigation using sensor data"
    Hodge, V.J., Hawkins, R. & Alexander, R.
    Neural Computing and Applications, pp.1-19.(2020)

  • "Enhancing COVID-19 decision making by creating an assurance case for epidemiological models"
    Habli, I., Alexander, R., Hawkins, R., Sujan, M., McDermid, J., Picardi, C. and Lawton, T.
    BMJ Health & Care Informatics, 27(3)

  • "A Visual Notation for the Representation of Assurance Cases Using SACM"
    Selviandro, N., Hawkins, R. and Habli, I.
    In International Symposium on Model-Based Safety and Assessment (pp. 3-18). Springer, Cham.
  • "Asurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems"
    Picardi, C., Paterson, C., Hawkins, R., Calinescu, R. and Habli, I.
    AAAI Workshop on Artificial Intelligence Safety 2020

  • "Human Factors of Using Artificial Intelligence in Healthcare: Challenges That Stretch Across Industries"
    Sujan, M., Furniss, D., Hawkins, R. and Habli, I.
    Safety-Critical Systems Symposium 2020
  • "Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions"
    Burton, S., Gauerhof, L., Sethy, B.B., Habli, I. and Hawkins, R.
    International Conference on Computer Safety, Reliability, and Security (Safecomp 2019)

  • "Model based system assurance using the structured assurance case metamodel."
    Wei, R., Kelly, T.P., Dai, X., Zhao, S. and Hawkins, R.
    Journal of Systems and Software, 154, pp.211-233, 2019

  • "A pattern for arguing the assurance of machine learning in medical diagnosis systems."
    Picardi, C., Hawkins, R., Paterson, C. and Habli, I.
    International Conference on Computer Safety, Reliability, and Security (Safecomp 2019)
  • "The Visual Inheritance Structure to Support the Design of Visual Notations"
    N. Selviandro, T. Kelly and R. Hawkins
    Third International Workshop on Human Factors in Modeling (HuFaMo’18)

  • "Service Level Agreements for Safe and Configurable Production Environments"
    M. Ashjaei, K. Clegg, L. Corneo, R. Hawkins, O. Jaradat, V. Gulisano and Y. Nikolakopoulos
    International Conference on Emerging Technologies and Factory Automation - Work in Progress Session, September 2018

  • "Challenges of Safety Assurance for Industry 4.0"
    O. Jaradat, I. Sljivo, I. Habli and R. Hawkins
    European Dependable Computing Conference (EDCC'17)

  • "DEIS: Dependability Engineering Innovation for Cyber-Physical Systems"
    Wei, R., Kelly, T.P., Hawkins, R. and Armengaud, E.
    Federation of International Conferences on Software Technologies: Applications and Foundations (pp. 409-416). Springer, Cham.

  • "From Safety Cases to Security Cases"
    R. Alexander, R. Hawkins and T. Kelly
    Safety-critical Systems Symposium 2017 (SSS'17)

  • "Using Process Models in System Assurance"
    Richard Hawkins, Thomas Richardson and Tim Kelly
    Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, 2016

  • "Weaving an Assurance Case from Design: A Model-Based Approach"
    Richard Hawkins, Ibrahim Habli, Dimitris Kolovos, Richard Paige, Tim Kelly
    16th IEEE International Symposium on High Assurance Systems Engineering (HASE '15), Daytona Beach, FL, 2015

  • "The Need for a Weaving Model in Assurance Case Automation"
    Richard Hawkins, Ibrahim Habli and Tim Kelly
    Ada User Journal, Volume 36, No. 3 pp. 187 - 191, September 2015
  • "A Software Safety Argument Pattern Catalogue"
    Richard Hawkins and Tim Kelly
    Technical Report, Department of Computer Science, The University of York, YCS-2013-482

  • "Assurance Cases for Block-Configuarble Software"
    Richard Hawkins, Alvaro Miyazawa, Ana Cavalcanti, Tim Kelly and John Rowlands
    Safecomp '14, Florence, 2014

  • "Software Design Decision Vulnerability Analysis"
    P. Avery and R Hawkins
    IET System Safety Conference '14, Manchester, 2014

  • "Assurance cases and prescriptive software safety certification: A comparative study"
    Richard Hawkins, Ibrahim Habli, Tim Kelly and John McDermid
    Safety Science - 59 (2013) 55-71
  • "The Principles of Software Safety Assurance"
    Richard Hawkins, Ibrahim Habli, and Tim Kelly
    International System Safety Conference (ISSC) 2013, Boston

  • "Arguing Conformance"
    Patrick Graydon, Ibrahim Habli, Richard Hawkins, Tim Kelly and John Knight
    IEEE Software - Vol. 29, No.3 pp. 50 - 57, 2012

  • "Principled Construction of Software Safety Cases"
    Richard Hawkins, Ibrahim Habli, and Tim Kelly
    Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR) - Safecomp 2013 Workshop

  • "Risk Assessment in the Wild"
    Andrew Rae and Richard Hawkins
    Australian Safety Critical Systems Conference, 2012

  • "A Framework For Determining The Sufficiency of Software Safety Assurance"
    Richard Hawkins and Tim Kelly
    IET System Safety Conference, Edinburgh, 2012
  • "Using a Software Safety Argument Pattern Catalogue: Two Case Studies"
    Richard Hawkins, Kester Clegg, Rob Alexander, and Tim Kelly
    Safecomp '11, Naples, 2011

  • "A New Approach to Creating Clear Safety Arguments"
    Richard Hawkins, Tim Kelly, John Knight and Patrick Graydon
    SSS '11, Southampton, 2011

  • "Security Assurance Cases: Motivation and the State of the Art"
    R Alexander, R Hawkins, T Kelly
    Report produced for CESG, April 2011
  • "A Systematic Approach for Developing Software Safety Arguments"
    Richard Hawkins and Tim Kelly,
    Journal of System Safety, Volume 46, No. 4, pp 25-33, System Safety Society Inc., July 2010

  • "Software safety: relating software assurance and software integrity"
    Ibrahim Habli, Richard Hawkins, and Tim Kelly,
    International Journal of Critical Computer-Based Systems 2010 - Vol. 1, No.4 pp. 364 - 383, 2010

  • "A Structured Approach to Selecting and Justifying Software Safety Evidence"
    Richard Hawkins, and Tim Kelly,
    IET System Safety Conference, Manchester, 2010

  • "An Overview of the SoBP for Software in the Context of DS 00-56 Issue 4"
    Catherine Menon, Richard Hawkins, John McDermid and Tim Kelly
    SSS '10, Bristol, 2010
  • "Software Safety Assurance - What Is Sufficient?"
    Richard Hawkins, and Tim Kelly,
    IET System Safety Conference, London, 2009

  • "A Systematic Approach for Developing Software Safety Arguments"
    Richard Hawkins and Tim Kelly,
    27th ISSC, Huntsville, AL, 2009

  • "Defence Standard 00-56 Issue 4: Towards Evidence-Based Safety Standards"
    Catherine Menon, Richard Hawkins, and John McDermid,
    SSS '09, Brighton, 2009
  • "The Who, Where, How, Why and When of Modular and Incremental Certification"
    J. Fenn, R. Hawkins, P. Williams, T. Kelly, M. Banner and Y Oakshott,
    IET System Safety Conference, London, 2007

  • "Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study"
    J. Fenn, R. Hawkins, P. Williams and T. Kelly,
    SSS '07, Bristol, 2007
  • "Using Safety Contracts in the Development of Safety Critical Object-Oriented Systems"
    R. D. Hawkins,
    Ph.D. Thesis, The University of York, March 2006.

  • "The use of Bayesian Networks in Critical Applications"
    Richard Hawkins and John McDermid
    23rd ISSC, San Diego, CA 2005

  • "Developing Successful Modular Arguments for Object Oriented Systems"
    Richard Hawkins, Simon Bates and John McDermid,
    22nd ISSC, Providence, RI 2004

  • "An Approach to Designing Safety Critical Systems using the Unified Modelling Language "
    Richard Hawkins, Ian Toyn and Iain Bate, Critical Systems Development with UML,
    UML '03 workshop, San Fransisco 2003

  • "A Contract-based Approach to Designing Safe Systems"
    Iain Bate, Richard Hawkins and John McDermid
    8th Australian Workshop on Safety Critical Systems and Software (SCS'03), Canberra 2003
    Also available as part of the ACS Conferences in Research and Practice in Information Technology (CRPIT) series

  • "Safety Challenges for Model Driven Development "
    N. Audsley, P. Conmy, S.K. Crook-Dawkins and R.Hawkins,
    in Metamodelling for MDA, November 2003.

  • "Safety case architectures to complement a contract-based approach to designing safe systems "
    S. A. Bates, I. J. Bate, R. D. Hawkins, T. P. Kelly and J. A. McDermid ,
    21st ISSC, Ottawa 2003

  • "Developing Safety Contracts for OO Systems"
    R. D. Hawkins, J. A. McDermid and I. J. Bate,
    21st ISSC, Ottawa 2003

  • "Performing Hazard and Safety Analysis of OO Systems"
    R. D. Hawkins and J. A. McDermid,
    20th ISSC, Denver 2002

    • You will need Acrobat Reader to view these publications. If you don't have it on your computer then click here...

    Contact Details

    Dr Richard Hawkins

    Department of Computer Science,
    The University of York,
    Deramore Lane,
    York, YO10 5GH, UK

    Tel: +44(0)1904 325463

    richard.hawkins@york.ac.uk