| 2011 | Approximate reachability with combined symbolic and ternary simulation. | Michael L. Case, Jason Baumgartner, Hari Mony, Robert Kanzelman |
| 2011 | Optimal redundancy removal without fixedpoint computation. | Michael L. Case, Jason Baumgartner, Hari Mony, Robert Kanzelman |
| 2011 | Learning conditional abstractions. | Bryan A. Brady, Randal E. Bryant, Sanjit A. Seshia |
| 2011 | An incremental approach to model checking progress properties. | Aaron R. Bradley, Fabio Somenzi, Zyad Hassan, Yan Zhang |
| 2011 | Parameterized verification of deadlock freedom in symmetric cache coherence protocols. | Brad D. Bingham, Mark R. Greenstreet, Jesse D. Bingham |
| 2011 | Accelerating MUS extraction with recursive model rotation. | Anton Belov, Joo Marques-Silva |
| 2011 | Algebraic approach to arithmetic design verification. | Mohamed Abdul Basith, Tariq B. Ahmad, Andr Rossi, Maciej J. Ciesielski |
| 2011 | An Application of Formal Methods to Cognitive Radios. | Konstantine Arkoudas, Ritu Chadha, C. Jason Chiang |
| 2011 | Planning for end-to-end formal using simulation-based coverage: | Prashant Aggarwal, Darrow Chu, Vijay Kadamby, Vigyan Singhal |
| 2010 | Efficiently solving quantified bit-vector formulas. | Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendona de Moura |
| 2010 | Path predicate abstraction by complete interval property checking. | Joakim Urdahl, Dominik Stoffel, Jrg Bormann, Markus Wedler, Wolfgang Kunz |
| 2010 | Modular bug detection with inertial refinement. | Nishant Sinha |
| 2010 | Embedded systems design - Scientific challenges and work directions. | Joseph Sifakis |
| 2010 | Achieving earlier verification closure using advanced formal verification. | Michael Siegel |
| 2010 | A halting algorithm to determine the existence of decoder. | ShengYu Shen, Ying Qin, Jianmin Zhang, Sikun Li |
| 2010 | DFT logic verification through property based formal methods - SOC to IP. | Lopamudra Sen, Amit Roy, Supriya Bhattacharjee, Bijitendra Mittra, Subir K. Roy |
| 2010 | Automatic verification of estimate functions with polynomials of bounded functions. | Jun Sawada |
| 2010 | Combinational techniques for sequential equivalence checking. | Hamid Savoj, David Berthelot, Alan Mishchenko, Robert K. Brayton |
| 2010 | Impacting verification closure using formal analysis. | Massimo Roselli |
| 2010 | Large-scale application of formal verification: From fiction to fact. | Viresh Paruthi |
| 2010 | CalCS: SMT solving for non-linear convex constraints. | Pierluigi Nuzzo, Alberto Puggelli, Sanjit A. Seshia, Alberto L. Sangiovanni-Vincentelli |
| 2010 | Boosting minimal unsatisfiable core extraction. | Alexander Nadel |
| 2010 | Boosting multi-core reachability performance with shared hash tables. | Alfons Laarman, Jaco van de Pol, Michael Weber |
| 2010 | Automatic inference of memory fences. | Michael Kuperstein, Martin T. Vechev, Eran Yahav |
| 2010 | Automated formal verification of processors based on architectural models. | Ulrich Khne, Sven Beyer, Jrg Bormann, John Barstow |