Efficient SMT-Based Model Checking for Signal Temporal Logic. - Jia Lee; Geunyeol Yu; Kyungmin Bae (ASE, 2021)

STLmc: Robust STL Model Checking of Hybrid Systems Using SMT. - Geunyeol Yu; Jia Lee; Kyungmin Bae (CAV (1), 2022)

Formal Specification of Trusted Execution Environment APIs. - Geunyeol Yu; Seunghyun Chae; Kyungmin Bae; Sungkun Moon (FASE, 2024)

A Flexible Framework for Integrating Maude and SMT Solvers Using Python. - Geunyeol Yu; Kyungmin Bae (WRLA, 2024)

SMT-based robust model checking for signal temporal logic. - Jia Lee; Geunyeol Yu; Kyungmin Bae (Sci. Comput. Program., 2025)