Kyungmin Bae

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Formal aspects of component software (FACS 2018).

Kyungmin Bae, Peter Csaba Ölveczky

Sci. Comput. Program., 2020

2019

Symbolic state space reduction with guarded terms for rewriting modulo SMT.

Kyungmin Bae, Camilo Rocha

Sci. Comput. Program., 2019

Bounded model checking of signal temporal logic properties using syntactic separation.

Kyungmin Bae, Jia Lee

Proc. ACM Program. Lang., 2019

2017

Modular SMT-based analysis of nonlinear hybrid systems.

Kyungmin Bae, Sicun Gao

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

Guarded Terms for Rewriting Modulo SMT.

Kyungmin Bae, Camilo Rocha

Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

2016

A Term Rewriting Approach to Analyze High Level Petri Nets.

Xudong He, Reng Zeng, Su Liu, Zhuo Sun, Kyungmin Bae

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

A Hybrid Architecture for Correct-by-Construction Hybrid Planning and Control.

Robert P. Goldman, Daniel Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems.

Kyungmin Bae, Peter Csaba Ölveczky, Soonho Kong, Sicun Gao, Edmund M. Clarke

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

An Architecture for Hybrid Planning and Execution.

Robert P. Goldman, Daniel Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae

Proceedings of the Planning for Hybrid Systems, 2016

2015

Model checking linear temporal logic of rewriting formulas under localized fairness.

Kyungmin Bae, José Meseguer

Sci. Comput. Program., 2015

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

Kyungmin Bae, Joshua Krisiloff, José Meseguer, Peter Csaba Ölveczky

Sci. Comput. Program., 2015

SMT Encoding of Hybrid Systems in dReal.

Kyungmin Bae, Soonho Kong, Sicun Gao

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

Hybrid Multirate PALS.

Kyungmin Bae, Peter Csaba Ölveczky

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014

Formal patterns for multirate distributed real-time systems.

Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky

Sci. Comput. Program., 2014

Infinite-State Model Checking of LTLR Formulas Using Narrowing.

Kyungmin Bae, José Meseguer

Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014

Predicate Abstraction of Rewrite Theories.

Kyungmin Bae, José Meseguer

Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014

Definition, Semantics, and Analysis of Multirate Synchronous AADL.

Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer

Proceedings of the FM 2014: Formal Methods, 2014

2013

Abstract Logical Model Checking of Infinite-State Systems Using Narrowing.

Kyungmin Bae, Santiago Escobar, José Meseguer

Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013

2012

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

Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Edward A. Lee, Stavros Tripakis

Sci. Comput. Program., 2012

A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting.

Kyungmin Bae, José Meseguer

Electron. Notes Theor. Comput. Sci., 2012

PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude

Kyungmin Bae, Joshua Krisiloff, José Meseguer, Peter Csaba Ölveczky

Proceedings of the Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, 2012

Model Checking LTLR Formulas under Localized Fairness.

Kyungmin Bae, José Meseguer

Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

The SynchAADL2Maude Tool.

Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer, Abdullah Al-Nayeem

Proceedings of the Fundamental Approaches to Software Engineering, 2012

Formal Patterns for Multi-rate Distributed Real-Time Systems.

Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky

Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

2011

Synchronous AADL and Its Formal Analysis in Real-Time Maude.

Kyungmin Bae, Peter Csaba Ölveczky, Abdullah Al-Nayeem, José Meseguer

Proceedings of the Formal Methods and Software Engineering, 2011

State/Event-Based LTL Model Checking under Parametric Generalized Fairness.

Kyungmin Bae, José Meseguer

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models

Kyungmin Bae, Peter Csaba Ölveczky

Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010

The Linear Temporal Logic of Rewriting Maude Model Checker.

Kyungmin Bae, José Meseguer

Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010

2009

Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude.

Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Stavros Tripakis

Proceedings of the Formal Methods and Software Engineering, 2009