default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRichard Hawkins 0001
Person information
- affiliation: University of York, Department of Computer Science, York, United Kingdom
Other persons with the same name
- Richard Hawkins — disambiguation page
- Richard Hawkins 0002 — University of Calgary, Calgary, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2026
[j9]Richard Hawkins
, Colin Paterson, Ibrahim Habli, Markus Borg:
Safe Machine Learning: Why Performance Is Not Enough. IEEE Softw. 43(2): 11-15 (2026)- [i15]Chris Smith, Richard Hawkins:
Arguing conformance with data protection principles. CoRR abs/2601.15155 (2026) - 2025
- [j8]Colin Paterson, Richard Hawkins, Chiara Picardi, Yan Jia, Radu Calinescu, Ibrahim Habli:
Safety assurance of Machine Learning for autonomous systems. Reliab. Eng. Syst. Saf. 264: 111311 (2025) - [c37]Luís Nascimento, André Luíz de Oliveira, Regina Villela, Edelberto Franco Silva, Ran Wei, Richard Hawkins, Tim Kelly:
Model-Based Security Assurance Cases for Open and Adaptive Cyber-Physical Systems. AINA (8) 2025: 326-340 - [c36]Luís Nascimento, André Luíz de Oliveira, Regina Villela, Hiago Fonseca, Kalinka R. L. J. Castelo Branco, Ran Wei, Richard Hawkins, Tim Kelly:
ACEditor: A Modeling Tool for Specifying and Synthesizing Executable Assurance Cases from Fault Trees. IMBSA 2025: 299-317 - [c35]Sepeedeh Shahbeigi, Richard Hawkins, Simon Burton, Victoria J. Hodge, Colin Paterson, Ibrahim Habli:
A Case Study on Defining Traceable Machine Learning Safety Requirements for an Automotive Perception Component. ISSREW 2025: 21-26 - [c34]Sepeedeh Shahbeigi, Nawshin Mannan Proma, Victoria J. Hodge, Richard Hawkins, Boda Li, Valentina Donzella:
Robustness Requirement Coverage using a Situation Coverage Approach for Vision-based AI Systems. REW 2025: 504-507 - [i14]Richard Hawkins:
Developing Compelling Safety Cases. CoRR abs/2502.00911 (2025) - [i13]Ibrahim Habli, Richard Hawkins, Colin Paterson, Philippa Ryan, Yan Jia, Mark Sujan, John A. McDermid:
The BIG Argument for AI Safety Cases. CoRR abs/2503.11705 (2025) - [i12]Calum C. Imrie, Ioannis Stefanakos, Sepeedeh Shahbeigi, Richard Hawkins, Simon Burton:
Assuring the Safety of Reinforcement Learning Components: AMLAS-RL. CoRR abs/2507.08848 (2025) - [i11]Sepeedeh Shahbeigi, Nawshin Mannan Proma, Victoria J. Hodge, Richard Hawkins, Boda Li, Valentina Donzella:
Robustness Requirement Coverage using a Situation Coverage Approach for Vision-based AI Systems. CoRR abs/2507.12986 (2025) - [i10]Kester Dean Clegg, Richard Hawkins, Ibrahim Habli, Tom Lawton:
Evaluating Metrics for Safety with LLM-as-Judges. CoRR abs/2512.15617 (2025) - 2024
- [j7]John A. McDermid, Radu Calinescu, Ibrahim Habli, Richard Hawkins, Yan Jia, John Molloy, Matt Osborne, Colin Paterson, Zoë Porter, Philippa Ryan Conmy:
The Safety of Autonomy: A Systematic Approach. Computer 57(4): 16-25 (2024) - [c33]Luís Nascimento, André Luíz de Oliveira, Regina Villela, Ran Wei, Richard Hawkins, Tim Kelly:
From Fault Tree Analysis to Runtime Model-Based Assurance Cases. AINA (2) 2024: 451-464 - [c32]Matt Osborne, Richard Hawkins:
Defining an Effective Context for the Safe Operation of Autonomous Systems. EDCC Workshops 2024: 36-48 - [c31]Jane Fenn, Richard Hawkins, Mark Nicholson:
A New Approach to Creating Clear Operational Safety Arguments. SAFECOMP (Workshops) 2024: 227-238 - [c30]Calum Imrie, Rhys Howard, Divya Thuremella, Nawshin Mannan Proma, Tejas Pandey, Paulina Lewinska, Ricardo Cannizzaro, Richard Hawkins, Colin Paterson, Lars Kunze, Victoria J. Hodge:
Aloft: Self-Adaptive Drone Controller Testbed. SEAMS@ICSE 2024: 70-76 - [e2]Behrooz Sangchoolie, Rasmus Adler, Richard Hawkins, Philipp Schleiss, Alessia Arteconi, Adriano Mancini:
Dependable Computing - EDCC 2024 Workshops - SafeAutonomy, TRUST in BLOCKCHAIN, Leuven, Belgium, April 8, 2024, Proceedings. Communications in Computer and Information Science 2078, Springer 2024, ISBN 978-3-031-56775-9 [contents] - [i9]Ozan Vardal, Richard Hawkins, Colin Paterson, Chiara Picardi, Daniel Omeiza, Lars Kunze, Ibrahim Habli:
Learning Run-time Safety Monitors for Machine Learning Components. CoRR abs/2406.16220 (2024) - 2023
- [j6]Richard Hawkins, Chiara Picardi, Lucy Donnell, Murray Ireland:
Creating a Safety Assurance Case for a Machine Learned Satellite-Based Wildfire Detection and Alert System. J. Intell. Robotic Syst. 108(3): 47 (2023) - [c29]Chiara Picardi, Richard Hawkins, Colin Paterson, Ibrahim Habli:
Transfer Assurance for Machine Learning in Autonomous Systems. SafeAI@AAAI 2023 - [c28]Luís Nascimento, André Luíz de Oliveira, Regina Villela, Ran Wei, Richard Hawkins, Tim Kelly:
Runtime Model-Based Assurance of Open and Adaptive Cyber-Physical Systems. AINA (1) 2023: 534-546 - [c27]Lisa Jöckel, Michael Kläs, Janek Groß, Pascal Gerber, Markus Scholz, Jonathan Eberle, Marc Teschner, Daniel Seifert, Richard Hawkins, John Molloy, Jens Ottnad:
Operationalizing Assurance Cases for Data Scientists: A Showcase of Concepts and Tooling in the Context of Test Data Quality for Machine Learning. PROFES (1) 2023: 151-158 - [c26]Richard Hawkins, Philippa Ryan Conmy:
Identifying Run-Time Monitoring Requirements for Autonomous Systems Through the Analysis of Safety Arguments. SAFECOMP 2023: 11-24 - [c25]Rasmus Adler, Jan Reich, Richard Hawkins:
Structuring Research Related to Dynamic Risk Management for Autonomous Systems. SAFECOMP Workshops 2023: 362-368 - [i8]Lisa Jöckel, Michael Kläs, Janek Groß, Pascal Gerber, Markus Scholz, Jonathan Eberle, Marc Teschner, Daniel Seifert, Richard Hawkins, John Molloy, Jens Ottnad:
Operationalizing Assurance Cases for Data Scientists: A Showcase of Concepts and Tooling in the Context of Test Data Quality for Machine Learning. CoRR abs/2312.04917 (2023) - 2022
- [c24]Matt Osborne, Richard Hawkins, John A. McDermid:
Analysing the Safety of Decision-Making in Autonomous Systems. SAFECOMP 2022: 3-16 - [e1]Stefano Marrone, Martina De Sanctis, Imre Kocsis, Rasmus Adler, Richard Hawkins, Philipp Schleiß, Stefano Marrone, Roberto Nardone, Francesco Flammini, Valeria Vittorini:
Dependable Computing - EDCC 2022 Workshops - SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, Proceedings. Communications in Computer and Information Science 1656, Springer 2022, ISBN 978-3-031-16244-2 [contents] - [i7]Victoria J. Hodge, Richard Hawkins, James Hilder, Ibrahim Habli:
Analysing Ultra-Wide Band Positioning for Geofencing in a Safety Assurance Context. CoRR abs/2203.05830 (2022) - [i6]Richard Hawkins, Matt Osborne, Mike Parsons, Mark Nicholson, John A. McDermid, Ibrahim Habli:
Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE). CoRR abs/2208.00853 (2022) - [i5]Richard Hawkins, Chiara Picardi, Lucy Donnell, Murray Ireland:
Creating a Safety Assurance Case for an ML Satellite-Based Wildfire Detection and Alert System. CoRR abs/2211.04530 (2022) - 2021
- [j5]Victoria J. Hodge, Richard Hawkins, Rob Alexander:
Deep reinforcement learning for drone navigation using sensor data. Neural Comput. Appl. 33(6): 2015-2033 (2021) - [c23]Vibhu Gautam, Youcef Gheraibia, Rob Alexander, Richard Hawkins:
Runtime Decision Making Under Uncertainty in Autonomous Vehicles. SafeAI@AAAI 2021 - [c22]Haris Aftab, Vibhu Gautam, Richard Hawkins, Rob Alexander, Ibrahim Habli:
Robust Intent Classification Using Bayesian LSTM for Clinical Conversational Agents (CAs). MobiHealth 2021: 106-118 - [i4]Richard Hawkins, Colin Paterson, Chiara Picardi, Yan Jia, Radu Calinescu, Ibrahim Habli:
Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS). CoRR abs/2102.01564 (2021) - [i3]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:
DEIS: Dependability Engineering Innovation for Industrial CPS. CoRR abs/2106.01729 (2021) - 2020
- [c21]Chiara Picardi, Colin Paterson, Richard Hawkins, Radu Calinescu, Ibrahim Habli:
Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems. SafeAI@AAAI 2020: 23-30 - [c20]Nungki Selviandro, Richard Hawkins, Ibrahim Habli:
A Visual Notation for the Representation of Assurance Cases Using SACM. IMBSA 2020: 3-18 - [c19]Lydia Gauerhof, Richard Hawkins, Chiara Picardi, Colin Paterson, Yuki Hagiwara, Ibrahim Habli:
Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings. SAFECOMP 2020: 197-212 - [i2]Ibrahim Habli, Rob Alexander, Richard Hawkins, Mark Sujan, John A. McDermid, Chiara Picardi, Tom Lawton:
Enhancing Covid-19 Decision-Making by Creating an Assurance Case for Simulation Models. CoRR abs/2005.08381 (2020)
2010 – 2019
- 2019
- [j4]Ran Wei, Tim P. Kelly, Xiaotian Dai, Shuai Zhao, Richard Hawkins:
Model based system assurance using the structured assurance case metamodel. J. Syst. Softw. 154: 211-233 (2019) - [c18]Chiara Picardi, Richard Hawkins, Colin Paterson, Ibrahim Habli:
A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems. SAFECOMP 2019: 165-179 - [c17]Simon Burton, Lydia Gauerhof, Bibhuti Bhusan Sethy, Ibrahim Habli, Richard Hawkins:
Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions. SAFECOMP Workshops 2019: 365-377 - [i1]Ran Wei, Tim P. Kelly, Xiaotian Dai, Shuai Zhao, Richard Hawkins:
Model Based System Assurance Using the Structured Assurance Case Metamodel. CoRR abs/1905.02427 (2019) - 2018
- [c16]Mohammad Ashjaei, Kester Dean Clegg, Lorenzo Corneo, Richard Hawkins, Omar Jaradat, Vincenzo Massimiliano Gulisano, Yiannis Nikolakopoulos:
Service Level Agreements for Safe and Configurable Production Environments. ETFA 2018: 1252-1255 - [c15]Nungki Selviandro, Tim Kelly, Richard Hawkins:
The visual inheritance structure to support the design of visual notations. MoDELS (Workshops) 2018: 746-753 - 2017
- [j3]Chung-Ling Lin, Wuwei Shen, Richard Hawkins:
Support for safety case generation via model transformation. SIGBED Rev. 14(2): 44-52 (2017) - [c14]Omar Jaradat, Irfan Sljivo, Ibrahim Habli, Richard Hawkins:
Challenges of Safety Assurance for Industry 4.0. EDCC 2017: 103-106 - [c13]Ran Wei, Tim P. Kelly, Richard Hawkins, Eric Armengaud:
DEIS: Dependability Engineering Innovation for Cyber-Physical Systems. STAF Workshops 2017: 409-416 - 2016
- [c12]Richard Hawkins, Thomas Richardson, Tim Kelly:
Using Process Models in System Assurance. SAFECOMP 2016: 27-38 - 2015
- [c11]Richard Hawkins, Ibrahim Habli, Dimitrios S. Kolovos, Richard F. Paige, Tim Kelly:
Weaving an Assurance Case from Design: A Model-Based Approach. HASE 2015: 110-117 - [c10]Fredrik Asplund, Martin Törngren, Richard Hawkins, John A. McDermid:
The Need for a Confidence View of CPS Support Environments (Fast Abstract). HASE 2015: 273-274 - [c9]Richard Hawkins, Tim Kelly, Ibrahim Habli:
Developing Assurance Cases for D-MILS Systems. MILS@HiPEAC 2015 - 2014
- [c8]Richard Hawkins, Alvaro Miyazawa, Ana Cavalcanti, Tim Kelly, John Rowlands:
Assurance Cases for Block-Configurable Software. SAFECOMP 2014: 155-169 - 2013
- [c7]Richard Hawkins, Ibrahim Habli, Tim Kelly:
Principled Construction of Software Safety Cases. SASSUR@SAFECOMP 2013 - 2012
- [j2]Patrick J. Graydon, Ibrahim Habli, Richard Hawkins, Tim Kelly, John C. Knight:
Arguing Conformance. IEEE Softw. 29(3): 50-57 (2012) - 2011
- [c6]Richard Hawkins, Kester Dean Clegg, Robert Alexander, Tim Kelly:
Using a Software Safety Argument Pattern Catalogue: Two Case Studies. SAFECOMP 2011: 185-198 - [c5]Richard Hawkins, Tim P. Kelly, John C. Knight, Patrick J. Graydon:
A New Approach to creating Clear Safety Arguments. SSS 2011: 3-23 - 2010
- [j1]Ibrahim Habli, Richard Hawkins, Tim Kelly:
Software safety: relating software assurance and software integrity. Int. J. Crit. Comput. Based Syst. 1(4): 364-383 (2010) - [c4]Catherine Menon, Richard Hawkins, John A. McDermid, Tim Kelly:
An Overview of the SoBP for Software in the Context of DS 00-56 Issue 4. SSS 2010: 129-147
2000 – 2009
- 2009
- [c3]Catherine Menon, Richard Hawkins, John A. McDermid:
Defence Standard 00-56 Issue 4: Towards Evidence-Based Safety Standards. SSS 2009: 223-243 - 2007
- [c2]Jane Fenn, Richard Hawkins, Phil Williams, Tim Kelly:
Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study. SSS 2007: 133-146 - 2006
- [b1]Richard D. Hawkins:
Using safety contracts in the development of safety critical object-oriented systems. University of York, UK, 2006 - 2003
- [c1]Iain Bate, Richard Hawkins, John A. McDermid:
A Contract-based Approach to Designing Safe Systems. SCS 2003: 25-36
Coauthor Index
aka: Tim P. Kelly
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2026-03-24 22:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
