Yong-Jun Shin

I’m a 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,
CPS software (e.g., autonomous driving, ROS 2 robotics) verification & validation,
statistical model checking,
self-adaptive systems and environment modeling,
CI/CD on edge computing

News

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.”
Feb 14, 2024	👋 My new homepage is open!

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

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