Model transformation generation a survey of the state-of-the-art K Berramla, D Benhamamouch 2016 International Conference on Information Technology for Organizations …, 2016 | 8 | 2016 |
Formal validation of model transformation with Coq proof assistant K Berramla, M Senouci 2015 First International Conference on New Technologies of Information and …, 2015 | 5 | 2015 |
Model Transformation by Example with Statistical Machine Translation. K Berramla, EA Deba, J Wu, HA Sahraoui, AEH Benyamina MODELSWARD, 76-83, 2020 | 4 | 2020 |
Formal concept analysis for specification of model transformations K Berramla, AEH Benyamina, R Touam, Y Brahimi, D Benhamamouch 2017 First International Conference on Embedded & Distributed Systems (EDiS …, 2017 | 4 | 2017 |
Using MDA with model checking to ensure the development of consistent AADL models ME Hamdane, K Berramla, A Chaoui The First International Conference on Embedded and Distributed Systems (EDiS …, 2017 | 2 | 2017 |
A semantic framework to improve model-to-model transformations ME Hamdane, K Berramla, A Chaoui, AEH Benyamina Information Systems and Technologies to Support Learning: Proceedings of …, 2019 | 1 | 2019 |
Information Systems and Technologies to Support Learning: Proceedings of EMENA-ISTL 2018 Á Rocha, M Serrhini Springer, 2018 | 1 | 2018 |
A contribution to the specification of model transformations with metamodel matching approach K Berramla, D Benhamamouch International Journal of Information System Modeling and Design (IJISMD) 8 …, 2017 | 1 | 2017 |
On the Artificial Reasoning with Chess: A CBR vs PBR View D Ghalem, Z and Berramla, K and Bouabana-Tebibel, T and Zegour Proceedings of the 12th International Conference on Model-Based Software and …, 2024 | | 2024 |
Semi-Automatic Generation of Transformation Rules: From AADL to Timed Automata K Berramla, EA Deba, ME Hamdane, AEH Benyamina Proceedings of the 2nd International Conference on Networking, Information …, 2019 | | 2019 |