No photo of Moussa Amrani

View Scopus Profile

Moussa Amrani

  • Belgium

  • Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
20142019

Research activity per year

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

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.
  • 11 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots or
  • 20 Citations
  • 3 h-Index
  • 6 Conference contribution
  • 3 Article
  • 1 Foreword/postscript
  • 1 Chapter (peer-reviewed)
  • More

  • 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., 1 Jul 2018, p. 325-332. 8 p.

    Research output: Contribution to conference › Paper › peer-review

    Open Access
    File
    29 Downloads (Pure)

  • 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

  • 1 Participation in workshop, seminar, course
Your message has successfully been sent.
Your message was not sent due to an error.
If you made any changes in Pure these will be visible here soon.