‪Geunyeol Yu‬ - ‪Google Scholar‬

Hanki oma profiili

Viittaukset

	Kaikki	2019 lähtien
Sitaatit	20	20
h-indeksi	3	3
i10-indeksi	0	0

0

8

4

20212022202320241 6 7 6

Muut kirjoittajat

Kyungmin BaePOSTECHVahvistettu sähköpostiosoite verkkotunnuksessa postech.ac.kr

Geunyeol Yu

Geunyeol Yu

Vahvistettu sähköpostiosoite verkkotunnuksessa postech.ac.kr - Kotisivu

Software verification


Nimike Lajittele sitaattien mukaan Lajittele vuoden mukaan Lajittele otsikon mukaan	Viittaukset Viittaukset	Vuosi
Maude-SE: a Tight Integration of Maude and SMT Solvers G Yu, K Bae Rewriting Logic and its Applications, 220, 2020	9	2020
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	6	2021
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	5	2022
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

Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.

Artikkelit 1–4