Kyungmin Bae

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 28

Top Topics

Execution Environment

Formal Specification

Top Venues

Sci. Comput. Program.

Publications

Geunyeol Yu, Seunghyun Chae, Kyungmin Bae, Sungkun Moon
Formal Specification of Trusted Execution Environment APIs. FASE (2024)
Byeongjee Kang, Kyungmin Bae
Narrowing and heuristic search for symbolic reachability analysis of concurrent object-oriented systems. Sci. Comput. Program. 235 (2024)
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci
A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets. CoRR (2024)
Kyungmin Bae, Santiago Escobar, Raúl López-Rueda, José Meseguer, Julia Sapiña
Verifying Invariants by Deductive Model Checking. WRLA (2024)
Geunyeol Yu, Kyungmin Bae
A Flexible Framework for Integrating Maude and SMT Solvers Using Python. WRLA (2024)
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving. Sci. Comput. Program. 233 (2024)
Kyungmin Bae
Bounded STL Model Checking for Hybrid Systems (Invited Talk). FTSCS (2023)
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. Petri Nets (2023)
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. CoRR (2023)
Kyungmin Bae, Peter Csaba Ölveczky
Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL. FACS (2023)
Jaeseo Lee, Sangki Kim, Kyungmin Bae
Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT. FTSCS (2022)
Geunyeol Yu, Jia Lee, Kyungmin Bae
STLmc: Robust STL Model Checking of Hybrid Systems Using SMT. CAV (1) (2022)
Jaehun Lee, Kyungmin Bae, Peter Csaba Ölveczky, Sharon Kim, Minseok Kang
Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL. Int. J. Softw. Tools Technol. Transf. 24 (6) (2022)
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata. FTSCS (2022)
Byeongjee Kang, Kyungmin Bae
Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search. FTSCS (2022)
Jaehun Lee, Kyungmin Bae, Peter Csaba Ölveczky
An Extension of HybridSynchAADL and Its Application to Collaborating Autonomous UAVs. ISoLA (3) (2022)
Kyungmin Bae, Peter Csaba Ölveczky
MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems. ACM Trans. Embed. Comput. Syst. 20 (5s) (2021)
Jaehun Lee, Sharon Kim, Kyungmin Bae, Peter Csaba Ölveczky
HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL. CAV (1) (2021)
Jia Lee, Geunyeol Yu, Kyungmin Bae
Efficient SMT-Based Model Checking for Signal Temporal Logic. ASE (2021)
Kyungmin Bae, Peter Csaba Ölveczky
Formal aspects of component software (FACS 2018). Sci. Comput. Program. 200 (2020)
Kyungmin Bae, Jia Lee
Bounded model checking of signal temporal logic properties using syntactic separation. Proc. ACM Program. Lang. 3 (POPL) (2019)
Kyungmin Bae, Camilo Rocha
Symbolic state space reduction with guarded terms for rewriting modulo SMT. Sci. Comput. Program. 178 (2019)
Kyungmin Bae, Sicun Gao
Modular SMT-based analysis of nonlinear hybrid systems. FMCAD (2017)
Kyungmin Bae, Camilo Rocha
Guarded Terms for Rewriting Modulo SMT. FACS (2017)
Kyungmin Bae, Peter Csaba Ölveczky, Soonho Kong, Sicun Gao, Edmund M. Clarke
SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems. HSCC (2016)
Robert P. Goldman, Daniel Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae
A Hybrid Architecture for Correct-by-Construction Hybrid Planning and Control. NFM (2016)
Robert P. Goldman, Daniel Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae
An Architecture for Hybrid Planning and Execution. AAAI Workshop: Planning for Hybrid Systems (2016)
Xudong He, Reng Zeng, Su Liu, Zhuo Sun, Kyungmin Bae
A Term Rewriting Approach to Analyze High Level Petri Nets. TASE (2016)
Kyungmin Bae, Joshua Krisiloff, José Meseguer, Peter Csaba Ölveczky
Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study. Sci. Comput. Program. 103 (2015)
Kyungmin Bae, Soonho Kong, Sicun Gao
SMT Encoding of Hybrid Systems in dReal. ARCH@CPSWeek (2015)
Kyungmin Bae, José Meseguer
Model checking linear temporal logic of rewriting formulas under localized fairness. Sci. Comput. Program. 99 (2015)
Kyungmin Bae, Peter Csaba Ölveczky
Hybrid Multirate PALS. Logic, Rewriting, and Concurrency (2015)
Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky
Formal patterns for multirate distributed real-time systems. Sci. Comput. Program. 91 (2014)
Kyungmin Bae, José Meseguer
Predicate Abstraction of Rewrite Theories. RTA-TLCA (2014)
Kyungmin Bae, José Meseguer
Infinite-State Model Checking of LTLR Formulas Using Narrowing. WRLA (2014)
Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer
Definition, Semantics, and Analysis of Multirate Synchronous AADL. FM (2014)
Kyungmin Bae, Santiago Escobar, José Meseguer
Abstract Logical Model Checking of Infinite-State Systems Using Narrowing. RTA (2013)
Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer, Abdullah Al-Nayeem
The SynchAADL2Maude Tool. FASE (2012)
Kyungmin Bae, Joshua Krisiloff, José Meseguer, Peter Csaba Ölveczky
PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude FTSCS (2012)
Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Edward A. Lee, Stavros Tripakis
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude. Sci. Comput. Program. 77 (12) (2012)
Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky
Formal Patterns for Multi-rate Distributed Real-Time Systems. FACS (2012)
Kyungmin Bae, José Meseguer
Model Checking LTLR Formulas under Localized Fairness. WRLA (2012)
Kyungmin Bae, José Meseguer
A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting. Electron. Notes Theor. Comput. Sci. 290 (2012)
Kyungmin Bae, José Meseguer
State/Event-Based LTL Model Checking under Parametric Generalized Fairness. CAV (2011)
Kyungmin Bae, Peter Csaba Ölveczky, Abdullah Al-Nayeem, José Meseguer
Synchronous AADL and Its Formal Analysis in Real-Time Maude. ICFEM (2011)
Kyungmin Bae, Peter Csaba Ölveczky
Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models RTRTS (2010)
Kyungmin Bae, José Meseguer
The Linear Temporal Logic of Rewriting Maude Model Checker. WRLA (2010)
Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Stavros Tripakis
Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. ICFEM (2009)