| 1998 | Towards Secure Downloadable Executable Content: The Java Paradigm. | John Iliadis, Stefanos Gritzalis, V. Oikonomou |
| 1998 | A Performance Comparison of Group Security Mechanisms. | Andrew Hutchinson, Michael Wallbaum |
| 1998 | CoRSA - A Constraint Based Approach to Requirements and Safety Analysis. | Kevin Hollingworth, Amer Saeed |
| 1998 | Methods and Languages for Safety-Related Real-Time Programming. | Wolfgang A. Halang, Alceu Heinke Frigeri |
| 1998 | Operator Errors and Their Causes. | Timm Grams |
| 1998 | Verifying Integrity of Decision Diagrams. | Rolf Drechsler |
| 1998 | Distributed Fault-Tolerant and Safety-Critical Application in Vehicles - A Time-Triggered Approach. | Elmar Dilger, Thomas Fhrer, Bernd Mller |
| 1998 | EURIS, a Specification Method for Distributed Interlockings. | Fokko van Dijk, Wan J. Fokkink, Gea Kolk, Paul van de Ven, Bas van Vlijmen |
| 1998 | Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems. | Vincent David, Jean Delcoigne, Evelyne Leret, Alain Ourghanlian, Philippe Hilsenkopf, Philippe Paris |
| 1998 | Model and Implementation of a Secure SW-Development Process for Mission Critical Software. | Ferdinand J. Dafelmair |
| 1998 | Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System. | Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso |
| 1998 | Applying Formal Methods in Industry The UseGat Project. | Sandro Bologna, Rocco Bove, Giovanni Dipoppa, Giorgio Mongardi, Gino Biondi, Carmen Porzia, Benny Graft Mortensen, Niels Kirkegaard |
| 1998 | A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools. | Piergiorgio Bertoli, Alessandro Cimatti, Fausto Giunchiglia, Paolo Traverso |
| 1997 | Design, Analysis and Implementation of a New Hash Function Based on Block Cipher. | Xun Yi, Kwork-Yan Lam, Yongfei Han |
| 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 | Integration of Safety Requirements in the Initial Phases of the Project Lifecycle of Hardware/Software Systems. | Marc Wilikens, Marcelo Masera, Davide Vallero |
| 1997 | High Integrity Ada. | Brian A. Wichmann |
| 1997 | An Assessment of the IEC 1131-3 Standard on Languages for Programmable Controllers. | Konstantinos Tourlas |
| 1997 | Safe and Reliable Computer Control Systems an Overview. | Henrik Thane |
| 1997 | Towards Dependable Software Requirement Specifications. | Stefan Scheer, Thomas Maier |
| 1997 | Dynamic Decision on Checkpointing by Use of Reduced Ordered Binary Decision Diagrams. | Francesca Saglietti |
| 1997 | Biometric Techniques Applied In Security Technology. | Despina Polemi |
| 1997 | Software-based Safety-critical Systems: a Taxonomy. | Hlne Papini, Frangois Simon |
| 1997 | Practical Assessment of Neural Network Applications. | Ian T. Nabney, Mickael J. S. Paven, Richard C. Eldridge, Clive Lee |
| 1997 | Safe combinations of services using B. | Bruno Mermet, Dominique Mry |