Follow
Louis-Marie Givel
Louis-Marie Givel
IRCCyN
Verified email at irccyn.ec-nantes.fr
Title
Cited by
Cited by
Year
Testing real-time embedded software using runtime enforcement
LM Givel, JL Béchennec, M Brun, S Faucou, OH Roux
2016 11th IEEE Symposium on Industrial Embedded Systems (SIES), 1-6, 2016
32016
Use of runtime enforcement for the test of real-time systems
LM Givel, M Brun, C Constant, S Faucou, OH Roux
2015 IEEE 17th International Conference on High Performance Computing and …, 2015
22015
Testing real-time systems with runtime enforcement
JL Béchennec, S Faucou, OH Roux, M Brun, LM Givel
IEEE Design & Test 35 (4), 31-37, 2018
12018
Test de systèmes temps réel à l'aide du forçage en ligne
LM Givel
École centrale de Nantes, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–4