Robert Kanzelman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
5
Active years
2004–2024
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FMCAD | Toward Exhaustive Sequential Redundancy Removal. | Rohit Dureja, Jason Baumgartner, Raj Kumar Gajavelly, Robert Kanzelman, Kristin Y. Rozier |
| 2020 | FMCAD | Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration. | Rohit Dureja, Jason Baumgartner, Robert Kanzelman, Mark Williams, Kristin Y. Rozier |
| 2019 | FMCAD | Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties. | Rohit Dureja, Jason Baumgartner, Alexander Ivrii, Robert Kanzelman, Kristin Y. Rozier |
| 2016 | ICCAD | The art of semi-formal bug hunting. | Pradeep Kumar Nalla, Raj Kumar Gajavelly, Jason Baumgartner, Hari Mony, Robert Kanzelman, Alexander Ivrii |
| 2014 | VLSID | Effective Liveness Verification Using a Transformation-Based Framework. | Pradeep Kumar Nalla, Raj Kumar Gajavelly, Hari Mony, Jason Baumgartner, Robert Kanzelman |
| 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 |
| 2009 | FMCAD | Enhanced verification by temporal decomposition. | Michael L. Case, Hari Mony, Jason Baumgartner, Robert Kanzelman |
| 2006 | ICCD | Scalable Sequential Equivalence Checking across Arbitrary Design Transformations . | Jason Baumgartner, Hari Mony, Viresh Paruthi, Robert Kanzelman, Geert Janssen |
| 2005 | DAC | Exploiting suspected redundancy without proving it. | Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman |
| 2004 | FMCAD | Scalable Automated Verification via Expert-System Guided Transformations. | Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman, Andreas Kuehlmann |