Aucune photo de Moussa Amrani

Vue de profil Scopus

Moussa Amrani

  • Belgique

  • 4 Citations
  • 1 h-Index
20142018
If you made any changes in Pure these will be visible here soon.

Empreinte digitale L’empreinte digitale est basée sur l’exploration du texte des documents scientifiques d’individus afin de créer un index de termes pondérés, qui définit les thèmes clés de chaque chercheur individuel.

  • 11 Profils similaires
Application programming interfaces (API) Ingénierie et Science des Matériaux
DSL Ingénierie et Science des Matériaux
Formal Analysis mathématiques
Taxonomies Ingénierie et Science des Matériaux
Real time systems Ingénierie et Science des Matériaux
Computer programming Ingénierie et Science des Matériaux
Semantics Ingénierie et Science des Matériaux
Object-oriented mathématiques

Réseau Récente collaboration externe au niveau du pays. Découvrez tous les détails en cliquant sur les points.

Projets 2014 2018

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 2014 2018

  • 4 Citations
  • 1 h-Index
  • 4 Article dans les actes d'une conférence/un colloque
  • 4 Article
  • 1 Chapitre (revu par des pairs)

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 9 p.

Résultats de recherche: Contribution à une conférence › Article

Accès ouvert
!!File
Taxonomies
Testing
Specifications
Costs

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

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

Formal Analysis
Computer programming
Object-oriented
Semantics
Modeling Language

Multi-timed Bisimulation for Distributed Timed Automata

Ortiz Vega, J. J., Schobbens, P. & Amrani, M. 2017 9th NASA Formal Methods Symposium NFM 2017 . Springer

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Chapitre (revu par des pairs)

Accès ouvert
!!File
Real time systems
Clocks
Computability and decidability
Explosions

Towards User-centric DSLs to Manage IoT Systems

Amrani, M., Gilson, F., Debieche, A. & Englebert, V. févr. 2017 Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. Ferreira Pires, L., Hammoudi, S. & Selic, B. (eds.). Porto (Portugal), Vol 1, p. 569-576

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

DSL
Application programming interfaces (API)
Interoperability
Semantics
Concretes

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

!!File
Application programming interfaces (API)
Aging of materials
Health care
Concretes
Specifications

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