Concepedia

Kyungmin Bae

KB

14

Publications

351

Citations

11

H-Index

2010

Active since

Affiliations

Pohang University of Science and Technology(Current)

University of Oslo

University of Illinois Urbana-Champaign

Kyungmin Bae is an author at Pohang University of Science and Technology specializing in engineering, formal verification, and formal methods.

Top concepts

EngineeringFormal VerificationFormal MethodsComputer ScienceSystems EngineeringVerificationAutomated ReasoningComputer EngineeringAutomationReal-time Systems

Publications per year

2010–2022

14

Publications

14

Abstract Logical Model Checking of Infinite-State Systems Using Narrowing

Kyungmin Bae, Santiago Escobar, José Meseguer · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2013 · 56 citations · Full text

Model checking linear temporal logic of rewriting formulas under localized fairness

Kyungmin Bae, José Meseguer · Science of Computer Programming · 2014 · 37 citations

Localized Fairness, Engineering, Automated Reasoning +10

Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study

Kyungmin Bae, Joshua Krisiloff, José Meseguer et al. · Science of Computer Programming · 2014 · 37 citations

Engineering, Cyber Monitoring, Verification +12

Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude

Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng et al. · Science of Computer Programming · 2010 · 35 citations

Engineering, Discrete Event System, Discrete Modeling +5

Bounded model checking of signal temporal logic properties using syntactic separation

Kyungmin Bae, Jia Lee · Proceedings of the ACM on Programming Languages · 2019 · 35 citations · Full text

Engineering, Stl Formula, Verification +18

Rows per page

1–5 of 14