EDBT 2026 Demo / reviewers in the wild / expert
Richard Hawkins 0001
dblp:84/2232-1 · also Richard D. Hawkins
· DBLP profile ↗
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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 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 |
SAFECOMP | 1 |
| 2022 | Analysing the Safety of Decision-Making in Autonomous Systems
Matt Osborne, Richard Hawkins 0001, John A. McDermid |
SAFECOMP | 2 |
| 2021 | Deep reinforcement learning for drone navigation using sensor dataabstractAbstract 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 |
SAFECOMP | 2 |
| 2019 | A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems
Chiara Picardi, Richard Hawkins 0001, Colin Paterson, Ibrahim Habli |
SAFECOMP | 2 |
| 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 EnvironmentsabstractThis 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 |
ETFA | 4 |
| 2016 | Using Process Models in System Assurance
Richard Hawkins 0001, Thomas Richardson 0003, Tim Kelly |
SAFECOMP | 1 |
| 2014 | Assurance Cases for Block-Configurable Software
Richard Hawkins 0001, Alvaro Miyazawa, Ana Cavalcanti 0001, Tim Kelly, John Rowlands |
SAFECOMP | 1 |
| 2011 | Using a Software Safety Argument Pattern Catalogue: Two Case Studies
Richard Hawkins 0001, Kester Clegg, Rob Alexander, Tim Kelly |
SAFECOMP | 1 |