| 2006 | Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip. | Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz, Matthieu Moy |
| 2006 | Tracking MUSes and Strict Inconsistent Covers. | ric Grgoire, Bertrand Mazure, Cdric Piette |
| 2006 | An Integration of HOL and ACL2. | Michael J. C. Gordon, James Reynolds, Warren A. Hunt Jr., Matt Kaufmann |
| 2006 | Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning. | Tilman Glkler, Jason Baumgartner, Devi Shanmugam, A. E. (Rick) Seigler, Gary A. Van Huben, Barinjato Ramanandray, Hari Mony, Paul Roessler |
| 2006 | Liveness and Boundedness of Synchronous Data Flow Graphs. | Amir Hossein Ghamarian, Marc Geilen, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi, Sander Stuijk |
| 2006 | Model Checking Data-Dependent Real-Time Properties of the European Train Control System. | Johannes Faber, Roland Meyer |
| 2006 | Symmetry Reduction for STE Model Checking. | Ashish Darbari |
| 2006 | Over-Approximating Boolean Programs with Unbounded Thread Creation. | Byron Cook, Daniel Kroening, Natasha Sharygina |
| 2006 | From PSL to NBA: a Modular Symbolic Encoding. | Alessandro Cimatti, Marco Roveri, Simone Semprini, Stefano Tonetta |
| 2006 | Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee. | Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou |
| 2006 | Assume-Guarantee Reasoning for Deadlock. | Sagar Chaki, Nishant Sinha |
| 2006 | Understanding the Dynamic Behavior of Modern DPLL SAT Solvers through Visual Analysis. | Cameron Brien, Sharad Malik |
| 2006 | A Refinement Method for Validity Checking of Quantified First-Order Formulas in Hardware Verification. | Husam Abu-Haimed, David L. Dill, Sergey Berezin |
| 2006 | Formal Analysis and Verification of an OFDM Modem Design using HOL. | Abu Nasser Mohammed Abdullah, Behzad Akbarpour, Sofine Tahar |
| 2004 | Simple Yet Efficient Improvements of SAT Based Bounded Model Checking. | Emmanuel Zarpas |
| 2004 | Variable Reuse for Efficient Image Computation. | Zijiang Yang, Rajeev Alur |
| 2004 | Challenges in System-Level Design. | Wayne H. Wolf |
| 2004 | Invariant Checking Combining Forward and Backward Traversal. | Christian Stangier, Thomas Sidle |
| 2004 | Generating Fast Multipliers Using Clever Circuits. | Mary Sheeran |
| 2004 | A Functional Approach to the Formal Specification of Networks on Chip. | Julien Schmaltz, Dominique Borrione |
| 2004 | Parameterized Vacuity. | Marko Samer, Helmut Veith |
| 2004 | A Partitioning Methodology for BDD-Based Verification. | Debashis Sahoo, Subramanian K. Iyer, Jawahar Jain, Christian Stangier, Amit Narayan, David L. Dill, E. Allen Emerson |
| 2004 | Proof Styles in Operational Semantics. | Sandip Ray, J Strother Moore |
| 2004 | Bounded Probabilistic Model Checking with the Mur | Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli |
| 2004 | Approximate Symbolic Model Checking for Incomplete Designs. | Tobias Nopper, Christoph Scholl |