Michael L. Case
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
4
Active years
2007–2013
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | DATE | A semi-canonical form for sequential AIGs. | Alan Mishchenko, Niklas En, Robert K. Brayton, Michael L. Case, Pankaj Chauhan, Nikhil Sharma |
| 2013 | FMCAD | LEC: Learning Driven Data-path Equivalence Checking. | Jiang Long, Robert K. Brayton, Michael L. Case |
| 2011 | FMCAD | Optimal redundancy removal without fixedpoint computation. | Michael L. Case, Jason Baumgartner, Hari Mony, Robert Kanzelman |
| 2011 | FMCAD | Approximate reachability with combined symbolic and ternary simulation. | Michael L. Case, Jason Baumgartner, Hari Mony, Robert Kanzelman |
| 2011 | FMCAD | Hybrid verification of a hardware modular reduction engine. | Jun Sawada, Peter Sandon, Viresh Paruthi, Jason Baumgartner, Michael L. Case, Hari Mony |
| 2010 | FMCAD | Coping with Moore's Law (and more): Supporting arrays in state-of-the-art model checkers. | Jason Baumgartner, Michael L. Case, Hari Mony |
| 2009 | FMCAD | Scalable conditional equivalence checking: An automated invariant-generation based approach. | Jason Baumgartner, Hari Mony, Michael L. Case, Jun Sawada, Karen Yorav |
| 2009 | FMCAD | Enhanced verification by temporal decomposition. | Michael L. Case, Hari Mony, Jason Baumgartner, Robert Kanzelman |
| 2008 | DAC | Merging nodes under sequential observability. | Michael L. Case, Victor N. Kravets, Alan Mishchenko, Robert K. Brayton |
| 2008 | FMCAD | Invariant-Strengthened Elimination of Dependent State Elements. | Michael L. Case, Alan Mishchenko, Robert K. Brayton, Jason Baumgartner, Hari Mony |
| 2008 | ICCAD | Scalable and scalably-verifiable sequential synthesis. | Alan Mishchenko, Michael L. Case, Robert K. Brayton, Stephen Jang |
| 2007 | FMCAD | Automated Extraction of Inductive Invariants to Aid Model Checking. | Michael L. Case, Alan Mishchenko, Robert K. Brayton |