7 citations · 13 across the 2 of their papers we have counts for
2 papers
cs.LO2010★ 6 cited
Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications
Daniela Lepri, Peter Csaba Ölveczky, Erika Ábrahám
This paper presents a transformational approach for model checking two important classes of metric temporal logic (MTL) properties, namely, bounded response and minimum separation,…
cs.LO2010★ 7 cited
A Rewriting-Logic-Based Technique for Modeling Thermal Systems
Muhammad Fadlisyah, Erika Ábrahám, Daniela Lepri +1
This paper presents a rewriting-logic-based modeling and analysis technique for physical systems, with focus on thermal systems. The contributions of this paper can be summarized a…