Publications

2015
Link
[bibtex]
Daniela Lepri, Erika Abraham, Peter Csaba Ölveczky. Sound and Complete Timed CTL Model Checking of Timed Kripke Structures and Real-Time Rewrite Theories. Science of Computer Programming 99, pages 128–192, 2015.
2013

[bibtex]
Daniela Lepri, Erika Abraham, Peter Csaba Ölveczky. A Timed CTL Model Checker for Real-Time Maude. Proc. of the 5th Int. Conf. on Algebra and Coalgebra in Computer Science (CALCO'13), Volume 8089 of LNCS, pages 334–339, Springer-Verlag, 2013.
2012
DOI
[bibtex]
Daniela Lepri, Erika Abraham, Peter Csaba Ölveczky. Timed CTL Model Checking in Real-Time Maude. Proc. of the 9th Int. Workshop on Rewriting Logic and its Applications (WRLA'12), Volume 7571 of LNCS, pages 182–200, Springer Berlin Heidelberg, 2012.
2010
Download
[bibtex]
Daniela Lepri, Peter Csaba Ölveczky, Erika Abraham. Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications. 1st Int. Workshop on Rewriting Techniques for Real-Time Systems (RTRTS'10), Volume 36 of Electronic Proceedings in Theoretical Computer Science, pages 117–136, Open Publishing Association, 2010.
Download
[bibtex]
Muhammad Fadlisyah, Erika Abraham, Daniela Lepri, Peter Csaba Ölveczky. A Rewriting-Logic-Based Technique for Modeling Thermal Systems. 1st Int. Workshop on Rewriting Techniques for Real-Time Systems (RTRTS'10), Volume 36 of Electronic Proceedings in Theoretical Computer Science, pages 82–100, Cornell University Library, 2010.