21. SAFECOMP 2002:
Catania, Italy
Stuart Anderson,
Sandro Bologna,
Massimo Felici:
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)
Andrea Servida:
Dependability in the Information Society: Getting Ready for the FP6. 10-18
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
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
Yiannis Papadopoulos:
Model-Based On-Line Monitoring Using a State Sensitive Fault Propagation Model. 236-248
Bev Littlewood:
On Diversity, and the Elusiveness of Independence. 249-251
Design for Dependability (Poster Session)
Application of Formal Methods
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
maintained by

, founded at
