@article{falcone:hal-01281727, TITLE = {{Runtime Enforcement of Regular Timed Properties by Suppressing and Delaying Events}}, AUTHOR = {Falcone, Yli{\`e}s and J{\'e}ron, Thierry and Marchand, Herv{\'e} and Pinisetty, Srinivas}, URL = {https://inria.hal.science/hal-01281727}, JOURNAL = {{Science of Computer Programming}}, PUBLISHER = {{Elsevier}}, VOLUME = {123}, PAGES = {2-41}, YEAR = {2016}, MONTH = Mar, DOI = {10.1016/j.scico.2016.02.008}, KEYWORDS = {verification ; monitoring ; runtime enforcement ; timed specifications}, PDF = {https://inria.hal.science/hal-01281727/file/SCP-final.pdf}, HAL_ID = {hal-01281727}, HAL_VERSION = {v1}, }