Membre of the PERFECT project: Performing Enhanced Rail Formal Engineering Constraints Traceability: « vers la formalisation des exigences ferroviaires et leur traçabilité », ANR-TDM, 2013-2016.
Member of the Labex MS2T project : “Control of Technological Systems-of-Systems”, 2011-2021.