| 1996 | Design Methodologies and Systems Safety. | Daniel E. Sniezek |
| 1996 | A Safe, Reliable Control and Supervisory System for Railway Networks. | Neville Rowden |
| 1996 | An Holistic Approach to Dependability? | Alberto Pasquini, Winfried Grke, Karama Kanoun, Antonio Rizzo |
| 1996 | Assessment and Certification Requirements in the European Railway Industry. | Swapan Mitra, I. D. R. Shannon |
| 1996 | A Processor Architecture Designed to Faciliate the Safety Certification of Hard Real Time Systems. | Hans-Peter Meske, Wolfgang A. Halang |
| 1996 | Part 2: Bringing the Safety Dimension into the System and the Software Development. | Philip Marsden |
| 1996 | Failure Classification Schemes for Analysing System Dependability. | Chris W. Loftus, Fred Long, David Pugh, Ian Pyle |
| 1996 | Software-based critical systems. | Jean-Claude Laprie |
| 1996 | Developing Dependable Software Using Prototyping and Test-Diversity. | W. Kuhn, H. Selami |
| 1996 | Application of Formal Methods in the Scope of IT-Security. | Frank Koob, Markus Ullmann, Stefan Wittmann |
| 1996 | Integrity Levels and their Application to Road Transport Systems. | Peter H. Jesty, Keith M. Hobley |
| 1996 | Creating Markov Models for Applications in the Process Industry. | Michel Houtermans, William M. Goble, Aarnout C. Brombacher |
| 1996 | Formal Specification of Safety-Critical Software with Z and Real-Time CSP. | Maritta Heisel, Carsten Shl |
| 1996 | Failure Risk Estimation via Markov Software Usage Models. | Walter J. Gutjahr |
| 1996 | Human Factors in High Integrity Software Development: a Field Study. | Jacqui Griffyth |
| 1996 | Safety Analysis Based on Object-oriented Modelling of Critical Systems. | Janusz Grski, Bartosz Nowicki |
| 1996 | Systematic Development of Markov Models for the 1oo2D Programmable Electronic System Architecture - Analysis of Safety and Availability. | William M. Goble, Julia V. Bukowski, Aarnout C. Brombacher |
| 1996 | Safety Analysis and Evaluation of an Air Traffic Control Computing System. | Nicolae Fota, Mohamed Kaniche, Karama Kanoun, Alain Peytavin |
| 1996 | Specifying Railway Interlocking Requirements for Practical Use. | Lars-Henrik Eriksson |
| 1996 | Reliability and Vulnerability Assessment as Decision Support during Purchase and Design of Complex, Technical Systems. | Remi Eriksen, Terje Andersen, Claus Feyling, Hans-Joachim Petersen |
| 1996 | Implementation of a Security Policy in Distributed Safety Related I&C Systems. | Ferdinand J. Dafelmair |
| 1996 | Software Reliability Models and Test Coverage. | Bruno Ciciani, Alberto Pasquini |
| 1996 | Modeling Software Dependability Growth under Input Partition Testing. | Yinong Chen, Jean Arlat |
| 1996 | Formal Verification as a Design Tool - The Transponder Lock Example. | Reinhard Budde, Agathe Merceron, Karl-Heinz Sylla |
| 1996 | Byzantine Agreement with Limited Authentication. | Malte Borcherding |