Concepedia

Michael Case

MC

Statistics

Publications

6

Citations

151

H-Index

6

Active since

2007

Affiliations

University of California, Berkeley(Current)

Xilinx (United States)

IBM (United States)

Michael Case is an author at University of California, Berkeley specializing in computer science, computer engineering, and algorithms.

Publications per year

2007–2009

6

Publications

6

Scalable and scalably-verifiable sequential synthesis

Alan Mishchenko, Michael Case, Robert K. Brayton et al. · 2008 · 47 citations

Engineering, Computer Engineering, Computer Science +15

Scalable and scalably-verifiable sequential synthesis

Alan Mishchenko, Michael Case, Robert K. Brayton et al. · 2008 · 45 citations

Engineering, Computer Engineering, Computer Science +15

Merging nodes under sequential observability

Michael Case, Alan Mishchenko, Robert K. Brayton · 2008 · 20 citations

Engineering, Computer Engineering, Computer Science +17

Enhanced verification by temporal decomposition

Michael Case, Hari Mony, Jason Baumgartner et al. · 2009 · 19 citations

Computing, Computer Engineering, Computer Science +17

Automated Extraction of Inductive Invariants to Aid Model Checking

Michael Case, Alan Mishchenko, Robert K. Brayton · Formal Methods in Computer-Aided Design · 2007 · 10 citations

Computing, Computer Science, Algorithms +15

1–5 of 6