Geunyeol Yu

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Formal Specification of Trusted Execution Environment APIs.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2022

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

[BibT_eX]

[DOI]

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

2021

Efficient SMT-Based Model Checking for Signal Temporal Logic.

[BibT_eX]

[DOI]

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