Louis-Marie Givel

According to our database, Louis-Marie Givel authored at least 4 papers between 2015 and 2018.

Collaborative distances:

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

2018

Testing Real-Time Systems With Runtime Enforcement.

Jean-Luc Béchennec, Sébastien Faucou, Olivier H. Roux, Matthias Brun, Louis-Marie Givel

IEEE Des. Test, 2018

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

PhD thesis, 2016

Testing real-time embedded software using runtime enforcement.

Louis-Marie Givel, Jean-Luc Béchennec, Matthias Brun, Sébastien Faucou, Olivier H. Roux

Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

2015

Use of Runtime Enforcement for the Test of Real-time Systems.

Louis-Marie Givel, Matthias Brun, Camille Constant, Sébastien Faucou, Olivier H. Roux

Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015