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

Résultat de recherche par an

Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Empreinte digitale

Passez en revue plus en détail les thèmes de recherche où Moussa Amrani est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.
  • 12 Profils similaires

Réseau

Collaboration externe récente au niveau des pays. Analysez le détail en cliquant sur les points.
  • 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

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

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceAvant-propos/Préface/post-scriptum

  • 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

  • Model-based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda

    Ortiz Vega, J. J., Perrouin, G., Amrani, M. & Schobbens, P-Y., 1 juil. 2018, p. 325-332. 8 p.

    Résultats de recherche: Contribution à un événement scientifique (non publié)ArticleRevue par des pairs

    Accès ouvert
    File
    31 Téléchargements (Pure)
  • Formal analysis of object-oriented mograms

    Amrani, M. & Schobbens, P. Y., 1 janv. 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

Votre message a bien été envoyé.
Votre message n’a pas été envoyé en raison d’une erreur.
Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.