Kyungmin Bae - RankMe

66 papers A* 2B 7C 2Misc 1Journal 18Unranked 30

Year	Rank	Type	Title / Venue / Authors
2026	B	`conf`	A Formal Executable Semantics of PROMELA. VMCAI Byoungho Son, Kyungmin Bae
2026	J	`jnl`	DM-Check: Verifying invariants of concurrent systems by deductive model checking. J. Log. Algebraic Methods Program. Kyungmin Bae, Santiago Escobar, Raúl López-Rueda, José Meseguer, Julia Sapiña
2026	—	`conf`	Efficient Verification of Lingua Franca Programs. TACAS (2) Peter Csaba Ölveczky, Mario Reja, Mikheil Rukhaia, Kyungmin Bae, Mircea Marin
2026	—	`conf`	Modeling and Analyzing Real-Time Systems in Rewriting Logic. Concurrent Programming, Open Systems and Formal Methods Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky
2025	B	`conf`	Formal Analysis of Networked PLC Controllers Interacting with Physical Environments. SAS Jaeseo Lee, Kyungmin Bae
2025	J	`jnl`	Formal Analysis of Networked PLC Controllers Interacting with Physical Environments. CoRR Jaeseo Lee, Kyungmin Bae
2025	J	`jnl`	MR-HybridSynchAADL: formal modeling and analysis of multirate CPSs with advanced control programs and continuous dynamics. Int. J. Softw. Tools Technol. Transf. Jaehun Lee, Kyungmin Bae, Peter Csaba Ölveczky
2025	J	`jnl`	SMT-based robust model checking for signal temporal logic. Sci. Comput. Program. Jia Lee, Geunyeol Yu, Kyungmin Bae
2025	—	`conf`	Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic. Rebeca for Actor Analysis in Action Mircea Marin, Peter Csaba Ölveczky, Mario Reja, Mikheil Rukhaia, Kyungmin Bae
2024	—	`conf`	A Flexible Framework for Integrating Maude and SMT Solvers Using Python. WRLA Geunyeol Yu, Kyungmin Bae
2024	J	`jnl`	A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri Nets. Fundam. Informaticae Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci
2024	J	`jnl`	A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets. CoRR Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci
2024	—	`conf`	Formal Semantics and Analysis of Multitask PLC ST Programs with Preemption. FM (1) Jaeseo Lee, Kyungmin Bae
2024	B	`conf`	Formal Specification of Trusted Execution Environment APIs. FASE Geunyeol Yu, Seunghyun Chae, Kyungmin Bae, Sungkun Moon
2024	J	`jnl`	Narrowing and heuristic search for symbolic reachability analysis of concurrent object-oriented systems. Sci. Comput. Program. Byeongjee Kang, Kyungmin Bae
2024	—	`conf`	Rigorous Model Engineering of Hierarchical Multirate CPSs in MR-HybridSynchAADL. ISoLA (2) Jaehun Lee, Kyungmin Bae, Peter Csaba Ölveczky
2024	J	`jnl`	Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving. Sci. Comput. Program. Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
2024	—	`conf`	Verifying Invariants by Deductive Model Checking. WRLA Kyungmin Bae, Santiago Escobar, Raúl López-Rueda, José Meseguer, Julia Sapiña
2023	—	`conf`	Bounded STL Model Checking for Hybrid Systems (Invited Talk). FTSCS Kyungmin Bae
2023	—	`conf`	Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL. FACS Kyungmin Bae, Peter Csaba Ölveczky
2023	B	`conf`	Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. Petri Nets Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
2023	J	`jnl`	Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. CoRR Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
2022	—	`conf`	An Extension of HybridSynchAADL and Its Application to Collaborating Autonomous UAVs. ISoLA (3) Jaehun Lee, Kyungmin Bae, Peter Csaba Ölveczky
2022	—	`conf`	Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT. FTSCS Jaeseo Lee, Sangki Kim, Kyungmin Bae
2022	J	`jnl`	Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL. Int. J. Softw. Tools Technol. Transf. Jaehun Lee, Kyungmin Bae, Peter Csaba Ölveczky, Sharon Kim, Minseok Kang
2022	—	`conf`	Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata. FTSCS Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
2022	—	`ed.`	Rewriting Logic and Its Applications - 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers WRLA Kyungmin Bae
2022	—	`conf`	STLmc: Robust STL Model Checking of Hybrid Systems Using SMT. CAV (1) Geunyeol Yu, Jia Lee, Kyungmin Bae
2022	—	`conf`	Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search. FTSCS Byeongjee Kang, Kyungmin Bae
2021	—	`ch.`	Composition of Languages, Models, and Analyses. Composing Model-Based Analysis Tools 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
2021	A*	`conf`	Efficient SMT-Based Model Checking for Signal Temporal Logic. ASE Jia Lee, Geunyeol Yu, Kyungmin Bae
2021	—	`ch.`	Foundations. Composing Model-Based Analysis Tools 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
2021	—	`conf`	HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL. CAV (1) Jaehun Lee, Sharon Kim, Kyungmin Bae, Peter Csaba Ölveczky
2021	J	`jnl`	MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems. ACM Trans. Embed. Comput. Syst. Kyungmin Bae, Peter Csaba Ölveczky
2020	J	`jnl`	Formal aspects of component software (FACS 2018). Sci. Comput. Program. Kyungmin Bae, Peter Csaba Ölveczky
2020	—	`ed.`	FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, Seoul, Republic of Korea, July 13, 2020 FormaliSE@ICSE Kyungmin Bae, Domenico Bianculli, Stefania Gnesi, Nico Plat
2019	J	`jnl`	Bounded model checking of signal temporal logic properties using syntactic separation. Proc. ACM Program. Lang. Kyungmin Bae, Jia Lee
2019	J	`jnl`	Symbolic state space reduction with guarded terms for rewriting modulo SMT. Sci. Comput. Program. Kyungmin Bae, Camilo Rocha
2018	—	`ed.`	Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings FACS Kyungmin Bae, Peter Csaba Ölveczky
2017	—	`conf`	Guarded Terms for Rewriting Modulo SMT. FACS Kyungmin Bae, Camilo Rocha
2017	B	`conf`	Modular SMT-based analysis of nonlinear hybrid systems. FMCAD Kyungmin Bae, Sicun Gao
2016	—	`conf`	A Hybrid Architecture for Correct-by-Construction Hybrid Planning and Control. NFM Robert P. Goldman, Daniel Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae
2016	Misc	`conf`	A Term Rewriting Approach to Analyze High Level Petri Nets. TASE Xudong He, Reng Zeng, Su Liu, Zhuo Sun, Kyungmin Bae
2016	—	`conf`	An Architecture for Hybrid Planning and Execution. AAAI Workshop: Planning for Hybrid Systems Robert P. Goldman, Daniel Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae
2016	—	`conf`	SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems. HSCC Kyungmin Bae, Peter Csaba Ölveczky, Soonho Kong, Sicun Gao, Edmund M. Clarke
2015	J	`jnl`	Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study. Sci. Comput. Program. Kyungmin Bae, Joshua Krisiloff, José Meseguer, Peter Csaba Ölveczky
2015	—	`conf`	Hybrid Multirate PALS. Logic, Rewriting, and Concurrency Kyungmin Bae, Peter Csaba Ölveczky
2015	J	`jnl`	Model checking linear temporal logic of rewriting formulas under localized fairness. Sci. Comput. Program. Kyungmin Bae, José Meseguer
2015	—	`conf`	SMT Encoding of Hybrid Systems in dReal. ARCH@CPSWeek Kyungmin Bae, Soonho Kong, Sicun Gao
2014	B	`conf`	Definition, Semantics, and Analysis of Multirate Synchronous AADL. FM Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer
2014	J	`jnl`	Formal patterns for multirate distributed real-time systems. Sci. Comput. Program. Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky
2014	—	`conf`	Infinite-State Model Checking of LTLR Formulas Using Narrowing. WRLA Kyungmin Bae, José Meseguer
2014	—	`conf`	Predicate Abstraction of Rewrite Theories. RTA-TLCA Kyungmin Bae, José Meseguer
2014	—	`—`	Rewriting-based model checking methods Kyungmin Bae
2013	—	`conf`	Abstract Logical Model Checking of Infinite-State Systems Using Narrowing. RTA Kyungmin Bae, Santiago Escobar, José Meseguer
2012	—	`conf`	Formal Patterns for Multi-rate Distributed Real-Time Systems. FACS Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky
2012	—	`conf`	Model Checking LTLR Formulas under Localized Fairness. WRLA Kyungmin Bae, José Meseguer
2012	—	`conf`	PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude FTSCS Kyungmin Bae, Joshua Krisiloff, José Meseguer, Peter Csaba Ölveczky
2012	B	`conf`	The SynchAADL2Maude Tool. FASE Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer, Abdullah Al-Nayeem
2012	J	`jnl`	Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude. Sci. Comput. Program. Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Edward A. Lee, Stavros Tripakis
2011	A*	`conf`	State/Event-Based LTL Model Checking under Parametric Generalized Fairness. CAV Kyungmin Bae, José Meseguer
2011	C	`conf`	Synchronous AADL and Its Formal Analysis in Real-Time Maude. ICFEM Kyungmin Bae, Peter Csaba Ölveczky, Abdullah Al-Nayeem, José Meseguer
2010	—	`conf`	Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models RTRTS Kyungmin Bae, Peter Csaba Ölveczky
2010	—	`conf`	The Linear Temporal Logic of Rewriting Maude Model Checker. WRLA Kyungmin Bae, José Meseguer
2009	C	`conf`	Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. ICFEM Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Stavros Tripakis
2008	—	`conf`	A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting. RULE Kyungmin Bae, José Meseguer