Francesca Saglietti , Norbert Oster (Eds.):
Computer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007.
Lecture Notes in Computer Science 4680 Springer 2007, ISBN 978-3-540-75100-7 Safety Cases
export record as
dblp key:
conf/safecomp/RidderhofGD07 export record as
dblp key:
Impact of Security on Safety
export record as
dblp key:
conf/safecomp/RobinsonLLSPOBC07 export record as
dblp key:
export record as
dblp key:
Poster Session 1
export record as
dblp key:
export record as
dblp key:
conf/safecomp/AlhammouriM07 export record as
dblp key:
Grzegorz J. Nalepa :
Application of the XTT Rule-Based Model for Formal Design and Verification of Internet Security Systems.
81-86
export record as
dblp key:
conf/safecomp/SelhoferGPSS07 export record as
dblp key:
conf/safecomp/HosseiniT07 export record as
dblp key:
conf/safecomp/HeilmannRS07
Fault Tree Analysis
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Safety Analysis
export record as
dblp key:
conf/safecomp/ParkLCKJK07 export record as
dblp key:
Rainer Faller :
Specification of a Software Common Cause Analysis Method.
162-171
export record as
dblp key:
Weihang Wu ,
Tim Kelly :
Combining Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety.
172-186
export record as
dblp key:
Hans Russo ,
Andreas Turk :
Application of Interactive Cause and Effect Diagrams to Safety-Related PES in Industrial Automation.
187-196
Security Aspects
export record as
dblp key:
export record as
dblp key:
conf/safecomp/NilssonPJ07 export record as
dblp key:
export record as
dblp key:
conf/safecomp/BasagiannisKP07
Poster Session 2
export record as
dblp key:
conf/safecomp/ManneringHR07 export record as
dblp key:
conf/safecomp/MiedlLLHMLCKCCLPK07 Horst Miedl ,
Jang-Soo Lee ,
Arndt Lindner ,
Ernst Hoffman ,
Josef Märtz ,
Young-Jun Lee ,
Jong-Gyun Choi ,
Jang-Yeol Kim ,
Kyoung-Ho Cha ,
Se Woo Cheon ,
Cheol-Kwon Lee ,
Gee-Yong Park ,
Kee-Choon Kwon :
Defense-in-Depth and Diverse Qualification of Safety-Critical Software.
258-263
export record as
dblp key:
conf/safecomp/VinterEALS07 export record as
dblp key:
conf/safecomp/SalewskiK07 export record as
dblp key:
export record as
dblp key:
conf/safecomp/MottokSVZ07
Verification and Validation
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/safecomp/LangensteinNRS07
Platform Reliability
export record as
dblp key:
conf/safecomp/MattesPSH07 export record as
dblp key:
conf/safecomp/LeinerSOH07 export record as
dblp key:
Reliability Evaluation
export record as
dblp key:
export record as
dblp key:
Atte Helminen :
Case Study on Bayesian Reliability Estimation of Software Design of Motor Protection Relay.
384-396
export record as
dblp key:
conf/safecomp/RossetSPV07
Poster Session 3
export record as
dblp key:
Kizito Salako :
Bounds on the Reliability of Fault-Tolerant Software Built by Forcing Diversity.
411-416
export record as
dblp key:
conf/safecomp/BobbioTBCM07 export record as
dblp key:
conf/safecomp/DistefanoP07 export record as
dblp key:
Formal Methods
export record as
dblp key:
conf/safecomp/TaubrichH07 export record as
dblp key:
export record as
dblp key:
conf/safecomp/GudemannOR07
Static Code Analysis
export record as
dblp key:
export record as
dblp key:
Safety-Related Architectures
export record as
dblp key:
conf/safecomp/BerthingM07 Jesper Berthing ,
Thomas Maier :
A Taxonomy for Modelling Safety Related Architectures in Compliance with Functional Safety Requirements.
505-517
export record as
dblp key:
export record as
dblp key:
conf/safecomp/Muniyappa07 Ananda Challaghatta Muniyappa :
Improved Availability and Reliability Using Re-configuration Algorithm for Task or Process in a Flight Critical Software.
532-545
data released under the ODC-BY 1.0 license
