Junsup Song

According to our database, Junsup Song authored at least 9 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

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

2022

Modeling Method to Abstract Collective Behavior of Smart IoT Systems in CPS.

Junsup Song, Dimitris Karagiannis, Moonkun Lee

Sensors, 2022

2021

Analysis Method for Probabilistic Verification for Smart IoT Systems with Process Algebra.

Sunghyeon Lee, Junsup Song, Dimitri Karagiannis, Moonkun Lee

Proceedings of the IEEE International Conference on Smart Internet of Things, 2021

2019

Application of Probabilistic Process Model for Smart Factory Systems.

Junsup Song, Yeongbok Choe, Moonkun Lee

Proceedings of the Knowledge Science, Engineering and Management, 2019

Process Algebra to Control Nondeterministic Behavior of Enterprise Smart IoT Systems with Probability.

Junsup Song, Moonkun Lee

Proceedings of the Practice of Enterprise Modeling, 2019

2018

A Composition Method to Model Collective Behavior.

Junsup Song, Moonkun Lee

Proceedings of the Practice of Enterprise Modeling - 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31, 2018

2017

PRISM: A Knowledge Engineering Tool to Model Collective Behaviors of Real-time IoT Systems.

Maryam Rahmani, Junsup Song, Moonkun Lee

Proceedings of the 1st International Workshop on Practicing Open Enterprise Modeling within OMiLAB (PrOse 2017) co-located with 10th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modelling (PoEM 2017), 2017

Behavior Ontology to Model Collective Behavior of Emergency Medical Systems.

Junsup Song, Maryam Rahmani, Moonkun Lee

Proceedings of the Advances in Conceptual Modeling, 2017

2014

Performance improvement with zero copy technique on FUSE-based consumer devices.

Junsup Song, Dongkun Shin

Proceedings of the IEEE International Conference on Consumer Electronics, 2014