| 2003 | A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity. Stefano Bistarelli, Simon N. Foley |
| 2003 | A Dependability Model for Domestic Systems. Guy Dewsbury, Ian Sommerville, Karen Clarke, Mark Rouncefield |
| 2003 | A Unified Tool for Performance Modelling and Prediction. Stephen Gilmore, Leïla Kloul |
| 2003 | An Approach to Trust Case Development. Janusz Górski, Aleksander Jarzebowicz, Rafal Leszczyna, Jakub Miler, Marcin Olszewski |
| 2003 | Automatic Timeliness Verification of a Public Mobile Network. Ester Ciancamerla, Michele Minichino, S. Serro, Enrico Tronci |
| 2003 | Byzantine Fault Tolerance, from Theory to Reality. K. Driscoll, B. Hall, Håkan Sivencrona, P. Zumsteg |
| 2003 | Computer Safety, Reliability, and Security, 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings Stuart Anderson, Massimo Felici, Bev Littlewood |
| 2003 | Critical Feature Analysis of a Radiotherapy Machine. Andrew Rae, Daniel Jackson, Prasad Ramanan, Jay Flanz, Didier Leyman |
| 2003 | Dependability and Survivability of Large Complex Critical Infrastructures. Sandro Bologna, Claudio Balducelli, Giovanni Dipoppa, Giordano Vicoli |
| 2003 | Dependable Communication Synthesis for Distributed Embedded Systems. Nagarajan Kandasamy, John P. Hayes, Brian T. Murray |
| 2003 | Developing High Assurance Systems: On the Role of Software Tools. Constance L. Heitmeyer |
| 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 | Fault-Tolerant Communication System to Improve Safety in Railway Environments. César Mataix, Pedro Martín, Francisco Javier Rodríguez, Maria J. Manzano, Javier Pozo |
| 2003 | Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform. Marco Bozzano, Adolfo Villafiorita |
| 2003 | Integrity Static Analysis of COTS/SOUP. Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra, Claire Jones |
| 2003 | Issues in Safety Assurance. M. Thomas |
| 2003 | Modelling and Verification of Layered Security Protocols: A Bank Application. Johannes Grünbauer, Helia Hollmann, Jan Jürjens, Guido Wimmel |
| 2003 | On the Role of Traceability for Standards Compliance: Tracking Requirements to Code. Paul Mason, Amer Saeed, Steve Riddle |
| 2003 | Quantitative Reliability Estimation of a Computer-Based Motor Protection Relay Using Bayesian Networks. Atte Helminen, U. Pulkkinen |
| 2003 | Redundancy Management for Drive-by-Wire Computer Systems. Oliver Rooks, Michael Armbruster, S. Büchli, Armin Sulzmann, Gernot Spiegelberg, Uwe Kiencke |
| 2003 | Reliable Data Replication in a Wireless Medical Emergency Network. Joe Gorman, Ståle Walderhaug, Håvard Kvålen |
| 2003 | Reuse in Hazard Analysis: Identification and Support. Shamus P. Smith, Michael D. Harrison |
| 2003 | Safety Assessment of Experimental Air Traffc Management Procedures. Alberto Pasquini, Simone Pozzi |
| 2003 | Safety Lifecycle for Developing Safety Critical Artificial Neural Networks. Zeshan Kurd, Tim Kelly |
| 2003 | Security Policy Configuration Issues in Grid Computing Environments. George Angelis, Stefanos Gritzalis, Costas Lambrinoudakis |
| 2003 | Software Tamper Resistance Using Program Certificates. Hongxia Jin, Gregory F. Sullivan, Gerald M. Masson |
| 2003 | The Application of Causal Analysis Techniques for Computer-Related Mishaps. Chris W. Johnson |
| 2003 | The Characteristics of Data in Data-Intensive Safety-Related Systems. N. Storey, Alastair Faulkner |
| 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 | Using IEC 61508 to Guide the Investigation of Computer-Related Incidents and Accidents. Chris W. Johnson |
| 2003 | Visual Modeling and Verification of Distributed Reactive Systems. Asif Iqbal, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh |
| 2003 | Web Service Availability - Impact of Error Recovery. Magnos Martinello, Mohamed Kaâniche, Karama Kanoun |