| 1998 | 'Calls Considered Harmful' and Other Observations: A Tutorial on Telephony. | Pamela Zave |
| 1998 | Efficient Modeling of Memory Arrays in Symbolic Ternary Simulation. | Miroslav N. Velev, Randal E. Bryant |
| 1998 | Practical Model-Checking Using Games. | Perdita Stevens, Colin Stirling |
| 1998 | A Verified Model Checker for the Modal µ-calculus in Coq. | Christoph Sprenger |
| 1998 | Factotum: Automatic and Systematic Sharing Support for Systems Analyzers. | David James Sherman, Nicolas Magnier |
| 1998 | Using a Visual Formalism for Design Verification in Industrial Environments. | Rainer Schlr, Bernhard Josko, Dieter Werth |
| 1998 | Experience with Literate Programming in the Modelling and Validation of Systems. | Theo C. Ruys, Ed Brinksma |
| 1998 | Formal Verification of SDL Systems at the Siemens Mobile Phone Department. | Franz Regensburger, Aenne Barnard |
| 1998 | Translation Validation. | Amir Pnueli, Michael Siegel, Eli Singerman |
| 1998 | Visualisation of Executable Formal Specifications for User Validation. | Mehmet Blent zcan, Paul William Parry, Ian C. Morrey, Jawed I. A. Siddiqi |
| 1998 | A Study of Intelligent Multimedia Services over PSTNs and the Internet. | Luis Orozco-Barbosa, Dimitrios Makrakis, Nicolas D. Georganas |
| 1998 | Formal Methods and Customized Visualization: A Fruitful Symbiosis. | Tiziana Margaria, Volker Braun |
| 1998 | Design and Evaluation of a Visual Formalism for Real Time Logics. | M. Lusini, Enrico Vicario |
| 1998 | Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract). | Xinxin Liu, C. R. Ramakrishnan, Scott A. Smolka |
| 1998 | Formal Design and Analysis of a Gear Controller. | Magnus Lindahl, Paul Pettersson, Wang Yi |
| 1998 | Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. | Jrn Lind-Nielsen, Henrik Reif Andersen, Gerd Behrmann, Henrik Hulgaard, Kre J. Kristoffersen, Kim Guldstrand Larsen |
| 1998 | Application of INAP to AIN Intelligent Peripheral. | Hee Jin Lim, Go Bong Choi |
| 1998 | Modular Model Checking of Software. | Karen Laster, Orna Grumberg |
| 1998 | The Web Impact: A White Paper. | Alain Lardenois |
| 1998 | Static Partial Order Reduction. | Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hsn Yenign |
| 1998 | Requirements and a Proposal for the Prevention of a Class of Service Interactions in Intelligent Networks. | Dirk O. Keck |
| 1998 | The Generation of Service Database Schema through Service Creation Environment. | Jeomja Kang, Jeonghun Choi, Sehyeong Cho |
| 1998 | Incremental Scene Graph Distribution Method for Distributed Virtual Environments. | Ken'ichi Kakizaki |
| 1998 | A Proof of Burns | Henrik Ejersbo Jensen, Nancy A. Lynch |
| 1998 | Verification Based on Local States. | Michaela Huhn, Peter Niebert, Frank Wallner |