Kyungmin Bae

According to our database1, Kyungmin Bae authored at least 29 papers between 2009 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




Formal aspects of component software (FACS 2018).
Sci. Comput. Program., 2020

Symbolic state space reduction with guarded terms for rewriting modulo SMT.
Sci. Comput. Program., 2019

Bounded model checking of signal temporal logic properties using syntactic separation.
Proc. ACM Program. Lang., 2019

Modular SMT-based analysis of nonlinear hybrid systems.
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

Guarded Terms for Rewriting Modulo SMT.
Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

A Term Rewriting Approach to Analyze High Level Petri Nets.
Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

A Hybrid Architecture for Correct-by-Construction Hybrid Planning and Control.
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

An Architecture for Hybrid Planning and Execution.
Proceedings of the Planning for Hybrid Systems, 2016

Model checking linear temporal logic of rewriting formulas under localized fairness.
Sci. Comput. Program., 2015

Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study.
Sci. Comput. Program., 2015

SMT Encoding of Hybrid Systems in dReal.
Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

Hybrid Multirate PALS.
Proceedings of the Logic, Rewriting, and Concurrency, 2015

Formal patterns for multirate distributed real-time systems.
Sci. Comput. Program., 2014

Infinite-State Model Checking of LTLR Formulas Using Narrowing.
Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014

Predicate Abstraction of Rewrite Theories.
Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014

Definition, Semantics, and Analysis of Multirate Synchronous AADL.
Proceedings of the FM 2014: Formal Methods, 2014

Abstract Logical Model Checking of Infinite-State Systems Using Narrowing.
Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013

Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude.
Sci. Comput. Program., 2012

A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting.
Electron. Notes Theor. Comput. Sci., 2012

PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude
Proceedings of the Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, 2012

Model Checking LTLR Formulas under Localized Fairness.
Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

The SynchAADL2Maude Tool.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

Formal Patterns for Multi-rate Distributed Real-Time Systems.
Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

Synchronous AADL and Its Formal Analysis in Real-Time Maude.
Proceedings of the Formal Methods and Software Engineering, 2011

State/Event-Based LTL Model Checking under Parametric Generalized Fairness.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models
Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010

The Linear Temporal Logic of Rewriting Maude Model Checker.
Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010

Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude.
Proceedings of the Formal Methods and Software Engineering, 2009