default search action

combined dblp search
author search
venue search
publication search

ask others

Jang-Soo Lee

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/hpca/BuyuktosunogluTABWL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hpca/BuyuktosunogluTABWL24
Alper Buyuktosunoglu, David Trilla, Bülent Abali, Deanna Postles Dunn Berger, Craig R. Walters, Jang-Soo Lee:
Enterprise-Class Cache Compression Design. HPCA 2024: 996-1011
2020
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/ibmrd/SaporitoRJKBSWL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ibmrd/SaporitoRJKBSWL20
Anthony Saporito, Martin Recktenwald, Christian Jacobi, Gerrit Koch, Deanna Postles Dunn Berger, Robert J. Sonnelitter, Craig R. Walters, Jang-Soo Lee, Cédric Lichtenau, Ulrich Mayer, Eduard Herkel, Stefan Payer, Silvia M. Müller, Vesselina K. Papazova, Ekaterina M. Ambroladze, Timothy C. Bronson:
Design of the IBM z15 microprocessor. IBM J. Res. Dev. 64(5/6): 7:1-7:18 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2017
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/jcse/KimLJYCL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcse/KimLJYCL17
Eui-Sub Kim, Dong-Ah Lee, Sejin Jung, Junbeom Yoo, Jong-Gyun Choi, Jang-Soo Lee:
NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs. J. Comput. Sci. Eng. 11(1) (2017)
2014
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/JeeSCLB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/JeeSCLB14
Eunkyoung Jee, Donghwan Shin, Sung Deok Cha, Jang-Soo Lee, Doo-Hwan Bae:
Automated test case generation for FBD programs implementing reactor protection system software. Softw. Test. Verification Reliab. 24(8): 608-628 (2014)
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/LeeYL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/LeeYL14
Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee:
Guidelines for the Use of Function Block Diagram in Reactor Protection Systems. APSEC (1) 2014: 135-142
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/isicir/YooKLCLL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isicir/YooKLCLL14
Junbeom Yoo, Eui-Sub Kim, Dong-Ah Lee, Jong-Gyun Choi, Young-Jun Lee, Jang-Soo Lee:
NuDE 2.0: A model-based software development environment for the PLC & FPGA based digital systems in nuclear power plants. ISIC 2014: 604-607
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/YooCLL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/YooCLL14
Junbeom Yoo, Jong-Gyun Choi, Young-Jun Lee, Jang-Soo Lee:
A Technique for Demonstrating Safety and Correctness of Program Translators: Strategy and Case Study. ISSRE Workshops 2014: 210-215
2013
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/LeeYL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/LeeYL13
Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee:
A systematic verification of behavioral consistency between FBD design and ANSI-C implementation using HW-CBMC. Reliab. Eng. Syst. Saf. 120: 139-149 (2013)
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/mim/LeeKYL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mim/LeeKYL13
Jong-Hoon Lee, Eui-Sub Kim, Junbeom Yoo, Jang-Soo Lee:
A Preliminary Report on Static Analysis of C Code for Nuclear Reactor Protection System. MIM 2013: 2134-2139
2011
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/LeeYL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/LeeYL11
Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee:
Equivalence Checking between Function Block Diagrams and C Programs Using HW-CBMC. SAFECOMP 2011: 397-408
2010
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/LeeKJR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/LeeKJR10
Jang-Soo Lee, Vikash Katta, Eunkyoung Jee, Christian Raspotnig:
Means-ends and whole-part traceability analysis of safety requirements. J. Syst. Softw. 83(9): 1612-1621 (2010)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/LeeKJR10a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/LeeKJR10a
Jang-Soo Lee, Vikash Katta, Eunkyoung Jee, Christian Raspotnig:
Erratum to "Means-ends and whole-part traceability analysis of safety requirements" [J. Syst. Software 83 (2010) 1612-1621]. J. Syst. Softw. 83(12): 2664 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2007
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/ParkLCKJK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/ParkLCKJK07
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
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/MiedlLLHMLCKCCLPK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/MiedlLLHMLCKCCLPK07
Horst Miedl, Jang-Soo Lee, Arndt Lindner, Ernst Hoffman, Josef Märtz, Young-Jun Lee, Jong-Gyun Choi, Jangyeol 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
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/LeeLCMK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/LeeLCMK06
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
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/ijflis/MoonLLK05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijflis/MoonLLK05
Byung-Doo Moon, Jang-Soo Lee, Dong-Young Lee, Kee-Choon Kwon:
A simple method to compute a periodic solution of the Poisson equation with no boundary conditions. Int. J. Fuzzy Log. Intell. Syst. 5(4): 286-290 (2005)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/YooKCLS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/YooKCLS05
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. J. Syst. Softw. 74(1): 73-83 (2005)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/LeeC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/LeeC05
Jang-Soo Lee, Sung Deok Cha:
Fault tree construction of hybrid system requirements using qualitative formal method. Reliab. Eng. Syst. Saf. 87(1): 121-131 (2005)
2004
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/ispa/YimLKKK04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispa/YimLKKK04
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
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/YooCSKL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/YooCSKL04
Junbeom Yoo, Sung Deok Cha, Han Seong Son, Chang Hwoi Kim, Jang-Soo Lee:
PLC-Based Safety Critical Software Development for Nuclear Power Plants. SAFECOMP 2004: 155-165
2002
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/mam/LeeKW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mam/LeeKW02
Jang-Soo Lee, Shin-Dug Kim, Charles C. Weems:
Performance analysis of a selectively compressed memory system. Microprocess. Microsystems 26(2): 63-76 (2002)
2001
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/iccd/LeeLJK01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccd/LeeLJK01
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
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jsa/LeeHK00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/LeeHK00
Jang-Soo Lee, Won-Kee Hong, Shin-Dug Kim:
An on-chip cache compression technique to reduce decompression overhead and design complexity. J. Syst. Archit. 46(15): 1365-1382 (2000)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jsa/LeeLK00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/LeeLK00
Jung-Hoon Lee, Jang-Soo Lee, Shin-Dug Kim:
A new cache architecture based on temporal and spatial locality. J. Syst. Archit. 46(15): 1451-1467 (2000)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/iccd/LeeLK00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccd/LeeLK00
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

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/LeeHK99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/LeeHK99
Jang-Soo Lee, Won-Kee Hong, Shin-Dug Kim:
A Selective Compressed Memory System by On-Line Data Decompressing. EUROMICRO 1999: 1224-1227
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/iccd/LeeHK99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccd/LeeHK99
Jang-Soo Lee, Won-Kee Hong, Shin-Dug Kim:
Design and Evaluation of a Selective Compressed Memory System. ICCD 1999: 184-191
1997
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/rtcsa/LeeC97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtcsa/LeeC97
Jang-Soo Lee, Sung Deok Cha:
Behavior verification of hybrid real-time requirements by qualitative formalism. RTCSA 1997: 127-134

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.