No photo of Moussa Amrani

View Scopus Profile

Moussa Amrani

 https://orcid.org/0000-0002-6987-1037

  • Belgium

Calculated based on number of publications stored in Pure and citations from Scopus
20122024

Research activity per year

Filter
Conference contribution

Search results

  • 2024

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

    Amrani, M., Ouared, A. & Schobbens, P. Y., 2024, Verification and Evaluation of Computer and Communication Systems: 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023 :Proceedings. Ben Hedia, B., Maleh, Y. & Krichen, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 163-177 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14368 LNCS).

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

  • 2023

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

    Muctadir, H. M., Konig, L., Weber, T., Amrani, M. & Cleophas, L., 2023, Proceedings - 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2023. Institute of Electrical and Electronics Engineers Inc., p. 954-963 10 p. (Proceedings - 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2023).

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

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

    Ouared, A., Amrani, M. & Schobbens, P-Y., 2023, MODELSWARD. Lisbon: Science and Technology Publications, Lda, p. 43-54 12 p.

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

    Open Access

  • Learning Analytics Solution for Monitoring and Analyzing the Students’ Behavior in SQL Lab Work

    Ouared, A., Amrani, M. & Schobbens, P. Y., 2023, Proceedings of the 15th International Conference on Computer Supported Education - Volume 2, CSEDU 2023. Jovanovic, J., Chounta, I-A., Uhomoibhi, J. & McLaren, B. (eds.). Science and Technology Publications, Lda, p. 184-195 12 p. (International Conference on Computer Supported Education, CSEDU - Proceedings; vol. 2).

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

    Open Access
  • 2021

    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 Access
    File
    25 Downloads (Pure)

  • 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
  • 2019

    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

  • Towards a formal specification of multi-paradigm modelling

    Amrani, M., Blouin, D., Heinrich, R., Rensink, A., Vangheluwe, H. & Wortmann, A., Sept 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

  • 2018

    Complex event processing for user-centric management of IoT systems

    Amrani, M., Gilson, F. & Englebert, V., 2018, Model-Driven Engineering and Software Development - 5th International Conference, MODELSWARD 2017, Revised Selected Papers. Selic, B., Pires, L. F. & Hammoudi, S. (eds.). Springer Verlag, p. 426-448 23 p. (Communications in Computer and Information Science; vol. 880).

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

  • 2017

    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. (Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs - FTFJP'17).

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

  • Towards User-centric DSLs to Manage IoT Systems

    Amrani, M., Gilson, F., Debieche, A. & Englebert, V., Feb 2017, MODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. Pires, L. F., Hammoudi, S. & Selic, B. (eds.). Porto (Portugal), Vol. 2017-January. p. 569-576 8 p. (MODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development; vol. 2017-January).

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

  • 2016

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

    Koshima, A., Englebert, V., Amrani, M., Debieche, A. & Wakjira, A., 2016, Advances in Conceptual Modeling: ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14–17, 2016, Proceedings. Springer, p. 21-29

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

    File
    74 Downloads (Pure)

  • Featured Model Types: Towards Systematic Reuse in Modelling Language Engineering

    Perrouin, G., Amrani, M., Acher, M., Legay, A. & Schobbens, P-Y., 17 May 2016, 8th Workshop on Modelling in Software Engineering (MiSE’2016). Austin: ACM Press, p. 1-7 7 p. 7809779

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

  • 2014

    Security@Runtime: A flexible MDE approach to enforce fine-grained security policies

    Elrakaiby, Y., Amrani, M. & Le Traon, Y., 2014, Engineering Secure Software and Systems - 6th International Symposium, ESSoS 2014, Proceedings. Springer Verlag, p. 19-34 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8364 LNCS).

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

  • 2012

    A tridimensional approach for studying the formal verification of model transformations

    Amrani, M., Lúcio, L., Selim, G., Combemale, B., Dingel, J., Vangheluwe, H., Le Traon, Y. & Cordy, J. R., 2012, Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012. p. 921-928 8 p. 6200113. (Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012).

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

  • Invariant preservation in iterative modeling

    Lücio, L., Syriani, E., Amrani, M., Zhang, Q. & Vangheluwe, H., 2012, Proceedings of the 6th International Workshop on Models and Evolution, ME 2012. ACM Press, p. 57-62 6 p. (Proceedings of the 6th International Workshop on Models and Evolution, ME 2012).

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

  • Towards a model transformation intent catalog

    Amrani, M., Dingel, J., Lambers, L., Lúcio, L., Salay, R., Selim, G., Syriani, E. & Wimmer, M., 2012, Proceedings of the 1st Workshop on the Analysis of Model Transformations, AMT 2012. p. 3-8 6 p. (Proceedings of the 1st Workshop on the Analysis of Model Transformations, AMT 2012).

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Your message has successfully been sent.
Your message was not sent due to an error.