Yong-Jun Shin

I’m a senior researcher of Electronics and Telecommunications Research Institute (ETRI), a national research institute in South Korea.

I received my Ph.D. in software engineering at Korea Advanced Institute of Science and Technology (KAIST) under the guidance of Professor Doo-Hwan Bae in 2023.

My Ph.D. research focused on data-driven model generation for efficient verification of cyber-physical system (CPS) software (e.g., autonomous driving).

My research interests includes

model-based software engineering,
SW verification and validation,
self-adaptive system,
CPS software (e.g., autonomous driving, ROS 2 robotics),
CI/CD on edge computing

News

Mar 14, 2025	🧑‍🏫 I was invited to Chungbuk National University and gave a seminar titled “Verification of Callback Concurrency and Cause-Effect Latency of ROS 2 Mobility Software.”
Nov 22, 2024	🎉 My paper has been accepted as a full paper in the Programming Language track at ACM SAC 2025. See you in Italy in April 2025.
Oct 08, 2024	🎤 I was invited to Hannam University and gave a seminar titled “Model-Based Software Engineering Approaches for the Verification of Autonomous Mobility.”

Latest posts

Feb 06, 2024	My first blog post test

Highlighted publications

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

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

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

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