An Adaptive Proximity Route Selection Scheme in DHT-Based Peer to Peer Systems. - Jiyoung Song; Sungyong Park; Jihoon Yang (PDCAT, 2004)

A handover scheme in clustered cellular networks. - Sangjoon Park; Jiyoung Song; Jongchan Lee; Kwan-Joong Kim; Byunggi Kim (Future Gener. Comput. Syst., 2004)

Fuzzy Post-clustering Algorithm for Web Search Engine. - Younghee Im; Jiyoung Song; Daihee Park (AIRS, 2005)

An Improved Rectangular Decomposition Algorithm for Imprecise and Uncertain Knowledge Discovery. - Jiyoung Song; Younghee Im; Daihee Park (FSKD (1), 2005)

Intrusion Detection System Based on Multi-class SVM. - Hansung Lee; Jiyoung Song; Daihee Park (RSFDGrC (2), 2005)

A survivability strategy in mobile networks. - Sangjoon Park; Jiyoung Song; Byunggi Kim (IEEE Trans. Veh. Technol., 2006)

Explicit Routing Designation (ERD) Method the Cache Information in Nested Mobile Networks. - Jiyoung Song; Sangjoon Park; Jongchan Lee; Hyun-Joo Moon; Byunggi Kim (ICCSA (2), 2007)

Design of advanced voltage management system including manual operation mode via real-time simulation. - Seung-Mook Baek; Suchul Nam; Jiyoung Song; Jaegul Lee; Taekyun Kim; Jeong-Hoon Shin (IAS, 2011)

MLP network for optimal MR decision in a large-scale nesting mobile networks. - Jinkwan Lee; Jiyoung Song; Sangjoon Park; Hyunjoo Mun; Jongchan Lee; Youngsong Mun; Byunggi Kim (J. Supercomput., 2011)

Automated Test Sequence Generation for Function Block Diagram Programs. - Jiyoung Song; Eunkyoung Jee; Doo-Hwan Bae (APSEC, 2016)

Modeling and verification for different types of system of systems using PRISM. - Dongwon Seo; Donghwan Shin 001; Young Min Baek; Jiyoung Song; Wonkyung Yun; Junho Kim; Eunkyoung Jee; Doo-Hwan Bae (SESoS, 2016)

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

A Meta-Model for Representing System-of-Systems Ontologies. - Young Min Baek; Jiyoung Song; Yong-Jun Shin; Sumin Park; Doo-Hwan Bae (SESoS, 2018)

FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states. - Jiyoung Song; Eunkyoung Jee; Doo-Hwan Bae (Sci. Comput. Program., 2018)

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

Slicing executable system-of-systems models for efficient statistical verification. - Jiyoung Song; Jacob O. Tørring; Sangwon Hyun; Eunkyoung Jee; Doo-Hwan Bae (SESoS/WDES, 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)

Comparative Experimental Investigation on Optimal Parametric Array Types. - Donghwan Jung; Jiyoung Song; Jeasoo Kim; Jaehyuk Lee (Sensors, 2021)

Dynamic performance testing and implementation for static var compensator controller via hardware-in-the-loop simulation under large-scale power system with real-time simulators. - Jiyoung Song; Solyoung Jung; Jaegul Lee; Jeong-Hoon Shin; Gilsoo Jang (Simul. Model. Pract. Theory, 2021)

Statistical verification using learned usages for evaluating energy-efficient mobile device design. - Jiyoung Song; Youlim Jung; Chiwoo Cho; Eunkyoung Jee; Doo-Hwan Bae (SAC, 2022)

Continuous verification of system of systems with collaborative MAPE-K pattern and probability model slicing. - Jiyoung Song; Jeehoon Kang; Sangwon Hyun; Eunkyoung Jee; Doo-Hwan Bae (Inf. Softw. Technol., 2022)

Deep generative model with time series-image encoding for manufacturing fault detection in die casting process. - Jiyoung Song; Young Chul Lee; Jeongsu Lee (J. Intell. Manuf., 2023)

Timed pattern-based analysis of collaboration failures in system-of-systems. - Sangwon Hyun; Jiyoung Song; Eunkyoung Jee; Doo-Hwan Bae (J. Syst. Softw., 2023)

Continuous verification with acknowledged MAPE-K pattern and time logic-based slicing: A platooning system of systems case study. - Jiyoung Song; Doo-Hwan Bae (J. Syst. Softw., 2023)