Projets par an
Profil personnel
Expertise relative aux objectifs de développement durable des Nations Unies
En 2015, les États membres des Nations Unies ont convenu de 17 objectifs de développement durable (Sustainable Development Goals, SDG) pour éradiquer la pauvreté, protéger la planète et assurer la prospérité de tous. Le travail de cette personne contribue à la poursuite du/des SDG suivant(s) :
Empreinte digitale
- 1 Profils similaires
Réseau
-
THCS: Testing Highly-configurable Systems
Perrouin, G., SCHOBBENS, P., Amrani, M., Ortiz Vega, J. J. & Heymans, P.
1/01/18 → 31/12/22
Projet: Recherche
-
VeriLearn: Verifying Learning Artificial Intelligence Systems
Heymans, P., Frénay, B., SCHOBBENS, P., Temple, P., Nanfack, G., Amrani, M. & Bibal, A.
1/01/18 → 31/12/22
Projet: Recherche
-
MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems
SCHOBBENS, P., Heymans, P. & Amrani, M.
21/11/14 → 24/11/18
Projet: Recherche
-
Résultat de recherche
-
Experience Report on Soft and Project Skills Building through Repetition
Devroey, X., Amrani, M. & Vanderose, B., 23 août 2021, EASEAI 2021 - Proceedings of the 3rd International Workshop on Education through Advanced Software Engineering and Artificial Intelligence, co-located with ESEC/FSE 2021. Vescan, A., Serban, C., Henry, J. & Praphamontripong, U. (eds.). Athens, Greece: ACM Press, p. 9-14 6 p. (EASEAI 2021 - Proceedings of the 3rd International Workshop on Education through Advanced Software Engineering and Artificial Intelligence, co-located with ESEC/FSE 2021).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
Accès ouvertFile3 Téléchargements (Pure) -
Multi-paradigm modelling for cyber–physical systems: a descriptive framework
Amrani, M., Blouin, D., Heinrich, R., Rensink, A., Vangheluwe, H. & Wortmann, A., juin 2021, Dans: Software and Systems Modeling. 20, 3, p. 611-639 29 p.Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs
Accès ouvert -
Preface to the 3rd Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2021)
Amrani, M., Blouin, D., Challenger, M., Deantoni, J., Heinrich, R. & Wimmer, M., 15 oct. 2021, Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021. IEEE, p. 284-285 2 p. 9643616. (Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
Accès ouvert -
Preface to 2nd International Workshop on Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2020)
Amrani, M., Blouin, D., DeAntoni, J., Mierlo, S. V. & Wimmer, M., 16 oct. 2020, MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. Guerra, E. & Iovino, L. (eds.). ACM Press, p. XXVI-XXVIIIRésultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Avant-propos/Préface/post-scriptum
Accès ouvert -
MLv: A distributed real-time modal logic
Ortiz Vega, J. J., Amrani, M. & Schobbens, P. Y., 23 mai 2019, NASA Formal Methods - 11th International Symposium, NFM 2019, Proceedings. Badger, J. M. & Rozier, K. Y. (eds.). Springer Verlag, p. 19-35 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 11460 LNCS).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
Activités
- 1 Participation à un atelier/workshop, un séminaire, un cours
-
FOCUS Research Seminar
Wim Vanhoof (Organisateur), Jean-Marie Jacquet (Organisateur), Manel Barkallah (Membre du Comité d'Organisation), Gonzague Yernaux (Membre du Comité d'Organisation), Pierre-Yves Schobbens (Membre du Comité d'Organisation), James Jerson Ortiz Vega (Membre du Comité d'Organisation), Moussa Amrani (Membre du Comité d'Organisation), Isabelle Linden (Membre du Comité d'Organisation) & Christian Colot (Membre du Comité d'Organisation)
6 déc. 2019Activité: Types de Participation ou d'organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours