Daniela Lepri

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 0

Top Topics

Epistemic Logic

Formal Specification

Pspace Complete

Top Venues

Sci. Comput. Program.

Publications

Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky
Sound and complete timed CTL model checking of timed Kripke structures and real-time rewrite theories. Sci. Comput. Program. 99 (2015)
Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky
A Timed CTL Model Checker for Real-Time Maude. CALCO (2013)
Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky
Timed CTL Model Checking in Real-Time Maude. WRLA (2012)
Daniela Lepri, Peter Csaba Ölveczky, Erika Ábrahám
Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications RTRTS (2010)
Muhammad Fadlisyah, Erika Ábrahám, Daniela Lepri, Peter Csaba Ölveczky
A Rewriting-Logic-Based Technique for Modeling Thermal Systems RTRTS (2010)
Roberto Barbuti, Daniela Lepri, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama
Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+. Ershov Memorial Conference (2009)