Runtime enforcement of timed properties revisited, Formal Methods in System Design, vol.10, issue.3, pp.381-422, 2014. ,
DOI : 10.1007/s10703-014-0215-y
URL : https://hal.archives-ouvertes.fr/hal-01088136
A tutorial on runtime verification. In: Engineering Dependable Software Systems, pp.141-175, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00853727
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
Timed Automata: Semantics, Algorithms and Tools, Proceedings of the 4th Advanced Course on Petri Nets -Lecture Notes on Concurrency and Petri Nets, pp.87-124, 2003. ,
DOI : 10.1007/978-3-540-27755-2_3
Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997. ,
DOI : 10.1007/s100090050010
Patterns for Timed Property Specifications, Electronic Notes in Theoretical Computer Science, vol.153, issue.2, pp.117-133, 2006. ,
DOI : 10.1016/j.entcs.2005.10.035
TiPEX website. http://srinivaspinisetty.github.io/ Timed-Enforcement-Tools, 2015. ,