Robert Kanzelman

According to our database¹, Robert Kanzelman authored at least 11 papers between 2004 and 2020.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2020

Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration.

[BibT_eX]

[DOI]

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2019

Input Elimination Transformations for Scalable Verification and Trace Reconstruction.

[BibT_eX]

[DOI]

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties.

[BibT_eX]

[DOI]

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

2016

The art of semi-formal bug hunting.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Computer-Aided Design, 2016

2014

Effective Liveness Verification Using a Transformation-Based Framework.

[BibT_eX]

[DOI]

Proceedings of the 2014 27th International Conference on VLSI Design, 2014

2011

Approximate reachability with combined symbolic and ternary simulation.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

Optimal redundancy removal without fixedpoint computation.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

2009

Enhanced verification by temporal decomposition.

[BibT_eX]

[DOI]

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

2006

Scalable Sequential Equivalence Checking across Arbitrary Design Transformations .

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Computer Design (ICCD 2006), 2006

2005

Exploiting suspected redundancy without proving it.

[BibT_eX]

[DOI]

Proceedings of the 42nd Design Automation Conference, 2005

2004

Scalable Automated Verification via Expert-System Guided Transformations.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

Robert Kanzelman

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...