Specification and Verification of Distributed Embedded Systems: A Traffic Intersection Product Family

by José Meseguer, Peter Csaba Ölveczky
Published 2010-09-01

Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models

by Peter Csaba Ölveczky, Kyungmin Bae
Published 2010-09-01

Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications

by Erika Ábrahám, Peter Csaba Ölveczky, Daniela Lepri
Published 2010-09-01

A Rewriting-Logic-Based Technique for Modeling Thermal Systems

by Daniela Lepri, Erika Ábrahám, Muhammad Fadlisyah, Peter Csaba Ölveczky
Published 2010-09-01

PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude

by Kyungmin Bae, Joshua Krisiloff, José Meseguer, Peter Csaba Ölveczky
Published 2012-12-01