| 1999 | Hierarchical Reliability and Safety Models of Fault Tolerant Distributed Industrial Control Systems. | Jos Carlos Campelo, Pedro Yuste, Francisco Rodrguez, Pedro J. Gil, Juan Jos Serrano |
| 1999 | Comparing Fault Trees and Bayesian Networks for Dependability Analysis. | Andrea Bobbio, Luigi Portinale, Michele Minichino, Ester Ciancamerla |
| 1999 | A Graphical Environment for the Specification and Verification of Reactive Systems. | A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, R. K. Shyamasundar |
| 1999 | Formal Validation of the GUARDS Inter-Consistency Mechanism. | Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi |
| 1999 | FlexFi: A Flexible Fault Injection Environment for Microprocessor-Based Systems. | Alfredo Benso, Maurizio Rebaudengo, Matteo Sonza Reorda |
| 1999 | System and Software Safety Analysis for the ERA Control Computer. | P. G. Beerthuizen, W. Kruidhof |
| 1999 | On Formal Languages for Sequences of Authorization Transformations. | Yun Bai, Vijay Varadharajan |
| 1999 | Automated Black-Box Testing with Abstract VDM Oracles. | Bernhard K. Aichernig |
| 1998 | Refinement of Safety-Related Hazards into Verifiable Code Assertions. | Ken Wong, Jeff Joyce |
| 1998 | An Agenda for Specifying Software Components with Complex Data Models. | Kirsten Winter, Thomas Santen, Maritta Heisel |
| 1998 | A Holistic View on the Dependability of Software-Intensive Systems. | Gerald Sonneck, Erwin Schoitsch, Lorenzo Strigini |
| 1998 | Integration of Logical and Physical Properties of Embedded Systems by Use of Time Petri Nets. | Francesca Saglietti |
| 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 | Increasing System Safety for By-Wire Applications in Vehicles by Using a Time Triggered Architecture. | Thomas Ringler, J. Steiner, Ralf Belschner, Bernd Hedenetz |
| 1998 | Object Oriented Safety Analysis of an Extra High Voltage Substation Bay. | Bartosz Nowicki, Janusz Grski |
| 1998 | "Profit by Safety" or Quackery in Biomedical Information Technology? | Bas A. de Mol, Floor Koornneef |
| 1998 | Verifying a Time-Triggered Protocol in a Multi-language Environment. | Agathe Merceron, Monika Mllerburg, G. Michele Pinna |
| 1998 | Controlling your Design through your Software Process. | Nicols Martn-Vivaldi, Peter Isacsson |
| 1998 | ANSI-C in Safety Critical Applications - Lessons-Learned from Software Evaluation. | Arndt Lindner |
| 1998 | Towards Automated Proof of Fail-Safe Behaviour. | Peter Liggesmeyer, Martin Rothfelder |
| 1998 | Linking Hazard Analysis to Formal Specification and Design in B. | Kevin Lano, Pauline Kan, Arturo Sanchez |
| 1998 | Fault-Tolerant Communication in Large-Scale Manipulators. | Hans-Dieter Kochs, Walter Geisselhardt, Holger Hilmer, Matthias Lenord |
| 1998 | Conceptual Comparison of Two Commonly Used Safeguarding Principles. | Bert Knegtering, Aarnout Brombacher |
| 1998 | Impact of Object-Oriented Software Engineering Applied to the Development of Security Systems. | Silvije Jovalekic, Bernd Rist |