Projets par année
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.
- 8 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
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
Clocks
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
MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems
Schobbens, P., Heymans, P. & Amrani, M.
21/11/14 → 24/11/18
Projet: Recherche
Résultat de recherche 2014 2017
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 PressRé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 . SpringerRésultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › 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-576Ré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-29Ré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
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 PressRé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
Modeling languages
Product development
Software engineering
Automation
Productivity
Presse/Médias
Software technologies: Applications and foundations (STAF 2014)
27/03/14
1 élément de couverture média
Presse/Médias: Commentaire d'expert