☰

Kyungmin Bae, Ph.D. - Publications

Affiliations: 
2014 Computer Science University of Illinois, Urbana-Champaign, Urbana-Champaign, IL 
Area:
Computer Science
Tree Info Similar researchers PubMed Report error

14 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2019 Bae K, Rocha C. Symbolic state space reduction with guarded terms for rewriting modulo SMT Science of Computer Programming. 178: 20-42. DOI: 10.1016/J.Scico.2019.03.006  0.373
2015 Bae K, Krisiloff J, Meseguer J, Ölveczky PC. Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study Science of Computer Programming. 103: 13-50. DOI: 10.1016/J.Scico.2014.09.011  0.565
2015 Bae K, Meseguer J. Model checking linear temporal logic of rewriting formulas under localized fairness Science of Computer Programming. 99: 193-234. DOI: 10.1016/J.Scico.2014.02.006  0.591
2015 Bae K, Ölveczky PC. Hybrid multirate PALS Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9200: 114-134. DOI: 10.1007/978-3-319-23165-5_5  0.331
2014 Bae K, Meseguer J, Ölveczky PC. Formal patterns for multirate distributed real-time systems Science of Computer Programming. 91: 3-44. DOI: 10.1016/J.Scico.2013.09.010  0.532
2014 Bae K, Meseguer J. Infinite-state model checking of LTLR formulas using narrowing Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8663: 113-129. DOI: 10.1007/978-3-319-12904-4_6  0.528
2014 Bae K, Meseguer J. Predicate abstraction of rewrite theories Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8560: 61-76. DOI: 10.1007/978-3-319-08918-8_5  0.465
2014 Bae K, Ölveczky PC, Meseguer J. Definition, semantics, and analysis of multirate synchronous AADL Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8442: 94-109. DOI: 10.1007/978-3-319-06410-9_7  0.549
2013 Bae K, Meseguer J, Ölveczky PC. Formal patterns for multi-rate distributed real-time systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7684: 1-18. DOI: 10.1007/978-3-642-35861-6_1  0.309
2012 Bae K, Ölveczky PC, Feng TH, Lee EA, Tripakis S. Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude Science of Computer Programming. 77: 1235-1271. DOI: 10.1016/J.Scico.2010.10.002  0.394
2012 Bae K, Meseguer J. A rewriting-based model checker for the linear temporal logic of rewriting Electronic Notes in Theoretical Computer Science. 290: 19-36. DOI: 10.1016/J.Entcs.2012.11.009  0.577
2012 Bae K, Meseguer J. Model checking LTLR formulas under localized fairness Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7571: 99-117. DOI: 10.1007/978-3-642-34005-5_6  0.555
2011 Bae K, Meseguer J. State/event-based LTL model checking under parametric generalized fairness Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6806: 132-148. DOI: 10.1007/978-3-642-22110-1_11  0.532
2010 Bae K, Meseguer J. The linear temporal logic of rewriting maude model checker Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6381: 208-225. DOI: 10.1007/978-3-642-16310-4_14  0.57
Show low-probability matches.