Daniela Lepri

According to our database, Daniela Lepri authored at least 6 papers between 2009 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

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

2013

A Timed CTL Model Checker for Real-Time Maude.

Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky

Proceedings of the Algebra and Coalgebra in Computer Science, 2013

2012

Timed CTL Model Checking in Real-Time Maude.

Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky

Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

2010

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

Daniela Lepri, Peter Csaba Ölveczky, Erika Ábrahám

Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010

A Rewriting-Logic-Based Technique for Modeling Thermal Systems

Muhammad Fadlisyah, Erika Ábrahám, Daniela Lepri, Peter Csaba Ölveczky

Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010

2009

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

Proceedings of the Perspectives of Systems Informatics, 2009