Process Algebraic Approach for Probabilistic Verification of Safety and Security Requirements of Smart IoT (Internet of Things) Systems in Digital Twin
Song, Junsup, Lee, Sunghyun, Karagiannis, Dimitris, Lee, Moonkun
Published in Sensors (Basel, Switzerland) (24.01.2024)
Published in Sensors (Basel, Switzerland) (24.01.2024)
Get full text
Journal Article
Modeling Method to Abstract Collective Behavior of Smart IoT Systems in CPS
Song, Junsup, Karagiannis, Dimitris, Lee, Moonkun
Published in Sensors (Basel, Switzerland) (05.07.2022)
Published in Sensors (Basel, Switzerland) (05.07.2022)
Get full text
Journal Article
Performance improvement with zero copy technique on FUSE-based consumer devices
Junsup Song, Dongkun Shin
Published in 2014 IEEE International Conference on Consumer Electronics (ICCE) (01.01.2014)
Published in 2014 IEEE International Conference on Consumer Electronics (ICCE) (01.01.2014)
Get full text
Conference Proceeding