Yong-Jun Shin

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

I am a software engineering researcher continually exploring how software engineering can make Physical AI more trustworthy.

Highlights of my professional and academic experience include:

Senior Researcher at Electronics and Telecommunications Research Institute (ETRI), a national research institute in South Korea
Lecturer at the ETRI AI Academy
Board Member of the Software Engineering Society, Korean Institute of Information Scientists and Engineers (KIISE)
Member of the Daejeon Metropolitan City Informatization Committee
Ph.D. in Software Engineering from Korea Advanced Institute of Science and Technology (KAIST), under the supervision of Professor Doo-Hwan Bae

My research interests center on Software Engineering for Trustworthy Physical AI, with a particular focus on verification and validation, including:

Simulation-Based Testing
Formal Verification and Runtime Verification
Abstraction and Model-Based Engineering
Requirement Engineering and Ontology

News

All news →

2026.09.01

🏛️ I was appointed as a member of the Daejeon Metropolitan City Informatization Committee.
2026.08.27

🎤 I gave an invited talk titled “Software Requirements Engineering and Testing for Agent Engineering” at an AIFrenz research group.
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%).

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