Pinisetty, Srinivas; Preoteasa, Viorel; Tripakis, Stavros; Jéron, Thierry; Falcone, Yliès; Marchand, Hervé Predictive runtime enforcement. (English) Zbl 1370.68207 Form. Methods Syst. Des. 51, No. 1, 154-199 (2017). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{S. Pinisetty} et al., Form. Methods Syst. Des. 51, No. 1, 154--199 (2017; Zbl 1370.68207) Full Text: DOI HAL
Renard, Matthieu; Falcone, Yliès; Rollet, Antoine; Pinisetty, Srinivas; Jéron, Thierry; Marchand, Hervé Enforcement of (timed) properties with uncontrollable events. (English) Zbl 1407.68300 Leucker, Martin (ed.) et al., Theoretical aspects of computing – ICTAC 2015. 12th international colloquium, Cali, Colombia, October 29–31, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9399, 542-560 (2015). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{M. Renard} et al., Lect. Notes Comput. Sci. 9399, 542--560 (2015; Zbl 1407.68300) Full Text: DOI
Pinisetty, Srinivas; Falcone, Yliès; Jéron, Thierry; Marchand, Hervé; Rollet, Antoine; Nguena Timo, Omer Runtime enforcement of timed properties revisited. (English) Zbl 1314.68102 Form. Methods Syst. Des. 45, No. 3, 381-422 (2014). MSC: 68N30 68Q45 68Q60 PDFBibTeX XMLCite \textit{S. Pinisetty} et al., Form. Methods Syst. Des. 45, No. 3, 381--422 (2014; Zbl 1314.68102) Full Text: DOI HAL