Geunyeol Yu

According to our database, Geunyeol Yu authored at least 4 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

A Flexible Framework for Integrating Maude and SMT Solvers Using Python.

Geunyeol Yu, Kyungmin Bae

Proceedings of the Rewriting Logic and Its Applications - 15th International Workshop, 2024

Formal Specification of Trusted Execution Environment APIs.

Geunyeol Yu, Seunghyun Chae, Kyungmin Bae, Sungkun Moon

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2022

STLmc: Robust STL Model Checking of Hybrid Systems Using SMT.

Geunyeol Yu, Jia Lee, Kyungmin Bae

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Efficient SMT-Based Model Checking for Signal Temporal Logic.

Jia Lee, Geunyeol Yu, Kyungmin Bae

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021