| 1998 | A Calculus Based on the Agent-Place Model. Kenji Taguchi, Keijiro Araki |
| 1998 | A Process Algebra Based Verification of a Production System. J. J. T. Kleijn, Jacobus E. Rooda, Michel A. Reniers |
| 1998 | Active Objects in TCOZ. Jin Song Dong, Brendan P. Mahony |
| 1998 | Application of Embedded Testing Methods to Service Validation. Luiz A. Paula Lima Jr., Ana R. Cavalli |
| 1998 | Automatic Synthesis of Controllers from Formal Specifications. Enrico Tronci |
| 1998 | B Model Animation for External Verification. Hélène Waeselynck, Salimeh Behnia |
| 1998 | Defining Differentiation and Integration in Z. Colin J. Fidge, Ian J. Hayes, Brendan P. Mahony |
| 1998 | Formal Specification of CORBA Services Using Object-Z. Detlef Kreuz |
| 1998 | From Monolithic to Modular Formal Specification. Gordon A. Rose |
| 1998 | Incremental Architectural Modeling and Verification of Real-Time Concurrent Systems. Yi Deng, Jiacun Wang, Rakesh Sinha |
| 1998 | Interacting Frameworks in Catalysis. Kung-Kiu Lau, Shaoying Liu, Mario Ornaghi, Alan Wills |
| 1998 | Interaction Interfaces - Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts. Manfred Broy, Ingolf Krüger |
| 1998 | Market-Driven Symbolic Execution of Methods of Manufacturing Enterprises. Tomasz Janowski, Hongjun Zheng, Gustavo Giménez Lugo |
| 1998 | Proving Inductive Theorems Using Witnessed Test Sets. Zhiqing Shao, Yongqiang Sun, Guoxin Song, Huiqun Yu |
| 1998 | Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, Queensland, Australia, December 9-11, 1998, Proceedings |
| 1998 | Selective Integration of Formal Methods in the Development of Electronic Control Units. Mirko Conrad, Dieter Hötzer |
| 1998 | Specification-Based Class Testing: A Case Study. Ian MacColl, Leesa Murray, Paul A. Strooper, David A. Carrington |
| 1998 | The B Bank: A Complete Case Study. Martin Büchi |
| 1998 | The Formal Specification of the Fieldbus Foundation Link Scheduler in E-LOTOS. N. Petalidis, D. S. Gill |
| 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 | Translating Object-Z Specifications to Passive Test Oracles. Jason McDonald, Paul A. Strooper |
| 1998 | Ubiquitous Abstraction: A New Approach to Mechanized Formal Verification. John M. Rushby |
| 1998 | Using Model Checking to Generate Tests from Specifications. Paul Ammann, Paul E. Black, William Majurski |