Moussa Amrani

According to our database, Moussa Amrani authored at least 38 papers between 2012 and 2023.

Collaborative distances:

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

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, Pierre-Yves Schobbens, Gilles Perrouin

Expert Syst. Appl., April, 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

Command & Control in UAVs Fleets: Coordinating Drones for Ground Missions in Changing Contexts.

Moussa Amrani, Abdelkader Ouared, Pierre-Yves Schobbens

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2023

Go Meta of Learned Cost Models: On the Power of Abstraction.

Abdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens

Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, 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

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Co-Evolving Meta-Models and View Types in View-Based Development.

Hossain Muhammad Muctadir, Lars König, Thomas Weber, Moussa Amrani, Loek Cleophas

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Learning Analytics Solution for Monitoring and Analyzing the Students' Behavior in SQL Lab Work.

Abdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens

Proceedings of the 15th International Conference on Computer Supported Education, 2023

2022

COMORP: Rapid prototyping for mathematical database cost models development.

Abdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens

J. Comput. Lang., 2022

Towards the systematic design of model animation: key ingredients and general guidelines.

Moussa Amrani, Abdelkader Ouared, Pierre-Yves Schobbens

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

2021

Multi-paradigm modelling for cyber-physical systems: a descriptive framework.

Moussa Amrani, Dominique Blouin, Robert Heinrich, Arend Rensink, Hans Vangheluwe, Andreas Wortmann

Softw. Syst. Model., 2021

New SAR target recognition based on YOLO and very deep multi-canonical correlation analysis.

Moussa Amrani, Abdelatif Bey, Abdenour Amamra

CoRR, 2021

Experience report on soft and project skills building through repetition.

Xavier Devroey, Moussa Amrani, Benoît Vanderose

Proceedings of the EASEAI 2021: Proceedings of the 3rd International Workshop on Education through Advanced Software Engineering and Artificial Intelligence, 2021

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

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

2019

ML_ν: A Distributed Real-Time Modal Logic.

James Jerson Ortiz, Moussa Amrani, Pierre-Yves Schobbens

Proceedings of the NASA Formal Methods - 11th International Symposium, 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

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Towards a Formal Specification of Multi-paradigm Modelling.

Moussa Amrani, Dominique Blouin, Robert Heinrich, Arend Rensink, Hans Vangheluwe, Andreas Wortmann

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

2018

SAR-Oriented Visual Saliency Model and Directed Acyclic Graph Support Vector Metric Based Target Classification.

Moussa Amrani, Feng Jiang, Yunzhong Xu, Shaohui Liu, Shengping Zhang

IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2018

Very deep feature extraction and fusion for arrhythmias detection.

Moussa Amrani, Mohamed Hammad, Feng Jiang, Kuanquan Wang, Amel Amrani

Neural Comput. Appl., 2018

ML + FV = ♡? A Survey on the Application of Machine Learning to Formal Verification.

Moussa Amrani, Levi Lúcio, Adrien Bibal

CoRR, 2018

Model-Based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda.

James Jerson Ortiz Vega, Gilles Perrouin, Moussa Amrani, Pierre-Yves Schobbens

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

2017

An Efficient Feature Selection for SAR Target Classification.

Moussa Amrani, Kai Yang, Dongyang Zhao, Xiaopeng Fan, Feng Jiang

Proceedings of the Advances in Multimedia Information Processing - PCM 2017, 2017

Multi-timed Bisimulation for Distributed Timed Automata.

James Jerson Ortiz, Moussa Amrani, Pierre-Yves Schobbens

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

Complex Event Processing for User-Centric Management of IoT Systems.

Moussa Amrani, Fabian Gilson, Vincent Englebert

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

Towards User-centric DSLs to Manage IoT Systems.

Moussa Amrani, Fabian Gilson, Abdelmounaim Debieche, Vincent Englebert

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

Formal Analysis of Object-Oriented Mograms.

Moussa Amrani, Pierre-Yves Schobbens

Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, 2017

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

Report of the Fourth Workshop on the Globalization of Modeling Languages (GEMOC 2016).

Julien Deantoni, Jeff Gray, Eugene Syriani, Moussa Amrani, Alexander Knapp

Proceedings of the 4th International Workshop on the Globalization Of Modeling Languages co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

Real-time model-driven engineering: an overview.

Moussa Amrani, Pierre-Yves Schobbens

Proceedings of the Joint Proceedings of the Second International Workshop on Patterns in Model Engineering and the Fifth International Workshop on the Verification of Model Transformation, 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

Proceedings of the 8th International Workshop on Modeling in Software Engineering, 2016

A Model-Driven Engineering Approach for the Well-Being of Ageing People.

Amanuel Alemayehu Koshima, Vincent Englebert, Moussa Amrani, Abdelmounaim Debieche, Amanuel Wakjira

Proceedings of the Advances in Conceptual Modeling, 2016

2015

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

2014

Advances in Model-Driven Security.

Levi Lucio, Qin Zhang, Phu Hong Nguyen, Moussa Amrani, Jacques Klein, Hans Vangheluwe, Yves Le Traon

Adv. Comput., 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, Kevin Lano

Proceedings of the Third International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations, 2014

Security@Runtime: A Flexible MDE Approach to Enforce Fine-grained Security Policies.

Yehia Elrakaiby, Moussa Amrani, Yves Le Traon

Proceedings of the Engineering Secure Software and Systems - 6th International Symposium, 2014

2013

Towards the Formal Verification of Model Transformations: An Application to Kermeta.

Moussa Amrani

PhD thesis, 2013

2012

Invariant preservation in iterative modeling.

Levi Lúcio, Eugene Syriani, Moussa Amrani, Qin Zhang, Hans Vangheluwe

Proceedings of the 6th International Workshop on Models and Evolution, 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

Proceedings of the First Workshop on the Analysis of Model Transformations, 2012

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

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012