Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations. - Amani Makhlouf; Hanh Nhi Tran; Christian Percebois; Martin Strecker (TAP@STAF, 2016)

Two-Level Reasoning About Graph Transformation Programs. - Amani Makhlouf; Christian Percebois; Hanh Nhi Tran (ICGT, 2019)

Environnement d'assistance au développement de transformations de graphes correctes. (Assistance framework for writing correct graph transformations). - Amani Makhlouf (2019)