@inproceedings{colombo:hal-01900195, TITLE = {{COST Action IC1402 Runtime Verification beyond Monitoring}}, AUTHOR = {Colombo, Christian and Falcone, Yli{\`e}s and Leucker, Martin and Reger, Giles and Sanchez, C{\'e}sar and Schneider, Gerardo and Stolz, Volker}, URL = {https://inria.hal.science/hal-01900195}, BOOKTITLE = {{RV 2018 - 18th International Conference on Runtime Verification}}, ADDRESS = {Limassol, Cyprus}, PAGES = {1-8}, YEAR = {2018}, MONTH = Nov, PDF = {https://inria.hal.science/hal-01900195/file/Report_on_COST_Action_for_RV2018.pdf}, HAL_ID = {hal-01900195}, HAL_VERSION = {v1}, }