| 1998 | A Proof of Burns Henrik Ejersbo Jensen, Nancy A. Lynch |
| 1998 | A Verified Model Checker for the Modal µ-calculus in Coq. Christoph Sprenger |
| 1998 | Automated Verification of Szymanski's Algorithm. E. Pascal Gribomont, Guy Zenner |
| 1998 | Combining Finite Automata, Parallel Programs and SDL Using Petri Nets. Bernd Grahlmann |
| 1998 | Deciding Fixed and Non-fixed Size Bit-vectors. Nikolaj S. Bjørner, Mark C. Pichora |
| 1998 | Detecting Races in Relay Ladder Logic Programs. Alexander Aiken, Manuel Fähndrich, Zhendong Su |
| 1998 | Efficient Modeling of Memory Arrays in Symbolic Ternary Simulation. Miroslav N. Velev, Randal E. Bryant |
| 1998 | Experience with Literate Programming in the Modelling and Validation of Systems. Theo C. Ruys, Ed Brinksma |
| 1998 | Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond. Khalil Ajami, Serge Haddad, Jean-Michel Ilié |
| 1998 | Factotum: Automatic and Systematic Sharing Support for Systems Analyzers. David James Sherman, Nicolas Magnier |
| 1998 | Formal Design and Analysis of a Gear Controller. Magnus Lindahl, Paul Pettersson, Wang Yi |
| 1998 | Formal Verification of Pipelined Processors. Randal E. Bryant |
| 1998 | Formal Verification of SDL Systems at the Siemens Mobile Phone Department. Franz Regensburger, Aenne Barnard |
| 1998 | Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract). Xinxin Liu, C. R. Ramakrishnan, Scott A. Smolka |
| 1998 | MESA: Support for Scenario-Based Design of Concurrent Systems. Hanêne Ben-Abdallah, Stefan Leue |
| 1998 | Model Checking of Real-Time Reachability Properties Using Abstractions. Conrado Daws, Stavros Tripakis |
| 1998 | Model Checking via Reachability Testing for Timed Automata. Luca Aceto, Augusto Burgueño, Kim Guldstrand Larsen |
| 1998 | Modeling and Verification of SC++ Applications. Thierry Cattel |
| 1998 | Modular Model Checking of Software. Karen Laster, Orna Grumberg |
| 1998 | OPEN/CÆSAR: An OPen Software Architecture for Verification, Simulation, and Testing. Hubert Garavel |
| 1998 | Practical Model-Checking Using Games. Perdita Stevens, Colin Stirling |
| 1998 | Set-Based Analysis of Reactive Infinite-State Systems. Witold Charatonik, Andreas Podelski |
| 1998 | Static Partial Order Reduction. Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hüsnü Yenigün |
| 1998 | Symbolic Exploration of transition Hierarchies. Rajeev Alur, Thomas A. Henzinger, Sriram K. Rajamani |
| 1998 | Tamagotchis Need Not Die - Verification of STATEMENT Design. Udo Brockmeyer, Gunnar Wittich |
| 1998 | Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings Bernhard Steffen |
| 1998 | Translation Validation. Amir Pnueli, Michael Siegel, Eli Singerman |
| 1998 | Verification Based on Local States. Michaela Huhn, Peter Niebert, Frank Wallner |
| 1998 | Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. Jørn Lind-Nielsen, Henrik Reif Andersen, Gerd Behrmann, Henrik Hulgaard, Kåre J. Kristoffersen, Kim Guldstrand Larsen |
| 1998 | Verifying Networks of Timed Processes (Extended Abstract). Parosh Aziz Abdulla, Bengt Jonsson |