Publications

2024

1. 

   Virtual Environment Model Generation for CPS Goal Verification using Imitation Learning

   Yong-Jun Shin ,  Donghwan Shin ,  and  Doo-Hwan Bae

   ACM Trans. Embed. Comput. Syst., Jan 2024

   Bib PDF Website

   @article{10.1145/3633804,
     author = {Shin, Yong-Jun and Shin, Donghwan and Bae, Doo-Hwan},
     title = {Virtual Environment Model Generation for CPS Goal Verification using Imitation Learning},
     year = {2024},
     issue_date = {January 2024},
     publisher = {Association for Computing Machinery},
     address = {New York, NY, USA},
     volume = {23},
     number = {1},
     issn = {1539-9087},
     url = {https://doi.org/10.1145/3633804},
     doi = {10.1145/3633804},
     journal = {ACM Trans. Embed. Comput. Syst.},
     month = jan,
     articleno = {13},
     numpages = {29},
     keywords = {imitation learning (IL), environment modeling, simulation-based CPS goal verification, software controller, Cyber-physical system (CPS)},
   }

2023

1. 

   Data-driven environment model generation using imitation learning for efficient cyber-physical system goal verification

   Yong-Jun Shin

   Korea Advanced Institutte of Science and Technology (KAIST), Jan 2023

   Bib PDF Website

   @article{shin2023data,
     title = {Data-driven environment model generation using imitation learning for efficient cyber-physical system goal verification},
     author = {Shin, Yong-Jun},
     year = {2023},
     publisher = {한국과학기술원},
     journal = {Korea Advanced Institutte of Science and Technology (KAIST)},
   }

2022

1. 

   Automatic Generation of Metamorphic Relations for a Cyber-Physical System-of-Systems Using Genetic Algorithm

   Esther Cho ,  Yong-Jun Shin ,  Sangwon Hyun ,  Hansu Kim ,  and  Doo-Hwan Bae

   In 2022 29th Asia-Pacific Software Engineering Conference (APSEC) , Jan 2022

   Bib PDF Website

   @inproceedings{cho2022automatic,
     title = {Automatic Generation of Metamorphic Relations for a Cyber-Physical System-of-Systems Using Genetic Algorithm},
     author = {Cho, Esther and Shin, Yong-Jun and Hyun, Sangwon and Kim, Hansu and Bae, Doo-Hwan},
     booktitle = {2022 29th Asia-Pacific Software Engineering Conference (APSEC)},
     pages = {209--218},
     year = {2022},
     organization = {IEEE},
   }

2. 

   Hands-on field operational test dataset of a multi-controller cps: A modeled case study on autonomous driving

   Yong-Jun Shin ,  Esther Cho ,  Hansu Kim ,  and  Doo-Hwan Bae

   In 2022 17th Annual System of Systems Engineering Conference (SOSE) , Jan 2022

   Bib PDF Slides Website

   @inproceedings{shin2022hands,
     title = {Hands-on field operational test dataset of a multi-controller cps: A modeled case study on autonomous driving},
     author = {Shin, Yong-Jun and Cho, Esther and Kim, Hansu and Bae, Doo-Hwan},
     booktitle = {2022 17th Annual System of Systems Engineering Conference (SOSE)},
     pages = {205--212},
     year = {2022},
     organization = {IEEE},
   }

3. 

   Automatically Generating Behavior Descriptions of a Cyber-Physical System-of-Systems

   Esther Cho ,  Hansu Kim ,  Yong-Jun Shin ,  and  Doo-Hwan Bae

   한국정보과학회 학술발표논문집, Jan 2022

   Bib PDF

   @article{cho2022automatically,
     title = {Automatically Generating Behavior Descriptions of a Cyber-Physical System-of-Systems},
     author = {Cho, Esther and Kim, Hansu and Shin, Yong-Jun and Bae, Doo-Hwan},
     journal = {한국정보과학회 학술발표논문집},
     pages = {267--269},
     year = {2022},
   }

2021

1. 

   Concepts and models of environment of self-adaptive systems: A systematic literature review

   Yong-Jun Shin ,  Joon-Young Bae ,  and  Doo-Hwan Bae

   In 2021 28th Asia-Pacific Software Engineering Conference (APSEC) , Jan 2021

   Bib PDF Slides Website

   @inproceedings{shin2021concepts,
     title = {Concepts and models of environment of self-adaptive systems: A systematic literature review},
     author = {Shin, Yong-Jun and Bae, Joon-Young and Bae, Doo-Hwan},
     booktitle = {2021 28th Asia-Pacific Software Engineering Conference (APSEC)},
     pages = {296--305},
     year = {2021},
     organization = {IEEE},
   }

2. 

   A Modeling Method for Representation of Geographical Information of a System-of-Systems

   Young-Min Baek ,  Eunho Cho ,  Yong-Jun Shin ,  and  Doo-Hwan Bae

   In 2021 16th International Conference of System of Systems Engineering (SoSE) , Jan 2021

   Bib PDF Website

   @inproceedings{baek2021modeling,
     title = {A Modeling Method for Representation of Geographical Information of a System-of-Systems},
     author = {Baek, Young-Min and Cho, Eunho and Shin, Yong-Jun and Bae, Doo-Hwan},
     booktitle = {2021 16th International Conference of System of Systems Engineering (SoSE)},
     pages = {7--12},
     year = {2021},
     organization = {IEEE},
   }

3. 

   Uncertainty based fault type identification for fault knowledge base generation in system of systems

   Seungchyul Shin ,  Sangwon Hyun ,  Yong-jun Shin ,  Jiyoung Song ,  and  Doo-Hwan Bae

   In 2021 16th International Conference of System of Systems Engineering (SoSE) , Jan 2021

   Bib PDF Website

   @inproceedings{shin2021uncertainty,
     title = {Uncertainty based fault type identification for fault knowledge base generation in system of systems},
     author = {Shin, Seungchyul and Hyun, Sangwon and Shin, Yong-jun and Song, Jiyoung and Bae, Doo-Hwan},
     booktitle = {2021 16th International Conference of System of Systems Engineering (SoSE)},
     pages = {216--221},
     year = {2021},
     organization = {IEEE},
   }

4. 

   Platooning legos: An open physical exemplar for engineering self-adaptive cyber-physical systems-of-systems

   Yong-Jun Shin ,  Lingjun Liu ,  Sangwon Hyun ,  and  Doo-Hwan Bae

   In 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) , Jan 2021

   Bib PDF Supp Slides Website

   @inproceedings{shin2021platooning,
     title = {Platooning legos: An open physical exemplar for engineering self-adaptive cyber-physical systems-of-systems},
     author = {Shin, Yong-Jun and Liu, Lingjun and Hyun, Sangwon and Bae, Doo-Hwan},
     booktitle = {2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)},
     pages = {231--237},
     year = {2021},
     organization = {IEEE},
   }

