Junsup Song

11 papers C 1Misc 2Journal 3Unranked 5

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Dynamic Adaption of Metamodels Based on Knowledge Graphs. CAiSE Workshops Danial Mohammadi Amlashi, Alexander Völz, Junsup Song
2024	J	`jnl`	A Process Algebraic Approach to Predict and Control Uncertainty in Smart IoT Systems for Smart Cities Based on Permissible Probabilistic Equivalence. Sensors Junsup Song, Dimitris Karagiannis, Moonkun Lee
2024	J	`jnl`	Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin. Sensors Junsup Song, Sunghyun Lee, Dimitris Karagiannis, Moonkun Lee
2022	J	`jnl`	Modeling Method to Abstract Collective Behavior of Smart IoT Systems in CPS. Sensors Junsup Song, Dimitris Karagiannis, Moonkun Lee
2021	—	`conf`	Analysis Method for Probabilistic Verification for Smart IoT Systems with Process Algebra. SmartIoT Sunghyeon Lee, Junsup Song, Dimitri Karagiannis, Moonkun Lee
2019	—	`conf`	Application of Probabilistic Process Model for Smart Factory Systems. KSEM (2) Junsup Song, Yeongbok Choe, Moonkun Lee
2019	Misc	`conf`	Process Algebra to Control Nondeterministic Behavior of Enterprise Smart IoT Systems with Probability. PoEM Junsup Song, Moonkun Lee
2018	Misc	`conf`	A Composition Method to Model Collective Behavior. PoEM Junsup Song, Moonkun Lee
2017	—	`conf`	Behavior Ontology to Model Collective Behavior of Emergency Medical Systems. ER Workshops Junsup Song, Maryam Rahmani, Moonkun Lee
2017	—	`conf`	PRISM: A Knowledge Engineering Tool to Model Collective Behaviors of Real-time IoT Systems. PrOse@PoEM Maryam Rahmani, Junsup Song, Moonkun Lee
2014	C	`conf`	Performance improvement with zero copy technique on FUSE-based consumer devices. ICCE Junsup Song, Dongkun Shin