<?xml version="1.0"?>
<dblpperson name="Jiyoung Song" pid="80/770" n="25">
<person key="homepages/80/770" mdate="2009-06-09">
<author pid="80/770">Jiyoung Song</author>
</person>
<r><article key="journals/jim/SongLL23" mdate="2023-08-05">
<author pid="80/770">Jiyoung Song</author>
<author pid="230/1310">Young Chul Lee</author>
<author orcid="0000-0002-7518-7020" pid="03/8789">Jeongsu Lee</author>
<title>Deep generative model with time series-image encoding for manufacturing fault detection in die casting process.</title>
<pages>3001-3014</pages>
<year>2023</year>
<volume>34</volume>
<journal>J. Intell. Manuf.</journal>
<number>7</number>
<ee>https://doi.org/10.1007/s10845-022-01981-6</ee>
<url>db/journals/jim/jim34.html#SongLL23</url>
</article>
</r>
<r><article key="journals/jss/HyunSJB23" mdate="2023-03-28">
<author orcid="0000-0003-1885-3792" pid="65/3536">Sangwon Hyun</author>
<author orcid="0000-0003-2007-3701" pid="80/770">Jiyoung Song</author>
<author orcid="0000-0003-0358-5369" pid="62/176">Eunkyoung Jee</author>
<author pid="32/5432">Doo-Hwan Bae</author>
<title>Timed pattern-based analysis of collaboration failures in system-of-systems.</title>
<pages>111613</pages>
<year>2023</year>
<month>April</month>
<volume>198</volume>
<journal>J. Syst. Softw.</journal>
<ee>https://doi.org/10.1016/j.jss.2023.111613</ee>
<url>db/journals/jss/jss198.html#HyunSJB23</url>
</article>
</r>
<r><article key="journals/jss/SongB23" mdate="2023-11-28">
<author orcid="0000-0003-2007-3701" pid="80/770">Jiyoung Song</author>
<author pid="32/5432">Doo-Hwan Bae</author>
<title>Continuous verification with acknowledged MAPE-K pattern and time logic-based slicing: A platooning system of systems case study.</title>
<pages>111840</pages>
<year>2023</year>
<month>December</month>
<volume>206</volume>
<journal>J. Syst. Softw.</journal>
<ee>https://doi.org/10.1016/j.jss.2023.111840</ee>
<url>db/journals/jss/jss206.html#SongB23</url>
</article>
</r>
<r><article key="journals/infsof/SongKHJB22" mdate="2022-08-16">
<author orcid="0000-0003-2007-3701" pid="80/770">Jiyoung Song</author>
<author orcid="0000-0002-2115-0871" pid="130/9065">Jeehoon Kang</author>
<author pid="65/3536">Sangwon Hyun</author>
<author orcid="0000-0003-0358-5369" pid="62/176">Eunkyoung Jee</author>
<author pid="32/5432">Doo-Hwan Bae</author>
<title>Continuous verification of system of systems with collaborative MAPE-K pattern and probability model slicing.</title>
<pages>106904</pages>
<year>2022</year>
<volume>147</volume>
<journal>Inf. Softw. Technol.</journal>
<ee>https://doi.org/10.1016/j.infsof.2022.106904</ee>
<ee>https://www.wikidata.org/entity/Q113315578</ee>
<url>db/journals/infsof/infsof147.html#SongKHJB22</url>
</article>
</r>
<r><inproceedings key="conf/sac/SongJCJB22" mdate="2022-05-11">
<author pid="80/770">Jiyoung Song</author>
<author pid="320/0276">Youlim Jung</author>
<author pid="18/6733">Chiwoo Cho</author>
<author pid="62/176">Eunkyoung Jee</author>
<author pid="32/5432">Doo-Hwan Bae</author>
<title>Statistical verification using learned usages for evaluating energy-efficient mobile device design.</title>
<pages>960-963</pages>
<year>2022</year>
<booktitle>SAC</booktitle>
<ee>https://doi.org/10.1145/3477314.3507167</ee>
<crossref>conf/sac/2022</crossref>
<url>db/conf/sac/sac2022.html#SongJCJB22</url>
</inproceedings>
</r>
<r><article key="journals/sensors/JungSKL21" mdate="2021-08-13">
<author orcid="0000-0003-1268-6639" pid="259/1692">Donghwan Jung</author>
<author orcid="0000-0001-8728-1674" pid="80/770">Jiyoung Song</author>
<author orcid="0000-0002-8514-3187" pid="04/10620">Jeasoo Kim</author>
<author pid="127/7890">Jaehyuk Lee</author>
<title>Comparative Experimental Investigation on Optimal Parametric Array Types.</title>
<pages>5085</pages>
<year>2021</year>
<volume>21</volume>
<journal>Sensors</journal>
<number>15</number>
<ee type="oa">https://doi.org/10.3390/s21155085</ee>
<url>db/journals/sensors/sensors21.html#JungSKL21</url>
</article>
</r>
<r><article key="journals/simpra/SongJLSJ21" mdate="2020-11-26">
<author pid="80/770">Jiyoung Song</author>
<author pid="279/3923">Solyoung Jung</author>
<author pid="119/8040">Jaegul Lee</author>
<author pid="05/3224">Jeong-Hoon Shin</author>
<author pid="69/3565">Gilsoo Jang</author>
<title>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.</title>
<pages>102191</pages>
<year>2021</year>
<volume>106</volume>
<journal>Simul. Model. Pract. Theory</journal>
<ee>https://doi.org/10.1016/j.simpat.2020.102191</ee>
<url>db/journals/simpra/simpra106.html#SongJLSJ21</url>
</article>
</r>
<r><inproceedings key="conf/sysose/ShinHSSB21" mdate="2025-08-01">
<author pid="256/1981">Seungchyul Shin</author>
<author pid="65/3536">Sangwon Hyun</author>
<author pid="64/7513">Yong-Jun Shin</author>
<author pid="80/770">Jiyoung Song</author>
<author pid="32/5432">Doo-Hwan Bae</author>
<title>Uncertainty based Fault Type Identification for Fault Knowledge Base Generation in System of Systems.</title>
<pages>216-221</pages>
<year>2021</year>
<booktitle>SoSE</booktitle>
<ee>https://doi.org/10.1109/SOSE52739.2021.9497475</ee>
<crossref>conf/sysose/2021</crossref>
<url>db/conf/sysose/sysose2021.html#ShinHSSB21</url>
</inproceedings>
</r>
<r><inproceedings key="conf/apsec/HyunSSBB20" mdate="2021-03-20">
<author pid="65/3536">Sangwon Hyun</author>
<author pid="80/770">Jiyoung Song</author>
<author pid="256/1981">Seungchyul Shin</author>
<author pid="40/494">Young Min Baek</author>
<author pid="32/5432">Doo-Hwan Bae</author>
<title>Pattern-based Analysis of Interaction Failures in Systems-of-Systems: a Case Study on Platooning.</title>
<pages>326-335</pages>
<year>2020</year>
<booktitle>APSEC</booktitle>
<ee>https://doi.org/10.1109/APSEC51365.2020.00041</ee>
<crossref>conf/apsec/2020</crossref>
<url>db/conf/apsec/apsec2020.html#HyunSSBB20</url>
</inproceedings>
</r>
<r><inproceedings key="conf/apsec/HyunSSB19" mdate="2020-01-13">
<author pid="65/3536">Sangwon Hyun</author>
<author pid="80/770">Jiyoung Song</author>
<author pid="256/1981">Seungchyul Shin</author>
<author pid="32/5432">Doo-Hwan Bae</author>
<title>Statistical Verification Framework for Platooning System of Systems with Uncertainty.</title>
<pages>212-219</pages>
<year>2019</year>
<booktitle>APSEC</booktitle>
<ee>https://doi.org/10.1109/APSEC48747.2019.00037</ee>
<crossref>conf/apsec/2019</crossref>
<url>db/conf/apsec/apsec2019.html#HyunSSB19</url>
</inproceedings>
</r>
<r><inproceedings key="conf/icse/SongTHJB19" mdate="2025-07-27">
<author pid="80/770">Jiyoung Song</author>
<author pid="288/0033">Jacob O. T&#248;rring</author>
<author pid="65/3536">Sangwon Hyun</author>
<author pid="62/176">Eunkyoung Jee</author>
<author pid="32/5432">Doo-Hwan Bae</author>
<title>Slicing executable system-of-systems models for efficient statistical verification.</title>
<pages>18-25</pages>
<year>2019</year>
<booktitle>SESoS/WDES</booktitle>
<ee>https://doi.org/10.1109/SESoS/WDES.2019.00011</ee>
<ee>https://dl.acm.org/citation.cfm?id=3355290</ee>
<ee>https://www.wikidata.org/entity/Q131132111</ee>
<crossref>conf/icse/2019sesos</crossref>
<url>db/conf/icse/sesos2019.html#SongTHJB19</url>
</inproceedings>
</r>
<r><article key="journals/scp/SongJB18" mdate="2018-06-15">
<author pid="80/770">Jiyoung Song</author>
<author pid="62/176">Eunkyoung Jee</author>
<author pid="32/5432">Doo-Hwan Bae</author>
<title>FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states.</title>
<pages>115-137</pages>
<year>2018</year>
<volume>163</volume>
<journal>Sci. Comput. Program.</journal>
<ee>https://doi.org/10.1016/j.scico.2018.04.005</ee>
<url>db/journals/scp/scp163.html#SongJB18</url>
</article>
</r>
<r><inproceedings key="conf/icse/BaekSSPB18" mdate="2025-07-27">
<author pid="40/494">Young Min Baek</author>
<author pid="80/770">Jiyoung Song</author>
<author pid="64/7513">Yong-Jun Shin</author>
<author pid="152/4120">Sumin Park</author>
<author pid="32/5432">Doo-Hwan Bae</author>
<title>A Meta-Model for Representing System-of-Systems Ontologies.</title>
<pages>1-7</pages>
<year>2018</year>
<booktitle>SESoS</booktitle>
<ee>https://doi.org/10.1145/3194754.3194755</ee>
<ee>https://ieeexplore.ieee.org/document/8445798</ee>
<crossref>conf/icse/2018sesos</crossref>
<url>db/conf/icse/sesos2018.html#BaekSSPB18</url>
</inproceedings>
</r>
<r><inproceedings key="conf/apsec/SongBJJB17" mdate="2023-03-23">
<author pid="80/770">Jiyoung Song</author>
<author pid="40/494">Young Min Baek</author>
<author pid="215/7601">Mingyu Jin</author>
<author pid="62/176">Eunkyoung Jee</author>
<author pid="32/5432">Doo-Hwan Bae</author>
<title>SoS GaP Slicer: Slicing SoS Goal and PRISM Models for Change-Responsive Verification of SoS.</title>
<pages>546-551</pages>
<year>2017</year>
<booktitle>APSEC</booktitle>
<ee>https://doi.org/10.1109/APSEC.2017.63</ee>
<ee>https://doi.ieeecomputersociety.org/10.1109/APSEC.2017.63</ee>
<crossref>conf/apsec/2017</crossref>
<url>db/conf/apsec/apsec2017.html#SongBJJB17</url>
</inproceedings>
</r>
<r><inproceedings key="conf/apsec/SongJB16" mdate="2017-05-17">
<author pid="80/770">Jiyoung Song</author>
<author pid="62/176">Eunkyoung Jee</author>
<author pid="32/5432">Doo-Hwan Bae</author>
<title>Automated Test Sequence Generation for Function Block Diagram Programs.</title>
<pages>305-312</pages>
<year>2016</year>
<booktitle>APSEC</booktitle>
<ee>https://doi.org/10.1109/APSEC.2016.050</ee>
<crossref>conf/apsec/2016</crossref>
<url>db/conf/apsec/apsec2016.html#SongJB16</url>
</inproceedings>
</r>
<r><inproceedings key="conf/icse/SeoSBSYKJB16" mdate="2025-07-27">
<author pid="85/3399">Dongwon Seo</author>
<author orcid="0000-0002-0840-6449" pid="118/8296">Donghwan Shin 0001</author>
<author pid="40/494">Young Min Baek</author>
<author pid="80/770">Jiyoung Song</author>
<author pid="183/2536">Wonkyung Yun</author>
<author pid="69/11313">Junho Kim</author>
<author pid="62/176">Eunkyoung Jee</author>
<author pid="32/5432">Doo-Hwan Bae</author>
<title>Modeling and verification for different types of system of systems using PRISM.</title>
<pages>12-18</pages>
<year>2016</year>
<booktitle>SESoS</booktitle>
<ee>https://doi.org/10.1145/2897829.2897833</ee>
<ee>https://doi.ieeecomputersociety.org/10.1109/SESoS.2016.011</ee>
<crossref>conf/icse/2016sesos</crossref>
<url>db/conf/icse/sesos2016.html#SeoSBSYKJB16</url>
</inproceedings>
</r>
<r><article key="journals/tjs/LeeSPMLMK11" mdate="2020-05-22">
<author pid="40/9659">Jinkwan Lee</author>
<author pid="80/770">Jiyoung Song</author>
<author pid="85/2517">Sangjoon Park</author>
<author pid="55/9659">Hyunjoo Mun</author>
<author pid="39/1589">Jongchan Lee</author>
<author pid="67/1849">Youngsong Mun</author>
<author pid="49/7030">Byunggi Kim</author>
<title>MLP network for optimal MR decision in a large-scale nesting mobile networks.</title>
<pages>190-211</pages>
<year>2011</year>
<volume>56</volume>
<journal>J. Supercomput.</journal>
<number>2</number>
<ee>https://doi.org/10.1007/s11227-009-0362-x</ee>
<url>db/journals/tjs/tjs56.html#LeeSPMLMK11</url>
</article>
</r>
<r><inproceedings key="conf/iasam/BaekNSLKS11" mdate="2021-07-06">
<author pid="06/6696">Seung-Mook Baek</author>
<author pid="174/5889">Suchul Nam</author>
<author pid="80/770">Jiyoung Song</author>
<author pid="119/8040">Jaegul Lee</author>
<author pid="07/1467">Taekyun Kim</author>
<author pid="05/3224">Jeong-Hoon Shin</author>
<title>Design of advanced voltage management system including manual operation mode via real-time simulation.</title>
<pages>1-8</pages>
<year>2011</year>
<booktitle>IAS</booktitle>
<ee>https://doi.org/10.1109/IAS.2011.6074328</ee>
<crossref>conf/iasam/2011</crossref>
<url>db/conf/iasam/iasam2011.html#BaekNSLKS11</url>
</inproceedings>
</r>
<r><inproceedings key="conf/iccsa/SongPLMK07" mdate="2017-05-24">
<author pid="80/770">Jiyoung Song</author>
<author pid="85/2517">Sangjoon Park</author>
<author pid="39/1589">Jongchan Lee</author>
<author pid="09/3155">Hyun-Joo Moon</author>
<author pid="49/7030">Byunggi Kim</author>
<title>Explicit Routing Designation (ERD) Method the Cache Information in Nested Mobile Networks.</title>
<pages>764-777</pages>
<year>2007</year>
<crossref>conf/iccsa/2007-2</crossref>
<booktitle>ICCSA (2)</booktitle>
<ee>https://doi.org/10.1007/978-3-540-74477-1_69</ee>
<url>db/conf/iccsa/iccsa2007-2.html#SongPLMK07</url>
</inproceedings>
</r>
<r><article key="journals/tvt/ParkSK06" mdate="2020-06-25">
<author pid="85/2517">Sangjoon Park</author>
<author pid="80/770">Jiyoung Song</author>
<author pid="49/7030">Byunggi Kim</author>
<title>A survivability strategy in mobile networks.</title>
<pages>328-340</pages>
<year>2006</year>
<volume>55</volume>
<journal>IEEE Trans. Veh. Technol.</journal>
<number>1</number>
<ee>https://doi.org/10.1109/TVT.2005.851364</ee>
<url>db/journals/tvt/tvt55.html#ParkSK06</url>
</article>
</r>
<r><inproceedings key="conf/airs/ImSP05" mdate="2017-05-26">
<author pid="77/2790">Younghee Im</author>
<author pid="80/770">Jiyoung Song</author>
<author pid="56/3764">Daihee Park</author>
<title>Fuzzy Post-clustering Algorithm for Web Search Engine.</title>
<pages>709-714</pages>
<year>2005</year>
<crossref>conf/airs/2005</crossref>
<booktitle>AIRS</booktitle>
<ee>https://doi.org/10.1007/11562382_72</ee>
<url>db/conf/airs/airs2005.html#ImSP05</url>
</inproceedings>
</r>
<r><inproceedings key="conf/fskd/SongIP05" mdate="2017-05-25">
<author pid="80/770">Jiyoung Song</author>
<author pid="77/2790">Younghee Im</author>
<author pid="56/3764">Daihee Park</author>
<title>An Improved Rectangular Decomposition Algorithm for Imprecise and Uncertain Knowledge Discovery.</title>
<pages>355-359</pages>
<year>2005</year>
<crossref>conf/fskd/2005-1</crossref>
<booktitle>FSKD (1)</booktitle>
<ee>https://doi.org/10.1007/11539506_45</ee>
<url>db/conf/fskd/fskd2005-1.html#SongIP05</url>
</inproceedings>
</r>
<r><inproceedings key="conf/rsfdgrc/LeeSP05" mdate="2017-05-26">
<author pid="75/5822">Hansung Lee</author>
<author pid="80/770">Jiyoung Song</author>
<author pid="56/3764">Daihee Park</author>
<title>Intrusion Detection System Based on Multi-class SVM.</title>
<pages>511-519</pages>
<year>2005</year>
<crossref>conf/rsfdgrc/2005-2</crossref>
<booktitle>RSFDGrC (2)</booktitle>
<ee>https://doi.org/10.1007/11548706_54</ee>
<url>db/conf/rsfdgrc/rsfdgrc2005-2.html#LeeSP05</url>
</inproceedings>
</r>
<r><article key="journals/fgcs/ParkSLKK04" mdate="2020-02-19">
<author pid="85/2517">Sangjoon Park</author>
<author pid="80/770">Jiyoung Song</author>
<author orcid="0000-0002-7177-4025" pid="39/1589">Jongchan Lee</author>
<author pid="28/4053">Kwan-Joong Kim</author>
<author pid="49/7030">Byunggi Kim</author>
<title>A handover scheme in clustered cellular networks.</title>
<pages>221-227</pages>
<year>2004</year>
<volume>20</volume>
<journal>Future Gener. Comput. Syst.</journal>
<number>2</number>
<ee>https://doi.org/10.1016/S0167-739X(03)00136-5</ee>
<ee>https://www.wikidata.org/entity/Q62044258</ee>
<url>db/journals/fgcs/fgcs20.html#ParkSLKK04</url>
</article>
</r>
<r><inproceedings key="conf/pdcat/SongPY04" mdate="2017-05-22">
<author pid="80/770">Jiyoung Song</author>
<author pid="38/1991">Sungyong Park</author>
<author pid="38/305">Jihoon Yang</author>
<title>An Adaptive Proximity Route Selection Scheme in DHT-Based Peer to Peer Systems.</title>
<pages>778-781</pages>
<ee>https://doi.org/10.1007/978-3-540-30501-9_152</ee>
<year>2004</year>
<crossref>conf/pdcat/2004</crossref>
<booktitle>PDCAT</booktitle>
<url>db/conf/pdcat/pdcat2004.html#SongPY04</url>
</inproceedings>
</r>
<coauthors n="41" nc="7">
<co c="0"><na f="b/Bae:Doo=Hwan" pid="32/5432">Doo-Hwan Bae</na></co>
<co c="2"><na f="b/Baek:Seung=Mook" pid="06/6696">Seung-Mook Baek</na></co>
<co c="0"><na f="b/Baek:Young_Min" pid="40/494">Young Min Baek</na></co>
<co c="0"><na f="c/Cho:Chiwoo" pid="18/6733">Chiwoo Cho</na></co>
<co c="0"><na f="h/Hyun:Sangwon" pid="65/3536">Sangwon Hyun</na></co>
<co c="3"><na f="i/Im:Younghee" pid="77/2790">Younghee Im</na></co>
<co c="2"><na f="j/Jang:Gilsoo" pid="69/3565">Gilsoo Jang</na></co>
<co c="0"><na f="j/Jee:Eunkyoung" pid="62/176">Eunkyoung Jee</na></co>
<co c="0"><na f="j/Jin:Mingyu" pid="215/7601">Mingyu Jin</na></co>
<co c="4"><na f="j/Jung:Donghwan" pid="259/1692">Donghwan Jung</na></co>
<co c="2"><na f="j/Jung:Solyoung" pid="279/3923">Solyoung Jung</na></co>
<co c="0"><na f="j/Jung:Youlim" pid="320/0276">Youlim Jung</na></co>
<co c="0"><na f="k/Kang:Jeehoon" pid="130/9065">Jeehoon Kang</na></co>
<co c="1"><na f="k/Kim:Byunggi" pid="49/7030">Byunggi Kim</na></co>
<co c="4"><na f="k/Kim:Jeasoo" pid="04/10620">Jeasoo Kim</na></co>
<co c="0" n="2"><na f="k/Kim:Jun=Ho" pid="69/11313">Jun-Ho Kim</na><na>Junho Kim</na></co>
<co c="1"><na f="k/Kim:Kwan=Joong" pid="28/4053">Kwan-Joong Kim</na></co>
<co c="2"><na f="k/Kim:Taekyun" pid="07/1467">Taekyun Kim</na></co>
<co c="3"><na f="l/Lee:Hansung" pid="75/5822">Hansung Lee</na></co>
<co c="2"><na f="l/Lee:Jaegul" pid="119/8040">Jaegul Lee</na></co>
<co c="4"><na f="l/Lee:Jaehyuk" pid="127/7890">Jaehyuk Lee</na></co>
<co c="6"><na f="l/Lee:Jeongsu" pid="03/8789">Jeongsu Lee</na></co>
<co c="1"><na f="l/Lee:Jinkwan" pid="40/9659">Jinkwan Lee</na></co>
<co c="1"><na f="l/Lee:Jongchan" pid="39/1589">Jongchan Lee</na></co>
<co c="6"><na f="l/Lee:Young_Chul" pid="230/1310">Young Chul Lee</na></co>
<co c="1"><na f="m/Moon:Hyun=Joo" pid="09/3155">Hyun-Joo Moon</na></co>
<co c="1"><na f="m/Mun:Hyunjoo" pid="55/9659">Hyunjoo Mun</na></co>
<co c="1"><na f="m/Mun:Youngsong" pid="67/1849">Youngsong Mun</na></co>
<co c="2"><na f="n/Nam:Suchul" pid="174/5889">Suchul Nam</na></co>
<co c="3"><na f="p/Park:Daihee" pid="56/3764">Daihee Park</na></co>
<co c="1"><na f="p/Park:Sangjoon" pid="85/2517">Sangjoon Park</na></co>
<co c="0"><na f="p/Park:Sumin" pid="152/4120">Sumin Park</na></co>
<co c="5"><na f="p/Park:Sungyong" pid="38/1991">Sungyong Park</na></co>
<co c="0"><na f="s/Seo:Dongwon" pid="85/3399">Dongwon Seo</na></co>
<co c="0"><na f="s/Shin_0001:Donghwan" pid="118/8296">Donghwan Shin 0001</na></co>
<co c="2"><na f="s/Shin:Jeong=Hoon" pid="05/3224">Jeong-Hoon Shin</na></co>
<co c="0"><na f="s/Shin:Seungchyul" pid="256/1981">Seungchyul Shin</na></co>
<co c="0" n="2"><na f="s/Shin:Yong=June" pid="64/7513">Yong-June Shin</na><na>Yong-Jun Shin</na></co>
<co c="0" n="2"><na f="t/T=oslash=rring:Jacob_Odg=aring=rd" pid="288/0033">Jacob Odg&#229;rd T&#248;rring</na><na>Jacob O. T&#248;rring</na></co>
<co c="5"><na f="y/Yang:Jihoon" pid="38/305">Jihoon Yang</na></co>
<co c="0"><na f="y/Yun:Wonkyung" pid="183/2536">Wonkyung Yun</na></co>
</coauthors>
</dblpperson>

