Kyungmin Bae (University of Illinois at Urbana-Champaign)

Identifiers

• name variant Kyungmin Bae (University of Illinois at Urbana-Champaign) 0.60 · backfill

Papers (2)

1. PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude cs.LO · 2013 · author #1
2. Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models cs.LO · 2010 · author #1

Mentions

• 1301.0038 #1 · backfill · confidence 0.70 Kyungmin Bae (University of Illinois at Urbana-Champaign)
• 1009.4261 #1 · backfill · confidence 0.70 Kyungmin Bae (University of Illinois at Urbana-Champaign)

Frequent Coauthors

• Peter Csaba \"Olveczky (University of Oslo) 2 shared papers
• Jos\'e Meseguer (University of Illinois at Urbana-Champaign) 1 shared papers
• Joshua Krisiloff (University of Illinois at Urbana-Champaign) 1 shared papers