2025
2024
2023
2022
2021
2020
<a href="{"display"=>nil}">Maude-SE: a Tight Integration of Maude and SMT Solvers</a>
Geunyeol Yu and Kyungmin Bae
International Workshop on Rewriting Logic and its Applications, 2020
<a href="{"display"=>nil}">구조적 성질을 활용한 심층신경망의 정형검증 기법</a>
정문현, 배경민
한국정보과학회 학술발표논문집, 2020
<a href="{"display"=>nil}">심층신경망의 정형검증 기법 소개</a>
배경민
정보과학회지, 2020
2019
<a href="{"display"=>nil}">Symbolic State Space Reduction with Guarded Terms for Rewriting Modulo SMT</a>
Kyungmin Bae and Camilo Rocha
Science of Computer Programming 178: 20-42, 2019
2018
2017
<a href="{"display"=>nil}">Modular SMT-Based Analysis of Nonlinear Hybrid Systems</a>
Kyungmin Bae and Sicun Gao
International Conference on Formal Methods in Computer-Aided Design (FMCAD), 2017
<a href="{"display"=>nil}">Guarded Terms for Rewriting modulo SMT</a>
Kyungmin Bae and Camilo Rocha
International Conference on Formal Aspects of Component Software (FACS), 2017
2016
<a href="{"display"=>nil}">SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems</a>
Kyungmin Bae, Peter Olveczky, Soonho Kong, Sicun Gao, and Edmund M. Clarke
ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2016
<a href="{"display"=>nil}">A Hybrid Architecture for Correct-by-Construction Hybrid Planning and Control</a>
Robert P. Goldman, Daniel Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae
International Symposium on NASA Formal Methods (NFM), 2016
<a href="{"display"=>nil}">A Term Rewriting Approach to Analyze High Level Petri Nets</a>
Xudong He, Reng Zeng, Su Liu, Zhuo Sun, Kyungmin Bae
International Symposium on Theoretical Aspects of Software Engineering (TASE), 2016
<a href="{"display"=>nil}">An Architecture for Hybrid Planning and Execution</a>
Robert P. Goldman, Dan Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae
AAAI-16 Workshop on Planning for Hybrid Systems, 2016
2015
<a href="{"display"=>nil}">Designing and Verifying Distributed Cyber-Physical Systems using Multirate PALS: An Airplane Turning Control System Case Study</a>
Kyungmin Bae, Josh Krisiloff, José Meseguer, and Peter Olveczky
Science of Computer Programming 103:13-50, 2015
<a href="{"display"=>nil}">Model Checking Linear Temporal Logic of Rewriting Formulas under Localized Fairness</a>
Kyungmin Bae, and José Meseguer
Science of Computer Programming 99, 2015
<a href="{"display"=>nil}">SMT Encoding of Hybrid Systems in dReal</a>
Kyungmin Bae, Soonho Kong, and Sicun Gao
International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015
2014
<a href="{"display"=>nil}">Predicate Abstraction of Rewrite Theories</a>
Kyungmin Bae and José Meseguer
Joint International Conference on Rewriting and Typed Lambda Calculi (RTA-TLCA), 2014
<a href="{"display"=>nil}">Definition, Semantics, and Analysis of Multirate Synchronous AADL</a>
Kyungmin Bae, Peter Olveczky, and José Meseguer
International Symposium on Formal Methods (FM), 2014
<a href="{"display"=>nil}">Formal Patterns for Multirate Distributed Real-Time Systems (extended version)</a>
Kyungmin Bae, José Meseguer, and Peter Olveczky
Science of Computer Programming 91, Part A, 2014
<a href="{"display"=>nil}">Infinite-State Model Checking of LTLR Formulas Unsing Narrowing</a>
Kyungmin Bae and José Meseguer
International Workshop on Rewriting Logic and its Applications, 2014
<a href="{"display"=>nil}">Rewriting-based model checking methods</a>
Kyungmin Bae
PhD Dissertation, Department of Computer Science, University of Illinois at Urbana-Champaign, USA, 2014
2013
<a href="{"display"=>nil}">Abstract Logical Model Checking of Infinite-State Systems Using Narrowing</a>
Kyungmin Bae, Santiago Escobar and José Meseguer
International Conference on Rewriting Techniques and Applications (RTA), 2013
2012
<a href="{"display"=>nil}">The SynchAADL2Maude Tool</a>
Kyungmin Bae, Peter Olveczky, José Meseguer, and Abdullah Al-Nayeem
International Conference on Fundamental Approaches to Software Engineering (FASE), 2012
<a href="{"display"=>nil}">Formal Patterns for Multi-Rate Distributed Real-Time Systems</a>
Kyungmin Bae, José Meseguer, and Peter Olveczky
International Symposium on Formal Aspects of Component Software (FACS), 2012
<a href="{"display"=>nil}">Verifying Hierarchical Ptolemy II Discrete-Event Models using Real-Time Maude</a>
Kyungmin Bae, Peter C. Olveczky, Thomas H. Feng, Edward A. Lee and Stavros Tripakis
Science of Computer Programming 77(12), 2012
<a href="{"display"=>nil}">PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude</a>
Kyungmin Bae, Josh Krisiloff, José Meseguer, and Peter Olveczky
International Workshop on Formal Techniques for Safety-Critical Systems, 2012
<a href="{"display"=>nil}">Model Checking LTLR Formulas under Localized Fairness</a>
Kyungmin Bae and José Meseguer
International Workshop on Rewriting Logic and its Applications, 2012
2011
<a href="{"display"=>nil}">State/Event-based LTL Model Checking under Parametric Generalized Fairness</a>
Kyungmin Bae and José Meseguer
International Conference on Computer Aided Verification (CAV), 2011
<a href="{"display"=>nil}">Synchronous AADL and its Formal Analysis in Real-Time Maude</a>
Kyungmin Bae, Peter Olveczky, Abdullah Al-Nayeem and José Meseguer
International Conference on Formal Engineering Methods (ICFEM), 2011
2010
<a href="{"display"=>nil}">Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models</a>
Kyungmin Bae and Peter C. Olveczky
nternational Workshop on Rewriting Techniques for Real-Time Systems, 2010
<a href="{"display"=>nil}">The Linear Temporal Logic of Rewriting Maude Model Checker</a>
Kyungmin Bae and José Meseguer
International Workshop on Rewriting Logic and its Applications, 2010
2009
<a href="{"display"=>nil}">Verifying Ptolemy II Discrete-Event Models using Real-Time Maude</a>
Kyungmin Bae, Peter C. Olveczky, Thomas H. Feng and Stavros Tripakis
International Conference on Formal Engineering Methods (ICFEM), 2009
2008
<a href="{"display"=>nil}">A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting</a>
Kyungmin Bae and José Meseguer
International Workshop on Rule-Based Programming, 2008