Matthieu Renard

According to our database, Matthieu Renard authored at least 7 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

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., January, 2023

2020

Runtime enforcement of timed properties using games.

Matthieu Renard, Antoine Rollet, Yliès Falcone

Formal Aspects Comput., 2020

2019

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

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

PhD thesis, 2017

Runtime enforcement using Büchi games.

Matthieu Renard, Antoine Rollet, Yliès Falcone

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

GREP: Games for the Runtime Enforcement of Properties.

Matthieu Renard, Antoine Rollet, Yliès Falcone

Proceedings of the Testing Software and Systems, 2017

2015

Enforcement of (Timed) Properties with Uncontrollable Events.

Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, Hervé Marchand

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015