| 2002 | Algorithmic Verification of Invalidation-Based Protocols. | Marco Bozzano, Giorgio Delzanno |
| 2002 | IF-2.0: A Validation Environment for Component-Based Real-Time Systems. | Marius Bozga, Susanne Graf, Laurent Mounier |
| 2002 | Extrapolating Tree Transformations. | Ahmed Bouajjani, Tayssir Touili |
| 2002 | State Space Reduction by Proving Confluence. | Stefan Blom, Jaco van de Pol |
| 2002 | Semi-formal Bounded Model Checking. | Jesse D. Bingham, Alan J. Hu |
| 2002 | PathFinder: A Tool for Design Exploration. | Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal |
| 2002 | Property Checking via Structural Analysis. | Jason Baumgartner, Andreas Kuehlmann, Jacob A. Abraham |
| 2002 | Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT. | Clark W. Barrett, David L. Dill, Aaron Stump |
| 2002 | Symbolic Localization Reduction with Reconstruction Layering and Backtracking. | Sharon Barner, Daniel Geist, Anna Gringauze |
| 2002 | Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking. | Sharon Barner, Orna Grumberg |
| 2002 | SPeeDI - A Verification Tool for Polygonal Hybrid Systems. | Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine |
| 2002 | The d/dt Tool for Verification of Hybrid Systems. | Eugene Asarin, Thao Dang, Oded Maler |
| 2002 | The AVISS Security Protocol Analysis Tool. | Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mdersheim, Michal Rusinowitch, Mathieu Turuani, Luca Vigan, Laurent Vigneron |
| 2002 | Exploiting Behavioral Hierarchy for Efficient Model Checking. | Rajeev Alur, Michael McDougall, Zijiang Yang |
| 2002 | Regular Tree Model Checking. | Parosh Aziz Abdulla, Bengt Jonsson, Pritha Mahata, Julien d'Orso |
| 2001 | Automatic Abstraction for Verification of Timed Circuits and Systems. | Hao Zheng, Eric Mercer, Chris J. Myers |
| 2001 | EVC: A Validity Checker for the Logic of Equality with Uninterpreted Functions and Memories, Exploiting Positive Equality, and Conservative Transformations. | Miroslav N. Velev, Randal E. Bryant |
| 2001 | AGVI - Automatic Generation, Verification, and Implementation of Security Protocols. | Dawn Xiaodong Song, Adrian Perrig, Doantam Phan |
| 2001 | Symmetry and Reduced Symmetry in Model Checking. | A. Prasad Sistla, Patrice Godefroid |
| 2001 | EASN: Integrating ASN.1 and Model Checking. | Vivek K. Shanbhag, K. Gopinath, Markku Turunen, Ari Ahtiainen, Matti Luukkainen |
| 2001 | Automated Inductive Verification of Parameterized Protocols. | Abhik Roychoudhury, I. V. Ramakrishnan |
| 2001 | Finite Instantiations in Equivalence Logic with Uninterpreted Functions. | Yoav Rodeh, Ofer Strichman |
| 2001 | Software Documentation and the Verification Process. | David Lorge Parnas |
| 2001 | Certifying Model Checkers. | Kedar S. Namjoshi |
| 2001 | Towards Efficient Verification of Arithmetic Algorithms over Galois Fields GF(2 | Sumio Morioka, Yasunao Katayama, Toshiyuki Yamane |