Concepedia

Mark C. Hansen

MC

4

Publications

642

Citations

4

H-Index

1983

Active since

Affiliations

University of Michigan(Current)

Mark C. Hansen is an author at University of Michigan specializing in engineering, formal verification, and software testing.

Top concepts

Publications per year

1983–2002

4

Publications

4

Unveiling the ISCAS-85 benchmarks: a case study in reverse engineering

Mark C. Hansen, Hakan Yalcin, John P. Hayes · IEEE Design & Test of Computers · 1999 · 524 citations

, , +23

High-level test generation using physically-induced faults

Mark C. Hansen, John P. Hayes · 2002 · 66 citations

, , +20

Tracking nonlinear equilibrium paths by a homotopy method

Layne T. Watson, Siegfried M. Holzer, Mark C. Hansen · Nonlinear Analysis · 1983 · 31 citations

, , +1

High-level test generation using symbolic scheduling

Mark C. Hansen, John P. Hayes · 2002 · 21 citations

, , +22

Rows per page

1–4 of 4