SAVE: An Environment for Visual Specification and Verification of IoT. - Yeongbok Choe; Sunghyeon Lee; Moonkun Lee (EDOC Workshops, 2016)

Internet of Things: Technology, Applications and Standardardization. - Jaydip Sen; Moonkun Lee; Sunghyeon Lee; Yeongbok Choe; Menachem Domb; Arpan Pal 001; Hemant Kumar Rath; Samar Shailendra; Abhijan Bhattacharyya; Albena Mihovska; Mahasweta Sarkar; Hyun Jung Lee; et al. (CoRR, 2018)

Analysis Method for Probabilistic Verification for Smart IoT Systems with Process Algebra. - Sunghyeon Lee; Junsup Song; Dimitri Karagiannis; Moonkun Lee (SmartIoT, 2021)