Jang-Soo Lee

According to our database, Jang-Soo Lee authored at least 28 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Enterprise-Class Cache Compression Design.

Alper Buyuktosunoglu, David Trilla, Bülent Abali, Deanna Postles Dunn Berger, Craig R. Walters, Jang-Soo Lee

Proceedings of the IEEE International Symposium on High-Performance Computer Architecture, 2024

2020

Design of the IBM z15 microprocessor.

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

IBM J. Res. Dev., 2020

2017

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

2014

Automated test case generation for FBD programs implementing reactor protection system software.

Eunkyoung Jee, Donghwan Shin, Sung Deok Cha, Jang-Soo Lee, Doo-Hwan Bae

Softw. Test. Verification Reliab., 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

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 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

Proceedings of the 2014 International Symposium on Integrated Circuits (ISIC), 2014

Guidelines for the Use of Function Block Diagram in Reactor Protection Systems.

Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

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

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

Proceedings of the 7th IFAC Conference on Manufacturing Modelling, Management, and Control, 2013

2011

Equivalence Checking between Function Block Diagrams and C Programs Using HW-CBMC.

Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee

Proceedings of the Computer Safety, Reliability, and Security, 2011

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

Means-ends and whole-part traceability analysis of safety requirements.

Jang-Soo Lee, Vikash Katta, Eunkyoung Jee, Christian Raspotnig

J. Syst. Softw., 2010

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

Proceedings of the Computer Safety, 2007

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, Kee-Choon Kwon

Proceedings of the Computer Safety, 2007

2006

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

Proceedings of the Computer Safety, 2006

2005

Fault tree construction of hybrid system requirements using qualitative formal method.

Jang-Soo Lee, Sung Deok Cha

Reliab. Eng. Syst. Saf., 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

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

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

Proceedings of the Computer Safety, 2004

A Space-Efficient On-Chip Compressed Cache Organization for High Performance Computing.

Keun Soo Yim, Jang-Soo Lee, Jihong Kim, Shin-Dug Kim, Kern Koh

Proceedings of the Parallel and Distributed Processing and Applications, 2004

2002

Performance analysis of a selectively compressed memory system.

Jang-Soo Lee, Shin-Dug Kim, Charles C. Weems

Microprocess. Microsystems, 2002

2001

A Banked-Promotion TLB for High Performance and Low Power.

Jung-Hoon Lee, Jang-Soo Lee, Seh-Woong Jeong, Shin-Dug Kim

Proceedings of the 19th International Conference on Computer Design (ICCD 2001), 2001

2000

A new cache architecture based on temporal and spatial locality.

Jung-Hoon Lee, Jang-Soo Lee, Shin-Dug Kim

J. Syst. Archit., 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 Selective Temporal and Aggressive Spatial Cache System Based on Time Interval.

Jung-Hoon Lee, Jang-Soo Lee, Shin-Dug Kim

Proceedings of the IEEE International Conference On Computer Design: VLSI In Computers & Processors, 2000

1999

Design and Evaluation of a Selective Compressed Memory System.

Jang-Soo Lee, Won-Kee Hong, Shin-Dug Kim

Proceedings of the IEEE International Conference On Computer Design, 1999

A Selective Compressed Memory System by On-Line Data Decompressing.

Jang-Soo Lee, Won-Kee Hong, Shin-Dug Kim

Proceedings of the 25th EUROMICRO '99 Conference, 1999

1997

Behavior verification of hybrid real-time requirements by qualitative formalism.

Jang-Soo Lee, Sung Deok Cha

Proceedings of the 4th International Workshop on Real-Time Computing Systems and Applications (RTCSA '97), 1997