Publications HAL du labo/EPI naomod

Journal articles

titre
Slicing ATL Model Transformations for Scalable Deductive Verification and Fault Localization
auteur
Zheng Cheng, Massimo Tisi
article
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2018, 20 (6), pp.645-663. ⟨10.1007/s10009-018-0491-8⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01763410/file/sttt2018.pdf BibTex
titre
Advanced Prefetching and Caching of Models with PrefetchML
auteur
Gwendal Daniel, Gerson Sunyé, Jordi Cabot
article
Software and Systems Modeling, Springer Verlag, 2018, pp.1-35. ⟨10.1007/s10270-018-0671-8⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01725030/file/document.pdf BibTex
titre
CoMe4ACloud: An End-to-End Framework for Autonomic Cloud Systems
auteur
Zakarea Al-Shara, Frederico Alvares, Hugo Bruneliere, Jonathan Lejeune, Charles Prud'Homme, Thomas Ledoux
article
Future Generation Computer Systems, Elsevier, 2018, 86, pp.339-354. ⟨10.1016/j.future.2018.03.039⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01762716/file/FGCS2018_CoMe4ACloud_AuthorsVersion.pdf BibTex
titre
The MegaM@Rt2 ECSEL project: MegaModelling at Runtime – Scalable model-based framework for continuous development and runtime validation of complex systems
auteur
Wasif Afzal, Hugo Bruneliere, Davide Di Ruscio, Andrey Sadovykh, Silvia Mazzini, Eric Cariou, Dragos Truscan, Jordi Cabot, Abel Gómez, Jesús Gorroñogoitia, Luigi Pomante, Pavel Smrz
article
Microprocessors and Microsystems: Embedded Hardware Design (MICPRO), Elsevier, 2018, 61, pp.86 - 95. ⟨10.1016/j.micpro.2018.05.010⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01810002/file/MegaMaRt2_MICPRO_AuthorVersion%20.pdf BibTex
titre
A hybrid re-composition based on components and web services
auteur
Khadidja Bentlemsan, Djamal Bennouar, Dalila Tamzalit, Khaled Walid Hidouci
article
International Journal of Computers and Applications, ACTA Press, 2018, pp.1 - 14. ⟨10.1080/1206212X.2018.1482820⟩
Accès au bibtex
BibTex
titre
Measurement and Generation of Diversity and Meaningfulness in Model Driven Engineering
auteur
Adel Ferdjoukh, Florian Galinier, Eric Bourreau, Annie Chateau, Clémentine Nebut
article
International Journal On Advances in Software, IARIA, 2018, 11 (1/2), pp.131-146
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02067506/file/grimmatIJAS.pdf BibTex
titre
Distributing Relational Model Transformation on MapReduce
auteur
Amine Benelallam, Abel Gómez, Massimo Tisi, Jordi Cabot
article
Journal of Systems and Software, Elsevier, 2018, 142, pp.1-20. ⟨10.1016/j.jss.2018.04.014⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01863885/file/distributed-atl%20%288%29.pdf BibTex

Conference papers

