| 1998 | "Profit by Safety" or Quackery in Biomedical Information Technology? Bas A. de Mol, Floor Koornneef |
| 1998 | A Holistic View on the Dependability of Software-Intensive Systems. Gerald Sonneck, Erwin Schoitsch, Lorenzo Strigini |
| 1998 | A Performance Comparison of Group Security Mechanisms. Andrew Hutchinson, Michael Wallbaum |
| 1998 | A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools. Piergiorgio Bertoli, Alessandro Cimatti, Fausto Giunchiglia, Paolo Traverso |
| 1998 | ANSI-C in Safety Critical Applications - Lessons-Learned from Software Evaluation. Arndt Lindner |
| 1998 | An Agenda for Specifying Software Components with Complex Data Models. Kirsten Winter, Thomas Santen, Maritta Heisel |
| 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 | CoRSA - A Constraint Based Approach to Requirements and Safety Analysis. Kevin Hollingworth, Amer Saeed |
| 1998 | Computer Safety, Reliability and Security, 17th International Conference, SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings Wolfgang D. Ehrenberger |
| 1998 | Conceptual Comparison of Two Commonly Used Safeguarding Principles. Bert Knegtering, Aarnout Brombacher |
| 1998 | Controlling your Design through your Software Process. Nicolás Martín-Vivaldi, Peter Isacsson |
| 1998 | Distributed Fault-Tolerant and Safety-Critical Application in Vehicles - A Time-Triggered Approach. Elmar Dilger, Thomas Führer, Bernd Müller |
| 1998 | EURIS, a Specification Method for Distributed Interlockings. Fokko van Dijk, Wan J. Fokkink, Gea Kolk, Paul van de Ven, Bas van Vlijmen |
| 1998 | Fault-Tolerant Communication in Large-Scale Manipulators. Hans-Dieter Kochs, Walter Geisselhardt, Holger Hilmer, Matthias Lenord |
| 1998 | Impact of Object-Oriented Software Engineering Applied to the Development of Security Systems. Silvije Jovalekic, Bernd Rist |
| 1998 | Increasing System Safety for By-Wire Applications in Vehicles by Using a Time Triggered Architecture. Thomas Ringler, J. Steiner, Ralf Belschner, Bernd Hedenetz |
| 1998 | Integration of Logical and Physical Properties of Embedded Systems by Use of Time Petri Nets. Francesca Saglietti |
| 1998 | Linking Hazard Analysis to Formal Specification and Design in B. Kevin Lano, Pauline Kan, Arturo Sanchez |
| 1998 | Methods and Languages for Safety-Related Real-Time Programming. Wolfgang A. Halang, Alceu Heinke Frigeri |
| 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 | Model and Implementation of a Secure SW-Development Process for Mission Critical Software. Ferdinand J. Dafelmair |
| 1998 | Object Oriented Safety Analysis of an Extra High Voltage Substation Bay. Bartosz Nowicki, Janusz Górski |
| 1998 | Operator Errors and Their Causes. Timm Grams |
| 1998 | Refinement of Safety-Related Hazards into Verifiable Code Assertions. Ken Wong, Jeff Joyce |
| 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 | Safety Verification of Software Using Structured Petri Nets. Krzysztof Sacha |
| 1998 | Safety in Production Cell Components: An Appraoch Combining Formal Real-Time Specifications and Patterns. Heinrich Rust |
| 1998 | Towards Automated Proof of Fail-Safe Behaviour. Peter Liggesmeyer, Martin Rothfelder |
| 1998 | Towards Secure Downloadable Executable Content: The Java Paradigm. John Iliadis, Stefanos Gritzalis, V. Oikonomou |
| 1998 | Verifying Integrity of Decision Diagrams. Rolf Drechsler |
| 1998 | Verifying a Time-Triggered Protocol in a Multi-language Environment. Agathe Merceron, Monika Müllerburg, G. Michele Pinna |