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.

  • 5 Profils similaires
Modeling languages Ingénierie et Science des Matériaux
Application programming interfaces (API) Ingénierie et Science des Matériaux
Semantics Ingénierie et Science des Matériaux
DSL 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
Clocks Ingénierie et Science des Matériaux
Aging of materials Ingénierie et Science des Matériaux

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

Projets 2014 2018

Résultat de recherche 2014 2017

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

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. Association for Computing Machinery, Inc

Résultats de recherche: RechercheArticle dans les actes d'une conférence/un colloque

Formal Analysis
Object-oriented
Language
Computer programming
Semantics

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: Recherche - Revue par des pairsChapitre (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: RechercheArticle dans les actes d'une conférence/un colloque

DSL
Internet of things
Application programming interfaces (API)
Interoperability
Semantics

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

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

Featured Model Types: Towards Systematic Reuse in Modelling Language Engineering

Perrouin, G., Amrani, M., Acher, M., Legay, A. & Schobbens, P-Y. 2016 8th Workshop on Modelling in Software Engineering (MiSE’2016). Austin: ACM Press

Résultats de recherche: RechercheArticle dans les actes d'une conférence/un colloque

Modeling languages
Product development
Software engineering
Automation
Productivity

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