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

9783540231769, 9783540301387

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Analysing Mode Confusion: An Approach Using FDR2

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

10.1007/978-3-540-30138-7_9 ◽

2004 ◽

pp. 101-114 ◽

Cited By ~ 13

Author(s):

Bettina Buth

Download Full-text

Compositional Hazard Analysis of UML Component and Deployment Models

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

10.1007/978-3-540-30138-7_15 ◽

2004 ◽

pp. 166-179 ◽

Cited By ~ 22

Author(s):

Holger Giese ◽

Matthias Tichy ◽

Daniela Schilling

Keyword(s):

Hazard Analysis

Download Full-text

Automotive Telematics – Road Safety Versus IT Security?

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

10.1007/978-3-540-30138-7_20 ◽

2004 ◽

pp. 239-239 ◽

Cited By ~ 2

Author(s):

Ralf G. Herrtwich

Keyword(s):

Road Safety ◽

It Security

Download Full-text

Automatic Test Data Generation from Embedded C Code

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

10.1007/978-3-540-30138-7_16 ◽

2004 ◽

pp. 180-194 ◽

Cited By ~ 1

Author(s):

Eileen Dillon ◽

Christophe Meudec

Keyword(s):

Test Data ◽

Test Data Generation ◽

Data Generation ◽

Automatic Test ◽

Automatic Test Data Generation

Download Full-text

Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture

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

10.1007/978-3-540-30138-7_21 ◽

2004 ◽

pp. 240-253 ◽

Cited By ~ 3

Author(s):

Holger Pfeifer ◽

Friedrich W. von Henke

Keyword(s):

Formal Analysis

Download Full-text

Dependability Benchmarking of Web-Servers

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

10.1007/978-3-540-30138-7_25 ◽

2004 ◽

pp. 297-310 ◽

Cited By ~ 28

Author(s):

João Durães ◽

Marco Vieira ◽

Henrique Madeira

Keyword(s):

Web Servers

Download Full-text

An Approach for Model-Based Risk Assessment

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

10.1007/978-3-540-30138-7_26 ◽

2004 ◽

pp. 311-324 ◽

Cited By ~ 15

Author(s):

Bjørn Axel Gran ◽

Rune Fredriksen ◽

Atoosa P. -J. Thunem

Keyword(s):

Risk Assessment ◽

Model Based

Download Full-text

Towards the Integration of Fault, Resource, and Power Management

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

10.1007/978-3-540-30138-7_7 ◽

2004 ◽

pp. 72-86 ◽

Cited By ~ 2

Author(s):

Titos Saridakis

Keyword(s):

Power Management

Download Full-text

Why Safety and Security Should and Will Merge

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

10.1007/978-3-540-30138-7_1 ◽

2004 ◽

pp. 1-2 ◽

Cited By ~ 8

Author(s):

Andreas Pfitzmann

Download Full-text

Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems

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

10.1007/978-3-540-30138-7_23 ◽

2004 ◽

pp. 269-282 ◽

Cited By ~ 2

Author(s):

Michael Vollmer

Keyword(s):

Numerical Integration ◽

Safety Critical

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Analysing Mode Confusion: An Approach Using FDR2

Compositional Hazard Analysis of UML Component and Deployment Models

Automotive Telematics – Road Safety Versus IT Security?

Automatic Test Data Generation from Embedded C Code

Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture

Dependability Benchmarking of Web-Servers

An Approach for Model-Based Risk Assessment

Towards the Integration of Fault, Resource, and Power Management

Why Safety and Security Should and Will Merge

Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems

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