No photo of Moussa Amrani
Calculated based on number of publications stored in Pure and citations from Scopus
20122023

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 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 proceedingConference contribution

    Open Access
    File
    9 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference contribution

    File
    63 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference 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 proceedingConference contribution

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