Sunghyeon Lee

According to our database, Sunghyeon Lee authored at least 3 papers between 2016 and 2021.

Collaborative distances:

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

2021

Analysis Method for Probabilistic Verification for Smart IoT Systems with Process Algebra.

Sunghyeon Lee, Junsup Song, Dimitri Karagiannis, Moonkun Lee

Proceedings of the IEEE International Conference on Smart Internet of Things, 2021

2018

Internet of Things: Technology, Applications and Standardardization.

Jaydip Sen, Moonkun Lee, Sunghyeon Lee, Yeongbok Choe, Menachem Domb, Arpan Pal, Hemant Kumar Rath, Samar Shailendra, Abhijan Bhattacharyya, Albena Mihovska, Mahasweta Sarkar, Hyun Jung Lee, Myungho Kim, Alexandru Averian

CoRR, 2018

2016

SAVE: An Environment for Visual Specification and Verification of IoT.

Yeongbok Choe, Sunghyeon Lee, Moonkun Lee

Proceedings of the 20th IEEE International Enterprise Distributed Object Computing Workshop, 2016