Matthieu Renard

Decision support system for blockchain (DLT) platform selection based on ITU recommendations: A systematic literature review approach

Yves Le Traon, Y. L. Traon, S. Kubler, 2022, Expert Syst. Appl..

Runtime enforcement of timed properties using games

Yliès Falcone, A. Rollet, Matthieu Renard, 2020, Formal Aspects of Computing.

Runtime enforcement of timed properties using games

Yliès Falcone, Antoine Rollet, Matthieu Renard, 2020, Formal Aspects of Computing.

Optimal enforcement of (timed) properties with uncontrollable events

Thierry Jéron, Yliès Falcone, Hervé Marchand, 2017, Mathematical Structures in Computer Science.