Membre du personnel

Moussa AMRANI

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

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

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: !!Research - Revue par des pairsChapitre (revu par des pairs)

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

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

FourthWorkshop on the globalization of modeling languages (GEMOC 2016) - Deantoni, J., Syriani, E., Amrani, M., Knapp, A. & Gray, J. 2016 Dans : CEUR Workshop Proceedings. 1731, p. 1-7 7 p.

Résultats de recherche: !!Research - Revue par des pairsArticle

Real-time model-driven engineering: An overview - Amrani, M. & Schobbens, P. Y. 2016 Dans : CEUR Workshop Proceedings. 1693, p. 18-27 10 p.

Résultats de recherche: !!Research - Revue par des pairsArticle

Report on the third workshop on verification of model transformations (VOLT 2014) - Amrani, M., Syriani, E., Wimmer, M., Bill, R., Gogolla, M., Hermann, F. & Lano, K. 1 janv. 2014 Dans : CEUR Workshop Proceedings. 1325, p. 1-9 9 p.

Résultats de recherche: !!Research - Revue par des pairsArticle