@inproceedings{falcone:hal-01248351, TITLE = {{Second International Competition on Runtime Verification}}, AUTHOR = {Falcone, Yli{\`e}s and Nickovic, Dejan and Reger, Giles and Thoma, Daniel}, URL = {https://inria.hal.science/hal-01248351}, BOOKTITLE = {{6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings}}, ADDRESS = {Vienne, Austria}, PUBLISHER = {{Springer}}, VOLUME = {LNCS}, NUMBER = {9333}, PAGES = {16}, YEAR = {2015}, MONTH = Sep, DOI = {10.1007/978-3-319-23820-3\_27}, PDF = {https://inria.hal.science/hal-01248351/file/rv15-4.pdf}, HAL_ID = {hal-01248351}, HAL_VERSION = {v1}, }