![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Jang-Soo Lee
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c16]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]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
- 2017
- [j11]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]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]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]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]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]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]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]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]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]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
- 2007
- [c10]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]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]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]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]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]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]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]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]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]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]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]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]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
- 1999
- [c3]Jang-Soo Lee, Won-Kee Hong, Shin-Dug Kim:
A Selective Compressed Memory System by On-Line Data Decompressing. EUROMICRO 1999: 1224-1227 - [c2]Jang-Soo Lee, Won-Kee Hong, Shin-Dug Kim:
Design and Evaluation of a Selective Compressed Memory System. ICCD 1999: 184-191 - 1997
- [c1]Jang-Soo Lee, Sung Deok Cha:
Behavior verification of hybrid real-time requirements by qualitative formalism. RTCSA 1997: 127-134
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint