Towards reliable code generation with an open tool: evolutions of the Gene-Auto toolset, 5th International Congress and exhibition ERTS2 2010 : Embedded Real Time Software and Systems, 2010. ,
Experiences with the GENE-AUTO Code Generator in the Aerospace Industry, In: 5th International Congress and exhibition ERTS2 2010 : Embedded Real Time Software and Systems, 2010. ,
Formal Verification of AADL models with Fiacre and Tina, 5th International Congress and exhibition ERTS2 2010 : Embedded Real-Time Software and Systems, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00494348
The MeMVaTEx methodology: from requirements to models in automotive application design, 5th International Congress and exhibition ERTS2 2010 : Embedded Real-Time Software and Systems, 2010. ,
Towards Verifying Model Compilers, 5th International Congress and exhibition ERTS2 2010: Embedded Real Time Software and Systems, 2010. ,