Kyungmin Bae

Assistant Professor
Department of Computer Science and Engineering
POSTECH (Pohang University of Science and Technology)

Email
kmbae at postech.ac.kr
Office
B2 225
Phone
+82-54-279-2256
Address
77 Cheongam-Ro, Nam-Gu, Pohang, Gyeongbuk, Korea 37673
Menu

About

I am an assistant professor in the Department of Computer Science and Engineering at POSTECH, and lead the Software Engineering and Verification Laboratory. I study automatic formal analysis and software engineering methods to develop safe and reliable computer systems.

Research Interests

Software

Teaching

Thesis

Publications

Referred Conference Papers

  1. Modular SMT-Based Analysis of Nonlinear Hybrid Systems Kyungmin Bae and Sicun Gao International Conference on Formal Methods in Computer-Aided Design (FMCAD) 2017 (to appear)
  2. Guarded Terms for Rewriting modulo SMT Kyungmin Bae and Camilo Rocha International Conference on Formal Aspects of Component Software (FACS) 2017 (Best Paper Award)
  3. SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems Kyungmin Bae, Peter Olveczky, Soonho Kong, Sicun Gao, and Edmund M. Clarke ACM International Conference on Hybrid Systems: Computation and Control (HSCC) 2016
  4. 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 International Symposium on NASA Formal Methods (NFM) 2016
  5. A Term Rewriting Approach to Analyze High Level Petri Nets Xudong He, Reng Zeng, Su Liu, Zhuo Sun, Kyungmin Bae International Symposium on Theoretical Aspects of Software Engineering (TASE) 2016
  6. Predicate Abstraction of Rewrite Theories Kyungmin Bae and José Meseguer Joint International Conference on Rewriting and Typed Lambda Calculi (RTA-TLCA) 2014
  7. Definition, Semantics, and Analysis of Multirate Synchronous AADL Kyungmin Bae, Peter Olveczky, and José Meseguer International Symposium on Formal Methods (FM) 2014
  8. Abstract Logical Model Checking of Infinite-State Systems Using Narrowing Kyungmin Bae, Santiago Escobar and José Meseguer International Conference on Rewriting Techniques and Applications (RTA) 2013
  9. The SynchAADL2Maude Tool Kyungmin Bae, Peter Olveczky, José Meseguer, and Abdullah Al-Nayeem International Conference on Fundamental Approaches to Software Engineering (FASE) 2012
  10. Formal Patterns for Multi-Rate Distributed Real-Time Systems Kyungmin Bae, José Meseguer, and Peter Olveczky International Symposium on Formal Aspects of Component Software (FACS) 2012
  11. State/Event-based LTL Model Checking under Parametric Generalized Fairness Kyungmin Bae and José Meseguer International Conference on Computer Aided Verification (CAV) 2011
  12. Synchronous AADL and its Formal Analysis in Real-Time Maude Kyungmin Bae, Peter Olveczky, Abdullah Al-Nayeem and José Meseguer International Conference on Formal Engineering Methods (ICFEM) 2011
  13. Verifying Ptolemy II Discrete-Event Models using Real-Time Maude Kyungmin Bae, Peter C. Olveczky, Thomas H. Feng and Stavros Tripakis International Conference on Formal Engineering Methods (ICFEM) 2009

Journal Articles

  1. Designing and Verifying Distributed Cyber-Physical Systems using Multirate PALS: An Airplane Turning Control System Case Study Kyungmin Bae, Josh Krisiloff, José Meseguer, and Peter Olveczky Science of Computer Programming 103:13-50 2015
  2. Model Checking Linear Temporal Logic of Rewriting Formulas under Localized Fairness Kyungmin Bae, and José Meseguer Science of Computer Programming 99 2015
  3. Formal Patterns for Multirate Distributed Real-Time Systems (extended version) Kyungmin Bae, José Meseguer, and Peter Olveczky Science of Computer Programming 91, Part A 2014
  4. Verifying Hierarchical Ptolemy II Discrete-Event Models using Real-Time Maude Kyungmin Bae, Peter C. Olveczky, Thomas H. Feng, Edward A. Lee and Stavros Tripakis, Science of Computer Programming 77(12) 2012

Referred Workshop Papers

  1. An Architecture for Hybrid Planning and Execution Robert P. Goldman, Dan Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae AAAI-16 Workshop on Planning for Hybrid Systems 2016
  2. SMT Encoding of Hybrid Systems in dReal Kyungmin Bae, Soonho Kong, and Sicun Gao International Workshop on Applied veRification for Continuous and Hybrid Systems 2015
  3. Hybrid Multirate PALS Kyungmin Bae and Peter C. Olveczky Logic, Rewriting, and Concurrency 2015
  4. Infinite-State Model Checking of LTLR Formulas Unsing Narrowing Kyungmin Bae and José Meseguer International Workshop on Rewriting Logic and its Applications 2014
  5. PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude Kyungmin Bae, Josh Krisiloff, José Meseguer, and Peter Olveczky International Workshop on Formal Techniques for Safety-Critical Systems 2012
  6. Model Checking LTLR Formulas under Localized Fairness Kyungmin Bae and José Meseguer International Workshop on Rewriting Logic and its Applications 2012
  7. Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models Kyungmin Bae and Peter C. Olveczky International Workshop on Rewriting Techniques for Real-Time Systems 2010
  8. The Linear Temporal Logic of Rewriting Maude Model Checker Kyungmin Bae and José Meseguer International Workshop on Rewriting Logic and its Applications 2010
  9. A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting Kyungmin Bae and José Meseguer International Workshop on Rule-Based Programming 2008

Education

Employment

Honors and Awards