IDMSE

The work of the team is focused on the field of model engineering in general and more specifically on the concepts of model transformation as defined by the OMG as well as on formal verification techniques for transformations.

Permanent Members

  • Asmaa Aouat (PhD Student)
  • Djilali Benhamamouch (Researcher)
  • Mohamed Nazih Bensaad (PhD Student)
  • Karima Berramla (Researcher)
  • El Abbassia Deba (Researcher)
  • Nacera Mecheri (PhD Student)
  • Karima Mokhtari (Researcher)

Team Productions

A. Benyamina, K. Berramla, E. Deba "Deploying Machine Learning for Automatic Metamodel Instance Generation", MODELSWARD 2024, Springer, 2026. [DOI]
A. Benyamina, K. Berramla, E. Deba "Automatic Generation of Models from Their Metamodels Using Multilayer Perceptron Network", MODELSWARD, 2024. [DOI]
K. Berramla, E. Deba "Synthetic Model Generation from Metamodel Using Conditional Tabular Generative Adversarial Network", Journal, 2024.
K. Mokhtari "A Monitoring Framework for Transparency and Fairness in Big Data Platform", Concurrency and Computation, 2021. [DOI]
E. Deba, A. Aouat "Deployment in Cloud Computing: The Comparative Study", IJDST, 2020.
A. Benyamina, K. Berramla, E. Deba "Model Transformation by Example with Statistical Machine Translation", MODELSWARD, 2020. [DOI]
E. Deba, A. Aouat "Model-Based Application Deployment on Cloud Computing", IJDST, 2019.
A. Benyamina, K. Berramla, E. Deba "Semi-Automatic Generation of Transformation Rules: From AADL to Timed Automata", NISS, 2019.
K. Berramla, E. Deba, D. Benhamamouch "A contribution to the specification of model transformations with metamodel matching approach", IJISMD, 2017.
K. Berramla, E. Deba, D. Benhamamouch "Model Transformations Generation: A Survey of State-of-Art", Conf Information Technology, 2016.
K. Berramla, E. Deba, M. Senouci "Formal validation of model transformation with Coq proof assistant", NTIC, 2015.
E. Deba, A. Aouat "Tools of model transformation by graph transformation", ICSESS, 2012.
E. Deba, A. Aouat "Tools of graph-based model transformation : Comparative study", AI Doctorials, 2012.