Publications

29 papers, in reverse chronological order.

Modeling and Verification of ROS 2 Callback Concurrency Using UPPAAL Model Checker

Yong-Jun Shin

International Journal of Software Engineering and Knowledge Engineering · 2026

@article{doi:10.1142/S0218194026500439,
  author = {Shin, Yong-Jun},
  title = {Modeling and Verification of ROS 2 Callback Concurrency Using UPPAAL Model Checker},
  journal = {International Journal of Software Engineering and Knowledge Engineering},
  volume = {0},
  number = {0},
  pages = {1-23},
  year = {2026},
  doi = {10.1142/S0218194026500439}
}

Runtime verification of cause–effect latency in black-box systems

Yong-Jun Shin

Information and Software Technology · 2026

PDF Website

@article{SHIN2026108172,
  title = {Runtime verification of cause–effect latency in black-box systems},
  journal = {Information and Software Technology},
  volume = {196},
  pages = {108172},
  year = {2026},
  issn = {0950-5849},
  doi = {https://doi.org/10.1016/j.infsof.2026.108172},
  url = {https://www.sciencedirect.com/science/article/pii/S0950584926001618},
  author = {Shin, Yong-Jun},
  keywords = {Black-box systems, Cause–effect chain, Cause–effect latency, End-to-end latency, Runtime verification}
}

MALE: A Multi-Objective Evaluation Method for AI Mobility Services across the Cloud-Edge-Device Continuum

Junhee Lee , Yong-Jun Shin , SungJoo Kang

Proceedings of the 2025 IEEE International Conference on Systems, Man, and Cybernetics (SMC) · 2025

PDF Website

@inproceedings{lee202male,
  title = {MALE: A Multi-Objective Evaluation Method for AI Mobility Services across the Cloud-Edge-Device Continuum},
  author = {Lee, Junhee and Shin, Yong-Jun and Kang, SungJoo},
  booktitle = {Proceedings of the 2025 IEEE International Conference on Systems, Man, and Cybernetics (SMC)},
  pages = {904--910},
  year = {2025}
}

A Platform-Independent Software-Intensive Workflow Modeling Language And An Open-Source Visual Programming Tool

Yong-Jun Shin , Wilfrid Utz

Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing (SAC) · 2025

PDF Website Slides

@inproceedings{shin2025data,
  title = {A Platform-Independent Software-Intensive Workflow Modeling Language And An Open-Source Visual Programming Tool},
  author = {Shin, Yong-Jun and Utz, Wilfrid},
  booktitle = {Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing (SAC)},
  pages = {1421--1430},
  year = {2025}
}

Virtual Environment Model Generation for CPS Goal Verification using Imitation Learning

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

ACM Trans. Embed. Comput. Syst. (TECS) · 2024

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. (TECS)},
  month = {1},
  articleno = {13},
  numpages = {29},
  keywords = {Cyber-physical system (CPS), environment modeling, imitation learning (IL), simulation-based CPS goal verification, software controller}
}

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) · 2023

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)}
}

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

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

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

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}
}

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

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

2022 29th Asia-Pacific Software Engineering Conference (APSEC) · 2022

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}
}

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 , Doo-Hwan Bae

2022 17th Annual System of Systems Engineering Conference (SOSE) · 2022

PDF Website Slides

@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}
}

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

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

2021 28th Asia-Pacific Software Engineering Conference (APSEC) · 2021

PDF Website Slides

@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}
}

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

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

2021 16th International Conference of System of Systems Engineering (SoSE) · 2021

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}
}

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

2021 16th International Conference of System of Systems Engineering (SoSE) · 2021

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}
}

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

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

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

PDF Website Slides Supp.

@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}
}

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

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

International Conference on Fundamental Approaches to Software Engineering (FASE) · 2021

PDF Website Slides

@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 (FASE)},
  pages = {292--312},
  year = {2021},
  organization = {Springer International Publishing Cham}
}

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

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

2020 27th Asia-Pacific Software Engineering Conference (APSEC) · 2020

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}
}

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

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

2020 IEEE 15th International Conference of System of Systems Engineering (SoSE) · 2020

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}
}

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

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

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

PDF

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

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

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

정보과학회논문지 · 2020

PDF

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

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

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

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

PDF

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

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

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

한국컴퓨터종합학술대회 논문집 · 2019

PDF

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

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

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

2019 14th Annual Conference System of Systems Engineering (SoSE) · 2019

PDF Website Slides

@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}
}

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

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

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing (SAC) · 2019

PDF Website Poster

@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 (SAC)},
  pages = {2044--2047},
  year = {2019}
}

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

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

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

PDF

@article{kim2018data,
  title = {데이터 기반 교통 흐름 시스템 다이내믹스 환경 모델 생성 및 추론 기법},
  author = {김태환 and 조은호 and Shin, Yong-Jun and 배두환},
  journal = {한국정보과학회 학술발표논문집},
  pages = {1725--1727},
  year = {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 International Workshop on Software Engineering for Systems-of-Systems (SESoS) · 2018

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 (SESoS)},
  pages = {1--7},
  year = {2018}
}

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

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

정보과학회논문지 · 2018

PDF

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

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

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

한국소프트웨어공학학술대회 · 2018

PDF

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

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

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

한국소프트웨어공학학술대회 · 2018

PDF

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

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

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

멀티미디어학회논문지 · 2017

PDF

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

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

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

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

PDF

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