default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKyungmin Bae
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j12]Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci:
A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri Nets. Fundam. Informaticae 192(3-4): 261-312 (2024)- [j11]Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming:
Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving. Sci. Comput. Program. 233: 103074 (2024) - [j10]Byeongjee Kang, Kyungmin Bae:
Narrowing and heuristic search for symbolic reachability analysis of concurrent object-oriented systems. Sci. Comput. Program. 235: 103097 (2024) - [c37]Geunyeol Yu
, Seunghyun Chae, Kyungmin Bae, Sungkun Moon:
Formal Specification of Trusted Execution Environment APIs. FASE 2024: 101-121 - [c36]Jaeseo Lee, Kyungmin Bae:
Formal Semantics and Analysis of Multitask PLC ST Programs with Preemption. FM (1) 2024: 425-442 - [c35]Jaehun Lee, Kyungmin Bae, Peter Csaba Ölveczky:
Rigorous Model Engineering of Hierarchical Multirate CPSs in MR-HybridSynchAADL. ISoLA (2) 2024: 243-262 - [c34]Kyungmin Bae, Santiago Escobar, Raúl López-Rueda, José Meseguer, Julia Sapiña:
Verifying Invariants by Deductive Model Checking. WRLA 2024: 3-21 - [c33]Geunyeol Yu, Kyungmin Bae:
A Flexible Framework for Integrating Maude and SMT Solvers Using Python. WRLA 2024: 179-192 - [i2]Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci:
A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets. CoRR abs/2401.01884 (2024) - 2023
- [c32]Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming:
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. Petri Nets 2023: 369-392 - [c31]Kyungmin Bae, Peter Csaba Ölveczky:
Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL. FACS 2023: 127-152 - [c30]Kyungmin Bae:
Bounded STL Model Checking for Hybrid Systems (Invited Talk). FTSCS 2023: 1 - [i1]Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming:
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. CoRR abs/2303.08929 (2023) - 2022
- [j9]Jaehun Lee, Kyungmin Bae, Peter Csaba Ölveczky, Sharon Kim, Minseok Kang:
Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL. Int. J. Softw. Tools Technol. Transf. 24(6): 911-948 (2022) - [c29]Geunyeol Yu, Jia Lee, Kyungmin Bae:
STLmc: Robust STL Model Checking of Hybrid Systems Using SMT. CAV (1) 2022: 524-537 - [c28]Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming:
Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata. FTSCS 2022: 3-15 - [c27]Byeongjee Kang, Kyungmin Bae:
Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search. FTSCS 2022: 34-44 - [c26]Jaeseo Lee, Sangki Kim, Kyungmin Bae:
Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT. FTSCS 2022: 56-67 - [c25]Jaehun Lee, Kyungmin Bae, Peter Csaba Ölveczky:
An Extension of HybridSynchAADL and Its Application to Collaborating Autonomous UAVs. ISoLA (3) 2022: 47-64 - [e3]Kyungmin Bae:
Rewriting Logic and Its Applications - 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers. Lecture Notes in Computer Science 13252, Springer 2022, ISBN 978-3-031-12440-2 [contents] - 2021
- [j8]Kyungmin Bae, Peter Csaba Ölveczky:
MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems. ACM Trans. Embed. Comput. Syst. 20(5s): 105:1-105:26 (2021) - [c24]Jaehun Lee, Sharon Kim, Kyungmin Bae, Peter Csaba Ölveczky:
HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL. CAV (1) 2021: 491-504 - [c23]Jia Lee, Geunyeol Yu, Kyungmin Bae:
Efficient SMT-Based Model Checking for Signal Temporal Logic. ASE 2021: 343-354 - [p2]Carolyn L. Talcott, Sofia Ananieva, Kyungmin Bae, Benoît Combemale, Robert Heinrich, Mark Hills, Narges Khakpour, Ralf H. Reussner, Bernhard Rumpe, Patrizia Scandurra, Hans Vangheluwe, Francisco Durán, Steffen Zschaler:
Foundations. Composing Model-Based Analysis Tools 2021: 9-37 - [p1]Carolyn L. Talcott, Sofia Ananieva, Kyungmin Bae, Benoît Combemale, Robert Heinrich, Mark Hills, Narges Khakpour, Ralf H. Reussner, Bernhard Rumpe, Patrizia Scandurra, Hans Vangheluwe:
Composition of Languages, Models, and Analyses. Composing Model-Based Analysis Tools 2021: 45-70 - 2020
- [j7]Kyungmin Bae, Peter Csaba Ölveczky:
Formal aspects of component software (FACS 2018). Sci. Comput. Program. 200: 102547 (2020) - [e2]Kyungmin Bae, Domenico Bianculli, Stefania Gnesi, Nico Plat:
FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020. ACM 2020, ISBN 978-1-4503-7071-4 [contents]
2010 – 2019
- 2019
- [j6]Kyungmin Bae, Jia Lee:
Bounded model checking of signal temporal logic properties using syntactic separation. Proc. ACM Program. Lang. 3(POPL): 51:1-51:30 (2019) - [j5]Kyungmin Bae, Camilo Rocha:
Symbolic state space reduction with guarded terms for rewriting modulo SMT. Sci. Comput. Program. 178: 20-42 (2019) - 2018
- [e1]Kyungmin Bae, Peter Csaba Ölveczky:
Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings. Lecture Notes in Computer Science 11222, Springer 2018, ISBN 978-3-030-02145-0 [contents] - 2017
- [c22]Kyungmin Bae, Camilo Rocha:
Guarded Terms for Rewriting Modulo SMT. FACS 2017: 78-97 - [c21]Kyungmin Bae, Sicun Gao:
Modular SMT-based analysis of nonlinear hybrid systems. FMCAD 2017: 180-187 - 2016
- [c20]Robert P. Goldman, Daniel Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae:
An Architecture for Hybrid Planning and Execution. AAAI Workshop: Planning for Hybrid Systems 2016 - [c19]Kyungmin Bae, Peter Csaba Ölveczky, Soonho Kong, Sicun Gao, Edmund M. Clarke:
SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems. HSCC 2016: 145-154 - [c18]Robert P. Goldman, Daniel Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae:
A Hybrid Architecture for Correct-by-Construction Hybrid Planning and Control. NFM 2016: 388-394 - [c17]Xudong He, Reng Zeng, Su Liu, Zhuo Sun, Kyungmin Bae:
A Term Rewriting Approach to Analyze High Level Petri Nets. TASE 2016: 109-112 - 2015
- [j4]Kyungmin Bae, José Meseguer:
Model checking linear temporal logic of rewriting formulas under localized fairness. Sci. Comput. Program. 99: 193-234 (2015) - [j3]Kyungmin Bae, Joshua Krisiloff, José Meseguer, Peter Csaba Ölveczky:
Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study. Sci. Comput. Program. 103: 13-50 (2015) - [c16]Kyungmin Bae, Peter Csaba Ölveczky:
Hybrid Multirate PALS. Logic, Rewriting, and Concurrency 2015: 114-134 - [c15]Kyungmin Bae, Soonho Kong, Sicun Gao:
SMT Encoding of Hybrid Systems in dReal. ARCH@CPSWeek 2015: 188-195 - 2014
- [b1]Kyungmin Bae:
Rewriting-based model checking methods. University of Illinois Urbana-Champaign, USA, 2014 - [j2]Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky:
Formal patterns for multirate distributed real-time systems. Sci. Comput. Program. 91: 3-44 (2014) - [c14]Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer:
Definition, Semantics, and Analysis of Multirate Synchronous AADL. FM 2014: 94-109 - [c13]Kyungmin Bae, José Meseguer:
Predicate Abstraction of Rewrite Theories. RTA-TLCA 2014: 61-76 - [c12]Kyungmin Bae, José Meseguer:
Infinite-State Model Checking of LTLR Formulas Using Narrowing. WRLA 2014: 113-129 - 2013
- [c11]Kyungmin Bae, Santiago Escobar, José Meseguer:
Abstract Logical Model Checking of Infinite-State Systems Using Narrowing. RTA 2013: 81-96 - 2012
- [j1]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) - [c10]Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky:
Formal Patterns for Multi-rate Distributed Real-Time Systems. FACS 2012: 1-18 - [c9]Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer, Abdullah Al-Nayeem:
The SynchAADL2Maude Tool. FASE 2012: 59-62 - [c8]Kyungmin Bae, José Meseguer:
Model Checking LTLR Formulas under Localized Fairness. WRLA 2012: 99-117 - [c7]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 - 2011
- [c6]Kyungmin Bae, José Meseguer:
State/Event-Based LTL Model Checking under Parametric Generalized Fairness. CAV 2011: 132-148 - [c5]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
- [c4]Kyungmin Bae, José Meseguer:
The Linear Temporal Logic of Rewriting Maude Model Checker. WRLA 2010: 208-225 - [c3]Kyungmin Bae, Peter Csaba Ölveczky:
Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models. RTRTS 2010: 46-66
2000 – 2009
- 2009
- [c2]Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Stavros Tripakis:
Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. ICFEM 2009: 717-736 - 2008
- [c1]Kyungmin Bae, José Meseguer:
A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting. RULE 2008: 19-36
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-11 22:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
