Jiyoung Song

25 papers C 6Misc 1Journal 10Unranked 8
YearRankTypeTitle / Venue / Authors
2023 J jnl
Continuous verification with acknowledged MAPE-K pattern and time logic-based slicing: A platooning system of systems case study.
J. Syst. Softw.
Jiyoung Song, Doo-Hwan Bae
2023 J jnl
Deep generative model with time series-image encoding for manufacturing fault detection in die casting process.
J. Intell. Manuf.
Jiyoung Song, Young Chul Lee, Jeongsu Lee
2023 J jnl
Timed pattern-based analysis of collaboration failures in system-of-systems.
J. Syst. Softw.
Sangwon Hyun, Jiyoung Song, Eunkyoung Jee, Doo-Hwan Bae
2022 J jnl
Continuous verification of system of systems with collaborative MAPE-K pattern and probability model slicing.
Inf. Softw. Technol.
Jiyoung Song, Jeehoon Kang, Sangwon Hyun, Eunkyoung Jee, Doo-Hwan Bae
2022 Misc conf
Statistical verification using learned usages for evaluating energy-efficient mobile device design.
SAC
Jiyoung Song, Youlim Jung, Chiwoo Cho, Eunkyoung Jee, Doo-Hwan Bae
2021 J jnl
Comparative Experimental Investigation on Optimal Parametric Array Types.
Sensors
Donghwan Jung, Jiyoung Song, Jeasoo Kim, Jaehyuk Lee
2021 J jnl
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.
Simul. Model. Pract. Theory
Jiyoung Song, Solyoung Jung, Jaegul Lee, Jeong-Hoon Shin, Gilsoo Jang
2021 — conf
Uncertainty based Fault Type Identification for Fault Knowledge Base Generation in System of Systems.
SoSE
Seungchyul Shin, Sangwon Hyun, Yong-Jun Shin, Jiyoung Song, Doo-Hwan Bae
2020 C conf
Pattern-based Analysis of Interaction Failures in Systems-of-Systems: a Case Study on Platooning.
APSEC
Sangwon Hyun, Jiyoung Song, Seungchyul Shin, Young Min Baek, Doo-Hwan Bae
2019 — conf
Slicing executable system-of-systems models for efficient statistical verification.
SESoS/WDES
Jiyoung Song, Jacob O. Tørring, Sangwon Hyun, Eunkyoung Jee, Doo-Hwan Bae
2019 C conf
Statistical Verification Framework for Platooning System of Systems with Uncertainty.
APSEC
Sangwon Hyun, Jiyoung Song, Seungchyul Shin, Doo-Hwan Bae
2018 — conf
A Meta-Model for Representing System-of-Systems Ontologies.
SESoS
Young Min Baek, Jiyoung Song, Yong-Jun Shin, Sumin Park, Doo-Hwan Bae
2018 J jnl
FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states.
Sci. Comput. Program.
Jiyoung Song, Eunkyoung Jee, Doo-Hwan Bae
2017 C conf
SoS GaP Slicer: Slicing SoS Goal and PRISM Models for Change-Responsive Verification of SoS.
APSEC
Jiyoung Song, Young Min Baek, Mingyu Jin, Eunkyoung Jee, Doo-Hwan Bae
2016 C conf
Automated Test Sequence Generation for Function Block Diagram Programs.
APSEC
Jiyoung Song, Eunkyoung Jee, Doo-Hwan Bae
2016 — conf
Modeling and verification for different types of system of systems using PRISM.
SESoS
Dongwon Seo, Donghwan Shin, Young Min Baek, Jiyoung Song, Wonkyung Yun, Junho Kim, Eunkyoung Jee, Doo-Hwan Bae
2011 C conf
Design of advanced voltage management system including manual operation mode via real-time simulation.
IAS
Seung-Mook Baek, Suchul Nam, Jiyoung Song, Jaegul Lee, Taekyun Kim, Jeong-Hoon Shin
2011 J jnl
MLP network for optimal MR decision in a large-scale nesting mobile networks.
J. Supercomput.
Jinkwan Lee, Jiyoung Song, Sangjoon Park, Hyunjoo Mun, Jongchan Lee, Youngsong Mun, Byunggi Kim
2007 — conf
Explicit Routing Designation (ERD) Method the Cache Information in Nested Mobile Networks.
ICCSA (2)
Jiyoung Song, Sangjoon Park, Jongchan Lee, Hyun-Joo Moon, Byunggi Kim
2006 J jnl
A survivability strategy in mobile networks.
IEEE Trans. Veh. Technol.
Sangjoon Park, Jiyoung Song, Byunggi Kim
2005 — conf
An Improved Rectangular Decomposition Algorithm for Imprecise and Uncertain Knowledge Discovery.
FSKD (1)
Jiyoung Song, Younghee Im, Daihee Park
2005 — conf
Fuzzy Post-clustering Algorithm for Web Search Engine.
AIRS
Younghee Im, Jiyoung Song, Daihee Park
2005 — conf
Intrusion Detection System Based on Multi-class SVM.
RSFDGrC (2)
Hansung Lee, Jiyoung Song, Daihee Park
2004 J jnl
A handover scheme in clustered cellular networks.
Future Gener. Comput. Syst.
Sangjoon Park, Jiyoung Song, Jongchan Lee, Kwan-Joong Kim, Byunggi Kim
2004 C conf
An Adaptive Proximity Route Selection Scheme in DHT-Based Peer to Peer Systems.
PDCAT
Jiyoung Song, Sungyong Park, Jihoon Yang