| 1995 | 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995 Gerhard Rabe |
| 1995 | A Bayesian Model that Combines Disparate Evidence for the Quantitative Assessment of System Dependability. Bev Littlewood, David Wright |
| 1995 | A Guideline for HAZOP Studies on Systems which include a Programmable Electronic System. Morris F. Chudleigh, James Catmur, Arthur D. Little, Felix Redmill |
| 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 | An Attempt to Evaluate Functional Diversity Employed in a Reactor Protection System. Jörgen Christmansson, Zbigniew Kalbarczyk, Jan Torin |
| 1995 | An Automated Code-Based Fault-Tree Mitigation Technique. Jeffrey M. Voas, Keith W. Miller |
| 1995 | An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System. A. Anselmi, Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Fernando Torielli |
| 1995 | An industrial view of Requirements Engineering and Safety. Jean-Pierre Heckmann, Stephen Shirlaw |
| 1995 | Analysis and Assessment of Advanced Road Transport Telematic Systems. Keith M. Hobley, Peter H. Jesty |
| 1995 | Assessment on the Basis of Standards-Gaps and how to Bridge Them. Heinrich Krebs |
| 1995 | BOOTSTRAP: Software Process Assessment Experiences and Further Developments. Franz Engelmann, W. Schynoll, Hans Stienen |
| 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 | Dependability of Iterative Software: A Model for Evaluating the Effects of Input Correlation. Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, S. La Torre |
| 1995 | Eliminating the Unexpected. R. J. Tiezema |
| 1995 | Formal Support for the Safety Analysis of Requirement Models. Ken Chan, Clive Fencott, Barry D. Hebbron |
| 1995 | Formally Verified Firmware Modules for Industrial Process Automation. Wolfgang A. Halang, Bernd J. Krämer, Norbert Völker |
| 1995 | Is Software Safe to Fly? K. N. Narahari, Shylaja Prasad, K. Karunakar |
| 1995 | Legal Aspects of Safety Critical Systems. Dai Davis |
| 1995 | Loops for Safety Critical Applications. Johann Blieberger |
| 1995 | Modeling Fault Trees Using Petri Nets. Janusz Górski, Jan Magott, Andrzej Wardzinski |
| 1995 | Neural Nets and Diversity. Amanda J. C. Sharkey, Noel E. Sharkey, Gopinath O. Chandroth |
| 1995 | On-line Software Error Detection by Executable Assertions: From Theory to Practice. Christophe Rabéjac |
| 1995 | Ontario Hydro's Experience with New Methods for Engineering Safety Critical Software. Mike Viola |
| 1995 | Practical Approach for the Evaluation of Safety Related Programmable Electronics. Marita Hietikko, Risto Tiusanen |
| 1995 | Programmable Electronic Controllers (PEC) Performance Assessment - an Approach for Reliability Quantification. G. Picciolo, P. Gianninò |
| 1995 | Requirements Analysis and Safety: A Case Study (using GRASP). Andrew Charles Coombes, John A. McDermid, Jonathan D. Moffett, Philip Morris |
| 1995 | Safety Analysis for Requirements Specifications: Methods and Techniques. Amer Saeed, Rogério de Lemos, Tom Anderson |
| 1995 | Safety Case: Structure and Role. M. El Koursi, B. Letrung, Hélène Waeselynck, François Baranowski |
| 1995 | Safety Cases for Software Application Reuse. Peter Fenelon, Tim P. Kelly, John A. McDermid |
| 1995 | Six Steps Towards Provably Safe Software. Maritta Heisel |
| 1995 | Software Best Practices in Dependable Systems: The European Research Projects ENCRESS, OLOS and ESPITI from a Partners Perspective. Erwin Schoitsch |
| 1995 | The Application of Formal Methods to Railway Signalling Systems Specification and the Esprit III Project CASCADE. A. J. Harrison, I. D. R. Shannon |
| 1995 | The SHIP Safety Case Approach. Peter G. Bishop, Robin E. Bloomfield |
| 1995 | The Use of Animated Graphical Simulation Techniques to Facilitate Safe Operation, Assembly and Disassembly of Safety Critical Equipment and Systems. David Hughes |
| 1995 | The Verification of Compiled Code. T. Jennings, P. Taylor |