×

zbMATH — the first resource for mathematics

Bae, Kyungmin

Compute Distance To:
Author ID: bae.kyungmin Recent zbMATH articles by "Bae, Kyungmin"
Published as: Bae, Kyungmin
Documents Indexed: 9 Publications since 2010

Publications by Year

Citations contained in zbMATH

8 Publications have been cited 44 times in 32 Documents Cited by Year
Abstract logical model checking of infinite-state systems using narrowing. Zbl 1356.68140
Bae, Kyungmin; Escobar, Santiago; Meseguer, José
15
2011
A rewriting-based model checker for the linear temporal logic of rewriting. Zbl 1291.68244
Bae, Kyungmin; Meseguer, José
8
2012
Infinite-state model checking of LTLR formulas using narrowing. Zbl 1366.68162
Bae, Kyungmin; Meseguer, José
5
2014
Verifying hierarchical Ptolemy II discrete-event models using real-time maude. Zbl 1264.68051
Bae, Kyungmin; Ölveczky, Peter Csaba; Feng, Thomas Huining; Lee, Edward A.; Tripakis, Stavros
5
2012
The linear temporal logic of rewriting Maude model checker. Zbl 1306.68099
Bae, Kyungmin; Meseguer, José
4
2010
Model checking LTLR formulas under localized fairness. Zbl 1367.68180
Bae, Kyungmin; Meseguer, José
3
2012
SMT-based analysis of virtually synchronous distributed hybrid systems. Zbl 1364.68258
Bae, Kyungmin; Ölveczky, Peter Csaba; Kong, Soonho; Gao, Sicun; Clarke, Edmund M.
2
2016
Predicate abstraction of rewrite theories. Zbl 1416.68118
Bae, Kyungmin; Meseguer, José
2
2014
SMT-based analysis of virtually synchronous distributed hybrid systems. Zbl 1364.68258
Bae, Kyungmin; Ölveczky, Peter Csaba; Kong, Soonho; Gao, Sicun; Clarke, Edmund M.
2
2016
Infinite-state model checking of LTLR formulas using narrowing. Zbl 1366.68162
Bae, Kyungmin; Meseguer, José
5
2014
Predicate abstraction of rewrite theories. Zbl 1416.68118
Bae, Kyungmin; Meseguer, José
2
2014
A rewriting-based model checker for the linear temporal logic of rewriting. Zbl 1291.68244
Bae, Kyungmin; Meseguer, José
8
2012
Verifying hierarchical Ptolemy II discrete-event models using real-time maude. Zbl 1264.68051
Bae, Kyungmin; Ölveczky, Peter Csaba; Feng, Thomas Huining; Lee, Edward A.; Tripakis, Stavros
5
2012
Model checking LTLR formulas under localized fairness. Zbl 1367.68180
Bae, Kyungmin; Meseguer, José
3
2012
Abstract logical model checking of infinite-state systems using narrowing. Zbl 1356.68140
Bae, Kyungmin; Escobar, Santiago; Meseguer, José
15
2011
The linear temporal logic of rewriting Maude model checker. Zbl 1306.68099
Bae, Kyungmin; Meseguer, José
4
2010

Citations by Year