Jiyoung Song

According to our database, Jiyoung Song authored at least 25 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., December, 2023

Timed pattern-based analysis of collaboration failures in system-of-systems.

Sangwon Hyun, Jiyoung Song, Eunkyoung Jee, Doo-Hwan Bae

J. Syst. Softw., April, 2023

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

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

Statistical verification using learned usages for evaluating energy-efficient mobile device design.

Jiyoung Song, Youlim Jung, Chiwoo Cho, Eunkyoung Jee, Doo-Hwan Bae

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

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

Comparative Experimental Investigation on Optimal Parametric Array Types.

Donghwan Jung, Jiyoung Song, Jeasoo Kim, Jaehyuk Lee

Sensors, 2021

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

Proceedings of the 16th International Conference of System of Systems Engineering, 2021

2020

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

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019

Slicing executable system-of-systems models for efficient statistical verification.

Jiyoung Song, Jacob O. Tørring, Sangwon Hyun, Eunkyoung Jee, Doo-Hwan Bae

Proceedings of the 7th International Workshop on Software Engineering for Systems-of-Systems and 13th Workshop on Distributed Software Development, 2019

Statistical Verification Framework for Platooning System of Systems with Uncertainty.

Sangwon Hyun, Jiyoung Song, Seungchyul Shin, Doo-Hwan Bae

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

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

A Meta-Model for Representing System-of-Systems Ontologies.

Young Min Baek, Jiyoung Song, Yong-Jun Shin, Sumin Park, Doo-Hwan Bae

Proceedings of the 6th IEEE/ACM International Workshop on Software Engineering for Systems-of-Systems, 2018

2017

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

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016

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

Proceedings of the 4th International Workshop on Software Engineering for Systems-of-Systems, 2016

Automated Test Sequence Generation for Function Block Diagram Programs.

Jiyoung Song, Eunkyoung Jee, Doo-Hwan Bae

Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

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

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

Proceedings of the 2011 IEEE Industry Applications Society Annual Meeting, 2011

2007

Explicit Routing Designation (ERD) Method the Cache Information in Nested Mobile Networks.

Jiyoung Song, Sangjoon Park, Jongchan Lee, Hyun-Joo Moon, Byunggi Kim

Proceedings of the Computational Science and Its Applications, 2007

2006

A survivability strategy in mobile networks.

Sangjoon Park, Jiyoung Song, Byunggi Kim

IEEE Trans. Veh. Technol., 2006

2005

Intrusion Detection System Based on Multi-class SVM.

Hansung Lee, Jiyoung Song, Daihee Park

Proceedings of the Rough Sets, 2005

An Improved Rectangular Decomposition Algorithm for Imprecise and Uncertain Knowledge Discovery.

Jiyoung Song, Younghee Im, Daihee Park

Proceedings of the Fuzzy Systems and Knowledge Discovery, Second International Conference, 2005

Fuzzy Post-clustering Algorithm for Web Search Engine.

Younghee Im, Jiyoung Song, Daihee Park

Proceedings of the Information Retrieval Technology, 2005

2004

A handover scheme in clustered cellular networks.

Sangjoon Park, Jiyoung Song, Jongchan Lee, Kwan-Joong Kim, Byunggi Kim

Future Gener. Comput. Syst., 2004

An Adaptive Proximity Route Selection Scheme in DHT-Based Peer to Peer Systems.

Jiyoung Song, Sungyong Park, Jihoon Yang

Proceedings of the Parallel and Distributed Computing: Applications and Technologies, 2004