Seguir
Geunyeol Yu
Geunyeol Yu
POSTECH
Email confirmado em postech.ac.kr - Página inicial
Título
Citado por
Citado por
Ano
Maude-SE: a Tight Integration of Maude and SMT Solvers
G Yu, K Bae
Rewriting Logic and its Applications, 220, 2020
92020
Efficient SMT-based model checking for signal temporal logic
J Lee, G Yu, K Bae
2021 36th IEEE/ACM international conference on automated software …, 2021
62021
STLmc: Robust STL Model Checking of Hybrid Systems Using SMT
G Yu, J Lee, K Bae
International Conference on Computer Aided Verification, 524-537, 2022
52022
Formal Specification of Trusted Execution Environment APIs
G Yu, S Chae, K Bae, S Moon
International Conference on Fundamental Approaches to Software Engineering …, 2024
2024
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–4