Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 31)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030555825, 9783030555832

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Safety-Critical Software Development in C++

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops - Lecture Notes in Computer Science ◽

10.1007/978-3-030-55583-2_7 ◽

2020 ◽

pp. 98-110

Author(s):

Daniel Kästner ◽

Christoph Cullmann ◽

Gernot Gebhard ◽

Sebastian Hahn ◽

Thomas Karos ◽

...

Keyword(s):

Software Development ◽

Safety Critical

Download Full-text

Formalising the Impact of Security Attacks on IoT Safety

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops - Lecture Notes in Computer Science ◽

10.1007/978-3-030-55583-2_5 ◽

2020 ◽

pp. 69-81

Author(s):

Ehsan Poorhadi ◽

Elena Troubitysna ◽

György Dan

Keyword(s):

Security Attacks ◽

The Impact

Download Full-text

A Safety Case Pattern for Systems with Machine Learning Components

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops - Lecture Notes in Computer Science ◽

10.1007/978-3-030-55583-2_28 ◽

2020 ◽

pp. 370-382

Author(s):

Ernest Wozniak ◽

Carmen Cârlan ◽

Esra Acar-Celik ◽

Henrik J. Putzer

Keyword(s):

Machine Learning ◽

Safety Case

Download Full-text

Towards Building Data Trust and Transparency in Data-Driven Business Applications

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops - Lecture Notes in Computer Science ◽

10.1007/978-3-030-55583-2_17 ◽

2020 ◽

pp. 229-242

Author(s):

Annanda Rath ◽

Wim Codenie ◽

Anna Hristoskova

Keyword(s):

Data Driven ◽

Business Applications

Download Full-text

Multilevel Runtime Security and Safety Monitoring for Cyber Physical Systems Using Model-Based Engineering

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops - Lecture Notes in Computer Science ◽

10.1007/978-3-030-55583-2_14 ◽

2020 ◽

pp. 193-204

Author(s):

Smitha Gautham ◽

Athira V. Jayakumar ◽

Carl Elks

Keyword(s):

Safety Monitoring ◽

Cyber Physical Systems ◽

Physical Systems ◽

Model Based

Download Full-text

Collecting and Classifying Security and Privacy Design Patterns for Connected Vehicles: SECREDAS Approach

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops - Lecture Notes in Computer Science ◽

10.1007/978-3-030-55583-2_3 ◽

2020 ◽

pp. 36-53

Author(s):

Nadja Marko ◽

Alexandr Vasenev ◽

Christoph Striecks

Keyword(s):

Design Patterns ◽

Security And Privacy ◽

Connected Vehicles

Download Full-text

A Method to Support the Accountability of Safety Cases by Integrating Safety Analysis and Model-Based Design

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops - Lecture Notes in Computer Science ◽

10.1007/978-3-030-55583-2_2 ◽

2020 ◽

pp. 23-35

Author(s):

Nobuaki Tanaka ◽

Hisashi Yomiya ◽

Kiyoshi Ogawa

Keyword(s):

Safety Analysis ◽

Model Based ◽

Safety Cases

Download Full-text

Towards a DevOps Approach in Cyber Physical Production Systems Using Digital Twins

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops - Lecture Notes in Computer Science ◽

10.1007/978-3-030-55583-2_15 ◽

2020 ◽

pp. 205-216

Author(s):

Miriam Ugarte Querejeta ◽

Leire Etxeberria ◽

Goiuria Sagardui

Keyword(s):

Production Systems ◽

Digital Twins ◽

Cyber Physical Production Systems

Download Full-text

LoRaWAN with HSM as a Security Improvement for Agriculture Applications

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops - Lecture Notes in Computer Science ◽

10.1007/978-3-030-55583-2_13 ◽

2020 ◽

pp. 176-188

Author(s):

Reinhard Kloibhofer ◽

Erwin Kristen ◽

Luca Davoli

Download Full-text

Safety and Security Interference Analysis in the Design Stage

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops - Lecture Notes in Computer Science ◽

10.1007/978-3-030-55583-2_4 ◽

2020 ◽

pp. 54-68

Author(s):

Jabier Martinez ◽

Jean Godot ◽

Alejandra Ruiz ◽

Abel Balbis ◽

Ricardo Ruiz Nolasco

Keyword(s):

Design Stage ◽

Interference Analysis

Download Full-text

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Safety-Critical Software Development in C++

Formalising the Impact of Security Attacks on IoT Safety

A Safety Case Pattern for Systems with Machine Learning Components

Towards Building Data Trust and Transparency in Data-Driven Business Applications

Multilevel Runtime Security and Safety Monitoring for Cyber Physical Systems Using Model-Based Engineering

Collecting and Classifying Security and Privacy Design Patterns for Connected Vehicles: SECREDAS Approach

A Method to Support the Accountability of Safety Cases by Integrating Safety Analysis and Model-Based Design

Towards a DevOps Approach in Cyber Physical Production Systems Using Digital Twins

LoRaWAN with HSM as a Security Improvement for Agriculture Applications

Safety and Security Interference Analysis in the Design Stage

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops - Lecture Notes in Computer Science
Latest Publications