Projects per year
Fingerprint Dive into the research topics where MOUSSA AMRANI is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 12 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects
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
VeriLearn: Verifying Learning Artificial Intelligence Systems
HEYMANS, P., FRENAY, B., SCHOBBENS, P., TEMPLE, P., Nanfack, G., AMRANI, M. & BIBAL, A.
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
Research Output
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
Preface to the 1st multi-paradigm modeling for cyber-physical systems (MPM4CPS 2019)
Van Mierlo, S., Syriani, E., Blouin, D., Amrani, M., Deantoni, J. & Wimmer, M., Sep 2019, 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C 2019) . IEEE, p. 417-418 2 p. (Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Foreword/postscript
Towards a formal specification of multi-paradigm modelling
Amrani, M., Blouin, D., Heinrich, R., Rensink, A., Vangheluwe, H. & Wortmann, A., Sep 2019, Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019. Burgueno, L., Burgueno, L., Pretschner, A., Voss, S., Chaudron, M., Kienzle, J., Volter, M., Gerard, S., Zahedi, M., Bousse, E., Rensink, A., Polack, F., Engels, G. & Kappel, G. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 419-424 6 p. 8904740. (Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Model-based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda
Ortiz Vega, J. J., Perrouin, G., Amrani, M. & Schobbens, P-Y., 2 Aug 2018, p. 325-332. 8 p.Research output: Contribution to conference › Paper
Open Access
File
Formal analysis of object-oriented mograms
Amrani, M. & Schobbens, P. Y., 18 Jun 2017, Proceedings of the 19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017 - Co-located with ECOOP 2017. ACM Press, p. 1-6 6 p.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 2019
Activity: Participating in or organising an event types › Participation in workshop, seminar, course
Press / Media
Software technologies: Applications and foundations (STAF 2014)
27/03/14
1 item of Media coverage
Press/Media: Expert Comment