@inproceedings{falcone:hal-01882410, TITLE = {{A Taxonomy for Classifying Runtime Verification Tools}}, AUTHOR = {Falcone, Yli{\`e}s and Krsti{\'c}, Sr{\dj}an and Reger, Giles and Traytel, Dmitriy}, URL = {https://inria.hal.science/hal-01882410}, BOOKTITLE = {{RV 2018 - 18th International Conference on Runtime Verification}}, ADDRESS = {Limassol, Cyprus}, PAGES = {1-18}, YEAR = {2018}, MONTH = Nov, PDF = {https://inria.hal.science/hal-01882410/file/rv18-1.pdf}, HAL_ID = {hal-01882410}, HAL_VERSION = {v1}, }