8 citations · 42 across the 11 of their papers we have counts for
12 papers
Timed Strategies for Real-Time Rewrite Theories
Carlos Olarte, Peter Csaba Ölveczky
In this paper we propose a language for conveniently defining a wide range of execution strategies for real-time rewrite theories, and provide Maude-strategy-implemented versions o…
A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets
Jaime Arias, Kyungmin Bae, Carlos Olarte +2
This paper presents a concrete and a symbolic rewriting logic semantics for parametric time Petri nets with inhibitor arcs (PITPNs), a flexible model of timed systems where paramet…
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving
Jaime Arias, Kyungmin Bae, Carlos Olarte +3
Parametric time Petri nets with inhibitor arcs (PITPNs) support flexibility for timed systems by allowing parameters in firing bounds. In this paper we present and prove correct a…
PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude
Kyungmin Bae, Joshua Krisiloff, José Meseguer +1
Distributed cyber-physical systems (DCPS) are pervasive in areas such as aeronautics and ground transportation systems, including the case of distributed hybrid systems. DCPS desig…
Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems
Peter Csaba Ölveczky, Cyrille Artho
This volume contains the proceedings of the First International Workshop of Formal Techniques for Safety-Critical Systems (FTSCS 2012), held in Kyoto on November 12, 2012, as a sat…
Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies
Francisco Durán, Peter Csaba Ölveczky, José E. Rivera
e-Motions is an Eclipse-based visual timed model transformation framework with a Real-Time Maude semantics that supports the usual Maude formal analysis methods, including simulati…