| 2022 | SAC | Statistical verification using learned usages for evaluating energy-efficient mobile device design. | Jiyoung Song, Youlim Jung, Chiwoo Cho, Eunkyoung Jee, Doo-Hwan Bae |
| 2020 | APSEC | Pattern-based Analysis of Interaction Failures in Systems-of-Systems: a Case Study on Platooning. | Sangwon Hyun, Jiyoung Song, Seungchyul Shin, Young Min Baek, Doo-Hwan Bae |
| 2019 | APSEC | Statistical Verification Framework for Platooning System of Systems with Uncertainty. | Sangwon Hyun, Jiyoung Song, Seungchyul Shin, Doo-Hwan Bae |
| 2019 | ICSE | Slicing executable system-of-systems models for efficient statistical verification. | Jiyoung Song, Jacob O. Trring, Sangwon Hyun, Eunkyoung Jee, Doo-Hwan Bae |
| 2018 | ICSE | A Meta-Model for Representing System-of-Systems Ontologies. | Young Min Baek, Jiyoung Song, Yong-Jun Shin, Sumin Park, Doo-Hwan Bae |
| 2017 | APSEC | SoS GaP Slicer: Slicing SoS Goal and PRISM Models for Change-Responsive Verification of SoS. | Jiyoung Song, Young Min Baek, Mingyu Jin, Eunkyoung Jee, Doo-Hwan Bae |
| 2016 | APSEC | Automated Test Sequence Generation for Function Block Diagram Programs. | Jiyoung Song, Eunkyoung Jee, Doo-Hwan Bae |
| 2016 | ICSE | Modeling and verification for different types of system of systems using PRISM. | Dongwon Seo, Donghwan Shin, Young Min Baek, Jiyoung Song, Wonkyung Yun, Junho Kim, Eunkyoung Jee, Doo-Hwan Bae |
| 2007 | ICCSA | Explicit Routing Designation (ERD) Method the Cache Information in Nested Mobile Networks. | Jiyoung Song, Sangjoon Park, Jongchan Lee, Hyun-Joo Moon, Byunggi Kim |
| 2004 | PDCAT | An Adaptive Proximity Route Selection Scheme in DHT-Based Peer to Peer Systems. | Jiyoung Song, Sungyong Park, Jihoon Yang |