Enforcement of (Timed) Properties with Uncontrollable Events. - Matthieu Renard; Yliès Falcone; Antoine Rollet; Srinivas Pinisetty; Thierry Jéron; Hervé Marchand (ICTAC, 2015)

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

Runtime enforcement using Büchi games. - Matthieu Renard; Antoine Rollet; Yliès Falcone (SPIN, 2017)

Runtime Enforcement of (Timed) Properties with Uncontrollable Events. (Enforcement à l'exécution de propriétés temporisées régulières en présence d'évènements incontrôlables). - Matthieu Renard (2017)

Optimal enforcement of (timed) properties with uncontrollable events. - Matthieu Renard; Yliès Falcone; Antoine Rollet; Thierry Jéron; Hervé Marchand (Math. Struct. Comput. Sci., 2019)

Runtime enforcement of timed properties using games. - Matthieu Renard; Antoine Rollet; Yliès Falcone (Formal Aspects Comput., 2020)

Decision support system for blockchain (DLT) platform selection based on ITU recommendations: A systematic literature review approach. - Sylvain Kubler; Matthieu Renard; Sankalp Ghatpande; Jean-Philippe Georges; Yves Le Traon (Expert Syst. Appl., 2023)