Kyungmin Bae

	2012
6		Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer, Abdullah Al-Nayeem: The SynchAADL2Maude Tool. FASE 2012: 59-62
	2011
5		Kyungmin Bae, José Meseguer: State/Event-Based LTL Model Checking under Parametric Generalized Fairness. CAV 2011: 132-148
4		Kyungmin Bae, Peter Csaba Ölveczky, Abdullah Al-Nayeem, José Meseguer: Synchronous AADL and Its Formal Analysis in Real-Time Maude. ICFEM 2011: 651-667
	2010
3		Kyungmin Bae, Peter Csaba Ölveczky: Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models RTRTS 2010: 46-66
2		Kyungmin Bae, José Meseguer: The Linear Temporal Logic of Rewriting Maude Model Checker. WRLA 2010: 208-225
	2009
1		Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Stavros Tripakis: Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. ICFEM 2009: 717-736

Coauthor Index

1	Abdullah Al-Nayeem	[4] [6]
2	Thomas Huining Feng	[1]
3	José Meseguer	[2] [4] [5] [6]
4	Peter Csaba Ölveczky	[1] [3] [4] [6]
5	Stavros Tripakis	[1]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page