| 1997 | 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996 Erwin Schoitsch |
| 1996 | A Processor Architecture Designed to Faciliate the Safety Certification of Hard Real Time Systems. Hans-Peter Meske, Wolfgang A. Halang |
| 1996 | A Safe, Reliable Control and Supervisory System for Railway Networks. Neville Rowden |
| 1996 | Acceptance Criteria for Critical Software Based on Testability Estimates and Test Results. Antonia Bertolino, Lorenzo Strigini |
| 1996 | An Holistic Approach to Dependability? Alberto Pasquini, Winfried Görke, Karama Kanoun, Antonio Rizzo |
| 1996 | Application of Formal Methods in the Scope of IT-Security. Frank Koob, Markus Ullmann, Stefan Wittmann |
| 1996 | Assessment and Certification Requirements in the European Railway Industry. Swapan Mitra, I. D. R. Shannon |
| 1996 | Byzantine Agreement with Limited Authentication. Malte Borcherding |
| 1996 | Creating Markov Models for Applications in the Process Industry. Michel Houtermans, William M. Goble, Aarnout C. Brombacher |
| 1996 | Defining the Unit Testing Level of Synchronous Data Flow Programs. Pascale Thévenod-Fosse, Christine Mazuet, Yves Crouzet |
| 1996 | Design Methodologies and Systems Safety. Daniel E. Sniezek |
| 1996 | Developing Dependable Software Using Prototyping and Test-Diversity. W. Kuhn, H. Selami |
| 1996 | Failure Classification Schemes for Analysing System Dependability. Chris W. Loftus, Fred Long, David Pugh, Ian Pyle |
| 1996 | Failure Risk Estimation via Markov Software Usage Models. Walter J. Gutjahr |
| 1996 | Formal Specification of Safety-Critical Software with Z and Real-Time CSP. Maritta Heisel, Carsten Sühl |
| 1996 | Formal Verification as a Design Tool - The Transponder Lock Example. Reinhard Budde, Agathe Merceron, Karl-Heinz Sylla |
| 1996 | Formal Verification of Safety Requirements on Complex Systems. Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi |
| 1996 | Human Factors in High Integrity Software Development: a Field Study. Jacqui Griffyth |
| 1996 | Human Factors in Safety-Critical Systems: An underestimated contribution? Stephen J. Westerman, G. Robert J. Hockey |
| 1996 | Implementation of a Security Policy in Distributed Safety Related I&C Systems. Ferdinand J. Dafelmair |
| 1996 | Integrity Levels and their Application to Road Transport Systems. Peter H. Jesty, Keith M. Hobley |
| 1996 | Legal Sufficiency of Testing Processes. Clark Savage Turner, Debra J. Richardson, John L. King |
| 1996 | Modeling Software Dependability Growth under Input Partition Testing. Yinong Chen, Jean Arlat |
| 1996 | PERE: Evaluation and Improvement of Dependable Processes. Robin Bloomfield, John Bowers, Luke Emmet, Stephen Viller |
| 1996 | Part 1: Customer Safety Requirements for the NERC Air Traffic Control System. Shoky Visram |
| 1996 | Part 2: Bringing the Safety Dimension into the System and the Software Development. Philip Marsden |
| 1996 | Part 3: Challenge and Effect of NERC on an Austrian Company. Werner Artner |
| 1996 | Reliability and Security in Communication Software: PBX Systems and CSTA Applications. Herwig Stöckl |
| 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 | SIGAV, the Italian High Speed Railway Integrated Management System: Safety and Reliability Overview. G. Aprea, P. Colantuoni, P. Firpo, R. Lido, D. Pellegrino, M. Rapone, F. Senesi |
| 1996 | Safety Analysis Based on Object-oriented Modelling of Critical Systems. Janusz Górski, Bartosz Nowicki |
| 1996 | Safety Analysis and Evaluation of an Air Traffic Control Computing System. Nicolae Fota, Mohamed Kaâniche, Karama Kanoun, Alain Peytavin |
| 1996 | Safety Case for the NERC Air Traffic Control System. Shoky Visram, Werner Artner, Philip Marsden |
| 1996 | Safety and Technology Transfer. Zdzislaw Zurakowski |
| 1996 | Software Reliability Models and Test Coverage. Bruno Ciciani, Alberto Pasquini |
| 1996 | Software-based critical systems. Jean-Claude Laprie |
| 1996 | Specifying Railway Interlocking Requirements for Practical Use. Lars-Henrik Eriksson |
| 1996 | Systematic Design of Fault-Tolerant Computers. Algirdas Avizienis |
| 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 | Tolerant Software Interfaces: Can COTS-based Systems be Trusted Without Them? Jeffrey M. Voas, Frank Charron, Keith W. Miller |