Francesco Flammini, Sandro Bologna, Valeria Vittorini (Eds.):
Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings.
Lecture Notes in Computer Science 6894 Springer 2011, ISBN 978-3-642-24269-4 
Session 1:
Ram Evaluation 1
Peter Popov,
Gabriele Manno:
The Effect of Correlated Failure Rates on Reliability of Continuous Time 1-Out-of-2 Software.
1-14
Session 2:
Complex Systems Dependability 1
Jean-Paul Blanquart,
Eric Armengaud,
Philippe Baufreton,
Quentin Bourrouilh,
Gerhard Griessnig,
Martin Krammer,
Odile Laurent,
Joseph Machrouh,
Thomas Peikenkamp,
Cecile Schindler,
Tormod Wien:
Towards Cross-Domains Model-Based Safety Process, Methods and Tools for Critical Embedded Systems: The CESAR Approach.
57-70
Session 3:
Formal Verification 1
Session 4:
Risk and Hazard Analysis
Session 5:
Cybersecurity
Session 6:
RAM Evaluation 2
Session 7:
Case Studies
Session 8:
Formal Verification 2
Poster Session
Session 9:
Formal Verification 3
Session 10:
Optimization Methods
Session 11:
Complex Systems Dependability 2
data released under the ODC-BY 1.0 license
