| 2026 | TACAS | Efficient Verification of Lingua Franca Programs. | Peter Csaba lveczky, Mario Reja, Mikheil Rukhaia, Kyungmin Bae, Mircea Marin |
| 2026 | VMCAI | A Formal Executable Semantics of PROMELA. | Byoungho Son, Kyungmin Bae |
| 2025 | SAS | Formal Analysis of Networked PLC Controllers Interacting with Physical Environments. | Jaeseo Lee, Kyungmin Bae |
| 2024 | FASE | Formal Specification of Trusted Execution Environment APIs. | Geunyeol Yu, Seunghyun Chae, Kyungmin Bae, Sungkun Moon |
| 2024 | FM | Formal Semantics and Analysis of Multitask PLC ST Programs with Preemption. | Jaeseo Lee, Kyungmin Bae |
| 2024 | ISoLA | Rigorous Model Engineering of Hierarchical Multirate CPSs in MR-HybridSynchAADL. | Jaehun Lee, Kyungmin Bae, Peter Csaba lveczky |
| 2022 | CAV | STLmc: Robust STL Model Checking of Hybrid Systems Using SMT. | Geunyeol Yu, Jia Lee, Kyungmin Bae |
| 2022 | ISoLA | An Extension of HybridSynchAADL and Its Application to Collaborating Autonomous UAVs. | Jaehun Lee, Kyungmin Bae, Peter Csaba lveczky |
| 2021 | CAV | HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL. | Jaehun Lee, Sharon Kim, Kyungmin Bae, Peter Csaba lveczky |
| 2017 | FMCAD | Modular SMT-based analysis of nonlinear hybrid systems. | Kyungmin Bae, Sicun Gao |
| 2016 | AAAI | An Architecture for Hybrid Planning and Execution. | Robert P. Goldman, Daniel Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae |
| 2016 | TASE | A Term Rewriting Approach to Analyze High Level Petri Nets. | Xudong He, Reng Zeng, Su Liu, Zhuo Sun, Kyungmin Bae |
| 2014 | FM | Definition, Semantics, and Analysis of Multirate Synchronous AADL. | Kyungmin Bae, Peter Csaba lveczky, Jos Meseguer |
| 2012 | FASE | The SynchAADL2Maude Tool. | Kyungmin Bae, Peter Csaba lveczky, Jos Meseguer, Abdullah Al-Nayeem |
| 2011 | CAV | State/Event-Based LTL Model Checking under Parametric Generalized Fairness. | Kyungmin Bae, Jos Meseguer |
| 2011 | ICFEM | Synchronous AADL and Its Formal Analysis in Real-Time Maude. | Kyungmin Bae, Peter Csaba lveczky, Abdullah Al-Nayeem, Jos Meseguer |
| 2009 | ICFEM | Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. | Kyungmin Bae, Peter Csaba lveczky, Thomas Huining Feng, Stavros Tripakis |