Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+. - Roberto Barbuti; Daniela Lepri; Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini; Aureliano Rama (Ershov Memorial Conference, 2009)

A Rewriting-Logic-Based Technique for Modeling Thermal Systems - Muhammad Fadlisyah; Erika Ábrahám; Daniela Lepri; Peter Csaba Ölveczky (RTRTS, 2010)

Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications - Daniela Lepri; Peter Csaba Ölveczky; Erika Ábrahám (RTRTS, 2010)

Timed CTL Model Checking in Real-Time Maude. - Daniela Lepri; Erika Ábrahám; Peter Csaba Ölveczky (WRLA, 2012)

A Timed CTL Model Checker for Real-Time Maude. - Daniela Lepri; Erika Ábrahám; Peter Csaba Ölveczky (CALCO, 2013)

Sound and complete timed CTL model checking of timed Kripke structures and real-time rewrite theories. - Daniela Lepri; Erika Ábrahám; Peter Csaba Ölveczky (Sci. Comput. Program., 2015)