Use of Runtime Enforcement for the Test of Real-time Systems. - Louis-Marie Givel; Matthias Brun 001; Camille Constant; Sébastien Faucou; Olivier H. Roux (HPCC/CSS/ICESS, 2015)

Testing real-time embedded software using runtime enforcement. - Louis-Marie Givel; Jean-Luc Béchennec; Matthias Brun 001; Sébastien Faucou; Olivier H. Roux (SIES, 2016)

Test de systèmes temps réel à l'aide du forçage en ligne. (Testing real-time systems using runtime enforcement). - Louis-Marie Givel (2016)

Testing Real-Time Systems With Runtime Enforcement. - Jean-Luc Béchennec; Sébastien Faucou; Olivier H. Roux; Matthias Brun 001; Louis-Marie Givel (IEEE Des. Test, 2018)