Sunghyun Lee

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 3

Top Topics

Security Requirements

Asynchronous Circuits

Requirements Engineering

Top Venues

Publications

Junsup Song, Sunghyun Lee, Dimitris Karagiannis, Moonkun Lee
Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin. Sensors 24 (3) (2024)
Seehwan Yoo, Hojin Shin, Sunghyun Lee, Jongmoo Choi
A Read Performance Analysis with Storage Hierarchy in Modern KVS: A RocksDB Case. NVMSA (2022)
Sunghyun Lee, Moonkun Lee
SAVE/GTS-VLT: Visual Logic Tool for Geo-Temporal Specification and Verification of Safety Requirements in Smart IoT Systems. PrOse@PoEM (2019)
Yongjin Ahn, Daehong Kim, Sunghyun Lee, Sanggyu Park, Sungjoo Yoo, Kiyoung Choi, Soo-Ik Chae
An Efficient Simulation Environment and Simulation Techniques for Bluetooth Device Design. Des. Autom. Embed. Syst. 8 (2-3) (2003)
Sunghyun Lee, Sungjoo Yoo, Kiyoung Choi
Reconfigurable SoC design with hierarchical FSM and synchronous dataflow model. CODES (2002)
Sunghyun Lee, Kiyoung Choi, Sungjoo Yoo
An intra-task dynamic voltage scaling method for SoC design with hierarchical FSM and synchronous dataflow model. ISLPED (2002)
Daehong Kim, Jinyong Jung, Sunghyun Lee, Jinhwan Jeon, Kiyoung Choi
Behavior-to-Placed RTL Synthesis with Performance-Driven Placement. ICCAD (2001)
Byungil Jeong, Sungjoo Yoo, Sunghyun Lee, Kiyoung Choi
Hardware-software cosynthesis for run-time incrementally reconfigurable FPGAs. ASP-DAC (2000)