Journal articles

• Marco Alberti, P. Dell'Acqua and Luís Moniz Pereira, Observation Strategies for Event Detection with Incidence on Runtime Verification: Theory, Algorithms, Experimentation, Annals of Mathematics and Artificial Intelligence, Pag. DOI: 10.1007/s10472-011-9259-5, Springer, ISSN 1573-7470, (url), August 2011.