| 1999 | Java Bytecode Verification by Model Checking. | David A. Basin, Stefan Friedrich, Joachim Posegga, Harald Vogt |
| 1999 | Timed Automata. | Rajeev Alur |
| 1999 | Handling Global Conditions in Parameterized System Verification. | Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson |
| 1999 | Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis. | Parosh Aziz Abdulla, Aurore Annichini, Saddek Bensalem, Ahmed Bouajjani, Peter Habermehl, Yassine Lakhnech |
| 1998 | Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs. | Ying Xu, Eduard Cerny, Xiaoyu Song, Francisco Corella, Otmane At Mohamed |
| 1998 | Verifying Systems with Infinite but Regular State Spaces. | Pierre Wolper, Bernard Boigelot |
| 1998 | A Machine-Checked Proof of the Optimality of a Real-Time Scheduling Policy. | Matthew Wilding |
| 1998 | Model Checking LTL Using Net Unforldings. | Frank Wallner |
| 1998 | On the Limitations of Ordered Representations of Functions. | Jayram S. Thathachar |
| 1998 | Efficient Symbolic Detection of Global Properties in Distributed Systems. | Scott D. Stoller, Yanhong A. Liu |
| 1998 | Using Magnatic Disk Instead of Main Memory in the Mur | Ulrich Stern, David L. Dill |
| 1998 | Formal Verification of Out-of-Order Execution Using Incremental Flushing. | Jens U. Skakkebk, Robert B. Jones, David L. Dill |
| 1998 | A Comparison of Presburger Engines for EFSM Reachability. | Thomas R. Shiple, James H. Kukula, Rajeev K. Ranjan |
| 1998 | Processor Verification with Precise Exeptions and Speculative Execution. | Jun Sawada, Warren A. Hunt Jr. |
| 1998 | A Toolset for Message Sequence Charts. | Doron A. Peled |
| 1998 | Ten Years of Partial Order Reduction. | Doron A. Peled |
| 1998 | The 'Test Model-Checking' Approach to the Verification of Formal Memory Models of Multiprocessors. | Ratan Nalumasu, Rajnish Ghughal, Abdelillah Mokkedem, Ganesh Gopalakrishnan |
| 1998 | An ACL2 Proof of Write Invalidate Cache Coherence. | J Strother Moore |
| 1998 | Finite-State Analysis of Security Protocols. | John C. Mitchell |
| 1998 | Verification of an Implementation of Tomasulo's Algorithm by Compositional Model Checking. | Kenneth L. McMillan |
| 1998 | Structural Symmetry and Model Checking. | Gurmeet Singh Manku, Ramin Hojati, Robert K. Brayton |
| 1998 | Design Constraints in Symbolic Model Checking. | Matt Kaufmann, Andrew Martin, Carl Pixley |
| 1998 | Computing Reachable Control States of Systems Modeled with Uninterpreted Functions and Infinite Memory. | Adrian J. Isles, Ramin Hojati, Robert K. Brayton |
| 1998 | Decomposing the Proof of Correctness of pipelined Microprocessors. | Ravi Hosabettu, Mandayam K. Srivas, Ganesh Gopalakrishnan |
| 1998 | On Checking Model Checkers. | Gerard J. Holzmann |