Login / Signup
Geunyeol Yu
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 4
Top Topics
Model Checking
Modulo Theories
Temporal Logic
Formal Specification
Top Venues
FASE
CAV (1)
WRLA
ASE
</>
Publications
</>
Geunyeol Yu
,
Seunghyun Chae
,
Kyungmin Bae
,
Sungkun Moon
Formal Specification of Trusted Execution Environment APIs.
FASE
(2024)
Geunyeol Yu
,
Kyungmin Bae
A Flexible Framework for Integrating Maude and SMT Solvers Using Python.
WRLA
(2024)
Geunyeol Yu
,
Jia Lee
,
Kyungmin Bae
STLmc: Robust STL Model Checking of Hybrid Systems Using SMT.
CAV (1)
(2022)
Jia Lee
,
Geunyeol Yu
,
Kyungmin Bae
Efficient SMT-Based Model Checking for Signal Temporal Logic.
ASE
(2021)