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

9783319662657, 9783319662664

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Lightweight Threat Analysis Approach Intertwining Safety and Security for the Automotive Domain

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

10.1007/978-3-319-66266-4_20 ◽

2017 ◽

pp. 305-319 ◽

Cited By ~ 7

Author(s):

Jürgen Dürrwang ◽

Kristian Beckers ◽

Reiner Kriesten

Keyword(s):

Analysis Approach ◽

Threat Analysis

Download Full-text

Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications

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

10.1007/978-3-319-66266-4_6 ◽

2017 ◽

pp. 89-104 ◽

Cited By ~ 6

Author(s):

Mehrnoosh Askarpour ◽

Dino Mandrioli ◽

Matteo Rossi ◽

Federico Vicentini

Keyword(s):

Safety Analysis ◽

Operator Behavior ◽

Robotic Applications

Download Full-text

Confidence Assessment Framework for Safety Arguments

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

10.1007/978-3-319-66266-4_4 ◽

2017 ◽

pp. 55-68 ◽

Cited By ~ 4

Author(s):

Rui Wang ◽

Jérémie Guiochet ◽

Gilles Motet

Keyword(s):

Assessment Framework ◽

Confidence Assessment

Download Full-text

Model-Based Safety Analysis for Vehicle Guidance Systems

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

10.1007/978-3-319-66266-4_1 ◽

2017 ◽

pp. 3-19 ◽

Cited By ~ 7

Author(s):

Majdi Ghadhab ◽

Sebastian Junges ◽

Joost-Pieter Katoen ◽

Matthias Kuntz ◽

Matthias Volk

Keyword(s):

Safety Analysis ◽

Vehicle Guidance ◽

Model Based ◽

Guidance Systems

Download Full-text

Arguing on Software-Level Verification Techniques Appropriateness

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

10.1007/978-3-319-66266-4_3 ◽

2017 ◽

pp. 39-54 ◽

Cited By ~ 2

Author(s):

Carmen Cârlan ◽

Barbara Gallina ◽

Severin Kacianka ◽

Ruth Breu

Keyword(s):

Verification Techniques

Download Full-text

Modeling the Safety Architecture of UAS Flight Operations

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

10.1007/978-3-319-66266-4_11 ◽

2017 ◽

pp. 162-178 ◽

Cited By ~ 3

Author(s):

Ewen Denney ◽

Ganesh Pai ◽

Iain Whiteside

Keyword(s):

Flight Operations

Download Full-text

Benchmarking Static Code Analyzers

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

10.1007/978-3-319-66266-4_13 ◽

2017 ◽

pp. 197-212

Author(s):

Jörg Herter ◽

Daniel Kästner ◽

Christoph Mallon ◽

Reinhard Wilhelm

Download Full-text

A Conceptual Safety Supervisor Definition and Evaluation Framework for Autonomous Systems

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

10.1007/978-3-319-66266-4_9 ◽

2017 ◽

pp. 135-148 ◽

Cited By ~ 6

Author(s):

Patrik Feth ◽

Daniel Schneider ◽

Rasmus Adler

Keyword(s):

Autonomous Systems ◽

Evaluation Framework

Download Full-text

Early Safety Assessment of Automotive Systems Using Sabotage Simulation-Based Fault Injection Framework

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

10.1007/978-3-319-66266-4_17 ◽

2017 ◽

pp. 255-269 ◽

Cited By ~ 3

Author(s):

Garazi Juez ◽

Estíbaliz Amparan ◽

Ray Lattarulo ◽

Alejandra Ruíz ◽

Joshué Pérez ◽

...

Keyword(s):

Safety Assessment ◽

Fault Injection ◽

Automotive Systems ◽

Simulation Based

Download Full-text

Generic Management of Availability in Fail-Operational Automotive Systems

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

10.1007/978-3-319-66266-4_12 ◽

2017 ◽

pp. 179-194 ◽

Cited By ~ 1

Author(s):

Philipp Schleiss ◽

Christian Drabek ◽

Gereon Weiss ◽

Bernhard Bauer

Keyword(s):

Automotive Systems ◽

Generic Management

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

A Lightweight Threat Analysis Approach Intertwining Safety and Security for the Automotive Domain

Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications

Confidence Assessment Framework for Safety Arguments

Model-Based Safety Analysis for Vehicle Guidance Systems

Arguing on Software-Level Verification Techniques Appropriateness

Modeling the Safety Architecture of UAS Flight Operations

Benchmarking Static Code Analyzers

A Conceptual Safety Supervisor Definition and Evaluation Framework for Autonomous Systems

Early Safety Assessment of Automotive Systems Using Sabotage Simulation-Based Fault Injection Framework

Generic Management of Availability in Fail-Operational Automotive Systems

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