Items where authors include "Hawkins, Richard David"

Article

Osborne, Matthew orcid.org/0000-0002-9941-4531, Hawkins, Richard David orcid.org/0000-0001-7347-3413, Alexander, Rob orcid.org/0000-0003-3818-0310 et al. (1 more author) (2024) Understanding Safety Engineering Practice : Comparing Safety Engineering Practice As Desired, As Required, and As Observed. Safety science. ISSN 0925-7535

Hawkins, Richard David orcid.org/0000-0001-7347-3413, Picardi, Chiara, Donnell, Lucy et al. (1 more author) (2023) Creating a Safety Assurance Case for a Machine Learned Satellite-Based Wildfire Detection and Alert System. Journal of Intelligent & Robotic Systems. 47. ISSN 0921-0296

Habli, Ibrahim orcid.org/0000-0003-2736-8238, Alexander, Rob orcid.org/0000-0003-3818-0310, Hawkins, Richard David orcid.org/0000-0001-7347-3413 et al. (4 more authors) (2020) Enhancing COVID-19 decision making by creating an assurance case for epidemiological models. BMJ Health and Care Informatics. pp. 1-5. ISSN 2632-1009

Hodge, Victoria J. orcid.org/0000-0002-2469-0224, Hawkins, Richard David orcid.org/0000-0001-7347-3413 and Alexander, Rob orcid.org/0000-0003-3818-0310 (2020) Deep reinforcement learning for drone navigation using sensor data. Neural computing & applications. ISSN 0941-0643

Wei, Ran, Kelly, Timothy Patrick orcid.org/0000-0002-7385-2031, Dai, Xiaotian orcid.org/0000-0002-6669-5234 et al. (2 more authors) (2019) Model Based System Assurance Using the Structured Assurance Case Metamodel. Journal of Systems and Software. pp. 211-233. ISSN 0164-1212

Hawkins, Richard David orcid.org/0000-0001-7347-3413, Habli, Ibrahim orcid.org/0000-0003-2736-8238 and Kelly, Tim orcid.org/0000-0002-7385-2031 (2015) The Need for a Weaving Model in Assurance Case Automation. Ada User Journal. pp. 187-191. ISSN 1381-6551

Conference or Workshop Item

Alexander, Robert David orcid.org/0000-0003-3818-0310, Hawkins, Richard David orcid.org/0000-0001-7347-3413 and Kelly, Timothy Patrick orcid.org/0000-0002-7385-2031 (2017) From Safety Cases to Security Cases. In: UNSPECIFIED.

Proceedings Paper

Mulvana, Phillip, Marsland, Lacey-Jo, Boden, Tom et al. (3 more authors) (2024) Implementing autonomy in nuclear robotics; an experience-informed review of applying SACE. In: Safety-Critical Systems Symposium (SSS’24). Safety Critical Systems Symposium, 13-15 Feb 2024. , GBR . (In Press)

Imrie, Calum Corrie, Howard, Rhys, Thuremella, Divya et al. (8 more authors) (2024) Aloft: Self-Adaptive Drone Controller Testbed. In: SEAMS '24: Proceedings of the 19th Symposium on Software Engineering for Adaptive and Self-Managing Systems. 19th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 15-16 Apr 2024. ACM , PRT .

Osborne, Matthew orcid.org/0000-0002-9941-4531 and Hawkins, Richard David orcid.org/0000-0001-7347-3413 (2024) Defining an Effective Context for the Safe Operation of Autonomous Systems. In: Proceedings. UNSPECIFIED. .

Jockel, Lisa, Klas, Michael, Gross, Janek et al. (2 more authors) (2023) Operationalizing Assurance Cases for Data Scientists : A Showcase of Concepts and Tooling in the Context of Test Data Quality for Machine Learning. In: Kadgien, R., Jedlitschka, A., Janes, A., Lenarduzzi, V. and Li, X., (eds.) International Conference on Product-Focused Software Process Improvement:Proceedings. Product-Focused Software Process Improvement, 10-13 Dec 2023. Lecture Notes in Computer Science . Springer , AUT , pp. 151-158.

Hawkins, Richard David orcid.org/0000-0001-7347-3413 and Ryan Conmy, Philippa Mary orcid.org/0000-0003-1307-5207 (2023) Identifying Run-time Monitoring Requirements for Autonomous Systems through the Analysis of Safety Arguments. In: SAFECOMP 2023 (42nd International Conference on Computer Safety, Reliability and Security). International Conference on Computer Safety, Reliability and Security, 20-22 Sep 2023. , FRA .

