Folgen
Geunyeol Yu
Geunyeol Yu
POSTECH
Bestätigte E-Mail-Adresse bei postech.ac.kr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–4