| 2008 |
|---|
| 4 | EE | Hyondeuk Kim,
HoonSang Jin,
Kavita Ravi,
Petr Spacek,
John Pierce,
Robert P. Kurshan,
Fabio Somenzi:
Application of Formal Word-Level Analysis to Constrained Random Simulation.
CAV 2008: 487-490 |
| 2007 |
|---|
| 3 | EE | Chao Wang,
Hyondeuk Kim,
Aarti Gupta:
Hybrid CEGAR: combining variable hiding and predicate abstraction.
ICCAD 2007: 310-317 |
| 2 | EE | Hyondeuk Kim,
HoonSang Jin,
Fabio Somenzi:
Disequality Management in Integer Difference Logic via Finite Instantiations.
JSAT 3(1-2): 47-66 (2007) |
| 2006 |
|---|
| 1 | EE | Hyondeuk Kim,
Fabio Somenzi:
Finite Instantiations for Integer Difference Logic.
FMCAD 2006: 31-38 |
