| 2005 | A Formal Model for Fault-Tolerance in Distributed Systems. Brahim Hamid, Mohamed Mosbah |
| 2005 | A Safety-Related PES for Task-Oriented Real-Time Execution Without Asynchronous Interrupts. Martin Skambraks |
| 2005 | A Technique for Fault Tolerance Assessment of COTS Based Systems. Ruben Alexandersson, D. Krishna Chaitanya, Peter Öhman, Yasir Siraj |
| 2005 | An IEC 62061 Compliant Safety System Design Method for Machinery. Bengt Ljungquist, Thomas Thelin |
| 2005 | Are High-Level Languages Suitable for Robust Telecoms Software?. Jan Henry Nyström, Philip W. Trinder, David J. King |
| 2005 | Automatic Analysis of a Safety Critical Tele Control System. Edoardo Campagnano, Ester Ciancamerla, Michele Minichino, Enrico Tronci |
| 2005 | Automatic Code Generation for PLC Controllers. Krzysztof Sacha |
| 2005 | CMMI RAMS Extension Based on CENELEC Railway Standard. Jose Antonio Fonseca, Jorge Rady de Almeida Jr. |
| 2005 | Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems. Nawal Addouche, Christian Antoine, Jacky Montmain |
| 2005 | Comparing Software Measures with Fault Counts Derived from Unit-Testing of Safety-Critical Software. Wolfgang Herzner, Stephan Ramberger, Thomas Länger, Christian Reumann, Thomas Gruber, Christian Sejkora |
| 2005 | Computer Safety, Reliability, and Security, 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings Rune Winther, Bjørn Axel Gran, Gustav Dahll |
| 2005 | Control and Data Flow Testing on Function Block Diagrams. Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha |
| 2005 | Defining and Decomposing Safety Policy for Systems of Systems. Martin Hall-May, Tim Kelly |
| 2005 | Design Evaluation: Estimating Multiple Critical Performance and Cost Impacts of Designs. Tom Gilb |
| 2005 | End-To-End Worst-Case Response Time Analysis for Hard Real-Time Distributed Systems. Lei Wang, Mingde Zhao, Zengwei Zheng, Zhaohui Wu |
| 2005 | Evolutionary Safety Analysis: Motivations from the Air Traffic Management Domain. Massimo Felici |
| 2005 | Finding Upper Bounds for Software Failure Probabilities - Experiments and Results. Monica Kristiansen |
| 2005 | Functional Apportioning of Safety Requirements on Railway Signalling Systems. Ola Løkberg, Øystein Skogstad |
| 2005 | Generalising Event Trees Using Bayesian Networks with a Case Study of Train Derailment. George Bearfield, William Marsh |
| 2005 | Justification of Smart Sensors for Nuclear Applications. Peter G. Bishop, Robin E. Bloomfield, Sofia Guerra, Konstantinos Tourlas |
| 2005 | Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier. Anjali Joshi, Mats Per Erik Heimdahl |
| 2005 | On the Effectiveness of Run-Time Checks. Meine van der Meulen, Lorenzo Strigini, Miguel A. Revilla |
| 2005 | Problem Frames and Architectures for Security Problems. Denis Hatebur, Maritta Heisel |
| 2005 | Public-Key Cryptography and Availability. Tage Stabell-Kulø, Simone Lupetti |
| 2005 | Safety Interfaces for Component-Based Systems. Jonas Elmqvist, Simin Nadjm-Tehrani, Marius Minea |
| 2005 | Security Research from a Multi-disciplinary and Multi-sectoral Perspective. Atoosa P.-J. Thunem |
| 2005 | The Application of an Object-Oriented Method in Information System Security Evaluation. Qiang Yan, Huaying Shu |
| 2005 | The Importance of Single-Source Engineering of Emergency and Process Shutdown Systems. Robert Martinez, Torgeir Enkerud |
| 2005 | The TACO Approach for Traceability and Communication of Requirements. Terje Sivertsen, Rune Fredriksen, Atoosa P.-J. Thunem, Jan-Erik Holmberg, Janne Valkonen, Olli Ventä, Jan-Ove Andersson |
| 2005 | Towards a Cyber Security Reporting System - A Quality Improvement Process. Jose J. Gonzalez |
| 2005 | Using Safety Critical Artificial Neural Networks in Gas Turbine Aero-Engine Control. Zeshan Kurd, Tim P. Kelly |