Seidali Rehab

According to our database, Seidali Rehab authored at least 7 papers between 2012 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

Generation of Inductive Types from Ecore Metamodels.

Jérémy Buisson, Seidali Rehab

Proceedings of the Model-Driven Engineering and Software Development, 2018

Automatic Transformation from Ecore Metamodels towards Gallina Inductive Types.

Jérémy Buisson, Seidali Rehab

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Effective Bridging Between Ecore and Coq: Case of a Type-Checker with Proof-Carrying Code.

Jérémy Buisson, Seidali Rehab

Proceedings of the Modelling and Implementation of Complex Systems, 2018

2017

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

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

TGG-based process for automating the transformation of UML models towards B specifications.

Seidali Rehab, Allaoua Chaoui

Int. J. Comput. Aided Eng. Technol., 2015

2012

An automatic generation approach of B Specifications From UML Diagrams.

Seidali Rehab, Elhillali Kerkouche, Allaoua Chaoui

Proceedings of the Seventh International Conference on Digital Information Management, 2012