| 1998 | From Monolithic to Modular Formal Specification. | Gordon A. Rose |
| 1998 | The Formal Specification of the Fieldbus Foundation Link Scheduler in E-LOTOS. | N. Petalidis, D. S. Gill |
| 1998 | Translating Object-Z Specifications to Passive Test Oracles. | Jason McDonald, Paul A. Strooper |
| 1998 | Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. | John A. McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel J. Tracey, Samuel H. Valentine |
| 1998 | Specification-Based Class Testing: A Case Study. | Ian MacColl, Leesa Murray, Paul A. Strooper, David A. Carrington |
| 1998 | Application of Embedded Testing Methods to Service Validation. | Luiz A. Paula Lima Jr., Ana R. Cavalli |
| 1998 | Interacting Frameworks in Catalysis. | Kung-Kiu Lau, Shaoying Liu, Mario Ornaghi, Alan Wills |
| 1998 | Formal Specification of CORBA Services Using Object-Z. | Detlef Kreuz |
| 1998 | A Process Algebra Based Verification of a Production System. | J. J. T. Kleijn, Jacobus E. Rooda, Michel A. Reniers |
| 1998 | Market-Driven Symbolic Execution of Methods of Manufacturing Enterprises. | Tomasz Janowski, Hongjun Zheng, Gustavo Gimnez Lugo |
| 1998 | Defining Differentiation and Integration in Z. | Colin J. Fidge, Ian J. Hayes, Brendan P. Mahony |
| 1998 | Active Objects in TCOZ. | Jin Song Dong, Brendan P. Mahony |
| 1998 | Incremental Architectural Modeling and Verification of Real-Time Concurrent Systems. | Yi Deng, Jiacun Wang, Rakesh Sinha |
| 1998 | Selective Integration of Formal Methods in the Development of Electronic Control Units. | Mirko Conrad, Dieter Htzer |
| 1998 | The B Bank: A Complete Case Study. | Martin Bchi |
| 1998 | Interaction Interfaces - Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts. | Manfred Broy, Ingolf Krger |
| 1998 | Using Model Checking to Generate Tests from Specifications. | Paul Ammann, Paul E. Black, William Majurski |
| 1997 | A Simple Program whose Derivation and Proof is Also. | Jinyun Xue, Ruth Davis |
| 1997 | The State-Based CCS Semantics for Concurrent Z Specification. | Kenji Taguchi, Keijiro Araki |
| 1997 | Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP. | Graeme Smith, John Derrick |
| 1997 | Test Case Design Based on Z and the Classification-Tree Method. | Harbhajan Singh, Mirko Conrad, Sadegh Sadeghipour |
| 1997 | Towards a Formal Semantics for an Integrated SA/RT & Z Specification Language. | Dirk Scholz, Carsta Petersohn |
| 1997 | Refinement of Information Flow Architectures. | Jan Philipps, Bernhard Rumpe |
| 1997 | A Generic Approach to the Formal Specification of Requirements. | Christian Peper, Reinhard Gotzhein, Martin Kronenburg |
| 1997 | A Formal Approach to Testing LUSTRE Specifications. | Ioannis Parissis |