Kyungmin Bae

Kyungmin Bae, José Meseguer: A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting. Electr. Notes Theor. Comput. Sci. 290: 19-36 (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): 1235-1271 (2012)

Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky: Formal Patterns for Multi-rate Distributed Real-Time Systems. FACS 2012: 1-18

Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer, Abdullah Al-Nayeem: The SynchAADL2Maude Tool. FASE 2012: 59-62

Kyungmin Bae, José Meseguer: Model Checking LTLR Formulas under Localized Fairness. WRLA 2012: 99-117

Kyungmin Bae, Joshua Krisiloff, José Meseguer, Peter Csaba Ölveczky: PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude. FTSCS 2012: 5-21

Kyungmin Bae, José Meseguer: State/Event-Based LTL Model Checking under Parametric Generalized Fairness. CAV 2011: 132-148

Kyungmin Bae, Peter Csaba Ölveczky, Abdullah Al-Nayeem, José Meseguer: Synchronous AADL and Its Formal Analysis in Real-Time Maude. ICFEM 2011: 651-667

Kyungmin Bae, José Meseguer: The Linear Temporal Logic of Rewriting Maude Model Checker. WRLA 2010: 208-225

Kyungmin Bae, Peter Csaba Ölveczky: Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models. RTRTS 2010: 46-66

Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Stavros Tripakis: Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. ICFEM 2009: 717-736