Jang-Soo Lee

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

12EEGee-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
11EEHorst 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
10EEJang-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
9EEJunbeom 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)
8EEKeun 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
7EEJunbeom 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
6EEJang-Soo Lee, Shin-Dug Kim, Charles C. Weems: Performance analysis of a selectively compressed memory system. Microprocessors and Microsystems 26(2): 63-76 (2002)
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
4EEJung-Hoon Lee, Jang-Soo Lee, Shin-Dug Kim: A Selective Temporal and Aggressive Spatial Cache System Based on Time Interval. ICCD 2000: 287-293
3EEJang-Soo Lee, Won-Kee Hong, Shin-Dug Kim: A Selective Compressed Memory System by On-Line Data Decompressing. EUROMICRO 1999: 1224-1227
2EEJang-Soo Lee, Won-Kee Hong, Shin-Dug Kim: Design and Evaluation of a Selective Compressed Memory System. ICCD 1999: 184-191
1EEJang-Soo Lee, Sung Deok Cha: Behavior verification of hybrid real-time requirements by qualitative formalism. RTCSA 1997: 127-134

Coauthor Index

1Kyoung-Ho Cha [11]
2Sung Deok Cha [1] [7] [9]
3Se Woo Cheon [11] [12]
4Jong-Gyun Choi [10] [11]
5Ernst Hoffman [11]
6Won-Kee Hong [2] [3]
7Eunkyoung Jee [12]
8Seh-Woong Jeong [5]
9Chang Hwoi Kim [7]
10Jang-Yeol Kim [11]
11Jihong Kim [8]
12Shin-Dug Kim [2] [3] [4] [5] [6] [8]
13Tai Hyo Kim [9]
14Kern Koh [8]
15Kwang Yong Koh [12]
16Kee-Choon Kwon [10] [11] [12]
17Cheol-Kwon Lee [11]
18Jung-Hoon Lee [4] [5]
19Young-Jun Lee [11]
20Arndt Lindner [10] [11]
21Josef Märtz [11]
22Horst Miedl [10] [11]
23Gee-Yong Park [11] [12]
24Han Seiong Son [7]
25Han Seong Son [9]
26Charles C. Weems [6]
27Keun Soo Yim [8]
28Junbeom Yoo [7] [9]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)