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

TOTAL DOCUMENTS

(FIVE YEARS 21)

H-INDEX

(FIVE YEARS 4)

Published By Springer International Publishing

9783030266004, 9783030266011

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A SysML Profile for Fault Trees—Linking Safety Models to System Design

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

10.1007/978-3-030-26601-1_6 ◽

2019 ◽

pp. 85-93 ◽

Cited By ~ 3

Author(s):

Kester Clegg ◽

Mole Li ◽

David Stamp ◽

Alan Grigg ◽

John McDermid

Keyword(s):

System Design ◽

Fault Trees ◽

Safety Models

Download Full-text

Graceful Degradation Design Process for Autonomous Driving System

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

10.1007/978-3-030-26601-1_2 ◽

2019 ◽

pp. 19-34 ◽

Cited By ~ 1

Author(s):

Tasuku Ishigooka ◽

Satoshi Otsuka ◽

Kazuyoshi Serizawa ◽

Ryo Tsuchiya ◽

Fumio Narisawa

Keyword(s):

Design Process ◽

Autonomous Driving ◽

Graceful Degradation ◽

Driving System ◽

Autonomous Driving System

Download Full-text

SafeDeML: On Integrating the Safety Design into the System Model

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

10.1007/978-3-030-26601-1_19 ◽

2019 ◽

pp. 271-285 ◽

Cited By ~ 1

Author(s):

Tim Gonschorek ◽

Philipp Bergt ◽

Marco Filax ◽

Frank Ortmeier ◽

Jan von Hoyningen-Hüne ◽

...

Keyword(s):

System Model ◽

Safety Design

Download Full-text

Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety

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

10.1007/978-3-030-26601-1_17 ◽

2019 ◽

pp. 245-253 ◽

Cited By ~ 5

Author(s):

Philip Koopman ◽

Beth Osyk ◽

Jack Weast

Keyword(s):

Autonomous Vehicles ◽

Physical World

Download Full-text

Fitness Functions for Testing Automated and Autonomous Driving Systems

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

10.1007/978-3-030-26601-1_5 ◽

2019 ◽

pp. 69-84 ◽

Cited By ~ 6

Author(s):

Florian Hauer ◽

Alexander Pretschner ◽

Bernd Holzmüller

Keyword(s):

Autonomous Driving ◽

Fitness Functions

Download Full-text

Practical Experience Report: Engineering Safe Deep Neural Networks for Automated Driving Systems

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

10.1007/978-3-030-26601-1_16 ◽

2019 ◽

pp. 235-244

Author(s):

Jelena Frtunikj

Keyword(s):

Neural Networks ◽

Deep Neural Networks ◽

Practical Experience ◽

Experience Report ◽

Automated Driving

Download Full-text

Dynamic Risk Assessment Enabling Automated Interventions for Medical Cyber-Physical Systems

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

10.1007/978-3-030-26601-1_15 ◽

2019 ◽

pp. 216-231

Author(s):

Fábio L. Leite ◽

Daniel Schneider ◽

Rasmus Adler

Keyword(s):

Risk Assessment ◽

Cyber Physical Systems ◽

Physical Systems ◽

Dynamic Risk ◽

Dynamic Risk Assessment

Download Full-text

Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems

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

10.1007/978-3-030-26601-1_14 ◽

2019 ◽

pp. 200-215 ◽

Cited By ~ 2

Author(s):

Alessandro Cimatti ◽

Rance DeLong ◽

Ivan Stojic ◽

Stefano Tonetta

Keyword(s):

Model Based ◽

Run Time

Download Full-text

BACRank: Ranking Building Automation and Control System Components by Business Continuity Impact

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

10.1007/978-3-030-26601-1_13 ◽

2019 ◽

pp. 183-199 ◽

Cited By ~ 2

Author(s):

Herson Esquivel-Vargas ◽

Marco Caselli ◽

Erik Tews ◽

Doina Bucur ◽

Andreas Peter

Keyword(s):

Control System ◽

Business Continuity ◽

Building Automation ◽

System Components ◽

Automation And Control ◽

And Control

Download Full-text

Increasing Trust in Data-Driven Model Validation

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

10.1007/978-3-030-26601-1_11 ◽

2019 ◽

pp. 155-164 ◽

Cited By ~ 2

Author(s):

Lisa Jöckel ◽

Michael Kläs

Keyword(s):

Model Validation ◽

Data Driven

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

A SysML Profile for Fault Trees—Linking Safety Models to System Design

Graceful Degradation Design Process for Autonomous Driving System

SafeDeML: On Integrating the Safety Design into the System Model

Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety

Fitness Functions for Testing Automated and Autonomous Driving Systems

Practical Experience Report: Engineering Safe Deep Neural Networks for Automated Driving Systems

Dynamic Risk Assessment Enabling Automated Interventions for Medical Cyber-Physical Systems

Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems

BACRank: Ranking Building Automation and Control System Components by Business Continuity Impact

Increasing Trust in Data-Driven Model Validation

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