Richard Hawkins

63 papers B 7C 5Misc 1Journal 24Unranked 24

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Arguing conformance with data protection principles. CoRR Chris Smith, Richard Hawkins
2026	J	`jnl`	Safe Machine Learning: Why Performance Is Not Enough. IEEE Softw. Richard Hawkins, Colin Paterson, Ibrahim Habli, Markus Borg
2025	—	`conf`	A Case Study on Defining Traceable Machine Learning Safety Requirements for an Automotive Perception Component. ISSREW Sepeedeh Shahbeigi, Richard Hawkins, Simon Burton, Victoria J. Hodge, Colin Paterson, Ibrahim Habli
2025	—	`conf`	ACEditor: A Modeling Tool for Specifying and Synthesizing Executable Assurance Cases from Fault Trees. IMBSA Luís Nascimento, André Luíz de Oliveira, Regina Villela, Hiago Fonseca, Kalinka R. L. J. Castelo Branco, Ran Wei, Richard Hawkins, Tim Kelly
2025	J	`jnl`	Assuring the Safety of Reinforcement Learning Components: AMLAS-RL. CoRR Calum C. Imrie, Ioannis Stefanakos, Sepeedeh Shahbeigi, Richard Hawkins, Simon Burton
2025	J	`jnl`	Developing Compelling Safety Cases. CoRR Richard Hawkins
2025	J	`jnl`	Evaluating Metrics for Safety with LLM-as-Judges. CoRR Kester Dean Clegg, Richard Hawkins, Ibrahim Habli, Tom Lawton
2025	—	`conf`	Model-Based Security Assurance Cases for Open and Adaptive Cyber-Physical Systems. AINA (8) Luís Nascimento, André Luíz de Oliveira, Regina Villela, Edelberto Franco Silva, Ran Wei, Richard Hawkins, Tim Kelly
2025	—	`conf`	Robustness Requirement Coverage using a Situation Coverage Approach for Vision-based AI Systems. REW Sepeedeh Shahbeigi, Nawshin Mannan Proma, Victoria J. Hodge, Richard Hawkins, Boda Li, Valentina Donzella
2025	J	`jnl`	Robustness Requirement Coverage using a Situation Coverage Approach for Vision-based AI Systems. CoRR Sepeedeh Shahbeigi, Nawshin Mannan Proma, Victoria J. Hodge, Richard Hawkins, Boda Li, Valentina Donzella
2025	J	`jnl`	Safety assurance of Machine Learning for autonomous systems. Reliab. Eng. Syst. Saf. Colin Paterson, Richard Hawkins, Chiara Picardi, Yan Jia, Radu Calinescu, Ibrahim Habli
2025	J	`jnl`	The BIG Argument for AI Safety Cases. CoRR Ibrahim Habli, Richard Hawkins, Colin Paterson, Philippa Ryan, Yan Jia, Mark Sujan, John A. McDermid
2024	—	`conf`	A New Approach to Creating Clear Operational Safety Arguments. SAFECOMP (Workshops) Jane Fenn, Richard Hawkins, Mark Nicholson
2024	—	`conf`	Aloft: Self-Adaptive Drone Controller Testbed. SEAMS@ICSE Calum Imrie, Rhys Howard, Divya Thuremella, Nawshin Mannan Proma, Tejas Pandey, Paulina Lewinska, Ricardo Cannizzaro, Richard Hawkins, Colin Paterson, Lars Kunze, Victoria J. Hodge
2024	—	`conf`	Defining an Effective Context for the Safe Operation of Autonomous Systems. EDCC Workshops Matt Osborne, Richard Hawkins
2024	—	`ed.`	Dependable Computing - EDCC 2024 Workshops - SafeAutonomy, TRUST in BLOCKCHAIN, Leuven, Belgium, April 8, 2024, Proceedings EDCC Workshops Behrooz Sangchoolie, Rasmus Adler, Richard Hawkins, Philipp Schleiss, Alessia Arteconi, Adriano Mancini
2024	—	`conf`	From Fault Tree Analysis to Runtime Model-Based Assurance Cases. AINA (2) Luís Nascimento, André Luíz de Oliveira, Regina Villela, Ran Wei, Richard Hawkins, Tim Kelly
2024	J	`jnl`	Learning Run-time Safety Monitors for Machine Learning Components. CoRR Ozan Vardal, Richard Hawkins, Colin Paterson, Chiara Picardi, Daniel Omeiza, Lars Kunze, Ibrahim Habli
2024	J	`jnl`	The Safety of Autonomy: A Systematic Approach. Computer John A. McDermid, Radu Calinescu, Ibrahim Habli, Richard Hawkins, Yan Jia, John Molloy, Matt Osborne, Colin Paterson, Zoë Porter, Philippa Ryan Conmy
2023	J	`jnl`	Creating a Safety Assurance Case for a Machine Learned Satellite-Based Wildfire Detection and Alert System. J. Intell. Robotic Syst. Richard Hawkins, Chiara Picardi, Lucy Donnell, Murray Ireland
2023	B	`conf`	Identifying Run-Time Monitoring Requirements for Autonomous Systems Through the Analysis of Safety Arguments. SAFECOMP Richard Hawkins, Philippa Ryan Conmy
2023	—	`conf`	Operationalizing Assurance Cases for Data Scientists: A Showcase of Concepts and Tooling in the Context of Test Data Quality for Machine Learning. PROFES (1) Lisa Jöckel, Michael Kläs, Janek Groß, Pascal Gerber, Markus Scholz, Jonathan Eberle, Marc Teschner, Daniel Seifert, Richard Hawkins, John Molloy, Jens Ottnad
2023	J	`jnl`	Operationalizing Assurance Cases for Data Scientists: A Showcase of Concepts and Tooling in the Context of Test Data Quality for Machine Learning. CoRR Lisa Jöckel, Michael Kläs, Janek Groß, Pascal Gerber, Markus Scholz, Jonathan Eberle, Marc Teschner, Daniel Seifert, Richard Hawkins, John Molloy, Jens Ottnad
2023	—	`conf`	Runtime Model-Based Assurance of Open and Adaptive Cyber-Physical Systems. AINA (1) Luís Nascimento, André Luíz de Oliveira, Regina Villela, Ran Wei, Richard Hawkins, Tim Kelly
2023	—	`conf`	Structuring Research Related to Dynamic Risk Management for Autonomous Systems. SAFECOMP Workshops Rasmus Adler, Jan Reich, Richard Hawkins
2023	—	`conf`	Transfer Assurance for Machine Learning in Autonomous Systems. SafeAI@AAAI Chiara Picardi, Richard Hawkins, Colin Paterson, Ibrahim Habli
2022	J	`jnl`	Analysing Ultra-Wide Band Positioning for Geofencing in a Safety Assurance Context. CoRR Victoria J. Hodge, Richard Hawkins, James Hilder, Ibrahim Habli
2022	B	`conf`	Analysing the Safety of Decision-Making in Autonomous Systems. SAFECOMP Matt Osborne, Richard Hawkins, John A. McDermid
2022	J	`jnl`	Creating a Safety Assurance Case for an ML Satellite-Based Wildfire Detection and Alert System. CoRR Richard Hawkins, Chiara Picardi, Lucy Donnell, Murray Ireland
2022	—	`ed.`	Dependable Computing - EDCC 2022 Workshops - SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, Proceedings EDCC Workshops Stefano Marrone, Martina De Sanctis, Imre Kocsis, Rasmus Adler, Richard Hawkins, Philipp Schleiß, Stefano Marrone, Roberto Nardone, Francesco Flammini, Valeria Vittorini
2022	J	`jnl`	Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE). CoRR Richard Hawkins, Matt Osborne, Mike Parsons, Mark Nicholson, John A. McDermid, Ibrahim Habli
2021	J	`jnl`	DEIS: Dependability Engineering Innovation for Industrial CPS. CoRR Eric Armengaud, Georg Macher, Alexander Massoner, Sebastian Frager, Rasmus Adler, Daniel Schneider, Simone Longo, Massimiliano Melis, Riccardo Groppo, Federica A. Villa, Pádraig O'Leary, Kevin Bambury, Anita Finnegan, Marc Zeller, Kai Höfig, Yiannis Papadopoulos, Richard Hawkins, Tim Kelly
2021	J	`jnl`	Deep reinforcement learning for drone navigation using sensor data. Neural Comput. Appl. Victoria J. Hodge, Richard Hawkins, Rob Alexander
2021	J	`jnl`	Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS). CoRR Richard Hawkins, Colin Paterson, Chiara Picardi, Yan Jia, Radu Calinescu, Ibrahim Habli
2021	—	`conf`	Robust Intent Classification Using Bayesian LSTM for Clinical Conversational Agents (CAs). MobiHealth Haris Aftab, Vibhu Gautam, Richard Hawkins, Rob Alexander, Ibrahim Habli
2021	—	`conf`	Runtime Decision Making Under Uncertainty in Autonomous Vehicles. SafeAI@AAAI Vibhu Gautam, Youcef Gheraibia, Rob Alexander, Richard Hawkins
2020	—	`conf`	A Visual Notation for the Representation of Assurance Cases Using SACM. IMBSA Nungki Selviandro, Richard Hawkins, Ibrahim Habli
2020	—	`conf`	Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems. SafeAI@AAAI Chiara Picardi, Colin Paterson, Richard Hawkins, Radu Calinescu, Ibrahim Habli
2020	B	`conf`	Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings. SAFECOMP Lydia Gauerhof, Richard Hawkins, Chiara Picardi, Colin Paterson, Yuki Hagiwara, Ibrahim Habli
2020	J	`jnl`	Enhancing Covid-19 Decision-Making by Creating an Assurance Case for Simulation Models. CoRR Ibrahim Habli, Rob Alexander, Richard Hawkins, Mark Sujan, John A. McDermid, Chiara Picardi, Tom Lawton
2019	B	`conf`	A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems. SAFECOMP Chiara Picardi, Richard Hawkins, Colin Paterson, Ibrahim Habli
2019	—	`conf`	Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions. SAFECOMP Workshops Simon Burton, Lydia Gauerhof, Bibhuti Bhusan Sethy, Ibrahim Habli, Richard Hawkins
2019	J	`jnl`	Model Based System Assurance Using the Structured Assurance Case Metamodel. CoRR Ran Wei, Tim P. Kelly, Xiaotian Dai, Shuai Zhao, Richard Hawkins
2019	J	`jnl`	Model based system assurance using the structured assurance case metamodel. J. Syst. Softw. Ran Wei, Tim P. Kelly, Xiaotian Dai, Shuai Zhao, Richard Hawkins
2018	C	`conf`	Service Level Agreements for Safe and Configurable Production Environments. ETFA Mohammad Ashjaei, Kester Dean Clegg, Lorenzo Corneo, Richard Hawkins, Omar Jaradat, Vincenzo Massimiliano Gulisano, Yiannis Nikolakopoulos
2018	—	`conf`	The visual inheritance structure to support the design of visual notations. MoDELS (Workshops) Nungki Selviandro, Tim Kelly, Richard Hawkins
2017	Misc	`conf`	Challenges of Safety Assurance for Industry 4.0. EDCC Omar Jaradat, Irfan Sljivo, Ibrahim Habli, Richard Hawkins
2017	—	`conf`	DEIS: Dependability Engineering Innovation for Cyber-Physical Systems. STAF Workshops Ran Wei, Tim P. Kelly, Richard Hawkins, Eric Armengaud
2017	J	`jnl`	Support for safety case generation via model transformation. SIGBED Rev. Chung-Ling Lin, Wuwei Shen, Richard Hawkins
2016	B	`conf`	Using Process Models in System Assurance. SAFECOMP Richard Hawkins, Thomas Richardson, Tim Kelly
2015	—	`conf`	Developing Assurance Cases for D-MILS Systems. MILS@HiPEAC Richard Hawkins, Tim Kelly, Ibrahim Habli
2015	—	`conf`	The Need for a Confidence View of CPS Support Environments (Fast Abstract). HASE Fredrik Asplund, Martin Törngren, Richard Hawkins, John A. McDermid
2015	—	`conf`	Weaving an Assurance Case from Design: A Model-Based Approach. HASE Richard Hawkins, Ibrahim Habli, Dimitrios S. Kolovos, Richard F. Paige, Tim Kelly
2014	B	`conf`	Assurance Cases for Block-Configurable Software. SAFECOMP Richard Hawkins, Alvaro Miyazawa, Ana Cavalcanti, Tim Kelly, John Rowlands
2013	—	`conf`	Principled Construction of Software Safety Cases. SASSUR@SAFECOMP Richard Hawkins, Ibrahim Habli, Tim Kelly
2012	J	`jnl`	Arguing Conformance. IEEE Softw. Patrick J. Graydon, Ibrahim Habli, Richard Hawkins, Tim Kelly, John C. Knight
2011	C	`conf`	A New Approach to creating Clear Safety Arguments. SSS Richard Hawkins, Tim P. Kelly, John C. Knight, Patrick J. Graydon
2011	B	`conf`	Using a Software Safety Argument Pattern Catalogue: Two Case Studies. SAFECOMP Richard Hawkins, Kester Dean Clegg, Robert Alexander, Tim Kelly
2010	C	`conf`	An Overview of the SoBP for Software in the Context of DS 00-56 Issue 4. SSS Catherine Menon, Richard Hawkins, John A. McDermid, Tim Kelly
2010	J	`jnl`	Software safety: relating software assurance and software integrity. Int. J. Crit. Comput. Based Syst. Ibrahim Habli, Richard Hawkins, Tim Kelly
2009	C	`conf`	Defence Standard 00-56 Issue 4: Towards Evidence-Based Safety Standards. SSS Catherine Menon, Richard Hawkins, John A. McDermid
2007	C	`conf`	Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study. SSS Jane Fenn, Richard Hawkins, Phil Williams, Tim Kelly
2003	—	`conf`	A Contract-based Approach to Designing Safe Systems. SCS Iain Bate, Richard Hawkins, John A. McDermid