titre
Towards an Automated Fault Localizer while Designing Meta-models
auteur
Adel Ferdjoukh, Jean-Marie Mottu
article
MDEbug 2018, Oct 2018, Copenhagen, Denmark
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01962451/file/MDEbug_2018_paper_5_submission.pdf BibTex
titre
A Tool-Supported Approach for Building the Architecture and Roadmap in MegaM@Rt2 Project
auteur
Andrey Sadovykh, Alessandra Bagnato, Dragos Truscan, Pierluigi Pierini, Hugo Bruneliere, Abel Gomez, Jordi Cabot, Orlando Avila-García, Wasif Afzal
article
SEDA 2018: Proceedings of 6th International Conference in Software Engineering for Defence Applications, Jun 2018, Rome, Italy. pp.265-274, ⟨10.1007/978-3-030-14687-0_24⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01933464/file/SEDA_2018_MegaMart2paper-authorsversion.pdf BibTex
titre
Efficiently Characterizing the Undefined Requests of a Rule-Based System
auteur
Zheng Cheng, Jean-Claude Royer, Massimo Tisi
article
IFM 2018 - 14th International Conference on integrated Formal Methods, Sep 2018, Maynooth, Ireland. pp.69-88, ⟨10.1007/978-3-319-98938-9_5⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01828305/file/main.pdf BibTex
titre
Towards Scalable Model Views on Heterogeneous Model Resources
auteur
Hugo Bruneliere, Florent Marchand de Kerchove, Gwendal Daniel, Jordi Cabot
article
ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems (MODELS ’18), Oct 2018, Copenhagen, Denmark. pp.334-344, ⟨10.1145/3239372.3239408⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01845976/file/TowardsScalableModelViews_MODELS2018_AuthorVersion.pdf BibTex
titre
Towards Model-Based Communication Control for the Internet of Things
auteur
Imad Berrouyne, Mehdi Adda, Jean-Marie Mottu, Jean-Claude Royer, Massimo Tisi
article
STAF Workshops, Jun 2018, Toulouse, France. pp.644-655, ⟨10.1007/978-3-030-04771-9_49⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01984056/file/submissionSecureMDE.pdf BibTex
titre
CoqTL: an Internal DSL for Model Transformation in Coq
auteur
Massimo Tisi, Zheng Cheng
article
ICMT 2018 - 11th International Conference on Theory and Practice of Model Transformations, Jun 2018, Toulouse, France. pp.142-156, ⟨10.1007/978-3-319-93317-7_7⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01828344/file/main.pdf BibTex
titre
Model-Based System Engineering in Practice: Document Generation - MegaM@Rt2 Project Experience
auteur
Andrey Sadovykh, Adnan Ashraf, Alessandra Bagnato, Dragos Truscan, Pierluigi Pierini, Hugo Bruneliere, Orlando Avila-Carcia, Wasif Afzal
article
14th Central and Eastern European Software Engineering Conference Russia (CEE-SECR'18), Oct 2018, Moscow, Russia. pp.1-6, ⟨10.1145/3290621.3290633⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02102852/file/CEE-SECRAuthorsVersionwithCR.pdf BibTex
titre
Scalable Queries and Model Transformations with the Mogwaï Tool
auteur
Gwendal Daniel, Gerson Sunyé, Jordi Cabot
article
ICMT 2018, Jun 2018, Toulouse, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01802009/file/document.pdf BibTex
titre
Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap
auteur
Hugo Bruneliere, Romina Eramo, Abel Gomez, Valentin Besnard, Jean-Michel Bruel, Martin Gogolla, Andreas Kästner, Adrian Rutle
article
MDE@DeRun 2018 workshop, co-located with the Software Technologies: Applications and Foundations (STAF 2018) federation of conferences, Jun 2018, Toulouse, France. ⟨10.1007/978-3-030-04771-9_40⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01890878/file/MDE-DeRun2018_AuthorsVersion.pdf BibTex
titre
A Model-based Architecture for Autonomic and Heterogeneous Cloud Systems
auteur
Hugo Bruneliere, Zakarea Al-Shara, Frederico Alvares, Jonathan Lejeune, Thomas Ledoux
article
CLOSER 2018 - 8h International Conference on Cloud Computing and Services Science, Mar 2018, Funchal, Portugal. pp.201-212, ⟨10.5220/0006773002010212⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01705248/file/CoMe4ACloud_CLOSER2018_CameraReady.pdf BibTex
titre
Characterizing a Source Code Model with Energy Measurements
auteur
Thibault Béziers La Fosse, Jean-Marie Mottu, Massimo Tisi, Gerson Sunyé
article
Workshop on Measurement and Metrics for Green and Sustainable Software Systems (MeGSuS), Oct 2018, Oulu, Finland
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01952724/file/main.pdf BibTex
titre
A Feature-based Survey of Model View Approaches
auteur
Hugo Bruneliere, Erik Burger, Jordi Cabot, Manuel Wimmer
article
ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems (MODELS ’18), Oct 2018, Copenhagen, Denmark. pp.211-211, ⟨10.1145/3239372.3242895⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01891295/file/ModelViewSurvey-SOSYM-MODELS2018_AuthorsVersion.pdf BibTex

Book sections

titre
Industry 4.0 and Service Companies: The Case of the French Postal Service
auteur
Cyrine Selma, Dalila Tamzalit, Nasser Mebarki, Olivier Cardin, Loic Bruggeman, Didier Thiériot
article
Theodor Borangiu, Damien Trentesaux, André Thomas, Sergio Cavalieri. Service Orientation in Holonic and Multi-Agent Manufacturing - Proceedings of SOHOMA 2018, 803, Springer, pp.436-447, 2018, Studies in Computational Intelligence, ⟨10.1007/978-3-030-03003-2_34⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01982994/file/sohoma18_version%20FINALE.PDF BibTex

Reports

titre
The Abstract Accountability Language: its Syntax, Semantics and Tools
auteur
Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Anderson Santana de Oliveira
article
[Research Report] IMT Atlantique. 2018
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01856329/file/main.pdf BibTex

Theses

titre
Generic Model-based Approaches for Software Reverse Engineering and Comprehension
auteur
Hugo Bruneliere
article
Software Engineering [cs.SE]. Université de Nantes, 2018. English. ⟨NNT : 2018NANT4040⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02106854/file/PhD_HugoBruneliere_FinalManuscript_20190109.pdf BibTex