New conference publication at RV'14

The paper "Scalable Offline Monitoring" by David Basin, Germano Caronni, Sarah Ereth, Matúš Harvan, Felix Klaedtke and Heiko Mantel was accepted at RV 2014.