Robert Kanzelman

Publication Activity (10 Years)

Years Active: 2004-2020
Publications (10 Years): 3

Top Topics

Linear Transformation

Graph Partitioning

Semantic Properties

Ensemble Learning

Top Venues

Publications

Rohit Dureja, Jason Baumgartner, Robert Kanzelman, Mark Williams, Kristin Y. Rozier
Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration. FMCAD (2020)
Rohit Dureja, Jason Baumgartner, Alexander Ivrii, Robert Kanzelman, Kristin Y. Rozier
Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties. FMCAD (2019)
Pradeep Kumar Nalla, Raj Kumar Gajavelly, Jason Baumgartner, Hari Mony, Robert Kanzelman, Alexander Ivrii
The art of semi-formal bug hunting. ICCAD (2016)
Pradeep Kumar Nalla, Raj Kumar Gajavelly, Hari Mony, Jason Baumgartner, Robert Kanzelman
Effective Liveness Verification Using a Transformation-Based Framework. VLSI Design (2014)
Michael L. Case, Jason Baumgartner, Hari Mony, Robert Kanzelman
Approximate reachability with combined symbolic and ternary simulation. FMCAD (2011)
Michael L. Case, Jason Baumgartner, Hari Mony, Robert Kanzelman
Optimal redundancy removal without fixedpoint computation. FMCAD (2011)
Michael L. Case, Hari Mony, Jason Baumgartner, Robert Kanzelman
Enhanced verification by temporal decomposition. FMCAD (2009)
Jason Baumgartner, Hari Mony, Viresh Paruthi, Robert Kanzelman, Geert Janssen
Scalable Sequential Equivalence Checking across Arbitrary Design Transformations . ICCD (2006)
Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman
Exploiting suspected redundancy without proving it. DAC (2005)
Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman, Andreas Kuehlmann
Scalable Automated Verification via Expert-System Guided Transformations. FMCAD (2004)