Richard Hawkins 0001

dblp:84/2232-1 · also Richard D. Hawkins · DBLP profile ↗
← Back
14ranked-venue papers
4as first author
7since 2021 · last 2025
0000-0001-7347-3413ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 7 · 4 first-author · 2 since 2021Software engineering, systems software and programming languages · 2 · 1 since 2021Artificial intelligence and machine learning · 1 · 1 since 2021Systems, architecture and hardware · 1
YearPublicationVenuePosition
2025 Model-Based Security Assurance Cases for Open and Adaptive Cyber-Physical Systems
Luís Nascimento, André Luíz de Oliveira, Regina Braga 0001, Edelberto Franco Silva, Richard Hawkins 0001, Tim Kelly
AINA (8)6
2024 From Fault Tree Analysis to Runtime Model-Based Assurance Cases
Luís Nascimento, André Luíz de Oliveira, Regina Braga 0001, Richard Hawkins 0001, Tim Kelly
AINA (2)5
2023 Runtime Model-Based Assurance of Open and Adaptive Cyber-Physical Systems
Luís Nascimento, André Luíz de Oliveira, Regina Braga 0001, Richard Hawkins 0001, Tim Kelly
AINA (1)5
2023 Operationalizing Assurance Cases for Data Scientists: A Showcase of Concepts and Tooling in the Context of Test Data Quality for Machine Learning
Lisa Jöckel, Michael Kläs, Janek Groß, Pascal Gerber, Markus Scholz, Jonathan Eberle, Marc Teschner, Daniel Seifert, Richard Hawkins 0001, John Molloy, Jens Ottnad
PROFES (1)9
2023 Identifying Run-Time Monitoring Requirements for Autonomous Systems Through the Analysis of Safety Arguments
Richard Hawkins 0001, Philippa Conmy
SAFECOMP1
2022 Analysing the Safety of Decision-Making in Autonomous Systems
Matt Osborne, Richard Hawkins 0001, John A. McDermid
SAFECOMP2
2021 Deep reinforcement learning for drone navigation using sensor data
abstract
Abstract Mobile robots such as unmanned aerial vehicles (drones) can be used for surveillance, monitoring and data collection in buildings, infrastructure and environments. The importance of accurate and multifaceted monitoring is well known to identify problems early and prevent them escalating. This motivates the need for flexible, autonomous and powerful decision-making mobile robots. These systems need to be able to learn through fusing data from multiple sources. Until very recently, they have been task specific. In this paper, we describe a generic navigation algorithm that uses data from sensors on-board the drone to guide the drone to the site of the problem. In hazardous and safety-critical situations, locating problems accurately and rapidly is vital. We use the proximal policy optimisation deep reinforcement learning algorithm coupled with incremental curriculum learning and long short-term memory neural networks to implement our generic and adaptable navigation algorithm. We evaluate different configurations against a heuristic technique to demonstrate its accuracy and efficiency. Finally, we consider how safety of the drone could be assured by assessing how safely the drone would perform using our navigation algorithm in real-world scenarios.
Victoria J. Hodge, Richard Hawkins 0001, Rob Alexander
Neural Comput. Appl.2
2020 Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings
Lydia Gauerhof, Richard Hawkins 0001, Chiara Picardi, Colin Paterson, Yuki Hagiwara, Ibrahim Habli
SAFECOMP2
2019 A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems
Chiara Picardi, Richard Hawkins 0001, Colin Paterson, Ibrahim Habli
SAFECOMP2
2019 Model based system assurance using the structured assurance case metamodel
Tim Kelly, Xiaotian Dai 0001, Shuai Zhao 0004, Richard Hawkins 0001
J. Syst. Softw.5
2018 Service Level Agreements for Safe and Configurable Production Environments
abstract
This paper focuses on Service Level Agreements (SLAs) for industrial applications that aim to port some of the control functionalities to the cloud. In such applications, industrial requirements should be reflected in SLAs. In this paper, we present an approach to integrate safety-related aspects of an industrial application to SLAs. We also present the approach in a use case. This is an initial attempt to enrich SLAs for industrial settings to consider safety aspects, which has not been investigated thoroughly before.
Mohammad Ashjaei, Kester Clegg, Lorenzo Corneo, Richard Hawkins 0001, Omar Jaradat, Vincenzo Gulisano, Yiannis Nikolakopoulos
ETFA4
2016 Using Process Models in System Assurance
Richard Hawkins 0001, Thomas Richardson 0003, Tim Kelly
SAFECOMP1
2014 Assurance Cases for Block-Configurable Software
Richard Hawkins 0001, Alvaro Miyazawa, Ana Cavalcanti 0001, Tim Kelly, John Rowlands
SAFECOMP1
2011 Using a Software Safety Argument Pattern Catalogue: Two Case Studies
Richard Hawkins 0001, Kester Clegg, Rob Alexander, Tim Kelly
SAFECOMP1