5. 

   PASTA: An efficient proactive adaptation approach based on statistical model checking for self-adaptive systems

   Yong-Jun Shin ,  Eunho Cho ,  and  Doo-Hwan Bae

   In International Conference on Fundamental Approaches to Software Engineering , Jan 2021

   Bib PDF Slides Website

   @inproceedings{shin2021pasta,
     title = {PASTA: An efficient proactive adaptation approach based on statistical model checking for self-adaptive systems},
     author = {Shin, Yong-Jun and Cho, Eunho and Bae, Doo-Hwan},
     booktitle = {International Conference on Fundamental Approaches to Software Engineering},
     pages = {292--312},
     year = {2021},
     organization = {Springer International Publishing Cham},
   }

2020

1. 

   A Modeling Method for Model-based Analysis and Design of a System-of-Systems

   Young-Min Baek ,  Zelalem Mihret ,  Yong-Jun Shin ,  and  Doo-Hwan Bae

   In 2020 27th Asia-Pacific Software Engineering Conference (APSEC) , Jan 2020

   Bib PDF Website

   @inproceedings{baek2020modeling,
     title = {A Modeling Method for Model-based Analysis and Design of a System-of-Systems},
     author = {Baek, Young-Min and Mihret, Zelalem and Shin, Yong-Jun and Bae, Doo-Hwan},
     booktitle = {2020 27th Asia-Pacific Software Engineering Conference (APSEC)},
     pages = {336--345},
     year = {2020},
     organization = {IEEE},
   }

