| 2003 | Reuse in Hazard Analysis: Identification and Support. | Shamus P. Smith, Michael D. Harrison |
| 2003 | Redundancy Management for Drive-by-Wire Computer Systems. | Oliver Rooks, Michael Armbruster, S. Bchli, Armin Sulzmann, Gernot Spiegelberg, Uwe Kiencke |
| 2003 | Critical Feature Analysis of a Radiotherapy Machine. | Andrew Rae, Daniel Jackson, Prasad Ramanan, Jay Flanz, Didier Leyman |
| 2003 | Safety Assessment of Experimental Air Traffc Management Procedures. | Alberto Pasquini, Simone Pozzi |
| 2003 | Fault-Tolerant Communication System to Improve Safety in Railway Environments. | Csar Mataix, Pedro Martn, Francisco Javier Rodrguez, Maria J. Manzano, Javier Pozo |
| 2003 | On the Role of Traceability for Standards Compliance: Tracking Requirements to Code. | Paul Mason, Amer Saeed, Steve Riddle |
| 2003 | Web Service Availability - Impact of Error Recovery. | Magnos Martinello, Mohamed Kaniche, Karama Kanoun |
| 2003 | Safety Lifecycle for Developing Safety Critical Artificial Neural Networks. | Zeshan Kurd, Tim Kelly |
| 2003 | Dependable Communication Synthesis for Distributed Embedded Systems. | Nagarajan Kandasamy, John P. Hayes, Brian T. Murray |
| 2003 | Using IEC 61508 to Guide the Investigation of Computer-Related Incidents and Accidents. | Chris W. Johnson |
| 2003 | The Application of Causal Analysis Techniques for Computer-Related Mishaps. | Chris W. Johnson |
| 2003 | Software Tamper Resistance Using Program Certificates. | Hongxia Jin, Gregory F. Sullivan, Gerald M. Masson |
| 2003 | Visual Modeling and Verification of Distributed Reactive Systems. | Asif Iqbal, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh |
| 2003 | Quantitative Reliability Estimation of a Computer-Based Motor Protection Relay Using Bayesian Networks. | Atte Helminen, U. Pulkkinen |
| 2003 | Developing High Assurance Systems: On the Role of Software Tools. | Constance L. Heitmeyer |
| 2003 | Modelling and Verification of Layered Security Protocols: A Bank Application. | Johannes Grnbauer, Helia Hollmann, Jan Jrjens, Guido Wimmel |
| 2003 | An Approach to Trust Case Development. | Janusz Grski, Aleksander Jarzebowicz, Rafal Leszczyna, Jakub Miler, Marcin Olszewski |
| 2003 | Reliable Data Replication in a Wireless Medical Emergency Network. | Joe Gorman, Stle Walderhaug, Hvard Kvlen |
| 2003 | A Unified Tool for Performance Modelling and Prediction. | Stephen Gilmore, Lela Kloul |
| 2003 | Byzantine Fault Tolerance, from Theory to Reality. | K. Driscoll, B. Hall, Hkan Sivencrona, P. Zumsteg |
| 2003 | A Dependability Model for Domestic Systems. | Guy Dewsbury, Ian Sommerville, Karen Clarke, Mark Rouncefield |
| 2003 | Automatic Timeliness Verification of a Public Mobile Network. | Ester Ciancamerla, Michele Minichino, S. Serro, Enrico Tronci |
| 2003 | Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform. | Marco Bozzano, Adolfo Villafiorita |
| 2003 | Dependability and Survivability of Large Complex Critical Infrastructures. | Sandro Bologna, Claudio Balducelli, Giovanni Dipoppa, Giordano Vicoli |
| 2003 | A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity. | Stefano Bistarelli, Simon N. Foley |