| 1997 | 16th International Conference on Computer Safety, Reliability and Security, Safe Comp 1997, York, UK, September 7-10, 1997 Peter Daniel |
| 1997 | A systematic approach to software safety integrity levels. Peter A. Lindsay, John A. McDermid |
| 1997 | An Assessment of the IEC 1131-3 Standard on Languages for Programmable Controllers. Konstantinos Tourlas |
| 1997 | An Object-Based Approach to Modelling and Analysis of Failure Properties. Marko Cepin, Rogério de Lemos, Borut Mavko, Steve Riddle, Amer Saeed |
| 1997 | Automated Verification of Safety Requirements using CCS and Binary Decision Diagrams. Reiner Lichtenecker, Klaus Gotthardt |
| 1997 | Biometric Techniques Applied In Security Technology. Despina Polemi |
| 1997 | Computer Based Support for Standards and Processes in Safety Critical Systems. Stephen P. Wilson, John A. McDermid, P. M. Kirkham, Clive H. Pygott, David J. Tombs |
| 1997 | Consistency Checking by Type Inference and Constraint Satisfaction. Yahia Lebbah |
| 1997 | Cryptographic Protocols over Open Distributed Systems: A Taxonomy of Flaws and related Protocol Analysis Tools. Stefanos Gritzalis, Diomidis Spinellis |
| 1997 | Design, Analysis and Implementation of a New Hash Function Based on Block Cipher. Xun Yi, Kwork-Yan Lam, Yongfei Han |
| 1997 | Dynamic Decision on Checkpointing by Use of Reduced Ordered Binary Decision Diagrams. Francesca Saglietti |
| 1997 | Embedded Systems in Avionics and the SACRES Approach. Philippe Baufreton, Xavier Méhaut, Éric Rutten |
| 1997 | High Integrity Ada. Brian A. Wichmann |
| 1997 | Integration of Safety Requirements in the Initial Phases of the Project Lifecycle of Hardware/Software Systems. Marc Wilikens, Marcelo Masera, Davide Vallero |
| 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 | Practical Assessment of Neural Network Applications. Ian T. Nabney, Mickael J. S. Paven, Richard C. Eldridge, Clive Lee |
| 1997 | Refinement and Safety Analysis. Kevin Lano |
| 1997 | Safe and Reliable Computer Control Systems an Overview. Henrik Thane |
| 1997 | Safe combinations of services using B. Bruno Mermet, Dominique Méry |
| 1997 | Safety Assessment of Software Based Systems. Gustav Dahll |
| 1997 | Safety Case Construction and Reuse Using Patterns. Tim P. Kelly, John A. McDermid |
| 1997 | Safety Cases for Software-intensive Systems: an Industrial Experience Report. Stephen Barker, Ian Kendall, Anthony Darlison |
| 1997 | Safety and Security Requirements for an Advanced Train Control System. Jens Braband |
| 1997 | Software Test Techniques for System Fault-Tree Analysis. John C. Knight, Luís G. Nakano |
| 1997 | Software-based Safety-critical Systems: a Taxonomy. Hélène Papini, Frangois Simon |
| 1997 | Towards Dependable Software Requirement Specifications. Stefan Scheer, Thomas Maier |
| 1997 | Towards Safer Industrial Computer Controlled Systems. Peter R. Croll, Colin Chambers, M. Bowell, Paul W. H. Chung |
| 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 |