An automatic generation approach of B Specifications From UML Diagrams. - Seidali Rehab; Elhillali Kerkouche; Allaoua Chaoui (ICDIM, 2012)

TGG-based process for automating the transformation of UML models towards B specifications. - Seidali Rehab; Allaoua Chaoui (Int. J. Comput. Aided Eng. Technol., 2015)

Formal Modeling and Analysis of Object Oriented Systems using Triple Graph Grammars. - Wafa Chama; Allaoua Chaoui; Seidali Rehab (Int. J. Embed. Real Time Commun. Syst., 2015)

A Model Transformation Approach for Specifying Real-Time Systems and Its Verification Using RT-Maude. - Messaoud Bendiaf; Mustapha Bourahla; Malika Boudia; Seidali Rehab (Int. J. Inf. Technol. Web Eng., 2017)

Effective Bridging Between Ecore and Coq: Case of a Type-Checker with Proof-Carrying Code. - Jérémy Buisson; Seidali Rehab (MISC, 2018)

Automatic Transformation from Ecore Metamodels towards Gallina Inductive Types. - Jérémy Buisson; Seidali Rehab (MODELSWARD, 2018)

Generation of Inductive Types from Ecore Metamodels. - Jérémy Buisson; Seidali Rehab (MODELSWARD (Revised Selected Papers), 2018)