@InProceedings{	  basin.caronni.ea:scalable:a,
  author	= {David Basin and Germano Caronni and Sarah Ereth and
		  Matúš Harvan and Felix Klaedtke and Heiko Mantel},
  title		= {Scalable Offline Monitoring},
  booktitle	= {Proceedings of the 14th International Conference on
		  Runtime Verification (RV)},
  year		= 2014,
  pages		= {31-47},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2014/2014-RV-ScalableOfflineMonitoring-.pdf}
}