Projects per year
Personal profile
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Fingerprint
- 1 Similar Profiles
Network
-
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
Project: Research
-
THCS: Testing Highly-configurable Systems
Perrouin, G., SCHOBBENS, P., Amrani, M., Ortiz Vega, J. J. & Heymans, P.
1/01/18 → 31/12/22
Project: Research
-
MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems
SCHOBBENS, P., Heymans, P. & Amrani, M.
21/11/14 → 24/11/18
Project: Research
-
-
Experience Report on Soft and Project Skills Building through Repetition
Devroey, X., Amrani, M. & Vanderose, B., 23 Aug 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).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open AccessFile3 Downloads (Pure) -
Multi-paradigm modelling for cyber–physical systems: a descriptive framework
Amrani, M., Blouin, D., Heinrich, R., Rensink, A., Vangheluwe, H. & Wortmann, A., Jun 2021, In: Software and Systems Modeling. 20, 3, p. 611-639 29 p.Research output: Contribution to journal › Article › peer-review
Open Access -
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).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open Access -
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-XXVIIIResearch output: Contribution in Book/Catalog/Report/Conference proceeding › Foreword/postscript
Open Access -
MLv: A distributed real-time modal logic
Ortiz Vega, J. J., Amrani, M. & Schobbens, P. Y., 23 May 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).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Activities
- 1 Participation in workshop, seminar, course
-
FOCUS Research Seminar
Wim Vanhoof (Organiser), Jean-Marie Jacquet (Organiser), Manel Barkallah (Member of Organizing Committee), Gonzague Yernaux (Member of Organizing Committee), Pierre-Yves Schobbens (Member of Organizing Committee), James Jerson Ortiz Vega (Member of Organizing Committee), Moussa Amrani (Member of Organizing Committee), Isabelle Linden (Member of Organizing Committee) & Christian Colot (Member of Organizing Committee)
6 Dec 2019Activity: Participating in or organising an event types › Participation in workshop, seminar, course