@inproceedings{pinisetty:hal-01244446, TITLE = {{TiPEX: A Tool Chain for Timed Property Enforcement During eXecution}}, AUTHOR = {Pinisetty, Srinivas and Falcone, Yli{\`e}s and J{\'e}ron, Thierry and Marchand, Herv{\'e}}, URL = {https://inria.hal.science/hal-01244446}, BOOKTITLE = {{RV'2015, 6th International Conference on Runtime Verification}}, ADDRESS = {Vienne, Austria}, EDITOR = {Ezio Bartocci and Rupak Majumdar}, PUBLISHER = {{Springer}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {9333}, PAGES = {306-320}, YEAR = {2015}, MONTH = Sep, DOI = {10.1007/978-3-319-23820-3\_22}, PDF = {https://inria.hal.science/hal-01244446/file/Tipex-Final.pdf}, HAL_ID = {hal-01244446}, HAL_VERSION = {v1}, }