Richard Hawkins

According to our database, Richard Hawkins authored at least 50 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

The Safety of Autonomy: A Systematic Approach.

John A. McDermid, Radu Calinescu, Ibrahim Habli, Richard Hawkins, Yan Jia, John Molloy, Matt Osborne, Colin Paterson, Zoë Porter, Philippa Ryan Conmy

Computer, April, 2024

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

Matt Osborne, Richard Hawkins

Proceedings of the Dependable Computing - EDCC 2024 Workshops, 2024

From Fault Tree Analysis to Runtime Model-Based Assurance Cases.

Luís Nascimento, André Luíz de Oliveira, Regina Villela, Ran Wei, Richard Hawkins, Tim Kelly

Proceedings of the Advanced Information Networking and Applications, 2024

2023

Creating a Safety Assurance Case for a Machine Learned Satellite-Based Wildfire Detection and Alert System.

Richard Hawkins, Chiara Picardi, Lucy Donnell, Murray Ireland

J. Intell. Robotic Syst., July, 2023

Identifying Run-Time Monitoring Requirements for Autonomous Systems Through the Analysis of Safety Arguments.

Richard Hawkins, Philippa Ryan Conmy

Proceedings of the Computer Safety, Reliability, and Security, 2023

Structuring Research Related to Dynamic Risk Management for Autonomous Systems.

Rasmus Adler, Jan Reich, Richard Hawkins

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 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, John Molloy, Jens Ottnad

Proceedings of the Product-Focused Software Process Improvement, 2023

Runtime Model-Based Assurance of Open and Adaptive Cyber-Physical Systems.

Luís Nascimento, André Luíz de Oliveira, Regina Villela, Ran Wei, Richard Hawkins, Tim Kelly

Proceedings of the Advanced Information Networking and Applications, 2023

Transfer Assurance for Machine Learning in Autonomous Systems.

Chiara Picardi, Richard Hawkins, Colin Paterson, Ibrahim Habli

Proceedings of the Workshop on Artificial Intelligence Safety 2023 (SafeAI 2023) co-located with the Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023), 2023

2022

Creating a Safety Assurance Case for an ML Satellite-Based Wildfire Detection and Alert System.

Richard Hawkins, Chiara Picardi, Lucy Donnell, Murray Ireland

CoRR, 2022

Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE).

Richard Hawkins, Matt Osborne, Mike Parsons, Mark Nicholson, John A. McDermid, Ibrahim Habli

CoRR, 2022

Analysing Ultra-Wide Band Positioning for Geofencing in a Safety Assurance Context.

Victoria J. Hodge, Richard Hawkins, James Hilder, Ibrahim Habli

CoRR, 2022

Analysing the Safety of Decision-Making in Autonomous Systems.

Matt Osborne, Richard Hawkins, John A. McDermid

Proceedings of the Computer Safety, Reliability, and Security, 2022

2021

Deep reinforcement learning for drone navigation using sensor data.

Victoria J. Hodge, Richard Hawkins, Rob Alexander

Neural Comput. Appl., 2021

DEIS: Dependability Engineering Innovation for Industrial CPS.

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

CoRR, 2021

Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS).

Richard Hawkins, Colin Paterson, Chiara Picardi, Yan Jia, Radu Calinescu, Ibrahim Habli

CoRR, 2021

Robust Intent Classification Using Bayesian LSTM for Clinical Conversational Agents (CAs).

Haris Aftab, Vibhu Gautam, Richard Hawkins, Rob Alexander, Ibrahim Habli

Proceedings of the Wireless Mobile Communication and Healthcare, 2021

Runtime Decision Making Under Uncertainty in Autonomous Vehicles.

Vibhu Gautam, Youcef Gheraibia, Rob Alexander, Richard Hawkins

Proceedings of the Workshop on Artificial Intelligence Safety 2021 (SafeAI 2021) co-located with the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2021), 2021

2020

Enhancing Covid-19 Decision-Making by Creating an Assurance Case for Simulation Models.

Ibrahim Habli, Rob Alexander, Richard Hawkins, Mark Sujan, John A. McDermid, Chiara Picardi, Tom Lawton

CoRR, 2020

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

Lydia Gauerhof, Richard Hawkins, Chiara Picardi, Colin Paterson, Yuki Hagiwara, Ibrahim Habli

Proceedings of the Computer Safety, Reliability, and Security, 2020

A Visual Notation for the Representation of Assurance Cases Using SACM.

Nungki Selviandro, Richard Hawkins, Ibrahim Habli

Proceedings of the Model-Based Safety and Assessment - 7th International Symposium, 2020

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

Chiara Picardi, Colin Paterson, Richard Hawkins, Radu Calinescu, Ibrahim Habli

Proceedings of the Workshop on Artificial Intelligence Safety, 2020

2019

Model based system assurance using the structured assurance case metamodel.

Ran Wei, Tim P. Kelly, Xiaotian Dai, Shuai Zhao, Richard Hawkins

