Statistical Verification Framework for Platooning System of Systems with Uncertainty. - Sangwon Hyun; Jiyoung Song; Seungchyul Shin; Doo-Hwan Bae (APSEC, 2019)

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 (APSEC, 2020)

Uncertainty based Fault Type Identification for Fault Knowledge Base Generation in System of Systems. - Seungchyul Shin; Sangwon Hyun; Yong-Jun Shin; Jiyoung Song; Doo-Hwan Bae (SoSE, 2021)