| 2007 | Fast Minimum-Register Retiming via Binary Maximum-Flow. | Aaron P. Hurst, Alan Mishchenko, Robert K. Brayton |
| 2007 | Algorithmic Analysis of Piecewise FIFO Systems. | Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Richard J. Trefler |
| 2007 | Case study: Integrating FV and DV in the Verification of the Intel Core | Alon Flaisher, Alon Gluska, Eli Singerman |
| 2007 | Two-Dimensional Regular Expressions for Compositional Bus Protocols. | Kathi Fisler |
| 2007 | A Coverage Analysis for Safety Property Lists. | Koen Claessen |
| 2007 | Cross-Entropy Based Testing. | Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov |
| 2007 | Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation. | Yan Chen, Yujing He, Fei Xie, Jin Yang |
| 2007 | Transaction Based Modeling and Verification of Hardware Protocols. | Xiaofang Chen, Steven M. German, Ganesh Gopalakrishnan |
| 2007 | Computing Predicate Abstractions by Integrating BDDs and SMT Solvers. | Roberto Cavada, Alessandro Cimatti, Anders Franzn, Krishnamani Kalyanasundaram, Marco Roveri, R. K. Shyamasundar |
| 2007 | Automated Extraction of Inductive Invariants to Aid Model Checking. | Michael L. Case, Alan Mishchenko, Robert K. Brayton |
| 2007 | Checking Safety by Inductive Generalization of Counterexamples to Induction. | Aaron R. Bradley, Zohar Manna |
| 2007 | Automatic Abstraction in Symbolic Trajectory Evaluation. | Sara Adams, Magnus Bjrk, Thomas F. Melham, Carl-Johan H. Seger |
| 2007 | Verifying Correctness of Transactional Memories. | Ariel Cohen, John W. O'Leary, Amir Pnueli, Mark R. Tuttle, Lenore D. Zuck |
| 2006 | Simulation Bounds for Equivalence Verification of Arithmetic Datapaths with Finite Word-Length Operands. | Namrata Shekhar, Priyank Kalla, M. Brandon Meredith, Florian Enescu |
| 2006 | Ario: A Linear Integer Arithmetic Logic Solver. | Hossein M. Sheini, Karem A. Sakallah |
| 2006 | A Formal Model of Lower System Layers. | Julien Schmaltz |
| 2006 | ACL2SIX: A Hint used to Integrate a Theorem Prover and an Automated Verification Tool. | Jun Sawada, Erik Reeber |
| 2006 | An Improved Distance Heuristic Function for Directed Software Model Checking. | Neha Rungta, Eric G. Mercer |
| 2006 | Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling. | Florian Pigorsch, Christoph Scholl, Stefan Disch |
| 2006 | Thorough Checking Revisited. | Shiva Nejati, Mihaela Gheorghiu, Marsha Chechik |
| 2006 | Design for Verification of the PCI-X Bus. | Haja Moinudeen, Ali Habibi, Sofine Tahar |
| 2006 | Synchronous Elastic Networks. | Sava Krstic, Jordi Cortadella, Michael Kishinevsky, John O'Leary |
| 2006 | Finite Instantiations for Integer Difference Logic. | Hyondeuk Kim, Fabio Somenzi |
| 2006 | Post-reboot Equivalence and Compositional Verification of Hardware. | Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna |
| 2006 | Optimizations for LTL Synthesis. | Barbara Jobstmann, Roderick Bloem |