| 2004 | Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture. | Holger Pfeifer, Friedrich W. von Henke |
| 2004 | A Hybrid Testing Methodology for Railway Control Systems. | Giuseppe De Nicola, Pasquale di Tommaso, Rosaria Esposito, Francesco Flammini, Antonio Orazzo |
| 2004 | Refinement of Fault Tolerant Control Systems in B. | Linas Laibinis, Elena Troubitsyna |
| 2004 | Using Fuzzy Self-Organising Maps for Safety Critical Systems. | Zeshan Kurd, Tim Kelly |
| 2004 | State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled Systems. | Bernhard Kaiser, Catharina Gramlich |
| 2004 | Actuator Based Hazard Analysis for Safety Critical Systems. | Per Johannessen, Fredrik Trner, Jan Torin |
| 2004 | Automotive Telematics - Road Safety Versus IT Security? | Ralf Guido Herrtwich |
| 2004 | An Approach for Model-Based Risk Assessment. | Bjrn Axel Gran, Rune Fredriksen, Atoosa P.-J. Thunem |
| 2004 | Compositional Hazard Analysis of UML Component and Deployment Models. | Holger Giese, Matthias Tichy, Daniela Schilling |
| 2004 | Handling Safety Critical Requirements in System Engineering Using the B Formal Method . | D. Essame |
| 2004 | Using Formal Methods in a Retrospective Safety Case. | Lars-Henrik Eriksson |
| 2004 | Dependability Benchmarking of Web-Servers. | Joo Dures, Marco Vieira, Henrique Madeira |
| 2004 | Automatic Test Data Generation from Embedded C Code. | E. Dillon, Christophe Meudec |
| 2004 | Performability Measures of the Public Mobile Network of a Tele Control System. | Ester Ciancamerla, Michele Minichino |
| 2004 | Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems. | Michael Cebulla |
| 2004 | Analysing Mode Confusion: An Approach Using FDR2. | Bettina Buth |
| 2004 | An Empirical Exploration of the Difficulty Function. | J. G. W. Bentley, Peter G. Bishop, Meine van der Meulen |
| 2004 | Safety Requirements and Fault Trees Using Retrenchment. | Richard Banach, R. Cross |
| 2004 | The Deconstruction of Safety Arguments Through Adversarial Counter-Argument. | James M. Armstrong, Stephen Paynter |
| 2004 | An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth. | Alessandro Aldini, Marco Bernardo |
| 2003 | Elicitation and Validation of Graphical Dependability Models. | David Wright |
| 2003 | Enhancing Software Safety by Fault Trees: Experiences from an Application to Flight Critical SW. | Wolfgang Weber, Heidemarie Tondok, Michael Bachmayer |
| 2003 | Tools Supporting the Communication of Critical Domain Knowledge in High-Consequence Systems Development. | Kimberly S. Wasson, John C. Knight, Elisabeth A. Strunk, Sean R. Travis |
| 2003 | Issues in Safety Assurance. | M. Thomas |
| 2003 | The Characteristics of Data in Data-Intensive Safety-Related Systems. | N. Storey, Alastair Faulkner |