Matthieu RENARD
Matthieu Renard Doctorant (Université Bordeaux 1)

Équipe LaBRI : Méthodes formelles
Courrier électronique : matthieu.renardarobaselabri.fr
Bureau : 356
Tél : +33 (0)5 40 00 35 00


Extrait de publications


Matthieu Renard, Yliès Falcone, Antoine Rollet, Thierry Jéron, Hervé Marchand. Optimal Enforcement of (Timed) Properties with Uncontrollable Events. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2017,

Matthieu Renard, Antoine Rollet, Yliès Falcone. GREP: Games for the Runtime Enforcement of Properties. 2017.

Matthieu Renard, Antoine Rollet, Ylìès Falcone. Runtime Enforcement Using Büchi Games. ACM. Model Checking Software - 24rd International Symposium, SPIN 2017, Co-located with ISSTA 2017, Jul 2017, Santa Barbara, United States.

Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, et al.. Enforcement of (Timed) Properties with Uncontrollable Events. 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), Oct 2015, Cali, Colombia. Springer, LNCS (9399), pp.22, 2015, Theoretical Aspects of Computing - ICTAC 2015.


Page mise à jour le 13/08/2010 à 10:56