Login / Signup
Sunghyeon Lee
Publication Activity (10 Years)
Years Active: 2016-2021
Publications (10 Years): 3
Top Topics
Complex Environments
Autonomous Agents
Visual Environment
Technological Advances
Top Venues
CoRR
SmartIoT
EDOC Workshops
</>
Publications
</>
Sunghyeon Lee
,
Junsup Song
,
Dimitri Karagiannis
,
Moonkun Lee
Analysis Method for Probabilistic Verification for Smart IoT Systems with Process Algebra.
SmartIoT
(2021)
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
Internet of Things: Technology, Applications and Standardardization.
CoRR
(2018)
Yeongbok Choe
,
Sunghyeon Lee
,
Moonkun Lee
SAVE: An Environment for Visual Specification and Verification of IoT.
EDOC Workshops
(2016)