Yong-Jun Shin

Senior researcher, Lecturer at AI academy @ ETRI | PhD @ KAIST

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

I’m also a lecturer at AI Academy of ETRI.

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

All news →

2026.06.17

🎤 I completed my first three-day intensive lecture at ETRI AI Academy, titled “Introduction to Software Testing for Safe AI.” 🎤🎉
2026.05.18

🎉 My single-authored paper, “Modeling and Verification of ROS 2 Callback Concurrency Using the UPPAAL Model Checker,” has been accepted in “Int’l Journal of Software Engineering and Knowledge Engineering (IJSEKE).
2026.04.27

🎉 My single-authored paper, “Runtime Verification of Cause–Effect Latency in Black-box Systems,” has been accepted in “Information and Software Technology” (IST) — a Q1 journal (JCR top 15%).
2026.02.05

🎤 I was invited to present “Verification of Cause–Effect Chain Latency in Robotics Software” at the Early-Career Researcher Session of KCSE 2026.
2025.10.01

👏 I was appointed as a lecturer at ETRI AI Academy! I’ll offer a course titled “Introduction to Software Testing for Safe AI”

Highlighted Publications

All publications →

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

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

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

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