-
Selection by year
-
Selection by authors
-
Complete lists
pinisetty:hal-01647787
Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand. Predictive runtime enforcement. Formal Methods in System Design, 51(1):154-199, August 2017.
Contact
Thierry Jéron http://www.irisa.fr/prive/jeron
Hervé Marchand http://people.rennes.inria.fr/Herve.Marchand/
BibTex Reference
@article{pinisetty:hal-01647787,
Author = {Pinisetty, Srinivas and Preoteasa, Viorel and Tripakis, Stavros and Jéron, Thierry and Falcone, Yliès and Marchand, Hervé},
Title = {{Predictive runtime enforcement}},
Journal = {{Formal Methods in System Design}},
Volume = {51},
Number = {1},
Pages = {154--199},
Publisher = {{Springer Verlag}},
Month = {August},
Year = {2017}
}
EndNote Reference [help]
Get EndNote Reference (.ref)