An Abstraction Method of Behaviors for Process Algebra. - Jinho On; Yeongbok Choe; Moonkun Lee (COMPSAC Workshops, 2013)

A Lattice Model to Verify Behavioral Equivalences. - Yeongbok Choe; Moonkun Lee (EMS, 2014)

A Reduction Method for Process and System Complexity with Conjunctive and Complement Choices in a Process Algebra. - Woorim Choi; Yeongbok Choe; Moonkun Lee (COMPSAC Workshops, 2015)

δ-calculus: Process Algebra to Model Secure Movements of Distributed Mobile Processes in Real-time Business Applications. - Yeongbok Choe; Moonkun Lee (ECIS, 2015)

Algebraic Method to Model Secure IoT. - Yeongbok Choe; Moonkun Lee (Domain-Specific Conceptual Modeling, 2016)

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

Process Model to Predict Nondeterministic Behavior of IoT Systems. - Yeongbok Choe; Moonkun Lee (PrOse@PoEM, 2018)

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)

Application of Probabilistic Process Model for Smart Factory Systems. - Junsup Song; Yeongbok Choe; Moonkun Lee (KSEM (2), 2019)