| 1996 | PERE: Evaluation and Improvement of Dependable Processes. | Robin Bloomfield, John Bowers, Luke Emmet, Stephen Viller |
| 1996 | Acceptance Criteria for Critical Software Based on Testability Estimates and Test Results. | Antonia Bertolino, Lorenzo Strigini |
| 1996 | Formal Verification of Safety Requirements on Complex Systems. | Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi |
| 1996 | Systematic Design of Fault-Tolerant Computers. | Algirdas Avizienis |
| 1996 | Part 3: Challenge and Effect of NERC on an Austrian Company. | Werner Artner |
| 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 |
| 1995 | Cognitive Diversity: A Structured Approach to Trapping Human Error. | Stephen J. Westerman, Nick Shryane, Martin Crawshaw, G. Robert J. Hockey, William Wyatt-Millington |
| 1995 | An Automated Code-Based Fault-Tree Mitigation Technique. | Jeffrey M. Voas, Keith W. Miller |
| 1995 | Ontario Hydro's Experience with New Methods for Engineering Safety Critical Software. | Mike Viola |
| 1995 | Eliminating the Unexpected. | R. J. Tiezema |
| 1995 | Neural Nets and Diversity. | Amanda J. C. Sharkey, Noel E. Sharkey, Gopinath O. Chandroth |
| 1995 | Software Best Practices in Dependable Systems: The European Research Projects ENCRESS, OLOS and ESPITI from a Partners Perspective. | Erwin Schoitsch |
| 1995 | Safety Analysis for Requirements Specifications: Methods and Techniques. | Amer Saeed, Rogrio de Lemos, Tom Anderson |
| 1995 | On-line Software Error Detection by Executable Assertions: From Theory to Practice. | Christophe Rabjac |
| 1995 | Programmable Electronic Controllers (PEC) Performance Assessment - an Approach for Reliability Quantification. | G. Picciolo, P. Giannin |
| 1995 | Is Software Safe to Fly? | K. N. Narahari, Shylaja Prasad, K. Karunakar |
| 1995 | A Software Development Approach for Robotics Control Systems. | Emilio Ruiz Morales |
| 1995 | Accessible Formal Method Support for PLC Software Development. | John A. McDermid, R. H. Pierce |
| 1995 | A Bayesian Model that Combines Disparate Evidence for the Quantitative Assessment of System Dependability. | Bev Littlewood, David Wright |
| 1995 | Assessment on the Basis of Standards-Gaps and how to Bridge Them. | Heinrich Krebs |
| 1995 | Safety Case: Structure and Role. | M. El Koursi, B. Letrung, Hlne Waeselynck, Franois Baranowski |
| 1995 | The Verification of Compiled Code. | T. Jennings, P. Taylor |
| 1995 | The Use of Animated Graphical Simulation Techniques to Facilitate Safe Operation, Assembly and Disassembly of Safety Critical Equipment and Systems. | David Hughes |
| 1995 | Analysis and Assessment of Advanced Road Transport Telematic Systems. | Keith M. Hobley, Peter H. Jesty |
| 1995 | Practical Approach for the Evaluation of Safety Related Programmable Electronics. | Marita Hietikko, Risto Tiusanen |