A Tridimensional Approach for Studying the Formal Verification of Model Transformations. - Moussa Amrani; Levi Lucio; Gehan M. K. Selim; Benoît Combemale; Jürgen Dingel; Hans Vangheluwe; Yves Le Traon; James R. Cordy (ICST, 2012)

Towards a model transformation intent catalog. - Moussa Amrani; Jürgen Dingel; Leen Lambers; Levi Lúcio; Rick Salay; Gehan M. K. Selim; Eugene Syriani; Manuel Wimmer (AMT@MoDELS, 2012)

Invariant preservation in iterative modeling. - Levi Lúcio; Eugene Syriani; Moussa Amrani; Qin Zhang 002; Hans Vangheluwe (ME@MoDELS, 2012)

Towards the Formal Verification of Model Transformations: An Application to Kermeta. - Moussa Amrani (2013)

Security@Runtime: A Flexible MDE Approach to Enforce Fine-grained Security Policies. - Yehia Elrakaiby; Moussa Amrani; Yves Le Traon (ESSoS, 2014)

Report on the Third Workshop on Verification of Model Transformations (VOLT 2014). - Moussa Amrani; Eugene Syriani; Manuel Wimmer; Robert Bill; Martin Gogolla; Frank Hermann 001; Kevin Lano (VOLT@STAF, 2014)

Advances in Model-Driven Security. - Levi Lucio; Qin Zhang 002; Phu Hong Nguyen; Moussa Amrani; Jacques Klein; Hans Vangheluwe; Yves Le Traon (Adv. Comput., 2014)

Formal Verification Techniques for Model Transformations: A Tridimensional Classification. - Moussa Amrani; Benoît Combemale; Levi Lucio; Gehan M. K. Selim; Jürgen Dingel; Yves Le Traon; Hans Vangheluwe; James R. Cordy (J. Object Technol., 2015)

A Model-Driven Engineering Approach for the Well-Being of Ageing People. - Amanuel Alemayehu Koshima; Vincent Englebert; Moussa Amrani; Abdelmounaim Debieche; Amanuel Wakjira (ER Workshops, 2016)

Featured model types: towards systematic reuse in modelling language engineering. - Gilles Perrouin; Moussa Amrani; Mathieu Acher; Benoît Combemale; Axel Legay; Pierre-Yves Schobbens (MiSE@ICSE, 2016)

Real-time model-driven engineering: an overview. - Moussa Amrani; Pierre-Yves Schobbens (PAME/VOLT@MoDELS, 2016)

Report of the Fourth Workshop on the Globalization of Modeling Languages (GEMOC 2016). - Julien Deantoni; Jeff Gray 001; Eugene Syriani; Moussa Amrani; Alexander Knapp (GEMOC@MoDELS, 2016)

Model transformation intents and their properties. - Levi Lúcio; Moussa Amrani; Juergen Dingel; Leen Lambers; Rick Salay; Gehan M. K. Selim; Eugene Syriani; Manuel Wimmer (Softw. Syst. Model., 2016)

Formal Analysis of Object-Oriented Mograms. - Moussa Amrani; Pierre-Yves Schobbens (FTfJP@ECOOP, 2017)

Towards User-centric DSLs to Manage IoT Systems. - Moussa Amrani; Fabian Gilson; Abdelmounaim Debieche; Vincent Englebert (MODELSWARD, 2017)

Complex Event Processing for User-Centric Management of IoT Systems. - Moussa Amrani; Fabian Gilson; Vincent Englebert (MODELSWARD (Revised Selected Papers), 2017)

Multi-timed Bisimulation for Distributed Timed Automata. - James Jerson Ortiz; Moussa Amrani; Pierre-Yves Schobbens (NFM, 2017)

An Efficient Feature Selection for SAR Target Classification. - Moussa Amrani; Kai Yang 002; Dongyang Zhao; Xiaopeng Fan; Feng Jiang 001 (PCM (2), 2017)

Model-Based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda. - James Jerson Ortiz Vega; Gilles Perrouin; Moussa Amrani; Pierre-Yves Schobbens (QRS, 2018)

ML + FV = ♡? A Survey on the Application of Machine Learning to Formal Verification. - Moussa Amrani; Levi Lúcio; Adrien Bibal (CoRR, 2018)

Very deep feature extraction and fusion for arrhythmias detection. - Moussa Amrani; Mohamed Hammad; Feng Jiang 001; Kuanquan Wang; Amel Amrani (Neural Comput. Appl., 2018)

SAR-Oriented Visual Saliency Model and Directed Acyclic Graph Support Vector Metric Based Target Classification. - Moussa Amrani; Feng Jiang 001; Yunzhong Xu; Shaohui Liu; Shengping Zhang (IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2018)

