Performance improvement with zero copy technique on FUSE-based consumer devices. - Junsup Song; Dongkun Shin (ICCE, 2014)

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)

A Composition Method to Model Collective Behavior. - Junsup Song; Moonkun Lee (PoEM, 2018)

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)

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)

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)

Dynamic Adaption of Metamodels Based on Knowledge Graphs. - Danial Mohammadi Amlashi; Alexander Völz; Junsup Song (CAiSE Workshops, 2025)