Richard David Hawkins

Search results

• 2025

  Practical Examples of a New Approach to Creating Clear Operational Safety Cases

  Fenn, J., Hawkins, R. D. & Nicholson, M., 6 Feb 2025, Safety Critical Systems Symposium (SSS '25).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Specifying Safety Requirements for Machine Learning Components in Autonomous Systems: A Survey

  Shahbeigi Roudposhti, S. & Hawkins, R. D., 6 Feb 2025, Safety Critical Systems Symposium (SSS '25).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 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., 16 Apr 2024, SEAMS '24: Proceedings of the 19th Symposium on Software Engineering for Adaptive and Self-Managing Systems. ACM

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• A New Approach to Creating Clear Operational Safety Arguments

  Fenn, J., Hawkins, R. D. & Nicholson, M., 9 Sept 2024, SAFECOMP 2024 (43rd International Conference on Computer Safety, Reliability and Security): 11th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2024). p. 227-238 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Defining an Effective Context for the Safe Operation of Autonomous Systems

  Osborne, M. & Hawkins, R. D., 8 Apr 2024, Proceedings. 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• 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., 30 Nov 2024, (Accepted/In press) Safety-Critical Systems Symposium (SSS’24).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2023

  Identifying Run-time Monitoring Requirements for Autonomous Systems through the Analysis of Safety Arguments

  Hawkins, R. D. & Ryan Conmy, P. M., 22 Sept 2023, SAFECOMP 2023 (42nd International Conference on Computer Safety, Reliability and Security).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Operationalizing Assurance Cases for Data Scientists: A Showcase of Concepts and Tooling in the Context of Test Data Quality for Machine Learning

  Jockel, L., Klas, M., Gross, J., Hawkins, R. D. & Molloy, J., 2 Dec 2023, (E-pub ahead of print) International Conference on Product-Focused Software Process Improvement: Proceedings. Kadgien, R., Jedlitschka, A., Janes, A., Lenarduzzi, V. & Li, X. (eds.). Cham: Springer, p. 151-158 8 p. (Lecture Notes in Computer Science; vol. 14483).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Transfer Assurance for Machine Learning in Autonomous Systems

  Picardi, C., Hawkins, R. D., Paterson, C. & Habli, I., 13 Feb 2023, Proceedings of the Workshop on Artificial Intelligence Safety (SafeAI 2023). CEUR Workshop Proceedings, 7 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2022

  Analysing the Safety of Decision-Making in Autonomous Systems

  Osborne, M., Hawkins, R. D. & McDermid, J. A., 13 Apr 2022, (Accepted/In press) SAFECOMP 2022 (41st International Conference on Computer Safety, Reliability and Security).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Robust Intent Classification using Bayesian LSTM for Clinical Conversational Agents (CAs)

  Aftab, H., Gautam, V., Hawkins, R. D., Alexander, R. & Habli, I., 7 Jun 2022, MobiHealth 2021: Wireless Mobile Communication and Healthcare. Cham: Springer, p. 106-118 13 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2021

  An “As Desired” Model of the Software Safety Assurance Lifecycle

  Osborne, M., Hawkins, R. D. & Nicholson, M., 10 Feb 2021, Safety Critical Systems Symposium (SSS '21).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Runtime Decision Making Under Uncertainty in Autonomous Vehicles

  Gautam, V., Gheraibia, Y., Alexander, R. & Hawkins, R. D., 8 Feb 2021, Proceedings of the Workshop on Artificial Intelligence Safety (SafeAI 2021). CEUR Workshop Proceedings, 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Safety Cases: An Impending Crisis?

  Habli, I., Alexander, R. & Hawkins, R. D., 10 Feb 2021, Safety-Critical Systems Symposium (SSS’21). York, UK

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2020

  Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems

  Picardi, C., Paterson, C., Hawkins, R. D., Calinescu, R. & Habli, I., 27 Feb 2020, Proceedings of the Workshop on Artificial Intelligence Safety (SafeAI 2020). CEUR Workshop Proceedings, p. 23-30 (CEUR Workshop Proceedings; vol. 2560).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings

  Gauerhof, L., Hawkins, R. D., Picardi, C., Paterson, C., Hagiwara, Y. & Habli, I., 31 Jul 2020, Computer Safety, Reliability, and Security: 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings. Springer, p. 197-212 (Lecture Notes in Computer Science; vol. 12234).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  File

• A Visual Notation for the Representation of Assurance Cases using SACM

  Selviandro, N., Hawkins, R. D. & Habli, I., 16 Sept 2020, International Symposium on Model-Based Safety and Assessment. Springer, p. 3-18 (LNCS; vol. 12297).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Human Factors of Using Artificial Intelligence in Healthcare: Challenges That Stretch Across Industries

  Sujan, M., Furniss, D., Hawkins, R. D. & Habli, I., Feb 2020, Safety-Critical Systems Symposium.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Modular Safety Cases for the Assurance of Industry 4.0

  Jaradat, O., Sljivo, I., Hawkins, R. D. & Habli, I., Feb 2020, Safety-Critical Systems Symposium.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  File
• 2019

  A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems

  Picardi, C., Hawkins, R. D., Paterson, C. & Habli, I., 30 Apr 2019, (Accepted/In press) 38th International Conference on Computer Safety, Reliability and Security – SafeComp 2019.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions

  Burton, S., Gauerhof, L., Hawkins, R. D., Habli, I. & Sethy, B., 9 Aug 2019, Computer Safety, Reliability, and Security: SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings. Springer, p. 365–377 (Lecture Notes in Computer Science; vol. 11699).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2018

  Service Level Agreements for Safe and Configurable Production Environments

  Ashjaei, M., Clegg, K., Corneo, L., Hawkins, R. D., Jaradat, O. T. S., Gulisano, V. & Nikolakopoulos, Y., 7 Sept 2018, International Conference on Emerging Technologies and Factory Automation: Work in Progress Session (ETFA-WiP'18). IEEE, p. 1-4 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• The Visual Inheritance Structure to Support the Design of Visual Notations

  Selviandro, N., Kelly, T. & Hawkins, R. D., 17 Aug 2018, (Accepted/In press) Third International Workshop on Human Factors in Modeling (HuFaMo’18). 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2017

  Challenges of Safety Assurance for Industry 4.0

  Jaradat, O., Šljivo, I., Habli, I. & Hawkins, R. D., Sept 2017, 13th European Dependable Computing Conference (EDCC). p. 103-106

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2016

  Using Process Models in System Assurance

  Hawkins, R., Richardson, T. & Kelly, T., 2016, Computer Safety, Reliability, and Security - 35th International Conference, SAFECOMP 2016, Proceedings. Skavhaug, A., Guiochet, J. & Bitsch, F. (eds.). p. 27-38 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9922 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2015

  The Need for a Confidence View of CPS Support Environments (Fast Abstract)

  Asplund, F., Torngren, M., Hawkins, R. D. & McDermid, J. A., 2015, High Assurance Systems Engineering.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Weaving an Assurance Case from Design: A Model-Based Approach

  Hawkins, R., Habli, I., Kolovos, D. S., Paige, R. F. & Kelly, T., Jan 2015, 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015. IEEE, p. 110-117 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2013

  Principled Construction of Software Safety Cases

  Hawkins, R., Habli, I. & Kelly, T., 2013, SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2011

  A New Approach to Creating Clear Safety Arguments

  Hawkins, R. D., Kelly, T., Graydon, P. J. & Knight, J., 2011, Advances in Systems Safety. Springer, p. 3-23 21 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Using a Software Safety Argument Pattern Catalogue: Two Case Studies

  Hawkins, R. D., Clegg, K. D., Alexander, R. & Kelly, T., Sept 2011, Computer Safety, Reliability, and Security: Proceedings of the 30th international conference on Computer safety, reliability, and security. Berlin: Springer, Vol. 6894. p. 185-198 14 p. (Lecture Notes in Computer Science; vol. 6894).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2010

  An Overview of the SoBP for Software in the Context of DS 00-56 Issue 4

  Menon, C., Hawkins, R. D., McDermid, J. A. & Kelly, T. P., 2010, Making Systems Safer. Dale, C. & Anderson, T. (eds.). London: Springer, p. 129-147 19 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2003

  A Contract-based Approach to Designing Safe Systems

  Bate, I., Hawkins, R., McDermid, J., Lindsay, P. A. & Cant, A., 2003, Proceedings of the 8th Australian Workshop on Safety Critical Systems and Software. p. 25-36 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• An Approach to Designing Safety Critical Systems using the Unified Modelling Language

  Bate, I., Hawkins, R. & Toyn, I., 2003, Proceedings of the Workshop on Critical Systems Development with UML. Technische Universtat Munchen, p. 3-17 15 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Developing Safety Contracts for OO Systems

  Bate, I., Hawkins, R. & McDermid, J., 2003, 21st International System Safety Conference. The International System Safety Society, p. 636-645 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Safety case architectures to complement a contract-based approach to designing safe systems

  Bate, I., Bates, S., Hawkins, R., Kelly, T. & McDermid, J., 2003, 21st International System Safety Conference. The International System Safety Society, p. 182-192 11 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution