Jang-Soo Lee

28 papers A* 1B 6C 4Journal 12Unranked 5
YearRankTypeTitle / Venue / Authors
2024 A* conf
Enterprise-Class Cache Compression Design.
HPCA
Alper Buyuktosunoglu, David Trilla, Bülent Abali, Deanna Postles Dunn Berger, Craig R. Walters, Jang-Soo Lee
2020 J jnl
Design of the IBM z15 microprocessor.
IBM J. Res. Dev.
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
2017 J jnl
NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs.
J. Comput. Sci. Eng.
Eui-Sub Kim, Dong-Ah Lee, Sejin Jung, Junbeom Yoo, Jong-Gyun Choi, Jang-Soo Lee
2014 — conf
A Technique for Demonstrating Safety and Correctness of Program Translators: Strategy and Case Study.
ISSRE Workshops
Junbeom Yoo, Jong-Gyun Choi, Young-Jun Lee, Jang-Soo Lee
2014 J jnl
Automated test case generation for FBD programs implementing reactor protection system software.
Softw. Test. Verification Reliab.
Eunkyoung Jee, Donghwan Shin, Sung Deok Cha, Jang-Soo Lee, Doo-Hwan Bae
2014 — conf
Guidelines for the Use of Function Block Diagram in Reactor Protection Systems.
APSEC (1)
Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee
2014 — conf
NuDE 2.0: A model-based software development environment for the PLC & FPGA based digital systems in nuclear power plants.
ISIC
Junbeom Yoo, Eui-Sub Kim, Dong-Ah Lee, Jong-Gyun Choi, Young-Jun Lee, Jang-Soo Lee
2013 — conf
A Preliminary Report on Static Analysis of C Code for Nuclear Reactor Protection System.
MIM
Jong-Hoon Lee, Eui-Sub Kim, Junbeom Yoo, Jang-Soo Lee
2013 J jnl
A systematic verification of behavioral consistency between FBD design and ANSI-C implementation using HW-CBMC.
Reliab. Eng. Syst. Saf.
Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee
2011 B conf
Equivalence Checking between Function Block Diagrams and C Programs Using HW-CBMC.
SAFECOMP
Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee
2010 J jnl
Erratum to "Means-ends and whole-part traceability analysis of safety requirements" [J. Syst. Software 83 (2010) 1612-1621].
J. Syst. Softw.
Jang-Soo Lee, Vikash Katta, Eunkyoung Jee, Christian Raspotnig
2010 J jnl
Means-ends and whole-part traceability analysis of safety requirements.
J. Syst. Softw.
Jang-Soo Lee, Vikash Katta, Eunkyoung Jee, Christian Raspotnig
2007 B conf
Defense-in-Depth and Diverse Qualification of Safety-Critical Software.
SAFECOMP
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
2007 B conf
Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System.
SAFECOMP
Gee-Yong Park, Jang-Soo Lee, Se Woo Cheon, Kee-Choon Kwon, Eunkyoung Jee, Kwang Yong Koh
2006 B conf
Software Safety Lifecycles and the Methods of a Programmable Electronic Safety System for a Nuclear Power Plant.
SAFECOMP
Jang-Soo Lee, Arndt Lindner, Jong-Gyun Choi, Horst Miedl, Kee-Choon Kwon
2005 J jnl
A formal software requirements specification method for digital nuclear plant protection systems.
J. Syst. Softw.
Junbeom Yoo, Tai Hyo Kim, Sung Deok Cha, Jang-Soo Lee, Han Seong Son
2005 J jnl
A simple method to compute a periodic solution of the Poisson equation with no boundary conditions.
Int. J. Fuzzy Log. Intell. Syst.
Byung-Doo Moon, Jang-Soo Lee, Dong-Young Lee, Kee-Choon Kwon
2005 J jnl
Fault tree construction of hybrid system requirements using qualitative formal method.
Reliab. Eng. Syst. Saf.
Jang-Soo Lee, Sung Deok Cha
2004 C conf
A Space-Efficient On-Chip Compressed Cache Organization for High Performance Computing.
ISPA
Keun Soo Yim, Jang-Soo Lee, Jihong Kim, Shin-Dug Kim, Kern Koh
2004 B conf
PLC-Based Safety Critical Software Development for Nuclear Power Plants.
SAFECOMP
Junbeom Yoo, Sung Deok Cha, Han Seong Son, Chang Hwoi Kim, Jang-Soo Lee
2002 J jnl
Performance analysis of a selectively compressed memory system.
Microprocess. Microsystems
Jang-Soo Lee, Shin-Dug Kim, Charles C. Weems
2001 C conf
A Banked-Promotion TLB for High Performance and Low Power.
ICCD
Jung-Hoon Lee, Jang-Soo Lee, Seh-Woong Jeong, Shin-Dug Kim
2000 C conf
A Selective Temporal and Aggressive Spatial Cache System Based on Time Interval.
ICCD
Jung-Hoon Lee, Jang-Soo Lee, Shin-Dug Kim
2000 J jnl
A new cache architecture based on temporal and spatial locality.
J. Syst. Archit.
Jung-Hoon Lee, Jang-Soo Lee, Shin-Dug Kim
2000 J jnl
An on-chip cache compression technique to reduce decompression overhead and design complexity.
J. Syst. Archit.
Jang-Soo Lee, Won-Kee Hong, Shin-Dug Kim
1999 — conf
A Selective Compressed Memory System by On-Line Data Decompressing.
EUROMICRO
Jang-Soo Lee, Won-Kee Hong, Shin-Dug Kim
1999 C conf
Design and Evaluation of a Selective Compressed Memory System.
ICCD
Jang-Soo Lee, Won-Kee Hong, Shin-Dug Kim
1997 B conf
Behavior verification of hybrid real-time requirements by qualitative formalism.
RTCSA
Jang-Soo Lee, Sung Deok Cha