Sunghyun Lee

According to our database, Sunghyun Lee authored at least 8 papers between 2000 and 2024.

Collaborative distances:

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

2024

Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin.

Junsup Song, Sunghyun Lee, Dimitris Karagiannis, Moonkun Lee

Sensors, February, 2024

2022

A Read Performance Analysis with Storage Hierarchy in Modern KVS: A RocksDB Case.

Seehwan Yoo, Hojin Shin, Sunghyun Lee, Jongmoo Choi

Proceedings of the 11th IEEE Non-Volatile Memory Systems and Applications Symposium, 2022

2019

SAVE/GTS-VLT: Visual Logic Tool for Geo-Temporal Specification and Verification of Safety Requirements in Smart IoT Systems.

Sunghyun Lee, Moonkun Lee

Proceedings of the 3rd International Workshop on Practicing Open Enterprise Modeling Within OMiLAB (PrOse 2019) co-located with 12th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modelling (PoEM 2019), 2019

2003

An Efficient Simulation Environment and Simulation Techniques for Bluetooth Device Design.

Yongjin Ahn, Daehong Kim, Sunghyun Lee, Sanggyu Park, Sungjoo Yoo, Kiyoung Choi, Soo-Ik Chae

Des. Autom. Embed. Syst., 2003

2002

An intra-task dynamic voltage scaling method for SoC design with hierarchical FSM and synchronous dataflow model.

Sunghyun Lee, Kiyoung Choi, Sungjoo Yoo

Proceedings of the 2002 International Symposium on Low Power Electronics and Design, 2002

Reconfigurable SoC design with hierarchical FSM and synchronous dataflow model.

Sunghyun Lee, Sungjoo Yoo, Kiyoung Choi

Proceedings of the Tenth International Symposium on Hardware/Software Codesign, 2002

2001

Behavior-to-Placed RTL Synthesis with Performance-Driven Placement.

Daehong Kim, Jinyong Jung, Sunghyun Lee, Jinhwan Jeon, Kiyoung Choi

Proceedings of the 2001 IEEE/ACM International Conference on Computer-Aided Design, 2001

2000

Hardware-software cosynthesis for run-time incrementally reconfigurable FPGAs.

Byungil Jeong, Sungjoo Yoo, Sunghyun Lee, Kiyoung Choi

Proceedings of ASP-DAC 2000, 2000