| 1997 | A systematic approach to software safety integrity levels. | Peter A. Lindsay, John A. McDermid |
| 1997 | Automated Verification of Safety Requirements using CCS and Binary Decision Diagrams. | Reiner Lichtenecker, Klaus Gotthardt |
| 1997 | Consistency Checking by Type Inference and Constraint Satisfaction. | Yahia Lebbah |
| 1997 | Refinement and Safety Analysis. | Kevin Lano |
| 1997 | Software Test Techniques for System Fault-Tree Analysis. | John C. Knight, Lus G. Nakano |
| 1997 | Safety Case Construction and Reuse Using Patterns. | Tim P. Kelly, John A. McDermid |
| 1997 | Managing the Safety Argument using a Memory Prosthesis. | David Jenkins, Brian Lees, Daniel Livingstone, Andrew Reglinski |
| 1997 | Methodological Support for Formally Specifying Safety-Critical Software. | Maritta Heisel, Carsten Siihl |
| 1997 | Cryptographic Protocols over Open Distributed Systems: A Taxonomy of Flaws and related Protocol Analysis Tools. | Stefanos Gritzalis, Diomidis Spinellis |
| 1997 | Towards an Automotive 'Safer Subset' of C. | P. D. Edwards, R. S. Rivett, G. F. McCall |
| 1997 | Using Executable Interactor Specifications to Explore the Impact of Operator Interaction Errors. | Andrew M. Dearden, Michael D. Harrison |
| 1997 | Safety Assessment of Software Based Systems. | Gustav Dahll |
| 1997 | Towards Safer Industrial Computer Controlled Systems. | Peter R. Croll, Colin Chambers, M. Bowell, Paul W. H. Chung |
| 1997 | An Object-Based Approach to Modelling and Analysis of Failure Properties. | Marko Cepin, Rogrio de Lemos, Borut Mavko, Steve Riddle, Amer Saeed |
| 1997 | Safety and Security Requirements for an Advanced Train Control System. | Jens Braband |
| 1997 | Embedded Systems in Avionics and the SACRES Approach. | Philippe Baufreton, Xavier Mhaut, ric Rutten |
| 1997 | Safety Cases for Software-intensive Systems: an Industrial Experience Report. | Stephen Barker, Ian Kendall, Anthony Darlison |
| 1996 | Safety and Technology Transfer. | Zdzislaw Zurakowski |
| 1996 | Human Factors in Safety-Critical Systems: An underestimated contribution? | Stephen J. Westerman, G. Robert J. Hockey |
| 1996 | Tolerant Software Interfaces: Can COTS-based Systems be Trusted Without Them? | Jeffrey M. Voas, Frank Charron, Keith W. Miller |
| 1996 | Safety Case for the NERC Air Traffic Control System. | Shoky Visram, Werner Artner, Philip Marsden |
| 1996 | Part 1: Customer Safety Requirements for the NERC Air Traffic Control System. | Shoky Visram |
| 1996 | Legal Sufficiency of Testing Processes. | Clark Savage Turner, Debra J. Richardson, John L. King |
| 1996 | Defining the Unit Testing Level of Synchronous Data Flow Programs. | Pascale Thvenod-Fosse, Christine Mazuet, Yves Crouzet |
| 1996 | Reliability and Security in Communication Software: PBX Systems and CSTA Applications. | Herwig Stckl |