| 1998 | Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol. | Masahiro Fujita, Sreeranga P. Rajan, Alan J. Hu |
| 1998 | A Symbolic Model Checker for ACTL. | Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci |
| 1998 | Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture. | Giuseppe Del Castillo |
| 1998 | Z/EVES Version 1.5: An Overview. | Ora Canada |
| 1998 | An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools. | Robert Bssow, Wolfgang Grieskamp, Winfried Heicking, Stephan Herrmann |
| 1998 | Enriching the Software Development Process by Formal Methods. | Manfred Broy, Oscar Slotosch |
| 1998 | High Level System Design and Analysis Using Abstract State Machines. | Egon Brger |
| 1998 | Automated Test Set Generation for Statecharts. | Kirill Bogdanov, Mike Holcombe, Harbhajan Singh |
| 1998 | KIV 3.0 for Provably Correct Systems. | Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
| 1998 | The IFAD VDM Tools: Lightweight Formal Methods. | Sten Agerholm, Peter Gorm Larsen |
| 1998 | A Lightweight Approach to Formal Methods. | Sten Agerholm, Peter Gorm Larsen |
| 1997 | Implementing a Model Checker for LEGO. | Shenwei Yu, Zhaohui Luo |
| 1997 | Mathematical Modeling and Analysis of an External Memory Manager. | William D. Young, William R. Bevier |
| 1997 | A Corrected Failure Divergence Model for CSP in Isabelle/HOL. | Haykal Tej, Burkhart Wolff |
| 1997 | Using PVS to Prove a Z Refinement: A Case Study. | David W. J. Stringer-Calvert, Susan Stepney, Ian Wand |
| 1997 | A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems. | Graeme Smith |
| 1997 | A Normal Form Reduction Strategy for Hardware/Software Partitioning. | Leila Silva, Augusto Sampaio, Edna Barros |
| 1997 | Specifying the Remote Control of Valves in an Explosion Test Environment. | Martin Schnhoff, Mojgan Kowsari |
| 1997 | A Graphic Notation for Formal Specifications of Dynamic Systems. | Gianna Reggio, Mauro Larosa |
| 1997 | A Timed Semantics for the STATEMATE Implementation of Statecharts. | Carsta Petersohn, Luis Urbina |
| 1997 | A Meta-Method for Formal Method Integration. | Richard F. Paige |
| 1997 | Automatic Translation of VDM-SL Specifications into Gofer. | Paul Mukherjee |
| 1997 | A TLA Solution to the Specification and Verification of the RLP1 Retransmission Protocol. | Abdelillah Mokkedem, Michael J. Ferguson, Robert de B. Johnston |
| 1997 | Class Refinement and Interface Refinement in Object-Oriented Programs. | Anna Mikhajlova, Emil Sekerinski |
| 1997 | A Framework for Modular Formal Specification and Verification. | Pierre Michel, Virginie Wiels |