@article{pinisetty:hal-01666995, TITLE = {{Predictive Runtime Verification of Timed Properties}}, AUTHOR = {Pinisetty, Srinivas and J{\'e}ron, Thierry and Tripakis, Stavros and Falcone, Yli{\`e}s and Marchand, Herv{\'e} and Preoteasa, Viorel}, URL = {https://inria.hal.science/hal-01666995}, JOURNAL = {{Journal of Systems and Software}}, PUBLISHER = {{Elsevier}}, VOLUME = {132}, PAGES = {353 - 365}, YEAR = {2017}, MONTH = Oct, DOI = {10.1016/j.jss.2017.06.060}, KEYWORDS = {timed automata ; runtime verification ; monitoring ; real-time systems}, PDF = {https://inria.hal.science/hal-01666995/file/jss.pdf}, HAL_ID = {hal-01666995}, HAL_VERSION = {v1}, }