Behavior verification of hybrid real-time requirements by qualitative formalism. - Jang-Soo Lee; Sung Deok Cha (RTCSA, 1997)

A Selective Compressed Memory System by On-Line Data Decompressing. - Jang-Soo Lee; Won-Kee Hong; Shin-Dug Kim (EUROMICRO, 1999)

Design and Evaluation of a Selective Compressed Memory System. - Jang-Soo Lee; Won-Kee Hong; Shin-Dug Kim (ICCD, 1999)

A Selective Temporal and Aggressive Spatial Cache System Based on Time Interval. - Jung-Hoon Lee; Jang-Soo Lee; Shin-Dug Kim (ICCD, 2000)

An on-chip cache compression technique to reduce decompression overhead and design complexity. - Jang-Soo Lee; Won-Kee Hong; Shin-Dug Kim (J. Syst. Archit., 2000)

A new cache architecture based on temporal and spatial locality. - Jung-Hoon Lee; Jang-Soo Lee; Shin-Dug Kim (J. Syst. Archit., 2000)

A Banked-Promotion TLB for High Performance and Low Power. - Jung-Hoon Lee; Jang-Soo Lee; Seh-Woong Jeong; Shin-Dug Kim (ICCD, 2001)

Performance analysis of a selectively compressed memory system. - Jang-Soo Lee; Shin-Dug Kim; Charles C. Weems (Microprocess. Microsystems, 2002)

A Space-Efficient On-Chip Compressed Cache Organization for High Performance Computing. - Keun Soo Yim; Jang-Soo Lee; Jihong Kim 001; Shin-Dug Kim; Kern Koh (ISPA, 2004)

PLC-Based Safety Critical Software Development for Nuclear Power Plants. - Junbeom Yoo; Sung Deok Cha; Han Seong Son; Chang Hwoi Kim; Jang-Soo Lee (SAFECOMP, 2004)

A simple method to compute a periodic solution of the Poisson equation with no boundary conditions. - Byung-Doo Moon; Jang-Soo Lee; Dong-Young Lee; Kee-Choon Kwon (Int. J. Fuzzy Log. Intell. Syst., 2005)

A formal software requirements specification method for digital nuclear plant protection systems. - Junbeom Yoo; Tai Hyo Kim; Sung Deok Cha; Jang-Soo Lee; Han Seong Son (J. Syst. Softw., 2005)

Fault tree construction of hybrid system requirements using qualitative formal method. - Jang-Soo Lee; Sung Deok Cha (Reliab. Eng. Syst. Saf., 2005)

Software Safety Lifecycles and the Methods of a Programmable Electronic Safety System for a Nuclear Power Plant. - Jang-Soo Lee; Arndt Lindner; Jong-Gyun Choi; Horst Miedl; Kee-Choon Kwon (SAFECOMP, 2006)

Defense-in-Depth and Diverse Qualification of Safety-Critical Software. - 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; et al. (SAFECOMP, 2007)

Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System. - Gee-Yong Park; Jang-Soo Lee; Se Woo Cheon; Kee-Choon Kwon; Eunkyoung Jee; Kwang Yong Koh (SAFECOMP, 2007)

Means-ends and whole-part traceability analysis of safety requirements. - Jang-Soo Lee; Vikash Katta; Eunkyoung Jee; Christian Raspotnig (J. Syst. Softw., 2010)

Erratum to "Means-ends and whole-part traceability analysis of safety requirements" [J. Syst. Software 83 (2010) 1612-1621]. - Jang-Soo Lee; Vikash Katta; Eunkyoung Jee; Christian Raspotnig (J. Syst. Softw., 2010)

Equivalence Checking between Function Block Diagrams and C Programs Using HW-CBMC. - Dong-Ah Lee; Junbeom Yoo; Jang-Soo Lee (SAFECOMP, 2011)

A Preliminary Report on Static Analysis of C Code for Nuclear Reactor Protection System. - Jong-Hoon Lee; Eui-Sub Kim; Junbeom Yoo; Jang-Soo Lee (MIM, 2013)

A systematic verification of behavioral consistency between FBD design and ANSI-C implementation using HW-CBMC. - Dong-Ah Lee; Junbeom Yoo; Jang-Soo Lee (Reliab. Eng. Syst. Saf., 2013)

Guidelines for the Use of Function Block Diagram in Reactor Protection Systems. - Dong-Ah Lee; Junbeom Yoo; Jang-Soo Lee (APSEC (1), 2014)

NuDE 2.0: A model-based software development environment for the PLC & FPGA based digital systems in nuclear power plants. - Junbeom Yoo; Eui-Sub Kim; Dong-Ah Lee; Jong-Gyun Choi; Young-Jun Lee; Jang-Soo Lee (ISIC, 2014)

A Technique for Demonstrating Safety and Correctness of Program Translators: Strategy and Case Study. - Junbeom Yoo; Jong-Gyun Choi; Young-Jun Lee; Jang-Soo Lee (ISSRE Workshops, 2014)

Automated test case generation for FBD programs implementing reactor protection system software. - Eunkyoung Jee; Donghwan Shin 001; Sung Deok Cha; Jang-Soo Lee; Doo-Hwan Bae (Softw. Test. Verification Reliab., 2014)

NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs. - Eui-Sub Kim; Dong-Ah Lee; Sejin Jung; Junbeom Yoo; Jong-Gyun Choi; Jang-Soo Lee (J. Comput. Sci. Eng., 2017)

Design of the IBM z15 microprocessor. - Anthony Saporito; Martin Recktenwald; Christian Jacobi 002; Gerrit Koch; Deanna Postles Dunn Berger; Robert J. Sonnelitter; Craig R. Walters; Jang-Soo Lee; Cédric Lichtenau; Ulrich Mayer; Eduard Herkel; Stefan Payer; et al. (IBM J. Res. Dev., 2020)

Enterprise-Class Cache Compression Design. - Alper Buyuktosunoglu; David Trilla; Bülent Abali; Deanna Postles Dunn Berger; Craig R. Walters; Jang-Soo Lee (HPCA, 2024)