Towards a Formal Specification of Multi-paradigm Modelling. - Moussa Amrani; Dominique Blouin; Robert Heinrich; Arend Rensink; Hans Vangheluwe; Andreas Wortmann 001 (MoDELS (Companion), 2019)

Preface to the 1st Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2019). - Simon Van Mierlo; Eugene Syriani; Dominique Blouin; Moussa Amrani; Julien Deantoni; Manuel Wimmer (MoDELS (Companion), 2019)

MLν: A Distributed Real-Time Modal Logic. - James Jerson Ortiz; Moussa Amrani; Pierre-Yves Schobbens (NFM, 2019)

Preface to the 3rd Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2021). - Moussa Amrani; Dominique Blouin; Moharram Challenger; Julien Deantoni; Robert Heinrich; Manuel Wimmer (MoDELS (Companion), 2021)

Experience report on soft and project skills building through repetition. - Xavier Devroey; Moussa Amrani; Benoît Vanderose (EASEAI@ESEC/SIGSOFT FSE, 2021)

New SAR target recognition based on YOLO and very deep multi-canonical correlation analysis. - Moussa Amrani; Abdelatif Bey; Abdenour Amamra (CoRR, 2021)

Multi-paradigm modelling for cyber-physical systems: a descriptive framework. - Moussa Amrani; Dominique Blouin; Robert Heinrich; Arend Rensink; Hans Vangheluwe; Andreas Wortmann 001 (Softw. Syst. Model., 2021)

Towards the systematic design of model animation: key ingredients and general guidelines. - Moussa Amrani; Abdelkader Ouared; Pierre-Yves Schobbens (MoDELS (Companion), 2022)

COMORP: Rapid prototyping for mathematical database cost models development. - Abdelkader Ouared; Moussa Amrani; Pierre-Yves Schobbens (J. Comput. Lang., 2022)

Learning Analytics Solution for Monitoring and Analyzing the Students' Behavior in SQL Lab Work. - Abdelkader Ouared; Moussa Amrani; Pierre-Yves Schobbens (CSEDU (2), 2023)

Co-Evolving Meta-Models and View Types in View-Based Development. - Hossain Muhammad Muctadir; Lars König; Thomas Weber 006; Moussa Amrani; Loek Cleophas (MoDELS (Companion), 2023)

5th International Workshop on Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS). - Randy Paredis; Moussa Amrani; Joeri Exelmans; Dominique Blouin; Moharram Challenger; Robert Heinrich (MoDELS (Companion), 2023)

Go Meta of Learned Cost Models: On the Power of Abstraction. - Abdelkader Ouared; Moussa Amrani; Pierre-Yves Schobbens (MODELSWARD, 2023)

Generating Custom Learned Cost Model for Query Optimizer of DBMS. - Abdelkader Ouared; Moussa Amrani; Pierre-Yves Schobbens (MODELSWARD (Revised Selected Papers), 2023)

Command & Control in UAVs Fleets: Coordinating Drones for Ground Missions in Changing Contexts. - Moussa Amrani; Abdelkader Ouared; Pierre-Yves Schobbens (VECoS, 2023)

Explainable AI for DBA: Bridging the DBA's experience and machine learning in tuning database systems. - Abdelkader Ouared; Moussa Amrani; Pierre-Yves Schobbens (Concurr. Comput. Pract. Exp., 2023)

Providing command and control agility: A software product line approach. - Junier Caminha Amorim; Eduardo Lemos Rocha; Luigi Minardi; Vander Alves; Edison Pignaton de Freitas; Thiago M. Castro; Moussa Amrani; James Ortiz 001; Pierre-Yves Schobbens; Gilles Perrouin (Expert Syst. Appl., 2023)

A Context-Aware Chatbot for Student Assistance Services in Higher Education. - Abdelkader Ouared; Moussa Amrani; Pierre-Yves Schobbens (CSEDU (1), 2024)

A Survey of Federative Approaches for Model Management in MBSE. - Moussa Amrani; Rakshit Mittal; Miguel Goulão; Vasco Amaral 001; Sylvain Guérin; Salvador Martínez 001; Dominique Blouin; Anish Bhobe; Yara Hallak (MoDELS (Companion), 2024)

Deep convolutional multi-informative metric correlation analysis with bottleneck attention module for face recognition in the wild. - Moussa Amrani (Multim. Tools Appl., 2024)

Deep variability modeling to enhance reproducibility of database performance testing. - Abdelkader Ouared; Moussa Amrani; Abdelhafid Chadli; Pierre-Yves Schobbens (Clust. Comput., 2024)