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

TOTAL DOCUMENTS

48

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer International Publishing

9783319105567, 9783319105574

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Software Safety Verification Method Based on System-Theoretic Process Analysis

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

10.1007/978-3-319-10557-4_44 ◽

2014 ◽

pp. 401-412 ◽

Author(s):

Asim Abdulkhaleq ◽

Stefan Wagner

Keyword(s):

Process Analysis ◽

Software Safety ◽

Safety Verification ◽

Verification Method

Download Full-text

Does Visualization Speed Up the Safety Analysis Process?

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

10.1007/978-3-319-10557-4_47 ◽

2014 ◽

pp. 431-443

Author(s):

Ragaad AlTarawneh ◽

Max Steiner ◽

Davide Taibi ◽

Shah Rukh Humayoun ◽

Peter Liggesmeyer

Keyword(s):

Safety Analysis ◽

Analysis Process ◽

Download Full-text

Quantifying Uncertainty in Safety Cases Using Evidential Reasoning

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

10.1007/978-3-319-10557-4_45 ◽

2014 ◽

pp. 413-418 ◽

Author(s):

Sunil Nair ◽

Neil Walkinshaw ◽

Tim Kelly

Keyword(s):

Evidential Reasoning ◽

Safety Cases ◽

Quantifying Uncertainty

Download Full-text

Assuring Avionics – Updating the Approach for the 21st Century

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

10.1007/978-3-319-10557-4_41 ◽

2014 ◽

pp. 375-383 ◽

Author(s):

Tom Ferrell ◽

Uma Ferrell

Keyword(s):

Download Full-text

Introduction to the Safecomp 2014 Workshop: Reliability and Security Aspects for Critical Infrastructure Protection (ReSA4CI 2014)

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

10.1007/978-3-319-10557-4_33 ◽

2014 ◽

pp. 301-303

Author(s):

Silvia Bonomi ◽

Ilaria Matteucci

Keyword(s):

Critical Infrastructure ◽

Critical Infrastructure Protection ◽

Infrastructure Protection

Download Full-text

Introduction to the Safecomp 2014 Workshop: DEvelopment, Verification and VAlidation of cRiTical Systems (DEVVARTS ’14)

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

10.1007/978-3-319-10557-4_22 ◽

2014 ◽

pp. 192-194

Author(s):

Francesco Brancati ◽

Nuno Laranjeiro ◽

Ábel Hegedüs

Keyword(s):

Verification And Validation ◽

Critical Systems

Download Full-text

Modelling Resilient Systems-of-Systems in Event-B

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

10.1007/978-3-319-10557-4_19 ◽

2014 ◽

pp. 157-166

Author(s):

Linas Laibinis ◽

Inna Pereverzeva ◽

Elena Troubitsyna

Keyword(s):

Systems Of Systems

Download Full-text

True Error or False Alarm? Refining Astrée’s Abstract Interpretation Results by Embedded Tester’s Automatic Model-Based Testing

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

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

2014 ◽

pp. 84-96

Author(s):

Sayali Salvi ◽

Daniel Kästner ◽

Tom Bienmüller ◽

Christian Ferdinand

Keyword(s):

False Alarm ◽

Abstract Interpretation ◽

Model Based ◽

Model Based Testing

Download Full-text

3rd Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS)

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

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

2014 ◽

pp. 1-2

Author(s):

Renato Librino ◽

Martin Törngren

Keyword(s):

Download Full-text

Towards a Cross-Domain Software Safety Assurance Process for Embedded Systems

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

10.1007/978-3-319-10557-4_43 ◽

2014 ◽

pp. 396-400 ◽

Author(s):

Marc Zeller ◽

Kai Höfig ◽

Martin Rothfelder

Keyword(s):

Embedded Systems ◽

Software Safety ◽

Safety Assurance ◽

Cross Domain ◽

Assurance Process

Download Full-text