Picardi, Chiara, Hawkins, Richard David orcid.org/0000-0001-7347-3413, Paterson, Colin orcid.org/0000-0002-6678-3752 et al. (1 more author) (2023) Transfer Assurance for Machine Learning in Autonomous Systems. In: Proceedings of the Workshop on Artificial Intelligence Safety (SafeAI 2023). SafeAI, 13-14 Feb 2023. CEUR Workshop Proceedings , USA .

Aftab, Haris orcid.org/0000-0001-7981-1743, Gautam, Vibhu, Hawkins, Richard David orcid.org/0000-0001-7347-3413 et al. (2 more authors) (2022) Robust Intent Classification using Bayesian LSTM for Clinical Conversational Agents (CAs). In: MobiHealth 2021:Wireless Mobile Communication and Healthcare. 10th EAI International Conference on Wireless Mobile Communication and Healthcare, 13-14 Nov 2021. Springer , CHN , pp. 106-118.

Osborne, Matthew orcid.org/0000-0002-9941-4531, Hawkins, Richard David orcid.org/0000-0001-7347-3413 and McDermid, John Alexander orcid.org/0000-0003-4745-4272 (2022) Analysing the Safety of Decision-Making in Autonomous Systems. In: SAFECOMP 2022 (41st International Conference on Computer Safety, Reliability and Security). UNSPECIFIED. . (In Press)

Habli, Ibrahim orcid.org/0000-0003-2736-8238, Alexander, Rob orcid.org/0000-0003-3818-0310 and Hawkins, Richard David orcid.org/0000-0001-7347-3413 (2021) Safety Cases: An Impending Crisis? In: Safety-Critical Systems Symposium (SSS’21). UNSPECIFIED. , York, UK .

Gautam, Vibhu, Gheraibia, Youcef, Alexander, Rob orcid.org/0000-0003-3818-0310 et al. (1 more author) (2021) Runtime Decision Making Under Uncertainty in Autonomous Vehicles. In: Proceedings of the Workshop on Artificial Intelligence Safety (SafeAI 2021). UNSPECIFIED. CEUR Workshop Proceedings .

Selviandro, Nungki, Hawkins, Richard David orcid.org/0000-0001-7347-3413 and Habli, Ibrahim orcid.org/0000-0003-2736-8238 (2020) A Visual Notation for the Representation of Assurance Cases using SACM. In: International Symposium on Model-Based Safety and Assessment. UNSPECIFIED. LNCS . Springer , pp. 3-18.

Gauerhof, Lydia, Hawkins, Richard David orcid.org/0000-0001-7347-3413, Picardi, Chiara et al. (3 more authors) (2020) Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings. In: Computer Safety, Reliability, and Security:39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 197-212.

Picardi, Chiara, Paterson, Colin orcid.org/0000-0002-6678-3752, Hawkins, Richard David orcid.org/0000-0001-7347-3413 et al. (2 more authors) (2020) Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems. In: Proceedings of the Workshop on Artificial Intelligence Safety (SafeAI 2020). UNSPECIFIED. CEUR Workshop Proceedings . CEUR Workshop Proceedings , pp. 23-30.

Sujan, Mark, Furniss, Dominic, Hawkins, Richard David orcid.org/0000-0001-7347-3413 et al. (1 more author) (2020) Human Factors of Using Artificial Intelligence in Healthcare: Challenges That Stretch Across Industries. In: Safety-Critical Systems Symposium. UNSPECIFIED. .

Jaradat, Omar, Sljivo, Irfan, Hawkins, Richard David orcid.org/0000-0001-7347-3413 et al. (1 more author) (2020) Modular Safety Cases for the Assurance of Industry 4.0. In: Safety-Critical Systems Symposium. UNSPECIFIED. .

Burton, Simon, Gauerhof, Lydia, Hawkins, Richard David orcid.org/0000-0001-7347-3413 et al. (2 more authors) (2019) Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions. In: Computer Safety, Reliability, and Security:SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science . Springer , 365–377.

Ashjaei, Mohammed, Clegg, Kester orcid.org/0000-0002-4484-3291, Corneo, Lorenzo et al. (4 more authors) (2018) Service Level Agreements for Safe and Configurable Production Environments. In: International Conference on Emerging Technologies and Factory Automation:Work in Progress Session (ETFA-WiP'18). UNSPECIFIED. IEEE , pp. 1-4.

Selviandro, Nungki, Kelly, Tim orcid.org/0000-0002-7385-2031 and Hawkins, Richard David orcid.org/0000-0001-7347-3413 (2018) The Visual Inheritance Structure to Support the Design of Visual Notations. In: Third International Workshop on Human Factors in Modeling (HuFaMo’18). UNSPECIFIED. . (In Press)