An Emergency Message Propagation Method in Highway Traffic. - Sukdea Yu; Moonkun Lee; Gihwan Cho (UCS, 2006)

A Process Algebra for Specification and Analysis of Temporal Properties of Agents Distributed over Networked Space. - Jinho On; Jungrhan Choi; Moonkun Lee (FCS, 2008)

Development of a Scheduler for Hard Real-time Emergency Medical Systems over Networked Space in a Process Algebra. - Sujeong U; Gihwan Cho; Moonkun Lee (FCS, 2008)

A Calculus to Reduce Spatial and Temporal Complexity for Specification and Analysis of Complex Real-Time Systems. - Jungrhan Choi; Jinho On; Moonkun Lee; Jin-Young Choi (NCM (1), 2008)

An Abstraction Method for Mobility and Interaction in Process Algebra Using Behavior Ontology. - Sujeong Woo; Jinho On; Moonkun Lee (COMPSAC, 2011)

A Graphical Language to Integrate Process Algebra and State Machine Views for Specification and Verification of Distributed Real-Time Systems. - Jinho On; Sujeong Woo; Moonkun Lee (COMPSAC Workshops, 2012)

Behavior Ontology: A Framework to Detect Attack Patterns for Security. - Sujeong Woo; Jinho On; Moonkun Lee (AINA Workshops, 2013)

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

A Calculus for Transportation Systems. - Moonkun Lee; Jungrhan Choi (COMPSAC Workshops, 2014)

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)

Behavior Ontology to Model Collective Behavior of Emergency Medical Systems. - Junsup Song; Maryam Rahmani; Moonkun Lee (ER Workshops, 2017)

PRISM: A Knowledge Engineering Tool to Model Collective Behaviors of Real-time IoT Systems. - Maryam Rahmani; Junsup Song; Moonkun Lee (PrOse@PoEM, 2017)

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

A Composition Method to Model Collective Behavior. - Junsup Song; Moonkun Lee (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)

SAVE/GTS-VLT: Visual Logic Tool for Geo-Temporal Specification and Verification of Safety Requirements in Smart IoT Systems. - Sunghyun Lee; Moonkun Lee (PrOse@PoEM, 2019)

Process Algebra to Control Nondeterministic Behavior of Enterprise Smart IoT Systems with Probability. - Junsup Song; Moonkun Lee (PoEM, 2019)

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

Using Metamodeling for Requirements Engineering: A Best-Practice with ADOxx. - Dimitris Karagiannis; Moonkun Lee; Robert Andrei Buchmann (RE, 2019)

An Open Platform for Modeling Method Conceptualization: The OMiLAB Digital Ecosystem. - Dominik Bork; Robert Andrei Buchmann; Dimitris Karagiannis; Moonkun Lee; Elena-Teodora Miron (Commun. Assoc. Inf. Syst., 2019)

OMiLAB: A Smart Innovation Environment for Digital Engineers. - Dimitris Karagiannis; Robert Andrei Buchmann; Xavier Boucher; Sergio Cavalieri; Adrian Florea; Dimitris Kiritsis; Moonkun Lee (PRO-VE, 2020)

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

Modeling Method to Abstract Collective Behavior of Smart IoT Systems in CPS. - Junsup Song; Dimitris Karagiannis; Moonkun Lee (Sensors, 2022)

Semantic Matching Through Knowledge Graphs: A Smart City Case. - Alexander Völz; Danial Mohammadi Amlashi; Moonkun Lee (CAiSE Workshops, 2023)

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, 2024)

A Process Algebraic Approach to Predict and Control Uncertainty in Smart IoT Systems for Smart Cities Based on Permissible Probabilistic Equivalence. - Junsup Song; Dimitris Karagiannis; Moonkun Lee (Sensors, 2024)