The following publications are possibly variants of this publication:
- Runtime Enforcement of Timed PropertiesSrinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena-Timo. RV 2013: 229-244 [doi]
- On the Runtime Enforcement of Timed PropertiesYliès Falcone, Srinivas Pinisetty. RV 2019: 48-69 [doi]
- Runtime enforcement of timed properties revisitedSrinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Nguena-Timo. fmsd, 45(3):381-422, 2014. [doi]
- Runtime enforcement of regular timed propertiesSrinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand. SAC 2014: 1279-1286 [doi]
- Bounded-Memory Runtime Enforcement of Timed PropertiesSaumya Shankar, Srinivas Pinisetty, Thierry Jéron. time 2023: [doi]
- Runtime Enforcement of Parametric Timed Properties with Practical ApplicationsSrinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand. wodes 2014: 420-427 [doi]
- Runtime enforcement of timed properties. (Enforcement à l'éxécution de propriétés temporisées)Srinivas Pinisetty. PhD thesis, University of Rennes 1, France, 2015. [doi]
- Compositional Runtime EnforcementSrinivas Pinisetty, Stavros Tripakis. NFM 2016: 82-99 [doi]
- Compositional runtime enforcement revisitedSrinivas Pinisetty, Ankit Pradhan, Partha S. Roop, Stavros Tripakis. fmsd, 59(1):205-252, 2021. [doi]