| 2004 | A Highly Fault Detectable Cache Architecture for Dependable Computing. Hamid R. Zarandi, Seyed Ghassem Miremadi |
| 2004 | A Hybrid Testing Methodology for Railway Control Systems. Giuseppe De Nicola, Pasquale di Tommaso, Rosaria Esposito, Francesco Flammini, Antonio Orazzo |
| 2004 | Actuator Based Hazard Analysis for Safety Critical Systems. Per Johannessen, Fredrik Törner, Jan Torin |
| 2004 | An Approach for Model-Based Risk Assessment. Bjørn Axel Gran, Rune Fredriksen, Atoosa P.-J. Thunem |
| 2004 | An Empirical Exploration of the Difficulty Function. J. G. W. Bentley, Peter G. Bishop, Meine van der Meulen |
| 2004 | An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth. Alessandro Aldini, Marco Bernardo |
| 2004 | Analysing Mode Confusion: An Approach Using FDR2. Bettina Buth |
| 2004 | Automatic Test Data Generation from Embedded C Code. E. Dillon, Christophe Meudec |
| 2004 | Automotive Telematics - Road Safety Versus IT Security? Ralf Guido Herrtwich |
| 2004 | Compositional Hazard Analysis of UML Component and Deployment Models. Holger Giese, Matthias Tichy, Daniela Schilling |
| 2004 | Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, Proceedings Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann |
| 2004 | Dependability Benchmarking of Web-Servers. João Durães, Marco Vieira, Henrique Madeira |
| 2004 | Handling Safety Critical Requirements in System Engineering Using the B Formal Method . D. Essame |
| 2004 | How Explicit Are the Barriers to Failure in Safety Arguments? Shamus P. Smith, Michael D. Harrison, Bastiaan A. Schupp |
| 2004 | Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems. Michael Cebulla |
| 2004 | Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture. Holger Pfeifer, Friedrich W. von Henke |
| 2004 | Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems. Michael Vollmer |
| 2004 | PLC-Based Safety Critical Software Development for Nuclear Power Plants. Junbeom Yoo, Sung Deok Cha, Han Seong Son, Chang Hwoi Kim, Jang-Soo Lee |
| 2004 | Performability Measures of the Public Mobile Network of a Tele Control System. Ester Ciancamerla, Michele Minichino |
| 2004 | Refinement of Fault Tolerant Control Systems in B. Linas Laibinis, Elena Troubitsyna |
| 2004 | Safety Requirements and Fault Trees Using Retrenchment. Richard Banach, R. Cross |
| 2004 | State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled Systems. Bernhard Kaiser, Catharina Gramlich |
| 2004 | The Deconstruction of Safety Arguments Through Adversarial Counter-Argument. James M. Armstrong, Stephen Paynter |
| 2004 | The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics. D. Rehage, Udo B. Carl, M. Merkel, A. Vahl |
| 2004 | Towards the Integration of Fault, Resource, and Power Management. Titos Saridakis |
| 2004 | Using Formal Methods in a Retrospective Safety Case. Lars-Henrik Eriksson |
| 2004 | Using Fuzzy Self-Organising Maps for Safety Critical Systems. Zeshan Kurd, Tim Kelly |
| 2004 | Why Safety and Security Should and Will Merge. Andreas Pfitzmann |