@Inproceedings{Reger2015tacas,
author="Reger, Giles
and Cruz, Helena Cuenca
and Rydeheard, David",
editor="Baier, Christel
and Tinelli, Cesare",
title="MarQ: Monitoring at Runtime with QEA",
bookTitle="Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings",
year="2015",
publisher="Springer Berlin Heidelberg",
pages="596--610",
}