| 2005 | Using Safety Critical Artificial Neural Networks in Gas Turbine Aero-Engine Control. | Zeshan Kurd, Tim P. Kelly |
| 2005 | Finding Upper Bounds for Software Failure Probabilities - Experiments and Results. | Monica Kristiansen |
| 2005 | Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier. | Anjali Joshi, Mats Per Erik Heimdahl |
| 2005 | Control and Data Flow Testing on Function Block Diagrams. | Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha |
| 2005 | Comparing Software Measures with Fault Counts Derived from Unit-Testing of Safety-Critical Software. | Wolfgang Herzner, Stephan Ramberger, Thomas Lnger, Christian Reumann, Thomas Gruber, Christian Sejkora |
| 2005 | Problem Frames and Architectures for Security Problems. | Denis Hatebur, Maritta Heisel |
| 2005 | A Formal Model for Fault-Tolerance in Distributed Systems. | Brahim Hamid, Mohamed Mosbah |
| 2005 | Defining and Decomposing Safety Policy for Systems of Systems. | Martin Hall-May, Tim Kelly |
| 2005 | Towards a Cyber Security Reporting System - A Quality Improvement Process. | Jose J. Gonzalez |
| 2005 | Design Evaluation: Estimating Multiple Critical Performance and Cost Impacts of Designs. | Tom Gilb |
| 2005 | CMMI RAMS Extension Based on CENELEC Railway Standard. | Jose Antonio Fonseca, Jorge Rady de Almeida Jr. |
| 2005 | Evolutionary Safety Analysis: Motivations from the Air Traffic Management Domain. | Massimo Felici |
| 2005 | Safety Interfaces for Component-Based Systems. | Jonas Elmqvist, Simin Nadjm-Tehrani, Marius Minea |
| 2005 | Automatic Analysis of a Safety Critical Tele Control System. | Edoardo Campagnano, Ester Ciancamerla, Michele Minichino, Enrico Tronci |
| 2005 | Justification of Smart Sensors for Nuclear Applications. | Peter G. Bishop, Robin E. Bloomfield, Sofia Guerra, Konstantinos Tourlas |
| 2005 | Generalising Event Trees Using Bayesian Networks with a Case Study of Train Derailment. | George Bearfield, William Marsh |
| 2005 | A Technique for Fault Tolerance Assessment of COTS Based Systems. | Ruben Alexandersson, D. Krishna Chaitanya, Peter hman, Yasir Siraj |
| 2005 | Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems. | Nawal Addouche, Christian Antoine, Jacky Montmain |
| 2004 | A Highly Fault Detectable Cache Architecture for Dependable Computing. | Hamid R. Zarandi, Seyed Ghassem Miremadi |
| 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 | Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems. | Michael Vollmer |
| 2004 | How Explicit Are the Barriers to Failure in Safety Arguments? | Shamus P. Smith, Michael D. Harrison, Bastiaan A. Schupp |
| 2004 | Towards the Integration of Fault, Resource, and Power Management. | Titos Saridakis |
| 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 | Why Safety and Security Should and Will Merge. | Andreas Pfitzmann |