Michael L. Case

According to our database¹, Michael L. Case authored at least 12 papers between 2007 and 2013.

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

2013

LEC: Learning Driven Data-path Equivalence Checking.

[BibT_eX]

[DOI]

Jiang Long

Robert K. Brayton

Michael L. Case

Proceedings of the Second International Workshop on Design and Implementation of Formal Tools and Systems, 2013

A semi-canonical form for sequential AIGs.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2013

2011

Hybrid verification of a hardware modular reduction engine.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 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

2010

Coping with Moore's Law (and more): Supporting arrays in state-of-the-art model checkers.

[BibT_eX]

[DOI]

Jason Baumgartner

Michael L. Case

Hari Mony

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

2009

Enhanced verification by temporal decomposition.

[BibT_eX]

[DOI]

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

Scalable conditional equivalence checking: An automated invariant-generation based approach.

[BibT_eX]

[DOI]

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

2008

Scalable and scalably-verifiable sequential synthesis.

[BibT_eX]

[DOI]

Proceedings of the 2008 International Conference on Computer-Aided Design, 2008

Invariant-Strengthened Elimination of Dependent State Elements.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 2008

Merging nodes under sequential observability.

[BibT_eX]

[DOI]

Proceedings of the 45th Design Automation Conference, 2008

2007

Automated Extraction of Inductive Invariants to Aid Model Checking.

[BibT_eX]

[DOI]

Michael L. Case

Alan Mishchenko

Robert K. Brayton

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

Michael L. Case

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...