2. 

   Simva-sos: Simulation-based verification and analysis for system-of-systems

   Sumin Park ,  Yong-jun Shin ,  Sangwon Hyun ,  and  Doo-Hwan Bae

   In 2020 IEEE 15th International Conference of System of Systems Engineering (SoSE) , Jan 2020

   Bib PDF Website

   @inproceedings{park2020simva,
     title = {Simva-sos: Simulation-based verification and analysis for system-of-systems},
     author = {Park, Sumin and Shin, Yong-jun and Hyun, Sangwon and Bae, Doo-Hwan},
     booktitle = {2020 IEEE 15th International Conference of System of Systems Engineering (SoSE)},
     pages = {575--580},
     year = {2020},
     organization = {IEEE},
   }

3. 

   시스템 오브 시스템즈의 특성을 고려한 발현 위치 기반 불확실성 요소 분류

   신승철 ,  현상원 ,  Yong-Jun Shin ,  송지영 ,  and  배두환

   정보과학회 컴퓨팅의 실제 논문지, Jan 2020

   Bib PDF

   @article{shin2020system,
     title = {시스템 오브 시스템즈의 특성을 고려한 발현 위치 기반 불확실성 요소 분류},
     author = {신승철 and 현상원 and Shin, Yong-Jun and 송지영 and 배두환},
     journal = {정보과학회 컴퓨팅의 실제 논문지},
     volume = {26},
     number = {10},
     pages = {451--457},
     year = {2020},
   }

4. 

   시스템 오브 시스템즈의 오류 위치 추정을 위한 통계적 검증 결과 활용 기법 분석

   현상원 ,  Yong-Jun Shin ,  and  배두환

   정보과학회논문지, Jan 2020

   Bib PDF

   @article{hyun2020system,
     title = {시스템 오브 시스템즈의 오류 위치 추정을 위한 통계적 검증 결과 활용 기법 분석},
     author = {현상원 and Shin, Yong-Jun and 배두환},
     journal = {정보과학회논문지},
     volume = {47},
     number = {4},
     pages = {380--386},
     year = {2020},
   }

2019

1. 

   결함-공격 트리 기반 안전성 및 보안 분석 기법 비교

   조은호 ,  Yong-Jun Shin ,  지은경 ,  and  배두환

   한국정보과학회 학술발표논문집, Jan 2019

   Bib PDF

   @article{cho2019fault,
     title = {결함-공격 트리 기반 안전성 및 보안 분석 기법 비교},
     author = {조은호 and Shin, Yong-Jun and 지은경 and 배두환},
     journal = {한국정보과학회 학술발표논문집},
     pages = {299--301},
     year = {2019},
   }

2. 

   시스템 오브 시스템즈의 오류 위치 추정을 위한 통계적 검증 결과 활용 기법 분석

   현상원 ,  Yong-Jun Shin ,  and  배두환

   In 한국컴퓨터종합학술대회 논문집 , Jan 2019

   Bib PDF

   @inproceedings{hyun2019system,
     title = {시스템 오브 시스템즈의 오류 위치 추정을 위한 통계적 검증 결과 활용 기법 분석},
     author = {현상원 and Shin, Yong-Jun and 배두환},
     booktitle = {한국컴퓨터종합학술대회 논문집},
     pages = {356--358},
     year = {2019},
   }

3. 

   Spectrum-based fault localization on a collaboration graph of a system-of-systems

   Yong-Jun Shin ,  Sangwon Hyun ,  Young-Min Baek ,  and  Doo-Hwan Bae

   In 2019 14th Annual Conference System of Systems Engineering (SoSE) , Jan 2019

   Bib PDF Slides Website

   @inproceedings{shin2019spectrum,
     title = {Spectrum-based fault localization on a collaboration graph of a system-of-systems},
     author = {Shin, Yong-Jun and Hyun, Sangwon and Baek, Young-Min and Bae, Doo-Hwan},
     booktitle = {2019 14th Annual Conference System of Systems Engineering (SoSE)},
     pages = {358--363},
     year = {2019},
     organization = {IEEE},
   }

4. 

   Data-driven environment modeling for adaptive system-of-systems

   Yong-Jun Shin ,  Young-Min Baek ,  Eunkyoung Jee ,  and  Doo-Hwan Bae

   In Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing , Jan 2019

   Bib PDF Poster Website

   @inproceedings{shin2019data,
     title = {Data-driven environment modeling for adaptive system-of-systems},
     author = {Shin, Yong-Jun and Baek, Young-Min and Jee, Eunkyoung and Bae, Doo-Hwan},
     booktitle = {Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing},
     pages = {2044--2047},
     year = {2019},
   }

2018

