Aucune photo de Moussa Amrani
Calculé d’après le nombre de publications stockées dans Pure et de citations dans Scopus
20122024

Résultat de recherche par an

Filtrer
Article dans les actes d'une conférence/un colloque

Résultats de recherche

  • 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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • 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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

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

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
  • 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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
  • 2021

    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érenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    21 Téléchargements (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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
  • 2019

    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érenceArticle dans les actes d'une conférence/un colloque

  • 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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • 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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • 2017

    Formal analysis of object-oriented mograms

    Amrani, M. & Schobbens, P. Y., 18 juin 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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Towards User-centric DSLs to Manage IoT Systems

    Amrani, M., Gilson, F., Debieche, A. & Englebert, V., févr. 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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • 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

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    File
    74 Téléchargements (Pure)
  • Featured Model Types: Towards Systematic Reuse in Modelling Language Engineering

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

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • 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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • 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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • 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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • 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).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Votre message a bien été envoyé.
Votre message n’a pas été envoyé en raison d’une erreur.