Matthieu RENARD
Matthieu Renard Doctorant ()

É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. 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. Runtime Enforcement of (Timed) Properties with Uncontrollable Events. Other [cs.OH]. Université de Bordeaux, 2017. English

Matthieu Renard, Antoine Rollet, Yliès Falcone. GREP: Games for the Runtime Enforcement of Properties. Nina Yevtushenko; Ana Rosa Cavalli; Hüsnü Yenigün. 29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. Springer International Publishing, Lecture Notes in Computer Science, LNCS-10533, pp.259-275, 2017, Testing Software and Systems

Matthieu Renard. Facteurs addictologiques liés à l’adhésion au suivi, de patients pris en charge en centre de cure ambulatoire en alcoologie. Sciences du Vivant [q-bio]. 2015


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