Aucune photo de MOUSSA AMRANI

Voir le profil Scopus

MOUSSA AMRANI

  • Belgique

  • 16 Citations
  • 3 h-Index
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.

  • 7 Profils similaires

Réseau Collaboration externe récente au niveau des pays. Analysez le détail en cliquant sur les points.

Projets

CoTu: Erasmus+ICT: PROJECT FOR HIGHER EDUCATION STUDENT AND STAFF MOBILITY BETWEEN PROGRAMME COUNTRIES AND PARTNER COUNTRIES

SCHOBBENS, P., AMRANI, M. & ORTIZ VEGA, J. J.

1/08/19 → 31/07/22

Projet: Recherche

VeriLearn: Verifying Learning Artificial Intelligence Systems

HEYMANS, P., FRENAY, B., SCHOBBENS, P., TEMPLE, P., Nanfack, G., AMRANI, M. & BIBAL, A.

1/01/18 → 31/12/22

Projet: Recherche

THCS: Testing Highly-configurable Systems

PERROUIN, G., SCHOBBENS, P., AMRANI, M., ORTIZ VEGA, J. J. & HEYMANS, P.

1/01/18 → 31/12/22

Projet: Recherche

MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems

SCHOBBENS, P., HEYMANS, P. & AMRANI, M.

21/11/14 → 24/11/18

Projet: Recherche

MoCReTT: Model-Checking Real-Time Transformations

AMRANI, M. & SCHOBBENS, P.

1/10/14 → 30/09/16

Projet: Recherche

Résultat de recherche

  • 16 Citations
  • 3 h-Index
  • 6 Article dans les actes d'une conférence/un colloque
  • 4 Article
  • 1 Avant-propos/Préface/post-scriptum
  • 1 Chapitre (revu par des pairs)

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érence › Article 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érence › Avant-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érence › Article 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., 2 août 2018, p. 325-332. 8 p.

    Résultats de recherche: Contribution à un événement scientifique (non publié) › Article

    Accès ouvert
    File
    • 27 Téléchargements (Pure)

    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.

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

    • Activités

    • 1 Participation à un atelier/workshop, un séminaire, un cours

    FOCUS Research Seminar

    Wim Vanhoof (Organisateur), , Jean-Marie Jacquet (Organisateur), , Manel Barkallah (Membre du Comité d'Organisation), , Gonzague Yernaux (Membre du Comité d'Organisation), , Pierre-Yves Schobbens (Membre du Comité d'Organisation), , James Jerson Ortiz Vega (Membre du Comité d'Organisation), , Moussa Amrani (Membre du Comité d'Organisation), , Isabelle Linden (Membre du Comité d'Organisation), & Christian Colot (Membre du Comité d'Organisation)

    6 déc. 2019

    Activité: Types de Participation ou d'organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours

    Presse/médias

    Software technologies: Applications and foundations (STAF 2014)

    Moussa Amrani

    27/03/14

    1 élément de Couverture média

    Presse/Médias: Commentaire d'expert