| 1999 | A Minimal Framework for Specification Theory. | Bernd Baumgarten |
| 1999 | Formula Based Abstractions of Transition Systems for Real-Time Model Checking. | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
| 1999 | Retrenchment. | Richard Banach, Michael Poppleton |
| 1999 | Reasoning About Interactive Systems. | Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright |
| 1999 | Verifying a Distributed Database Lookup Manager Written in Erlang. | Thomas Arts, Mads Dam |
| 1999 | Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination. | Rajeev Alur, Joel M. Esposito, Moonjoo Kim, Vijay Kumar, Insup Lee |
| 1999 | A Brief Summary of VSPEC. | Perry Alexander, Murali Rangarajan, Phillip Baraona |
| 1999 | Cache Coherence Verification with TLA+. | Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark R. Tuttle, Yuan Yu |
| 1998 | A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems. | Satoshi Yamane |
| 1998 | The wHOLe System. | Mark E. Woodcock |
| 1998 | Design of Distributed Multimedia Applications (DAMD). | Wanderley Lopes de Souza, Paulo Nazareno Maia Sampaio, Jean-Marie Farines, Roberto Milton Scheffel, Maria Janilce B. Almeida, Luciano Paschoal Gaspary, Lisandro Zambenedetti Granville, Roberto Willrich, Murilo S. de Camargo, Marcelo Domingos |
| 1998 | QUEST: Overview over the Project. | Oscar Slotosch |
| 1998 | Formal Program Development in Geometric Modeling. | Franois Puitg, Jean-Franois Dufourd |
| 1998 | Translation Validation: From DC+ to C*. | Amir Pnueli, Ofer Strichman, Michael Siegel |
| 1998 | PVS: An Experience Report. | Sam Owre, John M. Rushby, Natarajan Shankar, David W. J. Stringer-Calvert |
| 1998 | Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier. | Meine van der Meulen, Tim Clement |
| 1998 | Flexible and Reliable Process Model Properties: An Integrated Approach. | Tiziana Margaria, Volker Gruhn |
| 1998 | Integrating Domain Specific Language Design in the Software Life Cycle. | Philipp W. Kutter, Daniel Schweizer, Lothar Thiele |
| 1998 | UniForM Perspectives for Formal Methods. | Bernd Krieg-Brckner |
| 1998 | The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process. | Frank Koob, Markus Ullmann, Stefan Wittmann |
| 1998 | The UniForM WorkBench - A Higher Order Tool Integration Framework. | Einar W. Karlsen |
| 1998 | VSE: Controlling the Complexity in Formal Software Developments. | Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
| 1998 | Critical Systems Validation and Verification with CSP and FDR. | Michael Goldsmith, Irfan Zakiuddin |
| 1998 | Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct. | Wolfgang Goerigk, Ulrich Hoffmann |
| 1998 | Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip | Alfons Geser, Wolfgang Kchlin |