| 2003 | Digitizing Interval Duration Logic. | Gaurav Chakravorty, Paritosh K. Pandya |
| 2003 | HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols. | Liana Bozga, Yassine Lakhnech, Michal Prin |
| 2003 | Timed Control with Partial Observability. | Patricia Bouyer, Deepak D'Souza, P. Madhusudan, Antoine Petit |
| 2003 | Model Checking Multi-Agent Programs with CASP. | Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael J. Wooldridge |
| 2003 | Iterating Transducers in the Large (Extended Abstract). | Bernard Boigelot, Axel Legay, Pierre Wolper |
| 2003 | Hybrid Acceleration Using Real Vector Automata (Extended Abstract). | Bernard Boigelot, Frdric Herbreteau, Sbastien Jodogne |
| 2003 | Rabbit: A Tool for BDD-Based Verification of Real-Time Systems. | Dirk Beyer, Claus Lewerentz, Andreas Noack |
| 2003 | To Store or Not to Store. | Gerd Behrmann, Kim Guldstrand Larsen, Radek Pelnek |
| 2003 | Efficient Image Computation in Infinite State Model Checking. | Constantinos Bartzis, Tevfik Bultan |
| 2003 | FAST: Fast Acceleration of Symbolikc Transition Systems. | Sbastien Bardin, Alain Finkel, Jrme Leroux, Laure Petrucci |
| 2003 | Enhanced Vacuity Detection in Linear Temporal Logic. | Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi |
| 2003 | Modular Strategies for Infinite Games on Recursive Graphs. | Rajeev Alur, Salvatore La Torre, P. Madhusudan |
| 2003 | Strengthening Invariants by Symbolic Consistency Testing. | Husam Abu-Haimed, Sergey Berezin, David L. Dill |
| 2003 | Algorithmic Improvements in Regular Model Checking. | Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso |
| 2002 | The Quest for Efficient Boolean Satisfiability Solvers. | Lintao Zhang, Sharad Malik |
| 2002 | Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling. | Hkan L. S. Younes, Reid G. Simmons |
| 2002 | Automatic Derivation of Timing Constraints by Failure Analysis. | Tomohiro Yoneda, Tomoya Kitai, Chris J. Myers |
| 2002 | Infinite Games and Verification (Extended Abstract of a Tutorial). | Wolfgang Thomas |
| 2002 | Evidence-Based Model Checking. | Li Tan, Rance Cleaveland |
| 2002 | CVC: A Cooperating Validity Checker. | Aaron Stump, Clark W. Barrett, David L. Dill |
| 2002 | Deciding Separation Formulas with SAT. | Ofer Strichman, Sanjit A. Seshia, Randal E. Bryant |
| 2002 | Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking. | Tatiana Rybina, Andrei Voronkov |
| 2002 | Conformance Checking for Models of Asynchronous Message Passing Software. | Sriram K. Rajamani, Jakob Rehof |
| 2002 | Vacuum Cleaning CTL Formulae. | Mitra Purandare, Fabio Somenzi |
| 2002 | Liveness with (0, 1, infty)-Counter Abstraction. | Amir Pnueli, Jessie Xu, Lenore D. Zuck |