Stuart Anderson, Sandro Bologna, Massimo Felici (Eds.):
Computer Safety, Reliability and Security, 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002, Proceedings.
Lecture Notes in Computer Science 2434 Springer 2002, ISBN 3-540-44157-3 
Human-Computer System Dependability (Joint ECCE-11 & SAFECOMP 2002)
Keynote Talk
Andrea Servida:
Dependability in the Information Society: Getting Ready for the FP6.
10-18
Human Factors
Security
Thomas Droste:
Redundant Data Acquisition in a Distributed Security Compound.
53-60
Dependability Assessment (Poster Session)
Klaus D. Heidtmann:
Statistical Comparison of Two Sum-of-Disjoint-Product Algorithms for Reliability and Safety Evaluation.
70-81
Keynote Talk
Application of Formal Methods (Poster Session)
Wenhui Zhang:
A Strategy for Improving the Efficiency of Procedure Verification.
113-125
Peter T. Popov:
Reliability Assessment of Legacy Safety-Critical Systems Upgraded with Off-the-Shelf Components.
139-150
Reliability Assessment
Design for Dependability
Safety Assessment
Yiannis Papadopoulos:
Model-Based On-Line Monitoring Using a State Sensitive Fault Propagation Model.
236-248
Keynote Talk
Bev Littlewood:
On Diversity, and the Elusiveness of Independence.
249-251
Design for Dependability (Poster Session)
Application of Formal Methods
Design for Dependability
Titos Saridakis:
Dependability and Configurability: Partners or Competitors in Pervasive Computing?
309-320
Iain Bate,
Tim Kelly:
Architectural Considerations in the Certification of Modular Systems.
321-333
data released under the ODC-BY 1.0 license
