xOur data center is currently experiencing power issues. Our colleagues are working hard to resolve the issue and keep downtime to a minimum.
SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
SPLASH 2022 (series) / Kyungmin Bae
Kyungmin Bae

Registered user since Tue 6 Nov 2018

Name:Kyungmin Bae
Country:South Korea
Affiliation:POSTECH
Personal website:http://sevlab.postech.ac.kr/~kmbae/
Research interests:Model checking, automated reasoning, formal methods

Contributions

FTSCS 2022 Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata
Committee Member in Program Committee within the Formal Techniques for Safety-Critical Systems-track
Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search
Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT
Show activities from other conferences

Using general profile