| 1995 | Six Steps Towards Provably Safe Software. | Maritta Heisel |
| 1995 | An industrial view of Requirements Engineering and Safety. | Jean-Pierre Heckmann, Stephen Shirlaw |
| 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 | Formally Verified Firmware Modules for Industrial Process Automation. | Wolfgang A. Halang, Bernd J. Krmer, Norbert Vlker |
| 1995 | Modeling Fault Trees Using Petri Nets. | Janusz Grski, Jan Magott, Andrzej Wardzinski |
| 1995 | Safety Cases for Software Application Reuse. | Peter Fenelon, Tim P. Kelly, John A. McDermid |
| 1995 | BOOTSTRAP: Software Process Assessment Experiences and Further Developments. | Franz Engelmann, W. Schynoll, Hans Stienen |
| 1995 | Legal Aspects of Safety Critical Systems. | Dai Davis |
| 1995 | Requirements Analysis and Safety: A Case Study (using GRASP). | Andrew Charles Coombes, John A. McDermid, Jonathan D. Moffett, Philip Morris |
| 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 | An Attempt to Evaluate Functional Diversity Employed in a Reactor Protection System. | Jrgen Christmansson, Zbigniew Kalbarczyk, Jan Torin |
| 1995 | Formal Support for the Safety Analysis of Requirement Models. | Ken Chan, Clive Fencott, Barry D. Hebbron |
| 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 | Loops for Safety Critical Applications. | Johann Blieberger |
| 1995 | The SHIP Safety Case Approach. | Peter G. Bishop, Robin E. Bloomfield |
| 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 |
| 1993 | A Virus-Resistant Network Interface. | Martin Witte, Wolfgang A. Halang |
| 1993 | The Rigorous Retrospective Static Analysis of the Sizewell 'B' Primary Protection System Software. | N. J. Ward |
| 1993 | Confidently Assessing a Zero Probability of Software Failure. | Jeffrey M. Voas, Christoph C. Michael, Keith W. Miller |
| 1993 | A Safety Critical Computer System in a Railway Application. | Bernhard Stamm, Ren Baumann, Martin Kndig-Herzog |
| 1993 | Real-Time Detection of Failures of Reactive Systems. | Rudolph E. Seviora |
| 1993 | Designing a High-level Language for Safety Systems. | G. Sen, J. Brummer |
| 1993 | Development of a Fail-Safe Data Transmission System for use in Life-Critical Applications. | M. B. Schrnen, Michael R. Inggs |
| 1993 | Robust Requirements Specifications for Safety - Critical Systems. | Amer Saeed, Rogrio de Lemos, Tom Anderson |
| 1993 | Design and Analysis of a Failsafe Algorithm for Solving Boolean Equations. | Harvey E. Rhody, Vittorio Manoni, James R. Hoelscher |