@inproceedings{elhokayem:hal-01882411, TITLE = {{Bringing Runtime Verification Home}}, AUTHOR = {El-Hokayem, Antoine and Falcone, Yli{\`e}s}, URL = {https://inria.hal.science/hal-01882411}, BOOKTITLE = {{RV 2018 - 18th International Conference on Runtime Verification}}, ADDRESS = {Limassol, Cyprus}, PAGES = {1-17}, YEAR = {2018}, MONTH = Nov, PDF = {https://inria.hal.science/hal-01882411/file/rv18-2.pdf}, HAL_ID = {hal-01882411}, HAL_VERSION = {v1}, }