Publications HAL du labo/EPI naomod

Journal articles

titre
Scalable Model Views over Heterogeneous Modeling Technologies and Resources
auteur
Hugo Bruneliere, Florent Marchand de Kerchove, Gwendal Daniel, Sina Madani, Dimitris Kolovos, Jordi Cabot
article
Software and Systems Modeling, 2020, 19 (4), pp.827-851. ⟨10.1007/s10270-020-00794-6⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02515776/file/SoSyM-MODELS2018_ExtendedPaper_AuthorsVersion.pdf BibTex
titre
CoqTL: A Coq DSL for Rule-Based Model Transformation
auteur
Zheng Cheng, Massimo Tisi, Rémi Douence
article
Software and Systems Modeling, 2020, 19, pp.425-439. ⟨10.1007/s10270-019-00765-6⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02333564/file/Final.pdf BibTex
titre
Guest editors’ introduction to the special issue on Model Driven Engineering and Reverse Engineering: Research and Practice
auteur
Francesca Arcelli Fontana, Hugo Bruneliere, Hausi A. Müller, Claudia Raibulet
article
Journal of Systems and Software, 2020, 159, pp.110446. ⟨10.1016/j.jss.2019.110446⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02339020/file/JSS-SpecialIssueMDERE-GuestEditorsIntroduction_authorsversion.pdf BibTex

Conference papers

titre
Annotating Executable DSLs with Energy Estimation Formulas
auteur
Thibault Béziers La Fosse, Massimo Tisi, Jean-Marie Mottu, Gerson Sunyé
article
SLE 2020 - Software Language Engineering, Nov 2020, Chicago, Illinois / Virtual, United States. pp.22-38, ⟨10.1145/3426425.3426930⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03001493/file/main.pdf BibTex
titre
Model-Driven Engineering of Monitoring Application for Sensors and Actuators Networks
auteur
Thibault Béziers La Fosse, Zheng Cheng, Jérôme Rocheteau, Jean-Marie Mottu
article
Software Engineering and Advanced Applications, Aug 2020, Portorož, Slovenia
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02612730/file/SEAA2020_paper_102.pdf BibTex
titre
A Formalism for Specifying Model Merging Conflicts
auteur
Mohammadreza Sharbaf, Bahman Zamani, Gerson Sunyé
article
System Analysis and Modelling (SAM) conference, Oct 2020, Virtual Event, Canada. ⟨10.1145/3419804.3421447⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02930770/file/Sharbaf2020CPL.pdf BibTex
titre
MegaM@Rt2 EU Project: Open Source Tools for Mega-Modelling at Runtime of CPSs
auteur
Jesus Gorroñogoitia Cruz, Andrey Sadovykh, Dragos Truscan, Hugo Bruneliere, Pierluigi Pierini, Lara Lopez Muñiz
article
The 16th International Conference on Open Source Systems (OSS 2020), May 2020, Innopolis, Russia. pp.183-189, ⟨10.1007/978-3-030-47240-5_18⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02524402/file/OSS2020_MegaMaRt2_AuthorsVersion.pdf BibTex
titre
A Model-Driven Approach to Unravel the Interoperability Problem of the Internet of Things
auteur
Imad Berrouyne, Mehdi Adda, Jean-Marie Mottu, Jean-Claude Royer, Massimo Tisi
article
Advanced Information Networking and Applications, Apr 2020, Nantes, France. pp.1162-1175, ⟨10.1007/978-3-030-44041-1_100⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02943297/file/main.pdf BibTex
titre
Certifying a Rule-Based Model Transformation Engine for Proof Preservation
auteur
Zheng Cheng, Massimo Tisi, Joachim Hotonnier
article
ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Oct 2020, Montreal, Canada. ⟨10.1145/3365438.3410949⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02907622/file/coqtl-models-2020.pdf BibTex
titre
Challenges & Opportunities in Low-Code Testing
auteur
Faezeh Khorram, Jean-Marie Mottu, Gerson Sunyé
article
ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20 Companion), Oct 2020, Virtual, Canada. ⟨10.1145/3417990.3420204⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02946812/file/Challenges%26Opportunities%20in%20low-code%20testing.pdf BibTex
titre
Towards a Digital Twin for Cyber-Physical Production Systems: A Multi-Paradigm Modeling Approach in the Postal Industry
auteur
Asmaa Niati, Cyrine Selma, Dalila Tamzalit, Hugo Bruneliere, Nasser Mebarki, Olivier Cardin
article
ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS '20 Companion), Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3421438⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02925123/file/MPM4CPS2020_MPMforDT_paper_authorversion.pdf BibTex
titre
Towards Transparent Combination of Model Management Execution Strategies for Low-Code Development Platforms
auteur
Jolan Philippe, Hélène Coullon, Massimo Tisi, Gerson Sunyé
article
23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, Oct 2020, Montreal (Virtually), Canada. ⟨10.1145/3417990.3420206⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02952952/file/main.pdf BibTex

Reports

titre
Automatically Summarizing all the Problems of a Rule-Based System
auteur
Jean-Claude Royer, Massimo Tisi
article
[Research Report] IMT Atlantique. 2020
Accès au texte intégral et bibtex
https://hal.science/hal-02432411/file/main.pdf BibTex

Preprints, Working Papers, ...

titre
MegaM@Rt2 EU Project: Latest Advances in Megamodelling at Design Time and Runtime for Cyber-Physical Systems
auteur
Hugo Bruneliere, Dragos Truscan, Pierluigi Pierini, Andrey Sadovykh
article
2020
Accès au texte intégral et bibtex
https://hal.science/hal-03121170/file/MegaMaRt2_LatestAdvances_November2020.pdf BibTex