Dependable Computing–EDCC 2022 Workshops

Stefano Marrone , Martina De Sanctis , Imre Kocsis , Rasmus Adler

Guidance on the assurance of machine learning in autonomous systems (AMLAS)

Richard Hawkins , Colin Paterson , Chiara Picardi , Yan Jia
arXiv preprint arXiv:2102.01564

87
2021
The Safety of Autonomy: A Systematic Approach

John A McDermid , Radu Calinescu , Ibrahim Habli , Richard Hawkins
Computer 57 ( 4) 16 -25

2024
2023
Security Assurance Cases: Motivation and the State of the Art

Rob Alexander , Richard Hawkins , Tim Kelly

54
2011
Robust intent classification using Bayesian LSTM for clinical conversational agents (CAs)

Haris Aftab , Vibhu Gautam , Richard Hawkins , Rob Alexander
Springer International Publishing 106 -118

2
2021
Understanding safety engineering practice: Comparing safety engineering practice as desired, as required, and as observed

Matt Osborne , Richard Hawkins , Mark Nicholson , Rob Alexander
Safety science 172 106424 -106424

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

Richard Hawkins , Matt Osborne , Mike Parsons , Mark Nicholson
arXiv preprint arXiv:2208.00853

10
2022
Analysing the safety of decision-making in autonomous systems

Matt Osborne , Richard Hawkins , John McDermid
Springer International Publishing 3 -16

6
2022
Safety assurance of autonomy to support the Fourth Industrial Revolution

Richard Hawkins , John McDermid
Policy Links (Institute for Manufacturing, University of Cambridge

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

Catherine Menon , Richard Hawkins , John McDermid , Tim Kelly
Making Systems Safer: Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010 129 -147

2
2010
Deis: dependability engineering innovation for industrial cps

Eric Armengaud , Georg Macher , Alexander Massoner , Sebastian Frager
Advanced Microsystems for Automotive Applications 2017: Smart Systems Transforming the Automobile 151 -163

11
2018
The principles of software safety assurance

Richard Hawkins , Ibrahim Habli , Tim Kelly
31st International System Safety Conference 12 -16

43
2013
A software safety argument pattern catalogue

Richard Hawkins , Tim Kelly
The University of York, York 30

42
2013
The Observations of Sir Richard Hawkins

Richard Hawkins , James Alexander Williamson
(No Title)

29
1970
27
2003
Interim standard of best practice on software in the context of DS 00-56 Issue 4

Catherine Menon , Richard Hawkins , John McDermid
Standard of Best Practice ( 1)

24
2009
Deis: Dependability engineering innovation for cyber-physical systems

Ran Wei , Tim P Kelly , Richard Hawkins , Eric Armengaud
Software Technologies: Applications and Foundations: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers 409 -416

19
2018
Developing Assurance Cases for D-MILS Systems.

Richard Hawkins , Tim Kelly , Ibrahim Habli
MILS@ HiPEAC

13
2015
A visual notation for the representation of assurance cases using sacm

Nungki Selviandro , Richard Hawkins , Ibrahim Habli
Model-Based Safety and Assessment: 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings 7 3 -18

12
2020