Junsup Song

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 9

Top Topics

Knowledge Engineers

Collective Behavior

Security Requirements

Top Venues

Publications

Junsup Song, Sunghyun Lee, Dimitris Karagiannis, Moonkun Lee
Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin. Sensors 24 (3) (2024)
Junsup Song, Dimitris Karagiannis, Moonkun Lee
A Process Algebraic Approach to Predict and Control Uncertainty in Smart IoT Systems for Smart Cities Based on Permissible Probabilistic Equivalence. Sensors 24 (12) (2024)
Junsup Song, Dimitris Karagiannis, Moonkun Lee
Modeling Method to Abstract Collective Behavior of Smart IoT Systems in CPS. Sensors 22 (13) (2022)
Sunghyeon Lee, Junsup Song, Dimitri Karagiannis, Moonkun Lee
Analysis Method for Probabilistic Verification for Smart IoT Systems with Process Algebra. SmartIoT (2021)
Junsup Song, Moonkun Lee
Process Algebra to Control Nondeterministic Behavior of Enterprise Smart IoT Systems with Probability. PoEM (2019)
Junsup Song, Yeongbok Choe, Moonkun Lee
Application of Probabilistic Process Model for Smart Factory Systems. KSEM (2) (2019)
Junsup Song, Moonkun Lee
A Composition Method to Model Collective Behavior. PoEM (2018)
Maryam Rahmani, Junsup Song, Moonkun Lee
PRISM: A Knowledge Engineering Tool to Model Collective Behaviors of Real-time IoT Systems. PrOse@PoEM (2017)
Junsup Song, Maryam Rahmani, Moonkun Lee
Behavior Ontology to Model Collective Behavior of Emergency Medical Systems. ER Workshops (2017)
Junsup Song, Dongkun Shin
Performance improvement with zero copy technique on FUSE-based consumer devices. ICCE (2014)