@inproceedings {283,
	title = {Accelerated Runtime Verification of LTL Specifications with Counting Semantics},
	booktitle = {International Conference on Runtime Verification},
	year = {2016},
	pages = {251--267},
	address = {Madrid, Spain},
	doi = {10.1007/978-3-319-46982-9_16},
	author = {Ramy Medhat and Borzoo Bonakdarpour and Sebastian Fischmeister and Yogi Joshi}
}
