| |
| * | 2007 | |
|---|---|---|
| 3 | EE | Sunae Seo, Youil Kim, Hyun-Goo Kang, Taisook Han: A Static Bug Detector for Uninitialized Field References in Java Programs. IEICE Transactions 90-D(10): 1663-1671 (2007) |
| 2006 | ||
| 2 | EE | Choonho Son, Jeong-Han Yun, Hyun-Goo Kang, Taisook Han: Automatic Hardware/Software Interface Generation for Embedded System. JIPS 2(3): 137-142 (2006) |
| 2005 | ||
| 1 | EE | Hyun-Goo Kang, Youil Kim, Taisook Han, Hwansoo Han: A Path Sensitive Type System for Resource Usage Verification of C Like Languages. APLAS 2005: 264-280 |
| 1 | Hwansoo Han | [1] |
| 2 | Taisook Han | [1] [2] [3] |
| 3 | Youil Kim | [1] [3] |
| 4 | Sunae Seo | [3] |
| 5 | Choonho Son | [2] |
| 6 | Jeong-Han Yun | [2] |