Kyungmin Bae - Concepedia

Author

Kyungmin Bae

Pohang University of Science and Technology ORCID

Also Known As

Bae, K., Bae, Kyungmin, K.M. Bae, Kyungmin Bae, WRLA 2022 Online; München

Publications

700

Citations

H-Index

Concepts

All Affiliations

Pohang University of Science and Technology University of Oslo University of Illinois Urbana-Champaign Korea Post

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	10	10	245
2	Computer Science	7	7	157
3	Systems Engineering	7	7	154
4	Computer Engineering	5	5	119
5	Control Systems	2	2	57

Kyungmin Bae

Publications

351

Citations

H-Index

Page 1

	Year	Citations
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
Model checking linear temporal logic of rewriting formulas under localized fairness Kyungmin Bae, José Meseguer Science of Computer Programming Localized FairnessEngineeringAutomated ReasoningRegulated RewritingVerification	2014	37
Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study Kyungmin Bae, Joshua Krisiloff, José Meseguer, Science of Computer Programming EngineeringCyber MonitoringVerificationAutomationComputer Engineering	2014	37
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Science of Computer Programming EngineeringDiscrete Event SystemDiscrete ModelingAutomated ReasoningFormal Methods	2010	35
Bounded model checking of signal temporal logic properties using syntactic separation Kyungmin Bae, Jia Lee Proceedings of the ACM on Programming Languages EngineeringStl FormulaVerificationComputer-aided VerificationModel Checking	2019	35
A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting Kyungmin Bae, José Meseguer Electronic Notes in Theoretical Computer Science	2012	30
Formal patterns for multirate distributed real-time systems Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky Science of Computer Programming Real-time SystemEngineeringReal-time OperationFormal PatternsFormal Methods	2013	25
SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems Kyungmin Bae, Peter Csaba Ölveczky, Soonho Kong, Real-time ControlEngineeringNetworked ControlReal-time System DesignVerification	2016	20
Symbolic state space reduction with guarded terms for rewriting modulo SMT Kyungmin Bae, Camilo Rocha Science of Computer Programming Symbolic ManipulationEngineeringGuarded TermsRegulated RewritingModulo Smt	2019	19
Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL Jaehun Lee, Kyungmin Bae, Peter Csaba Ölveczky, International Journal on Software Tools for Technology Transfer EngineeringReal-time System DesignAutomationComputer EngineeringFormal Methods	2022	16

Page 1