Lecture Notes in Computer Science - Computer Safety, Reliability, and Security
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030545482, 9783030545499

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-030-54549-9_28 ◽

2020 ◽

pp. 419-433 ◽

Cited By ~ 1

Author(s):

João R. Campos ◽

Ernesto Costa ◽

Marco Vieira

Keyword(s):

Fault Injection

Safety Meets Security: Using IEC 62443 for a Highly Automated Road Vehicle

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-030-54549-9_22 ◽

2020 ◽

pp. 325-340

Author(s):

Dominik Püllen ◽

Nikolaos Anagnostopoulos ◽

Tolga Arul ◽

Stefan Katzenbeisser

Keyword(s):

Road Vehicle ◽

Iec 62443

Cyber-Security of Neural Networks in Medical Devices

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-030-54549-9_19 ◽

2020 ◽

pp. 289-297

Author(s):

Uwe Becker

Keyword(s):

Neural Networks ◽

Medical Devices ◽

Cyber Security

Predicting Railway Signalling Commands Using Neural Networks for Anomaly Detection

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-030-54549-9_11 ◽

2020 ◽

pp. 164-178

Author(s):

Markus Heinrich ◽

Dominik Renkel ◽

Tolga Arul ◽

Stefan Katzenbeisser

Keyword(s):

Neural Networks ◽

Anomaly Detection ◽

Railway Signalling

Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-030-54549-9_17 ◽

2020 ◽

pp. 260-269

Author(s):

Rob Ashmore ◽

James Sharp

An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-030-54549-9_10 ◽

2020 ◽

pp. 150-163

Author(s):

Christopher Deloglos ◽

Carl Elks ◽

Ashraf Tantawy

Keyword(s):

Cyber Physical Systems ◽

Modeling Framework ◽

Physical Systems ◽

Systems Security

Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-030-54549-9_13 ◽

2020 ◽

pp. 197-212

Author(s):

Lydia Gauerhof ◽

Richard Hawkins ◽

Chiara Picardi ◽

Colin Paterson ◽

Yuki Hagiwara ◽

...

Keyword(s):

Machine Learning ◽

Pedestrian Detection

A Compositional Semantics for Repairable BDMPs

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-030-54549-9_6 ◽

2020 ◽

pp. 82-98

Author(s):

Shahid Khan ◽

Joost-Pieter Katoen ◽

Marc Bouissou

Keyword(s):

Compositional Semantics

Safety-Aware Hardening of 3D Object Detection Neural Network Systems

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-030-54549-9_14 ◽

2020 ◽

pp. 213-227

Author(s):

Chih-Hong Cheng

Keyword(s):

Neural Network ◽

Object Detection ◽

Network Systems ◽

3D Object ◽

3D Object Detection

Quantifying Assurance in Learning-Enabled Systems

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-030-54549-9_18 ◽

2020 ◽

pp. 270-286

Author(s):

Erfan Asaadi ◽

Ewen Denney ◽

Ganesh Pai

Lecture Notes in Computer Science - Computer Safety, Reliability, and SecurityLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study

Safety Meets Security: Using IEC 62443 for a Highly Automated Road Vehicle

Cyber-Security of Neural Networks in Medical Devices

Predicting Railway Signalling Commands Using Neural Networks for Anomaly Detection

Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware

An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security

Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings

A Compositional Semantics for Repairable BDMPs

Safety-Aware Hardening of 3D Object Detection Neural Network Systems

Quantifying Assurance in Learning-Enabled Systems

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security
Latest Publications