J. Syst. Softw., 2019

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

Chiara Picardi, Richard Hawkins, Colin Paterson, Ibrahim Habli

Proceedings of the Computer Safety, Reliability, and Security, 2019

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

Simon Burton, Lydia Gauerhof, Bibhuti Bhusan Sethy, Ibrahim Habli, Richard Hawkins

Proceedings of the Computer Safety, Reliability, and Security, 2019

2018

The visual inheritance structure to support the design of visual notations.

Nungki Selviandro, Tim Kelly, Richard Hawkins

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Service Level Agreements for Safe and Configurable Production Environments.

Mohammad Ashjaei, Kester Dean Clegg, Lorenzo Corneo, Richard Hawkins, Omar Jaradat, Vincenzo Massimiliano Gulisano, Yiannis Nikolakopoulos

Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

2017

Support for safety case generation via model transformation.

Chung-Ling Lin, Wuwei Shen, Richard Hawkins

SIGBED Rev., 2017

DEIS: Dependability Engineering Innovation for Cyber-Physical Systems.

Ran Wei, Tim P. Kelly, Richard Hawkins, Eric Armengaud

Proceedings of the Software Technologies: Applications and Foundations, 2017

Challenges of Safety Assurance for Industry 4.0.

Omar Jaradat, Irfan Sljivo, Ibrahim Habli, Richard Hawkins

Proceedings of the 13th European Dependable Computing Conference, 2017

2016

Using Process Models in System Assurance.

Richard Hawkins, Thomas Richardson, Tim Kelly

Proceedings of the Computer Safety, Reliability, and Security, 2016

2015

Developing Assurance Cases for D-MILS Systems.

Richard Hawkins, Tim Kelly, Ibrahim Habli

Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2015

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

Richard Hawkins, Ibrahim Habli, Dimitrios S. Kolovos, Richard F. Paige, Tim Kelly

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

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

Fredrik Asplund, Martin Törngren, Richard Hawkins, John A. McDermid

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

2014

Assurance Cases for Block-Configurable Software.

Richard Hawkins, Alvaro Miyazawa, Ana Cavalcanti, Tim Kelly, John Rowlands

Proceedings of the Computer Safety, Reliability, and Security, 2014

2013

Principled Construction of Software Safety Cases.

Richard Hawkins, Ibrahim Habli, Tim Kelly

Proceedings of the SAFECOMP 2013, 2013

2012

Arguing Conformance.

Patrick J. Graydon, Ibrahim Habli, Richard Hawkins, Tim Kelly, John C. Knight

IEEE Softw., 2012

2011

A New Approach to creating Clear Safety Arguments.

Richard Hawkins, Tim P. Kelly, John C. Knight, Patrick J. Graydon

Proceedings of the Advances in Systems Safety, 2011

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

Richard Hawkins, Kester Dean Clegg, Robert Alexander, Tim Kelly

Proceedings of the Computer Safety, Reliability, and Security, 2011

2010

Software safety: relating software assurance and software integrity.

Ibrahim Habli, Richard Hawkins, Tim Kelly

Int. J. Crit. Comput. Based Syst., 2010

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

Catherine Menon, Richard Hawkins, John A. McDermid, Tim Kelly

Proceedings of the Making Systems Safer, 2010

2009

Standardization and Business Models for Platform Competition: The Case of Mobile Television.

Pieter Ballon, Richard Hawkins

Int. J. IT Stand. Stand. Res., 2009

Toward Acceptable Domestic Robots: Applying Insights from Social Psychology.

James Everett Young, Richard Hawkins, Ehud Sharlin, Takeo Igarashi

Int. J. Soc. Robotics, 2009

Defence Standard 00-56 Issue 4: Towards Evidence-Based Safety Standards.

Catherine Menon, Richard Hawkins, John A. McDermid

Proceedings of the Safety-Critical Systems: Problems, Process and Practice, 2009

2007

Welcome to SIIT 2007.

Richard Hawkins, Patrick Feng, Ken Krechmer

Proceedings of the 5th International Conference on Standardization and Innovation in Information Technology, 2007

Platform competition and 'failure' in the standardization paradigm.

Pieter Ballon, Richard Hawkins

Proceedings of the 5th International Conference on Standardization and Innovation in Information Technology, 2007

Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study.

Jane Fenn, Richard Hawkins, Phil Williams, Tim Kelly

Proceedings of the Safety of Systems, 2007

2003

A Contract-based Approach to Designing Safe Systems.

Iain Bate, Richard Hawkins, John A. McDermid

Proceedings of the Safety Critical Systems and Software 2003, 2003

2002

A Transaction Structure Approach to Assessing the Dynamics and Impacts of 'Business-to-Business' Electronic Commerce.

Richard Hawkins, Pascal Verhoest

J. Comput. Mediat. Commun., 2002

2000

The knowledge production function: lessons from biotechnology.

Paula E. Stephan, David Bruce Audretsch, Richard Hawkins

Int. J. Technol. Manag., 2000