conf.researchr.org / 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
2023
2022
FTSCS
- Author of Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata within the Formal Techniques for Safety-Critical Systems-track
- Committee Member in Program Committee within the Formal Techniques for Safety-Critical Systems-track
- Author of Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search within the Formal Techniques for Safety-Critical Systems-track
- Author of Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT within the Formal Techniques for Safety-Critical Systems-track