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 Berlin Heidelberg

9783540201267, 9783540398783

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Integrity Static Analysis of COTS/SOUP

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

10.1007/978-3-540-39878-3_6 ◽

2003 ◽

pp. 63-76 ◽

Cited By ~ 4

Author(s):

P. Bishop ◽

R. Bloomfield ◽

T. Clement ◽

S. Guerra ◽

C. Jones

Keyword(s):

Static Analysis

Download Full-text

Reuse in Hazard Analysis: Identification and Support

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

10.1007/978-3-540-39878-3_30 ◽

2003 ◽

pp. 382-395 ◽

Cited By ~ 4

Author(s):

Shamus P. Smith ◽

Michael D. Harrison

Keyword(s):

Hazard Analysis

Download Full-text

Safety Assessment of Experimental Air Traffic Management Procedures

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

10.1007/978-3-540-39878-3_28 ◽

2003 ◽

pp. 354-367

Author(s):

Alberto Pasquini ◽

Simone Pozzi

Keyword(s):

Traffic Management ◽

Safety Assessment ◽

Air Traffic Management ◽

Air Traffic ◽

Management Procedures

Download Full-text

On the Role of Traceability for Standards Compliance: Tracking Requirements to Code

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

10.1007/978-3-540-39878-3_24 ◽

2003 ◽

pp. 303-316 ◽

Cited By ~ 2

Author(s):

P. A. J. Mason ◽

A. Saeed ◽

S. Riddle

Keyword(s):

Standards Compliance

Download Full-text

A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity

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

10.1007/978-3-540-39878-3_11 ◽

2003 ◽

pp. 130-143 ◽

Cited By ~ 1

Author(s):

Stefano Bistarelli ◽

Simon N. Foley

Keyword(s):

Qualitative Analysis

Download Full-text

Redundancy Management for Drive-by-Wire Computer Systems

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

10.1007/978-3-540-39878-3_20 ◽

2003 ◽

pp. 249-262 ◽

Cited By ~ 9

Author(s):

Oliver Rooks ◽

Michael Armbruster ◽

Serge Büchli ◽

Armin Sulzmann ◽

Gernot Spiegelberg ◽

...

Keyword(s):

Computer Systems ◽

Redundancy Management

Download Full-text

Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform

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

10.1007/978-3-540-39878-3_5 ◽

2003 ◽

pp. 49-62 ◽

Cited By ~ 55

Author(s):

Marco Bozzano ◽

Adolfo Villafiorita

Keyword(s):

Model Checking ◽

System Reliability ◽

Safety Analysis ◽

Analysis Platform

Download Full-text

The Application of Causal Analysis Techniques for Computer-Related Mishaps

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

10.1007/978-3-540-39878-3_29 ◽

2003 ◽

pp. 368-381

Author(s):

Chris Johnson

Keyword(s):

Causal Analysis ◽

Analysis Techniques

Download Full-text

Web Service Availability – Impact of Error Recovery

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

10.1007/978-3-540-39878-3_14 ◽

2003 ◽

pp. 165-178 ◽

Cited By ~ 3

Author(s):

Magnos Martinello ◽

Mohamed Kaâniche ◽

Karama Kanoun

Keyword(s):

Web Service ◽

Error Recovery ◽

Service Availability

Download Full-text

The Characteristics of Data in Data-Intensive Safety-Related Systems

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

10.1007/978-3-540-39878-3_31 ◽

2003 ◽

pp. 396-409 ◽

Cited By ~ 4

Author(s):

Neil Storey ◽

Alastair Faulkner

Keyword(s):

Data Intensive

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Integrity Static Analysis of COTS/SOUP

Reuse in Hazard Analysis: Identification and Support

Safety Assessment of Experimental Air Traffic Management Procedures

On the Role of Traceability for Standards Compliance: Tracking Requirements to Code

A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity

Redundancy Management for Drive-by-Wire Computer Systems

Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform

The Application of Causal Analysis Techniques for Computer-Related Mishaps

Web Service Availability – Impact of Error Recovery

The Characteristics of Data in Data-Intensive Safety-Related Systems

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