1. 

   데이터 기반 교통 흐름 시스템 다이내믹스 환경 모델 생성 및 추론 기법

   김태환 ,  조은호 ,  Yong-Jun Shin ,  and  배두환

   한국정보과학회 학술발표논문집, Jan 2018

   Bib PDF

   @article{kim2018data,
     title = {데이터 기반 교통 흐름 시스템 다이내믹스 환경 모델 생성 및 추론 기법},
     author = {김태환 and 조은호 and Shin, Yong-Jun and 배두환},
     journal = {한국정보과학회 학술발표논문집},
     pages = {1725--1727},
     year = {2018},
   }

2. 

   A meta-model for representing system-of-systems ontologies

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

   In Proceedings of the 6th International Workshop on Software Engineering for Systems-of-Systems , Jan 2018

   Bib PDF Website

   @inproceedings{baek2018meta,
     title = {A meta-model for representing system-of-systems ontologies},
     author = {Baek, Young-Min and Song, Jiyoung and Shin, Yong-Jun and Park, Sumin and Bae, Doo-Hwan},
     booktitle = {Proceedings of the 6th International Workshop on Software Engineering for Systems-of-Systems},
     pages = {1--7},
     year = {2018},
   }

3. 

   시스템 오브 시스템즈 온톨로지 구축을 위한 사례 분석 기반의 메타모델 개발

   백영민 ,  박수민 ,  Yong-Jun Shin ,  and  배두환

   정보과학회논문지, Jan 2018

   Bib PDF

   @article{baek2018system2,
     title = {시스템 오브 시스템즈 온톨로지 구축을 위한 사례 분석 기반의 메타모델 개발},
     author = {백영민 and 박수민 and Shin, Yong-Jun and 배두환},
     journal = {정보과학회논문지},
     volume = {45},
     number = {10},
     pages = {1056--1070},
     year = {2018},
   }

4. 

   시스템 오브 시스템즈 메타모델의 시나리오 기반 분석 및 통계적 검증 활용 가능성 분석

   Yong-Jun Shin ,  박수민 ,  백영민 ,  and  배두환

   In 한국소프트웨어공학학술대회 , Jan 2018

   Bib PDF

   @inproceedings{shin2018system,
     title = {시스템 오브 시스템즈 메타모델의 시나리오 기반 분석 및 통계적 검증 활용 가능성 분석},
     author = {Shin, Yong-Jun and 박수민 and 백영민 and 배두환},
     booktitle = {한국소프트웨어공학학술대회},
     volume = {20},
     number = {1},
     year = {2018},
   }

5. 

   시스템 오브 시스템즈(SoS) 사례 분석을 통한 온톨로지 기반의 SoS 메타모델 개발

   백영민 ,  박수민 ,  Yong-Jun Shin ,  and  배두환

   In 한국소프트웨어공학학술대회 , Jan 2018

   Bib PDF

   @inproceedings{baek2018system,
     title = {시스템 오브 시스템즈(SoS) 사례 분석을 통한 온톨로지 기반의 SoS 메타모델 개발},
     author = {백영민 and 박수민 and Shin, Yong-Jun and 배두환},
     booktitle = {한국소프트웨어공학학술대회},
     volume = {20},
     number = {1},
     year = {2018},
   }

2017

1. 

   무인비행체를 이용한 영상 기반 지능형 순찰 시스템

   김도현 ,  김정은 ,  송지학 ,  Yong-Jun Shin ,  and  황성수

   멀티미디어학회논문지, Jan 2017

   Bib PDF

   @article{kim2017image,
     title = {무인비행체를 이용한 영상 기반 지능형 순찰 시스템},
     author = {김도현 and 김정은 and 송지학 and Shin, Yong-Jun and 황성수},
     journal = {멀티미디어학회논문지},
     volume = {20},
     number = {3},
     pages = {437--445},
     year = {2017},
   }

2015

1. 

   C-Interpreter 를 이용한 유연한 시뮬레이션 초기화 방법에 관한 연구

   Yong-Jun Shin ,  양지용 ,  and  최창범

   한국경영과학회 학술대회논문집, Jan 2015

   Bib PDF

   @article{kim2015cinterpreter,
     title = {C-Interpreter 를 이용한 유연한 시뮬레이션 초기화 방법에 관한 연구},
     author = {Shin, Yong-Jun and 양지용 and 최창범},
     journal = {한국경영과학회 학술대회논문집},
     pages = {4255--4260},
     year = {2015},
   }