Seidali Rehab

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 4

Top Topics

Object Oriented Systems

Top Venues

Int. J. Embed. Real Time Commun. Syst.

Int. J. Inf. Technol. Web Eng.

Publications

Jérémy Buisson, Seidali Rehab
Automatic Transformation from Ecore Metamodels towards Gallina Inductive Types. MODELSWARD (2018)
Jérémy Buisson, Seidali Rehab
Generation of Inductive Types from Ecore Metamodels. MODELSWARD (Revised Selected Papers) (2018)
Jérémy Buisson, Seidali Rehab
Effective Bridging Between Ecore and Coq: Case of a Type-Checker with Proof-Carrying Code. MISC (2018)
Messaoud Bendiaf, Mustapha Bourahla, Malika Boudia, Seidali Rehab
A Model Transformation Approach for Specifying Real-Time Systems and Its Verification Using RT-Maude. Int. J. Inf. Technol. Web Eng. 12 (4) (2017)
Seidali Rehab, Allaoua Chaoui
TGG-based process for automating the transformation of UML models towards B specifications. Int. J. Comput. Aided Eng. Technol. 7 (3) (2015)
Wafa Chama, Allaoua Chaoui, Seidali Rehab
Formal Modeling and Analysis of Object Oriented Systems using Triple Graph Grammars. Int. J. Embed. Real Time Commun. Syst. 6 (2) (2015)
Seidali Rehab, Elhillali Kerkouche, Allaoua Chaoui
An automatic generation approach of B Specifications From UML Diagrams. ICDIM (2012)