@inproceedings{roussanaly:hal-03911668, TITLE = {{Decentralised Runtime Verification of Timed Regular Expressions}}, AUTHOR = {Roussanaly, Victor and Falcone, Yli{\`e}s}, URL = {https://inria.hal.science/hal-03911668}, BOOKTITLE = {{TIME 2022 - 29th International Symposium on Temporal Representation and Reasoning}}, ADDRESS = {Online, France}, PAGES = {1-18}, YEAR = {2022}, MONTH = Nov, DOI = {10.4230/LIPIcs...12}, KEYWORDS = {2012 ACM Subject Classification Theory of computation $\rightarrow$ Distributed computing models Theory of computation $\rightarrow$ Regular languages Theory of computation $\rightarrow$ Rewrite systems Theory of computation $\rightarrow$ Automata over infinite objects Computer systems organization $\rightarrow$ Real-time system specification phrases Timed expressions ; Timed properties ; Monitoring ; Runtime verification ; Decentralized systems ; Asynchronous communication Digital Object Identifier 10.4230/LIPIcs...12 ; 2012 ACM Subject Classification Theory of computation $\rightarrow$ Distributed computing models ; Theory of computation $\rightarrow$ Regular languages ; Theory of computation $\rightarrow$ Rewrite systems ; Theory of computation $\rightarrow$ Automata over infinite objects ; Computer systems organization $\rightarrow$ Real-time system specification phrases Timed expressions}, PDF = {https://inria.hal.science/hal-03911668/file/time22.pdf}, HAL_ID = {hal-03911668}, HAL_VERSION = {v1}, }