| 2007 |
|---|
| 12 | EE | Gee-Yong Park,
Jang-Soo Lee,
Se Woo Cheon,
Kee-Choon Kwon,
Eunkyoung Jee,
Kwang Yong Koh:
Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System.
SAFECOMP 2007: 148-161 |
| 11 | EE | Horst Miedl,
Jang-Soo Lee,
Arndt Lindner,
Ernst Hoffman,
Josef Märtz,
Young-Jun Lee,
Jong-Gyun Choi,
Jang-Yeol Kim,
Kyoung-Ho Cha,
Se Woo Cheon,
Cheol-Kwon Lee,
Gee-Yong Park,
Kee-Choon Kwon:
Defense-in-Depth and Diverse Qualification of Safety-Critical Software.
SAFECOMP 2007: 258-263 |
| 2006 |
|---|
| 10 | EE | Jang-Soo Lee,
Arndt Lindner,
Jong-Gyun Choi,
Horst Miedl,
Kee-Choon Kwon:
Software Safety Lifecycles and the Methods of a Programmable Electronic Safety System for a Nuclear Power Plant.
SAFECOMP 2006: 85-98 |
| 2005 |
|---|
| 9 | EE | Junbeom Yoo,
Tai Hyo Kim,
Sung Deok Cha,
Jang-Soo Lee,
Han Seong Son:
A formal software requirements specification method for digital nuclear plant protection systems.
Journal of Systems and Software 74(1): 73-83 (2005) |
| 2004 |
|---|
| 8 | EE | Keun Soo Yim,
Jang-Soo Lee,
Jihong Kim,
Shin-Dug Kim,
Kern Koh:
A Space-Efficient On-Chip Compressed Cache Organization for High Performance Computing.
ISPA 2004: 952-964 |
| 7 | EE | Junbeom Yoo,
Sung Deok Cha,
Han Seiong Son,
Chang Hwoi Kim,
Jang-Soo Lee:
PLC-Based Safety Critical Software Development for Nuclear Power Plants.
SAFECOMP 2004: 155-165 |
| 2002 |
|---|
| 6 | EE | Jang-Soo Lee,
Shin-Dug Kim,
Charles C. Weems:
Performance analysis of a selectively compressed memory system.
Microprocessors and Microsystems 26(2): 63-76 (2002) |
| 2001 |
|---|
| 5 | | Jung-Hoon Lee,
Jang-Soo Lee,
Seh-Woong Jeong,
Shin-Dug Kim:
A Banked-Promotion TLB for High Performance and Low Power.
ICCD 2001: 118-123 |
| 2000 |
|---|
| 4 | EE | Jung-Hoon Lee,
Jang-Soo Lee,
Shin-Dug Kim:
A Selective Temporal and Aggressive Spatial Cache System Based on Time Interval.
ICCD 2000: 287-293 |
| 1999 |
|---|
| 3 | EE | Jang-Soo Lee,
Won-Kee Hong,
Shin-Dug Kim:
A Selective Compressed Memory System by On-Line Data Decompressing.
EUROMICRO 1999: 1224-1227 |
| 2 | EE | Jang-Soo Lee,
Won-Kee Hong,
Shin-Dug Kim:
Design and Evaluation of a Selective Compressed Memory System.
ICCD 1999: 184-191 |
| 1997 |
|---|
| 1 | EE | Jang-Soo Lee,
Sung Deok Cha:
Behavior verification of hybrid real-time requirements by qualitative formalism.
RTCSA 1997: 127-134 |
