@inproceedings{barringer_quantified_2012,
	title = {Quantified {Event} {Automata}: {Towards} {Expressive} and {Efficient} {Runtime} {Monitors}},
	url = {https://hal.archives-ouvertes.fr/hal-00857285},
	doi = {10/ggvrnq},
	language = {English},
	publisher = {HAL CCSD, Springer},
	author = {Barringer, Howard and Falcone, Yliès and Havelund, Klaus and Reger, Giles and E. Rydeheard, David},
	year = {2012},
	keywords = {[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]},
}

{"_id":"Y7mWDgsn4Weq37gnL","bibbaseid":"barringer-falcone-havelund-reger-erydeheard-quantifiedeventautomatatowardsexpressiveandefficientruntimemonitors-2012","author_short":["Barringer, H.","Falcone, Y.","Havelund, K.","Reger, G.","E. Rydeheard, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors","url":"https://hal.archives-ouvertes.fr/hal-00857285","doi":"10/ggvrnq","language":"English","publisher":"HAL CCSD, Springer","author":[{"propositions":[],"lastnames":["Barringer"],"firstnames":["Howard"],"suffixes":[]},{"propositions":[],"lastnames":["Falcone"],"firstnames":["Yliès"],"suffixes":[]},{"propositions":[],"lastnames":["Havelund"],"firstnames":["Klaus"],"suffixes":[]},{"propositions":[],"lastnames":["Reger"],"firstnames":["Giles"],"suffixes":[]},{"propositions":[],"lastnames":["E.","Rydeheard"],"firstnames":["David"],"suffixes":[]}],"year":"2012","keywords":"[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]","bibtex":"@inproceedings{barringer_quantified_2012,\n\ttitle = {Quantified {Event} {Automata}: {Towards} {Expressive} and {Efficient} {Runtime} {Monitors}},\n\turl = {https://hal.archives-ouvertes.fr/hal-00857285},\n\tdoi = {10/ggvrnq},\n\tlanguage = {English},\n\tpublisher = {HAL CCSD, Springer},\n\tauthor = {Barringer, Howard and Falcone, Yliès and Havelund, Klaus and Reger, Giles and E. Rydeheard, David},\n\tyear = {2012},\n\tkeywords = {[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]},\n}\n\n","author_short":["Barringer, H.","Falcone, Y.","Havelund, K.","Reger, G.","E. Rydeheard, D."],"key":"barringer_quantified_2012","id":"barringer_quantified_2012","bibbaseid":"barringer-falcone-havelund-reger-erydeheard-quantifiedeventautomatatowardsexpressiveandefficientruntimemonitors-2012","role":"author","urls":{"Paper":"https://hal.archives-ouvertes.fr/hal-00857285"},"keyword":["[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["[info.info-se]computer science [cs]/software engineering [cs.se]"],"search_terms":["quantified","event","automata","towards","expressive","efficient","runtime","monitors","barringer","falcone","havelund","reger","e. rydeheard"],"title":"Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors","year":2012}