The following publications are possibly variants of this publication:
- Compositional runtime enforcement revisitedSrinivas Pinisetty, Ankit Pradhan, Partha S. Roop, Stavros Tripakis. fmsd, 59(1):205-252, 2021. [doi]
- Serial Compositional Runtime Enforcement of Safety Timed PropertiesSaumya Shankar, Srinivas Pinisetty. indiaSE 2023: [doi]
- 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]
- Bounded-Memory Runtime EnforcementSaumya Shankar, Antoine Rollet, Srinivas Pinisetty, Yliès Falcone. spin 2022: 114-133 [doi]
- On the Runtime Enforcement of Timed PropertiesYliès Falcone, Srinivas Pinisetty. RV 2019: 48-69 [doi]
- Predictive runtime enforcementSrinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand. SAC 2016: 1628-1633 [doi]
- Predictive runtime enforcementSrinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand. fmsd, 51(1):154-199, 2017. [doi]