Kyungmin Bae

MaRDI QIDQ1951604zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
DM-check: verifying invariants of concurrent systems by deductive model checking Journal of Logical and Algebraic Methods in Programming	2026-03-09	Paper
A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets Fundamenta Informaticae	2024-10-22	Paper
Symbolic analysis and parameter synthesis for time Petri nets using Maude and SMT solving	2023-11-16	Paper
SMT-based analysis of virtually synchronous distributed hybrid systems Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control	2017-05-19	Paper
Abstract logical model checking of infinite-state systems using narrowing	2017-02-01	Paper
Hybrid multirate PALS Lecture Notes in Computer Science	2015-09-14	Paper
Infinite-state model checking of LTLR formulas using narrowing Rewriting Logic and Its Applications	2015-09-09	Paper
Predicate abstraction of rewrite theories Lecture Notes in Computer Science	2014-07-24	Paper
A rewriting-based model checker for the linear temporal logic of rewriting Electronic Notes in Theoretical Computer Science	2014-06-27	Paper
Verifying hierarchical Ptolemy II discrete-event models using real-time maude Science of Computer Programming	2013-06-06	Paper
Model checking LTLR formulas under localized fairness Rewriting Logic and Its Applications	2012-10-16	Paper
The Linear Temporal Logic of Rewriting Maude Model Checker Rewriting Logic and Its Applications	2010-10-12	Paper

Research outcomes over time

This page was built for person: Kyungmin Bae