Biblio

Filters: Author is Srinivas Pinisetty  [Clear All Filters]
2018-05-14
Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand.  2017.  Predictive runtime enforcement. Formal Methods in System Design. 51:154–199.
Srinivas Pinisetty, Thierry Jéron, Stavros Tripakis, Yliès Falcone, Hervé Marchand, Viorel Preoteasa.  2017.  Predictive runtime verification of timed properties. Journal of Systems and Software. 132:353–365.
Srinivas Pinisetty, Partha S Roop, Steven Smyth, Nathan Allen, Stavros Tripakis, Reinhard von Hanxleden.  2017.  Runtime Enforcement of Cyber-Physical Systems. International Conference on Embedded Software (EMSOFT).
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden.  2017.  Runtime enforcement of reactive systems using synchronous enforcers. Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017. :80–89.
Srinivas Pinisetty, Stavros Tripakis.  2016.  Compositional Runtime Enforcement. {NASA} Formal Methods - 8th International Symposium, {NFM} 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings. :82–99.
Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand.  2016.  Predictive runtime enforcement. Proceedings of the 31st Annual {ACM} Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016. :1628–1633.