Elie Richa

Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation

Laurent Pautet, José F. Ruiz, Matteo Bordin, 2014, AMT@MoDELS.

Qualification of source code generators in the avionics domain : automated testing of model transformation chains. (Qualification des générateurs de code source dans le domaine de l'avionique : le test automatisé des chaines de transformation de modèles)

Elie Richa, Elie Richa, 2015 .

Building Trust in a Model-Based Automatic Code Generator

Andres Toom, Elie Richa, S. Tucker Taft, 2017, ALET.

Translating ATL Model Transformations to Algebraic Graph Transformations

Laurent Pautet, Elie Richa, Etienne Borde, 2015, ICMT.

Translation of ATL to AGT and application to a code generator for Simulink

Laurent Pautet, Elie Richa, Etienne Borde, 2017, Software & Systems Modeling.

System to Software Integrity: A Case Study

Jérôme Hugues, Cyrille Comar, Yannick Moy, 2014 .