Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis

by Stefan Schupp, Johanna Nellen, Erika Ábrahám
Published 2017-07-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