 | 2009 |
|---|
| 5 |       | Yunho Kim,
Paul M. Thompson,
Arthur W. Toga,
Luminita A. Vese,
Liang Zhan:
HARDI Denoising: Variational Regularization of the Spherical Apparent Diffusion Coefficient sADC.
IPMI 2009: 515-527 |
| 4 | | Moonzoo Kim,
Yunho Kim:
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System.
SBMF 2009: 251-265 |
| 2008 |
|---|
| 3 | | Moonzoo Kim,
Yunho Kim,
Hotae Kim:
Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker.
ASE 2008: 198-207 |
| 2 | | Moonzoo Kim,
Yunja Choi,
Yunho Kim,
Hotae Kim:
Pre-testing Flash Device Driver through Model Checking Techniques.
ICST 2008: 475-484 |
| 1 | | Moonzoo Kim,
Yunja Choi,
Yunho Kim,
Hotae Kim:
Formal Verification of a Flash Memory Device Driver - An Experience Report.
SPIN 2008: 144-159 |
