C. Constant

Verification models and techniques applied to the Testing and Control of reactive Systems

Bertrand Jeannet, Thierry Jéron, Tristan Le Gall, 2003 .

Validation of Reactive Systems by Means of Verification and Conformance Testing

Thierry Jéron, Hervé Marchand, Vlad Rusu, 2010 .

Validation of Reactive Systems

Thierry Jéron, Hervé Marchand, Vlad Rusu, 2008 .

Automatic Test Generation from Interprocedural Specifications

Bertrand Jeannet, Thierry Jéron, Camille Constant, 2007, TestCom/FATES.

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

Olivier H. Roux, Matthias Brun, Sébastien Faucou, 2015, 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conference on Embedded Software and Systems.