Benoit Combemale

232
Documents

Publications

Publications

Image document

Standards in software development and modeling

Marsha Chechik , Benoît Combemale , Jeff Gray , Bernhard Rumpe
Software and Systems Modeling, 2025, 24, pp.1315 - 1316. ⟨10.1007/s10270-025-01312-2⟩
Article dans une revue hal-05487857 v1
Image document

Augmenting graphical modeling workbenches with semantic-aware interactive features

Théo Giraudet , Arnaud Blouin , Benoit Combemale , Mélanie Bats , Pierre-Charles David
Proceedings of the ACM on Human-Computer Interaction , 2025, 9 (4), pp.1-29. ⟨10.1145/3733050⟩
Article dans une revue hal-04931045 v1
Image document

Model‐Driven Engineering for Digital Twins: Opportunities and Challenges

Judith Michael , Loek Cleophas , Steffen Zschaler , Tony Clark , Benoît Combemale et al.
Systems Engineering, 2025, 28 (5), pp.659-670. ⟨10.1002/sys.21815⟩
Article dans une revue hal-05060561 v1
Image document

Pragmatic specification of software behavior, configuration, and orchestration: the precision and usability of domain-specific modeling

Marsha Chechik , Benoît Combemale , Jeff Gray , Bernhard Rumpe
Software and Systems Modeling, 2025, 24, pp.1621 - 1622. ⟨10.1007/s10270-025-01339-5⟩
Article dans une revue hal-05487858 v1
Image document

Piloting Copilot, Codex, and StarCoder2: Hot temperature, cold prompts, or black magic?

Jean-Baptiste Döderlein , Nguessan Hermann Kouadio , Mathieu Acher , Djamel Eddine Khelladi , Benoit Combemale
Journal of Systems and Software, 2025, 230, pp.112562. ⟨10.1016/j.jss.2025.112562⟩
Article dans une revue hal-05474229 v1
Image document

Report on the State of the SoSyM Journal (2024 summary)

Stéphanie Challita , Benoît Combemale , Huseyin Ergin , Jeffrey Gray , Bernhard Rumpe et al.
Software and Systems Modeling, 2025
Article dans une revue hal-05487850 v1
Image document

Formal methods in the scope of the Software and Systems Modeling journal

Marsha Chechik , Benoît Combemale , Jeff Gray , Bernhard Rumpe
Software and Systems Modeling, 2025, 24 (2), pp.271-272. ⟨10.1007/s10270-025-01287-0⟩
Article dans une revue hal-05108048 v1
Image document

PolyDebug: a Framework for Polyglot Debugging

Philémon Houdaille , Djamel Eddine Khelladi , Benoit Combemale , Gunter Mussbacher , Tijs van Der Storm
The Art, Science, and Engineering of Programming, 2025, 9 (3), pp.1-24. ⟨10.22152/programming-journal.org/2025/10/13⟩
Article dans une revue hal-04906879 v1
Image document

Antonio Vallecillo

Stéphanie Challita , Marsha Chechik , Benoît Combemale , Huseyin Ergin , Jeff Gray et al.
Software and Systems Modeling, 2025, 24, pp.593 - 594. ⟨10.1007/s10270-025-01290-5⟩
Article dans une revue hal-05487852 v1
Image document

Modeling and Digital Twins: Insights and Strategies for Software Engineers

Silvia Abrahão , Miroslaw Staron , Judith Michael , Benoît Combemale , Marsha Chechik
IEEE Software, 2025
Article dans une revue hal-05485243 v1
Image document

On theory and management of dependencies between models

Marsha Chechik , Benoît Combemale , Jeff Gray , Bernhard Rumpe
Software and Systems Modeling, 2025, 24, pp.975 - 976. ⟨10.1007/s10270-025-01301-5⟩
Article dans une revue hal-05487855 v1
Image document

Variability Exploration for Decision Making: Supporting Domain Experts in Configuring Business Processes

Haitam El Hayani , Benoît Combemale , Olivier Barais , Steffen Zschaler
The Journal of Object Technology, 2025, pp.1-12
Article dans une revue hal-05029778 v2
Image document

Polyglot Software Development: Wait, What?

Gunter Mussbacher , Benoit Combemale , Jörg Kienzle , Lola Burgueño , Antonio Garcia-Dominguez et al.
IEEE Software, 2024, pp.1-8. ⟨10.1109/MS.2023.3347875⟩
Article dans une revue hal-04383286 v1
Image document

Model modularity for reuse, libraries and composition: symbol management is key

Benoît Combemale , Jeff Gray , Bernhard Rumpe
Software and Systems Modeling, 2024, 23 (3), pp.525-526. ⟨10.1007/s10270-024-01190-0⟩
Article dans une revue hal-04839542 v1
Image document

Report on the state of the SoSyM journal (2023 summary)

Stéphanie Challita , Benoît Combemale , Huseyin Ergin , Jeff Gray , Bernhard Rumpe et al.
Software and Systems Modeling, 2024, 23, pp.1 - 5. ⟨10.1007/s10270-024-01152-6⟩
Article dans une revue hal-04839592 v1
Image document

Model-based code generation works: But how far does it go?—on the role of the generator

Benoît Combemale , Jeff Gray , Bernhard Rumpe
Software and Systems Modeling, 2024, 23, pp.267 - 268. ⟨10.1007/s10270-024-01172-2⟩
Article dans une revue hal-04839561 v1
Image document

Modeling for sustainability: Sustainable Development Goals (SDG) of the United Nations

Benoît Combemale , Jeff Gray , Bernhard Rumpe
Software and Systems Modeling, 2024, 23, pp.799 - 800. ⟨10.1007/s10270-024-01196-8⟩
Article dans une revue hal-04839534 v1
Image document

How does your model represent the system? A note on model fidelity, underspecification, and uncertainty

Benoît Combemale , Jeff Gray , Jean-Marc Jézéquel , Bernhard Rumpe
Software and Systems Modeling, 2024, 23, pp.1053 - 1054. ⟨10.1007/s10270-024-01210-z⟩
Article dans une revue hal-04839512 v1
Image document

Mutation-guided Metamorphic Testing of Optimality in AI Planning

Quentin Mazouni , Arnaud Gotlieb , Helge Spieker , Mathieu Acher , Benoit Combemale
Journal of Software Testing, Verification and Reliability, 2024, 5 (1), pp.e1898. ⟨10.1002/stvr.1898⟩
Article dans une revue hal-05494710 v1
Image document

ChatGPT in software modeling

Benoit Combemale , Jeff Gray , Bernhard Rumpe
Software and Systems Modeling, 2023, 22 (3), pp.777-779. ⟨10.1007/s10270-023-01106-4⟩
Article dans une revue hal-04425731 v1

Protéger les données jusqu’à l’OS

Ludovic Pailler , Alain Tchana , Benoit Combemale
Dalloz IP/IT : droit de la propriété intellectuelle et du numérique, 2023
Article dans une revue hal-04216866 v1
Image document

On Understanding Context Modelling for Adaptive Authentication Systems

Anne Bumiller , Stéphanie Challita , Benoit Combemale , Olivier Barais , Nicolas Aillery et al.
ACM Transactions on Autonomous and Adaptive Systems, 2023, 18 (1), pp.1-35. ⟨10.1145/3582696⟩
Article dans une revue hal-04037520 v1
Image document

Research software engineering and the importance of scientific models

Benoit Combemale , Jeff Gray , Bernhard Rumpe
Software and Systems Modeling, 2023, 22 (4), pp.1081-1083. ⟨10.1007/s10270-023-01119-z⟩
Article dans une revue hal-04216671 v1
Image document

Large language models as an “operating” system for software and systems modeling

Benoit Combemale , Jeff Gray , Bernhard Rumpe
Software and Systems Modeling, 2023, 22 (5), pp.1391-1392. ⟨10.1007/s10270-023-01126-0⟩
Article dans une revue hal-04425734 v1

Guest editorial for the theme section on modeling language engineering

Benoit Combemale , Romina Eramo , Juan de Lara
Software and Systems Modeling, 2023, 22 (3), pp.795-796. ⟨10.1007/s10270-023-01097-2⟩
Article dans une revue hal-04216676 v1
Image document

Adopting the concept of a function as an underlying semantic paradigm for modeling languages

Benoit Combemale , Jeff Gray , Bernhard Rumpe
Software and Systems Modeling, 2023, 22 (6), pp.1733-1735. ⟨10.1007/s10270-023-01140-2⟩
Article dans une revue hal-04425740 v1
Image document

Report on the State of the SoSyM Journal end of 2022

Stéphanie Challita , Benoit Combemale , Huseyin Ergin , Jeff Gray , Bernhard Rumpe et al.
Software and Systems Modeling, 2023, 22 (1), pp.1-7. ⟨10.1007/s10270-023-01085-6⟩
Article dans une revue hal-04216688 v1

Protéger les données jusqu'à l'OS

Ludovic Pailler , Alain Tchana , Benoît Combemale
Dalloz IP/IT : droit de la propriété intellectuelle et du numérique, 2023, 11, pp.576
Article dans une revue halshs-04280509 v1
Image document

A Generic Framework for Representing and Analysing Model Concurrency

Steffen Zschaler , Erwan Bousse , Julien Deantoni , Benoit Combemale
Software and Systems Modeling, 2023, 22, pp.1319-1340. ⟨10.1007/s10270-022-01073-2⟩
Article dans une revue hal-03921704 v1
Image document

How to define modeling languages?

Benoit Combemale , Jeff Gray , Bernhard Rumpe
Software and Systems Modeling, 2023, 22 (2), pp.449-451. ⟨10.1007/s10270-023-01098-1⟩
Article dans une revue hal-04128248 v1
Image document

On the role of computer languages in scientific computing

Dorian Leroy , June Sallou , Johann Bourcier , Benoit Combemale
Computing in Science and Engineering, In press, pp.1-6
Article dans une revue hal-03799289 v1
Image document

Reasoning over Time into Models with DataTime

Gauthier Lyan , Jean-Marc Jézéquel , David Gross-Amblard , Romain Lefeuvre , Benoit Combemale
Software and Systems Modeling, 2022, pp.1-25
Article dans une revue hal-03921928 v1
Image document

Conceptualizing Digital Twins

Romina Eramo , Francis Bordeleau , Benoit Combemale , Mark van den Brand , Manuel Wimmer et al.
IEEE Software, 2022, 39 (2), pp.39-46. ⟨10.1109/MS.2021.3130755⟩
Article dans une revue hal-03466396 v1
Image document

A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems

Benoit Combemale , Jörg Kienzle , Gunter Mussbacher , Hyacinth Ali , Daniel Amyot et al.
IEEE Software, 2021, 38 (4), pp.Pages 71-84. ⟨10.1109/MS.2020.2995125⟩
Article dans une revue hal-02612087 v1
Image document

When Scientific Software Meets Software Engineering

Dorian Leroy , June Sallou , Johann Bourcier , Benoit Combemale
Computer, 2021, 54 (12), pp.60 - 71. ⟨10.1109/MC.2021.3102299⟩
Article dans une revue hal-03318348 v2
Image document

Open Access: all you wanted to know and never dared to ask

Alfonso Pierantonio , Mark van Den Brand , Benoit Combemale
The Journal of Object Technology, 2020, 19 (1), pp.1-4. ⟨10.5381/jot.2020.19.1.e1⟩
Article dans une revue hal-03137877 v1
Image document

Comparing and Classifying Model Transformation Reuse Approaches across Metamodels

Jean-Michel Bruel , Benoit Combemale , Esther M Guerra , Jean-Marc Jézéquel , Jörg Kienzle et al.
Software and Systems Modeling, 2020, 19 (2), pp.441-465. ⟨10.1007/s10270-019-00762-9⟩
Article dans une revue hal-02317864 v1
Image document

Modeling Languages in Industry 4.0: An Extended Systematic Mapping Study

Andreas Wortmann , Olivier Barais , Benoit Combemale , Manuel Wimmer
Software and Systems Modeling, 2020, 19 (1), pp.67-94. ⟨10.1007/s10270-019-00757-6⟩
Article dans une revue hal-02282028 v1
Image document

Runtime Monitoring for Executable DSLs

Dorian Leroy , Pierre Jeanjean , Erwan Bousse , Manuel Wimmer , Benoit Combemale
The Journal of Object Technology, 2020, 19 (2), pp.1-23. ⟨10.5381/jot.2020.19.2.a6⟩
Article dans une revue hal-03109992 v1
Image document

The Software Language Extension Problem

Manuel Leduc , Thomas Degueule , Eric van Wyk , Benoit Combemale
Software and Systems Modeling, 2020, 19 (2), pp.263-267. ⟨10.1007/s10270-019-00772-7⟩
Article dans une revue hal-02399166 v1
Image document

Towards Model-Driven Sustainability Evaluation

Jörg Kienzle , Gunter Mussbacher , Benoit Combemale , Lucy Bastin , Nelly Bencomo et al.
Communications of the ACM, 2020, 63 (3), pp.80-91. ⟨10.1145/3371906⟩
Article dans une revue hal-02146543 v2
Image document

Behavioral interfaces for executable DSLs

Dorian Leroy , Erwan Bousse , Manuel Wimmer , Tanja Mayerhofer , Benoit Combemale et al.
Software and Systems Modeling, 2020, 19 (4), pp.1015-1043. ⟨10.1007/s10270-020-00798-2⟩
Article dans une revue hal-02565549 v1
Image document

Automatic generation of Truffle-based interpreters for Domain-Specific Languages

Manuel Leduc , Gwendal Jouneaux , Thomas Degueule , Gurvan Le Guernic , Olivier Barais et al.
The Journal of Object Technology, 2020, 19 (2), pp.1-21. ⟨10.5381/jot.2020.19.2.a1⟩
Article dans une revue hal-02395867 v2
Image document

Live Modeling in the Context of State Machine Models and Code Generation

Mojtaba Bagherzadeh , Karim Jahed , Benoit Combemale , Juergen Dingel
Software and Systems Modeling, 2020, pp.1-44. ⟨10.1007/s10270-020-00829-y⟩
Article dans une revue hal-02942374 v1
Image document

Opportunities in Intelligent Modeling Assistance

Gunter Mussbacher , Benoit Combemale , Jörg Kienzle , Silvia Abrahão , Hyacinth Ali et al.
Software and Systems Modeling, 2020, 19 (5), pp.1045-1053. ⟨10.1007/s10270-020-00814-5⟩
Article dans une revue hal-02876536 v1
Image document

Advanced and efficient execution trace management for executable domain-specific modeling languages

Erwan Bousse , Tanja Mayerhofer , Benoit Combemale , Benoit Baudry
Software and Systems Modeling, 2019, pp.1-37. ⟨10.1007/s10270-017-0598-5⟩
Article dans une revue hal-01614377 v1
Image document

The JOT Journal: Towards a Rising Generation

Alfonso Pierantonio , Mark van den Brand , Benoit Combemale
The Journal of Object Technology, 2019, 18 (1), pp.1-3. ⟨10.5381/jot.2019.18.1.e1⟩
Article dans une revue hal-02408017 v1
Image document

Applying Model-Driven Engineering to High-Performance Computing: Experience Report, Lessons Learned, and Remaining Challenges

Benoît Lelandais , Marie-Pierre Oudot , Benoit Combemale
Journal of Computer Languages, 2019, 55, pp.1-10. ⟨10.1016/j.cola.2019.100919⟩
Article dans une revue hal-02296030 v1
Image document

A Unifying Framework for Homogeneous Model Composition

Jörg Kienzle , Gunter Mussbacher , Benoit Combemale , Julien Deantoni
Software and Systems Modeling, 2019, pp.1-19. ⟨10.1007/s10270-018-00707-8⟩
Article dans une revue hal-01949050 v1
Image document

Concern-Oriented Language Development (COLD): Fostering Reuse in Language Engineering

Benoit Combemale , Jörg Kienzle , Gunter Mussbacher , Olivier Barais , Erwan Bousse et al.
Computer Languages, Systems and Structures, 2018, 54, pp.139-155. ⟨10.1016/j.cl.2018.05.004⟩
Article dans une revue hal-01803008 v1
Image document

Omniscient Debugging for Executable DSLs

Erwan Bousse , Dorian Leroy , Benoit Combemale , Manuel Wimmer , Benoit Baudry
Journal of Systems and Software, 2018, 137, pp.261-288. ⟨10.1016/j.jss.2017.11.025⟩
Article dans une revue hal-01662336 v1
Image document

Reverse Engineering Language Product Lines from Existing DSL Variants

David A Méndez-Acuña , José A Galindo , Benoit Combemale , Arnaud Blouin , Benoit Baudry
Journal of Systems and Software, 2017, ⟨10.1016/j.jss.2017.05.042⟩
Article dans une revue hal-01524632 v1
Image document

Leveraging Software Product Lines Engineering in the Development of External DSLs: A Systematic Literature Review

David Méndez-Acuña , José Angel Galindo Duarte , Thomas Degueule , Benoit Combemale , Benoit Baudry
Computer Languages, Systems and Structures, 2016, ⟨10.1016/j.cl.2016.09.004⟩
Article dans une revue hal-01372702 v1
Image document

Safe Model Polymorphism for Flexible Modeling

Thomas Degueule , Benoit Combemale , Arnaud Blouin , Olivier Barais , Jean-Marc Jézéquel
Computer Languages, Systems and Structures, 2016, Computer Languages, Systems {\&} Structures, 49, pp.30. ⟨10.1016/j.cl.2016.09.001⟩
Article dans une revue hal-01367305 v2

Correct-by-construction model driven engineering composition operators

Mounira Kezadri , Marc Pantel , Xavier Thirioux , Benoit Combemale
Formal Aspects of Computing, 2016, 28 (3), ⟨10.1007/s00165-016-0354-6⟩
Article dans une revue hal-01319576 v1
Image document

Mashup of Meta-Languages and its Implementation in the Kermeta Language Workbench

Jean-Marc Jézéquel , Benoit Combemale , Olivier Barais , Martin Monperrus , François Fouquet
Software and Systems Modeling, 2015, 14 (2), pp.905-920. ⟨10.1007/s10270-013-0354-4⟩
Article dans une revue hal-00829839 v1
Image document

An Analysis of Metamodeling Practices for MOF and OCL

Juan Cadavid , Benoit Combemale , Benoit Baudry
Computer Languages, Systems and Structures, 2015, 41, pp.46. ⟨10.1016/j.cl.2015.02.002⟩
Article dans une revue hal-01186015 v1
Image document

Using Slicing to Improve the Performance of Model Invariant Checking

Wuliang Sun , Benoit Combemale , Robert B. France , Arnaud Blouin , Benoit Baudry et al.
The Journal of Object Technology, 2015, pp.28. ⟨10.5381/jot.2015.14.4.a1⟩
Article dans une revue hal-01179369 v1
Image document

Kompren: Modeling and Generating Model Slicers

Arnaud Blouin , Benoit Combemale , Benoit Baudry , Olivier Beaudoux
Software and Systems Modeling, 2015, 14 (1), pp.321-337. ⟨10.1007/s10270-012-0300-x⟩
Article dans une revue hal-00746566 v2
Image document

Formal Verification Techniques for Model Transformations: A Tridimensional Classification

Moussa Amrani , Benoit Combemale , Levi Lúcio , Gehan Selim , Jürgen Dingel et al.
The Journal of Object Technology, 2015, 14 (3), pp.1:1-43. ⟨10.5381/jot.2015.14.3.a1⟩
Article dans une revue hal-01083759 v1
Image document

Globalizing Modeling Languages

Benoit Combemale , Julien Deantoni , Benoit Baudry , Robert B. France , Jean-Marc Jézéquel et al.
Computer, 2014, pp.10-13
Article dans une revue hal-00994551 v1
Image document

Le nouveau défi de la coordination des langages de modélisation. Gestion de l'hétérogénéité des modèles dans le développement et l'exécution de systèmes logiciels complexes

Benoit Combemale , Julien Deantoni , Ali Koudri , Jérôme Le Noir
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2013, 105, pp.4-11
Article dans une revue hal-00854221 v1
Image document

Modeling Modeling Modeling

Pierre-Alain Muller , Frédéric Fondement , Benoit Baudry , Benoit Combemale
Software and Systems Modeling, 2012, 11 (3), pp.347-359. ⟨10.1007/s10270-010-0172-x⟩
Article dans une revue inria-00538459 v1
Image document

Bridging the Chasm Between MDE and the World of Compilation

Jean-Marc Jézéquel , Benoit Combemale , Steven Derrien , Clément Guy , Sanjay Rajopadhye
Software and Systems Modeling, 2012, 11 (4), pp.581-597. ⟨10.1007/s10270-012-0266-8⟩
Article dans une revue hal-00717219 v1
Image document

topPROCESS : vers une ingénierie des procédés dirigée par les modèles

Angel Garcia , Benoit Combemale , Xavier Crégut , Jérôme Vandeur
La Revue de l'électricité et de l'électronique, 2009, 2/2009, pp.Société de l'Electricité, de l'Electronique et des Technologies de l'Information et de la Communicat
Article dans une revue hal-00371557 v1
Image document

Essay on Semantics Definition in MDE. An Instrumented Approach for Model Verification

Benoit Combemale , Xavier Crégut , Pierre-Loïc Garoche , Xavier Thirioux
Journal of Software, 2009, 4 (9), pp.943-958
Article dans une revue hal-00371553 v1
Image document

A Property-Driven Approach to Formal Verification of Process Models

Benoit Combemale , Xavier Crégut , Pierre-Loïc Garoche , Xavier Thirioux , François Vernadat
Enterprise Information Systems, 2008, 12, pp.286-300. ⟨10.1007/978-3-540-88710-2⟩
Article dans une revue hal-00369884 v1
Image document

SéMo'07 : premier atelier sur la Sémantique des Modèles

Benoit Combemale , Xavier Crégut , Marc Pantel , Pierre Michel
Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2007, 13 (4), pp.137-144. ⟨10.3166/obj.13.4.137-144⟩
Article dans une revue hal-00369871 v1
Image document

Reclaiming Software Engineering as the Enabling Technology for the Digital Age

Tanja E. J. Vos , Tijs van der Storm , Alexander Serebrenik , Lionel Briand , Roberto Di Cosmo et al.
ICSE 2026 - Future of Software Engineering, Apr 2026, Rio De Janeiro, Brazil. ⟨10.1145/XXXXXXX.XXXXXXX⟩
Communication dans un congrès hal-05468508 v2
Image document

Modeling Sampling Workflows for Code Repositories

Romain Lefeuvre , Maïwenn Le Goasteller , Jessie Galasso , Benoit Combemale , Quentin Perez et al.
23rd International Conference on Mining Software Repositories (MSR ’26), Apr 2026, Rio de Janeiro (BRAZIL), Brazil
Communication dans un congrès hal-05478146 v1
Image document

Multi-Partner Project: A Model-Driven Engineering Framework for Federated Digital Twins of Industrial Systems (MATISSE)

Alessio Bucaioni , Romina Eramo , Luca Berardinelli , Hugo Bruneliere , Benoît Combemale et al.
DATE 2025 - Design, Automation and Test in Europe Conference, Mar 2025, Lyon, France. pp.1-6, ⟨10.23919/DATE64628.2025.10993046⟩
Communication dans un congrès hal-04839759 v1
Image document

Evaluating the Energy Profile of Tasks Managed by Build Automation Tools in Continuous Integration Workflows: The Case of Apache Maven and Gradle

Sérgio Queiroz de Medeiros , Romain Lefeuvre , Benoit Combemale , Quentin Perez
ICT4S 2025 - International Conference on Information and Communications Technology for Sustainability, Jun 2025, Dublin, Ireland. pp.1-11, ⟨10.1109/ICT4S68164.2025.00011⟩
Communication dans un congrès hal-05090865 v2
Image document

Evolution at the Core of Digital Twin Engineering

Tarek Alskaif , Önder Babur , Francis Bordeleau , Loek Cleophas , Benoît Combemale et al.
EDTconf 2025 - 2nd International Conference on Engineering Digital Twins, Oct 2025, Grand Rapids, Michigan, United States. pp.1-6
Communication dans un congrès hal-05221886 v1
Image document

On the Challenges of Integrating Digital Twins

Benoît Combemale , Jörg Kienzle , Gunter Mussbacher , Pascal Archambault , Jean-Michel Bruel et al.
EDTconf 2025 - 2nd International Conference on Engineering Digital Twins, Oct 2025, Grand Rapids, Michigan, United States. pp.1-7
Communication dans un congrès hal-05221809 v1
Image document

Modeling: The Heart and Soul of Engineering Smart Ecosystems

Antonio Bucchiarone , Benoît Combemale , Alfonso Pierantonio , Nelly Bencomo , Mark van den Brand et al.
SAM 2025 - 17th System Analysis and Modelling conference, Oct 2025, Grand Rapids, Michigan, United States. pp.1-8
Communication dans un congrès hal-05229815 v1
Image document

Towards a Unifying Reference Model for Digital Twins of Cyber-Physical Systems

Jérôme Pfeiffer , Jingxi Zhang , Benoît Combemale , Judith Michael , Bernhard Rumpe et al.
ETFA 2025 - 30th IEEE International Conference on Emerging Technologies and Factory Automation, Sep 2025, Porto (Portugal), Portugal. pp.1-4
Communication dans un congrès hal-05224789 v1
Image document

On the Effect of Feature Reduction on Energy Consumption: An Exploratory Study

Xhevahire Tërnava , Romain Lefeuvre , Quentin Perez , Djamel Eddine Khelladi , Mathieu Acher et al.
SPLC 2025 - 29th ACM International Systems and Software Product Line Conference, Sep 2025, A Coruña, Spain. pp.1-11, ⟨10.1145/3744915.3748463⟩
Communication dans un congrès hal-05166140 v1
Image document

Engineering Digital Twins: A Research Roadmap

Benoît Combemale , Pascale Vicat-Blanc , Arnaud Blouin , Hind Bril El Haouzi , Jean-Michel Bruel et al.
EDTconf 2025 - 2nd International Conference on Engineering Digital Twins, Oct 2025, Grand Rapids, Michigan, United States. pp.1-7
Communication dans un congrès hal-05223776 v1
Image document

GreyCat: A Framework to Develop Digital Twins at Large Scale

Francois Fouquet , Thomas Hartmann , Cyril Cecchinel , Benoît Combemale
EDTConf 2024 - 1st International Conference on Engineering Digital Twins, Sep 2024, Linz, Austria. pp.492-495, ⟨10.1145/3652620.3688265⟩
Communication dans un congrès hal-04839614 v1
Image document

Embracing Deep Variability For Reproducibility and Replicability

Mathieu Acher , Benoît Combemale , Georges Aaron Randrianaina , Jean-Marc Jézéquel
REP 2024 - ACM Conference on Reproducibility and Replicability, ACM, Jun 2024, Rennes, France. pp.1-7
Communication dans un congrès hal-04582287 v1
Image document

There Is Only One Time in Software (Language) Engineering! (Keynote)

Benoît Combemale
SLE 2024 - 17th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2024, Pasadena CA, United States. pp.1-1, ⟨10.1145/3687997.3700296⟩
Communication dans un congrès hal-04827348 v1
Image document

Global Decision Making Support for Complex System Development

Lola Burgueño , Damien Foures , Benoît Combemale , Jörg Kienzle , Gunter Mussbacher
RE 2024 - IEEE 32nd International Requirements Engineering Conference, Jun 2024, Reykjavik, Iceland. pp.252-263, ⟨10.1109/RE59067.2024.00032⟩
Communication dans un congrès hal-04839629 v1
Image document

On Polyglot Program Testing

Philémon Houdaille , Djamel Eddine Khelladi , Benoît Combemale , Gunter Mussbacher
FSE 2024 - 32nd ACM International Conference on the Foundations of Software Engineering, Jul 2024, Porto de Galinhas, Brazil. pp.1-5, ⟨10.1145/3663529.3663787⟩
Communication dans un congrès hal-04588744 v1
Image document

Practical Runtime Instrumentation of Software Languages: The Case of SciHook

Dorian Leroy , Benoit Combemale , Benoît Lelandais , Marie-Pierre Oudot
SLE 2023 - 16th ACM SIGPLAN International Conference on Software Language Engineering, ACM SIGPLAN: Special Interest Group on Programming Languages, Oct 2023, Cascais, Lisbon, Portugal. pp.1-6
Communication dans un congrès hal-04249049 v1
Image document

Adaptive Structural Operational Semantics

Gwendal Jouneaux , Damian Frölich , Olivier Barais , Benoit Combemale , Gurvan Le Guernic et al.
SLE 2023 - 16th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2023, Cascais, Portugal. pp.29-42, ⟨10.1145/3623476.3623517⟩
Communication dans un congrès hal-04252577 v1
Image document

Fingerprinting and Building Large Reproducible Datasets

Romain Lefeuvre , Jessie Galasso , Benoit Combemale , Houari Sahraoui , Stefano Zacchiroli
ACM REP 2023 - ACM Conference on Reproducibility and Replicability, Jun 2023, Santa Cruz, United States. pp.27-36, ⟨10.1145/3589806.3600043⟩
Communication dans un congrès hal-04132604 v1
Image document

Model-Based DevOps: Foundations and Challenges

Benoit Combemale , Jean-Marc Jézéquel , Quentin Perez , Didier Vojtisek , Nico Jansen et al.
MODELS-C 2023 - ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, Oct 2023, Västerås, Sweden. pp.429-433, ⟨10.1109/MODELS-C59198.2023.00076⟩
Communication dans un congrès hal-04425802 v1
Image document

Specialization of Run-time Configuration Space at Compile-time: An Exploratory Study

Xhevahire Tërnava , Mathieu Acher , Benoit Combemale
SAC 2023 - The 38th ACM/SIGAPP Symposium on Applied Computing, Mar 2023, Tallinn, Estonia. pp.1-10
Communication dans un congrès hal-03916459 v1
Image document

rgpdOS: GDPR Enforcement By The Operating System

Alain Tchana , Raphael Colin , Adrien Le Berre , Vincent Berger , Benoît Combemale et al.
DSN 2023 - 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2023, Porto, Portugal. pp.100-104, ⟨10.1109/DSN-S58398.2023.00032⟩
Communication dans un congrès hal-04425768 v1
Image document

Polyglot AST: Towards Enabling Polyglot Code Analysis

Philémon Houdaille , Djamel Eddine Khelladi , Romain Briend , Robbert Jongeling , Benoit Combemale
ICECCS 2023 - 27th International Conference on Engineering of Complex Computer Systems, Jun 2023, Toulouse, France. pp.1-10
Communication dans un congrès hal-04077663 v2
Image document

Experience in Specializing a Generic Realization Language for SPL Engineering at Airbus

Damien Foures , Mathieu Acher , Olivier Barais , Benoit Combemale , Jean-Marc Jézéquel et al.
MODELS 2023 - 26th International Conference on Model-Driven Engineering Languages and Systems, ACM; IEEE, Oct 2023, Västerås, Sweden. pp.1-12
Communication dans un congrès hal-04216627 v1
Image document

A Context-Driven Modelling Framework for Dynamic Authentication Decisions

Anne Bumiller , Olivier Barais , Stéphanie Challita , Benoit Combemale , Nicolas Aillery et al.
SEAA 2022 - Euromicro Conference Series on Software Engineering and Advanced Applications, Aug 2022, Maspalomas, Spain. pp.1-8
Communication dans un congrès hal-03729080 v1
Image document

A community-sourced view on engineering digital twins: A Report from the EDT.Community

Loek Cleophas , Thomas Godfrey , Djamel Eddine Khelladi , Daniel Lehner , Benoit Combemale et al.
ModDiT 2022 - 2nd International Workshop on Model-Driven Engineering of Digital Twins, ACM; IEEE CS; University of Montreal, Oct 2022, Montréal, Canada. pp.481-485, ⟨10.1145/3550356.3561549⟩
Communication dans un congrès hal-03933973 v1
Image document

Global Decision Making Over Deep Variability in Feedback-Driven Software Development

Jörg Kienzle , Benoit Combemale , Gunter Mussbacher , Omar Alam , Francis Bordeleau et al.
ASE 2022 - 37th IEEE/ACM International Conference on Automated Software Engineering, Oct 2022, Rochester, MI, United States. pp.1-6, ⟨10.1145/3551349.3559551⟩
Communication dans un congrès hal-03770004 v1
Image document

A Language-Parametric Approach to Exploratory Programming Environments

L. Thomas van Binsbergen , Damian Frölich , Mauricio Verano Merino , Joey Lai , Pierre Jeanjean et al.
SLE 2022 - 15th ACM SIGPLAN International Conference on Software Language Engineering, ACM SIGPLAN: Special Interest Group on Programming Languages, Dec 2022, Auckland, New Zealand. pp.175-188, ⟨10.1145/3567512.3567527⟩
Communication dans un congrès hal-03921387 v1
Image document

DataTime: a Framework to smoothly Integrate Past, Present and Future into Models

Gauthier Lyan , Jean-Marc Jézéquel , David Gross-Amblard , Benoit Combemale
MODELS 2021 - ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems, Oct 2021, Fukuoka, Japan. pp.1-11
Communication dans un congrès hal-03355162 v1
Image document

SEALS: A framework for building Self-Adaptive Virtual Machines

Gwendal Jouneaux , Olivier Barais , Benoit Combemale , Gunter Mussbacher
SLE 2021 - 14th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2021, Chicago, United States. pp.1-14, ⟨10.1145/3486608.3486912⟩
Communication dans un congrès hal-03355253 v1
Image document

Towards Self-Adaptable Languages

Gwendal Jouneaux , Olivier Barais , Benoit Combemale , Gunter Mussbacher
Onward! 2021 - ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Oct 2021, Chicago, United States. pp.1-16
Communication dans un congrès hal-03318816 v1
Image document

IDE as Code: Reifying Language Protocols as First-Class Citizens

Pierre Jeanjean , Benoit Combemale , Olivier Barais
ISEC 2021 - Innovations in Software Engineering Conference, Feb 2021, Bhubaneswar / Virtual, India. pp.1-5
Communication dans un congrès hal-03107122 v1
Image document

Monilogging for Executable Domain-Specific Languages

Dorian Leroy , Benoît Lelandais , Marie-Pierre Oudot , Benoit Combemale
SLE 2021 - 14th International Conference on Software Language Engineering, Oct 2021, Chicago, United States. pp.1-14, ⟨10.1145/3486608.3486906⟩
Communication dans un congrès hal-03358061 v1
Image document

From Monolithic to Microservice Architecture: The Case of Extensible and Domain-Specific IDEs

Romain Belafia , Pierre Jeanjean , Olivier Barais , Gurvan Le Guernic , Benoit Combemale
MODELS 2021: ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems, Oct 2021, Virtual, Japan. pp.1-10
Communication dans un congrès hal-03342678 v1
Image document

Co-Evolving Code with Evolving Metamodels

Djamel Eddine Khelladi , Benoit Combemale , Mathieu Acher , Olivier Barais , Jean-Marc Jézéquel
ICSE 2020 - 42nd International Conference on Software Engineering, Jul 2020, Séoul, South Korea. pp.1-13
Communication dans un congrès hal-03029429 v1
Image document

On the Power of Abstraction: a Model-Driven Co-evolution Approach of Software Code

Djamel Eddine Khelladi , Benoit Combemale , Mathieu Acher , Olivier Barais
ICSE-NIER 2020 - ACM/IEEE 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Oct 2020, Séoul, South Korea. pp.1-4
Communication dans un congrès hal-03029426 v1
Image document

Loop Aggregation for Approximate Scientific Computing

June Sallou , Alexandre Gauvain , Johann Bourcier , Benoit Combemale , Jean-Raynald de Dreuzy
ICCS 2020 - International Conference on Computational Science, 2020, Amsterdam, Netherlands. pp.141-155, ⟨10.1007/978-3-030-50417-5_11⟩
Communication dans un congrès hal-02545875 v1
Image document

Towards an Assessment Grid for Intelligent Modeling Assistance

Gunter Mussbacher , Benoit Combemale , Silvia Abrahão , Nelly Bencomo , Loli Burgueño et al.
MDE Intelligence 2020 - 2nd Workshop on Artificial Intelligence and Model-driven Engineering, Oct 2020, Montreal, Canada. pp.1-10
Communication dans un congrès hal-02925142 v1
Image document

Towards Model-Driven Digital Twin Engineering: Current Opportunities and Future Challenges

Francis Bordeleau , Benoit Combemale , Romina Eramo , Mark van den Brand , Manuel Wimmer
ICSMM 2020 - International Conference on Systems Modelling and Management, Jun 2020, Bergen, Norway
Communication dans un congrès hal-02946949 v1
Image document

A principled approach to REPL interpreters

L. Thomas van Binsbergen , Mauricio Verano Merino , Pierre Jeanjean , Tijs van Der Storm , Benoit Combemale et al.
SPLASH 2020 - ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, Nov 2020, Chicago / Virtual, United States. pp.1-17, ⟨10.1145/3426428.3426917⟩
Communication dans un congrès hal-02968938 v1
Image document

Modular and Distributed IDE

Fabien Coulon , Alex Auvolat , Benoit Combemale , Yérom-David Bromberg , François Taïani et al.
SLE 2020 - 13th ACM SIGPLAN International Conference on Software Language Engineering, Nov 2020, Virtual, United States. pp.270-282, ⟨10.1145/3426425.3426947⟩
Communication dans un congrès hal-02964806 v2
Image document

Live-UMLRT: A Tool for Live Modeling of UML-RT Models

Mojtaba Bagherzadeh , Karim Jahed , Benoit Combemale , Juergen Dingel
MODELS 2019 - ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, Sep 2019, Munich, Germany. pp.743-747, ⟨10.1109/MODELS-C.2019.00115⟩
Communication dans un congrès hal-02407932 v1
Image document

Approximate Loop Unrolling

Marcelino Rodriguez-Cancio , Benoit Combemale , Benoit Baudry
CF 2019 - ACM International Conference on Computing Frontiers, Apr 2019, Alghero, Sardinia, Italy. pp.94-105, ⟨10.1145/3310273.3323841⟩
Communication dans un congrès hal-02407868 v1
Image document

From DSL Specification to Interactive Computer Programming Environment

Pierre Jeanjean , Benoit Combemale , Olivier Barais
SLE 2019 - 12th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2019, Athènes, Greece. pp.167-178, ⟨10.1145/3357766.3359540⟩
Communication dans un congrès hal-02307953 v1
Image document

Bringing Intelligence to Sociotechnical IoT Systems: Modeling Opportunities and Challenges

Benoit Combemale
MDE4IoT 2019 - 3nd International Workshop on Model-Driven Engineering for the Internet-of-Things, Sep 2019, Munich, Germany. pp.1-2
Communication dans un congrès hal-02285737 v1
Image document

Shape-Diverse DSLs: Languages without Borders (Vision Paper)

Fabien Coulon , Thomas Degueule , Tijs van Der Storm , Benoit Combemale
SLE 2018 - 11th ACM SGIPLAN International Conference on Software Language Engineering, Nov 2018, Boston, United States. pp.215-219, ⟨10.1145/3276604.3276623⟩
Communication dans un congrès hal-01889155 v1

Reverse engineering language product lines from existing DSL variants

David Méndez-Acuña , José Galindo , Benoit Combemale , Arnaud Blouin , Benoit Baudry
22nd International Systems and Software Product Line Conference - SPLC 2018, Sep 2018, Gothenburg, Sweden. pp.148, ⟨10.1145/3233027.3236394⟩
Communication dans un congrès hal-02982981 v1
Image document

Modular Language Composition for the Masses

Manuel Leduc , Thomas Degueule , Benoit Combemale
SLE 2018 - 11th ACM SIGPLAN International Conference on Software Language Engineering, Nov 2018, Boston, United States. pp.1-12, ⟨10.1145/3276604.3276622⟩
Communication dans un congrès hal-01890446 v1
Image document

Tool-Support of Socio-Technical Coordination in the Context of Heterogeneous Modeling: A Research Statement and Associated Roadmap

Francis Bordeleau , Benoit Combemale , Romina Eramo , Mark van Den Brand , Manuel Wimmer
GEMOC 2018 - 6th International Workshop on The Globalization of Modeling Languages, Oct 2018, Copenhagen, Denmark. pp.1-3
Communication dans un congrès hal-01958443 v1
Image document

Model Transformation Reuse across Metamodels - A classification and comparison of approaches

Jean-Michel Bruel , Benoit Combemale , Esther Guerra , Jean-Marc Jézéquel , Jörg Kienzle et al.
ICMT 2018 - International Conference on Theory and Practice of Model Transformations, Jun 2018, Toulouse, France. pp.92-109, ⟨10.1007/978-3-319-93317-7_4⟩
Communication dans un congrès hal-01910113 v1
Image document

Trace Comprehension Operators for Executable DSLs

Dorian Leroy , Erwan Bousse , Anaël Megna , Benoit Combemale , Manuel Wimmer
ECMFA 2018 - 14th European Conference on Modelling Foundations and Applications, Jun 2018, Toulouse, France. pp.293-310, ⟨10.1007/978-3-319-92997-2_19⟩
Communication dans un congrès hal-01803031 v1
Image document

Fostering metamodels and grammars within a dedicated environment for HPC: the NabLab environment (tool demo)

Benoît Lelandais , Marie-Pierre Oudot , Benoit Combemale
SLE 2018 - International Conference on Software Language Engineering, Nov 2018, Boston, United States. pp.1-9, ⟨10.1145/3276604.3276620⟩
Communication dans un congrès hal-01910139 v1
Image document

Create and Play your Pac-Man Game with the GEMOC Studio (Tool Demonstration)

Dorian Leroy , Erwan Bousse , Manuel Wimmer , Benoit Combemale , Wieland Schwinger
EXE 2017 - 3rd International Workshop on Executable Modeling, Sep 2017, Austin, United States. pp.1-6
Communication dans un congrès hal-01651801 v1
Image document

Revisiting Visitors for Modular Extension of Executable DSMLs

Manuel Leduc , Thomas Degueule , Benoit Combemale , Tijs van Der Storm , Olivier Barais
2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Sep 2017, Austin, United States. ⟨10.1109/MODELS.2017.23⟩
Communication dans un congrès hal-01568169 v1
Image document

A Systematic Mapping Study on Modeling for Industry 4.0

Andreas Wortmann , Benoit Combemale , Olivier Barais
MODELS '17: Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Sep 2017, Austin, TX, USA, United States
Communication dans un congrès hal-03284857 v1
Image document

Language Engineering with the GEMOC Studio

Olivier Barais , Benoit Combemale , Andreas Wortmann
ICSAW 2017 - IEEE International Conference on Software Architecture Workshops, Apr 2017, Gothenburg, Sweden. pp.3
Communication dans un congrès hal-01609576 v1
Image document

Automatic Microbenchmark Generation to Prevent Dead Code Elimination and Constant Folding

Marcelino Rodriguez-Cancio , Benoit Combemale , Benoit Baudry
31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016) , Sep 2016, Singapore, Singapore
Communication dans un congrès hal-01343818 v1
Image document

A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models

Benoit Combemale , Cédric Brun , Joël Champeau , Xavier Crégut , Julien Deantoni et al.
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016, Toulouse, France
Communication dans un congrès hal-01258358 v1
Image document

Puzzle: A tool for analyzing and extracting specification clones in DSLs

David Méndez-Acuña , José Angel Galindo Duarte , Benoit Combemale , Arnaud Blouin , Benoit Baudry
ICSR 2016 the 15th International Conference on Software Reuse, Jun 2016, Limassol, Cyprus
Communication dans un congrès hal-01284822 v1
Image document

Modeling for Sustainability

Benoit Combemale , Betty H.C. Cheng , Ana Moreira , Jean-Michel Bruel , Jeff Gray
Modeling in Software Engineering 2016 (MiSE'16), May 2016, Austin, United States. pp.62-66
Communication dans un congrès hal-01517387 v3
Image document

Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework

Gurvan Le Guernic , Benoit Combemale , José Angel Galindo Duarte
3rd Workshop on Formal Integrated Development Environment, Catherine Dubois; Dominique Mery; Paolo Masci, Nov 2016, Limassol, Cyprus
Communication dans un congrès hal-01401849 v1
Image document

Featured model types: Towards Systematic Reuse in Modelling Language Engineering

Gilles Perrouin , Moussa Amrani , Mathieu Acher , Benoit Combemale , Axel Legay et al.
MiSE '16 - 8th International Workshop on Modeling in Software Engineering, May 2016, New york, United States. pp.1 - 7, ⟨10.1145/2896982.2896987⟩
Communication dans un congrès hal-01406507 v1
Image document

VCU: The Three Dimensions of Reuse

Jörg Kienzle , Gunter Mussbacher , Omar Alam , Matthias Schöttle , Nicolas Belloir et al.
15th International Conference on Software Reuse (ICSR-15), May 2016, Limassol, Cyprus
Communication dans un congrès hal-01287720 v1
Image document

Lightning Talk:"I solemnly pledge" A Manifesto for Personal Responsibility in the Engineering of Academic Software

Alice Allen , Cecilia Aragon , Christoph Becker , Jeffrey C. Carver , Andrei Chis et al.
Fourth Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4), 2016, Manchester, United Kingdom
Communication dans un congrès hal-01367344 v1
Image document

Execution Framework of the GEMOC Studio (Tool Demo)

Erwan Bousse , Thomas Degueule , Didier Vojtisek , Tanja Mayerhofer , Julien Deantoni et al.
Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Oct 2016, Amsterdam, Netherlands. pp.8
Communication dans un congrès hal-01355391 v2
Image document

Reverse-engineering reusable language modules from legacy domain-specific languages

David Méndez-Acuña , José Angel Galindo Duarte , Benoit Combemale , Arnaud Blouin , Benoit Baudry et al.
International Conference on Software Reuse, Jun 2016, Limassol, Cyprus
Communication dans un congrès hal-01284816 v1
Image document

MDE in Practice for Computational Science

Jean-Michel Bruel , Benoit Combemale , Ileana Ober , Hélène Raynal
INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, Université de Reykjavik. Reykjavik, ISL., Jun 2015, Reykjavík, Iceland. 10 p., ⟨10.1016/j.procs.2015.05.182⟩
Communication dans un congrès hal-01141393 v1
Image document

Supporting Efficient and Advanced Omniscient Debugging for xDSMLs

Erwan Bousse , Jonathan Corley , Benoit Combemale , Jeff Gray , Benoit Baudry
8th International Conference on Software Language Engineering (SLE), Oct 2015, Pittsburg, United States
Communication dans un congrès hal-01182517 v2
Image document

Product Lines Can Jeopardize Their Trade Secrets

Mathieu Acher , Guillaume Bécan , Benoit Combemale , Benoit Baudry , Jean-Marc Jézéquel
10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Aug 2015, Bergame, Italy. ⟨10.1145/2786805.2803210⟩
Communication dans un congrès hal-01234342 v1
Image document

Reusing Legacy DSLs with Melange

Thomas Degueule , Benoit Combemale , Arnaud Blouin , Olivier Barais
15th Workshop on Domain-Specific Modeling, Oct 2015, Pittsburgh, United States
Communication dans un congrès hal-01197039 v2
Image document

A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio

Benoit Combemale , Julien Deantoni , Olivier Barais , Arnaud Blouin , Erwan Bousse et al.
8th Transformation Tool Contest, 2015, l'Aquila, Italy
Communication dans un congrès hal-01152342 v2
Image document

A Model-Driven Based Environment for Automatic Model Coordination

Matias Ezequiel Vara Larsen , Julien Deantoni , Benoit Combemale , Frédéric Mallet
Models 2015 demo and posters, Oct 2015, Ottawa, Canada
Communication dans un congrès hal-01198744 v1
Image document

Towards the use of slicing techniques for an efficient invariant checking

Wuliang Sun , Benoit Combemale , Robert B. France
MODULARITY 2015, Mar 2015, Fort Collins, United States. pp.2, ⟨10.1145/2735386.2735926⟩
Communication dans un congrès hal-01141395 v1
Image document

A Behavioral Coordination Operator Language (BCOoL)

Matias Ezequiel Vara Larsen , Julien Deantoni , Benoit Combemale , Frédéric Mallet
International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2015, Ottawa, Canada. pp.462
Communication dans un congrès hal-01182773 v1
Image document

Weaving Concurrency in eXecutable Domain-Specific Modeling Languages

Florent Latombe , Xavier Crégut , Benoit Combemale , Julien Deantoni , Marc Pantel
8th ACM SIGPLAN International Conference on Software Language Engineering (SLE), 2015, Pittsburg, United States
Communication dans un congrès hal-01185911 v1
Image document

A Generative Approach to Define Rich Domain-Specific Trace Metamodels

Erwan Bousse , Tanja Mayerhofer , Benoit Combemale , Benoit Baudry
11th European Conference on Modelling Foundations and Applications (ECMFA), Jul 2015, L’Aquila, Italy
Communication dans un congrès hal-01154225 v1
Image document

Coping with Semantic Variation Points in Domain-Specific Modeling Languages

Florent Latombe , Xavier Crégut , Julien Deantoni , Marc Pantel , Benoit Combemale
1st International Workshop on Executable Modeling (EXE'15), co-located with MODELS'15, 2015, Ottawa, Canada
Communication dans un congrès hal-01222999 v1
Image document

CLARITY: Open-Sourcing the Model-Based Systems Engineering Solution Capella

Christophe Boudjennah , Benoit Combemale , Daniel Exertier , Stéphane Lacrampe , Marie-Agnès Peraldi-Frati
Second Workshop on Open Source Software for Model Driven Engineering (OSS4MDE’15), 2015, Ottawa, Canada
Communication dans un congrès hal-01186019 v2
Image document

Towards a Meta-Language for the Concurrency Concern in DSLs

Julien Deantoni , Papa Issa Diallo , Ciprian Teodorov , Joël Champeau , Benoit Combemale
Design, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France
Communication dans un congrès hal-01087442 v1
Image document

Melange: A Meta-language for Modular and Reusable Development of DSLs

Thomas Degueule , Benoit Combemale , Arnaud Blouin , Olivier Barais , Jean-Marc Jézéquel
8th International Conference on Software Language Engineering (SLE), Oct 2015, Pittsburgh, United States
Communication dans un congrès hal-01197038 v1

Vers une approche centrée humain pour la définition de langages de modélisation graphiques

Sophie Dupuy-Chessa , Benoit Combemale , Marie-Pierre Gervais , Thierry Nodenot , Xavier Le Pallec et al.
32ème congrès Inforsid'2014, May 2014, Lyon, France. pp.79-94
Communication dans un congrès hal-01002994 v1
Image document

Towards Scalable Multidimensional Execution Traces for xDSMLs

Erwan Bousse , Benoit Combemale , Benoit Baudry
11th Workshop on Model Design, Verification and Validation Integrating Verification and Validation in MDE (MoDeVVa 2014), Sep 2014, Valencia, Spain
Communication dans un congrès hal-01061740 v1
Image document

Automating Variability Model Inference for Component-Based Language Implementations

Edoardo Vacchi , Walter Cazzola , Benoit Combemale , Mathieu Acher
SPLC'14 - 18th International Software Product Line Conference, Sep 2014, Florence, Italy
Communication dans un congrès hal-01023864 v1
Image document

When Systems Engineering Meets Software Language Engineering

Jean-Marc Jézéquel , David Mendez , Thomas Degueule , Benoit Combemale , Olivier Barais
CSD&M'14 - Complex Systems Design & Management, Nov 2014, Paris, France
Communication dans un congrès hal-01024166 v1
Image document

Metamorphic Domain-Specific Languages: A Journey Into the Shapes of a Language

Mathieu Acher , Benoit Combemale , Philippe Collet
Onward! Essays, Sep 2014, Portland, United States. pp.243--253, ⟨10.1145/2661136.2661159⟩
Communication dans un congrès hal-01061576 v1

Correct-by-construction model composition: Application to the Invasive Software Composition method

Mounira Kezadri , Marc Pantel , Benoit Combemale , Xavier Thirioux
International Workshop on Formal Engineering approaches to Software Components and Architectures 2014, Apr 2014, Grenoble, France. pp.(electronic medium), ⟨10.4204/EPTCS.147.8⟩
Communication dans un congrès hal-03252267 v1
Image document

Software Diversity: Challenges to handle the imposed, Opportunities to harness the chosen

Mathieu Acher , Olivier Barais , Benoit Baudry , Arnaud Blouin , Johann Bourcier et al.
GDR GPL, Jun 2014, Paris, France
Communication dans un congrès hal-00980126 v1
Image document

The relevance of model-driven engineering thirty years from now

Gunter Mussbacher , Daniel Amyot , Ruth Breu , Jean-Michel Bruel , Betty Cheng et al.
17th International Conference ACM/IEEE - Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2014, Valencia, Spain. pp. 183-200, ⟨10.1007/978-3-319-11653-2_12⟩
Communication dans un congrès hal-01156595 v1
Image document

Scalable Armies of Model Clones through Data Sharing

Erwan Bousse , Benoit Combemale , Benoit Baudry
Model Driven Engineering Languages and Systems, 17th International Conference, MODELS 2014, Sep 2014, Valencia, Spain
Communication dans un congrès hal-01023681 v1
Image document

A formal framework to prove the correctness of model driven engineering composition operators

Mounira Kezadri , Marc Pantel , Benoit Combemale , Xavier Thirioux
ICFEM'14 - 16TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, Nov 2014, Luxembourg, Luxembourg
Communication dans un congrès hal-01024067 v1
Image document

Improving Reusability in Software Process Lines

Emmanuelle Rouillé , Olivier Barais , Benoit Combemale , Touzet David , Jean-Marc Jézéquel
Euromicro Conference on Software Engineering and Advanced Applications, Sep 2013, Santander, Spain
Communication dans un congrès hal-00838771 v1
Image document

Composing your Compositions of Variability Models

Mathieu Acher , Benoit Combemale , Philippe Collet , Olivier Barais , Philippe Lahire et al.
ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS'13), Sep 2013, Miami, United States. 17 p
Communication dans un congrès hal-00859473 v1
Image document

Reifying Concurrency for Executable Metamodeling

Benoit Combemale , Julien Deantoni , Matias Ezequiel Vara Larsen , Frédéric Mallet , Olivier Barais et al.
SLE - 6th International Conference on Software Language Engineering, Oct 2013, Indianapolis, IN, United States. pp.365-384, ⟨10.1007/978-3-319-02654-1_20⟩
Communication dans un congrès hal-00850770 v2
Image document

Integrating Software Process Reuse and Automation

Emmanuelle Rouillé , Benoit Combemale , Olivier Barais , Touzet David , Jean-Marc Jézéquel
Asia-Pacific Software Engineering Conference (APSEC), Dec 2013, Bangkok, Thailand
Communication dans un congrès hal-00872188 v1
Image document

Variability Support in Domain-Specific Language Development

Edoardo Vacchi , Walter Cazzola , Suresh Pillay , Benoit Combemale
SLE - 6th International Conference on Software Language Engineering, Oct 2013, Indianapolis, IN, United States. pp.76-95, ⟨10.1007/978-3-319-02654-1_5⟩
Communication dans un congrès hal-00914715 v1
Image document

Bridging the Chasm between Executable Metamodeling and Models of Computation

Benoit Combemale , Cécile Hardebolle , Christophe Jacquet , Frédéric Boulanger , Benoit Baudry
5th International Conference, SLE 2012, Sep 2012, Desden, Germany. pp.184-203
Communication dans un congrès hal-00905067 v1
Image document

Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples

Martin Faunes , Juan Cadavid , Benoit Baudry , Houari Sahraoui , Benoit Combemale
MODELS - ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems, 2013, Miami, United States. pp.187-202
Communication dans un congrès hal-00923789 v1
Image document

Using Model Types to Support Contract-Aware Model Substitutability

Sun Wuliang , Benoit Combemale , Steven Derrien , Robert France
9th European Conference on Modelling Foundations and Applications (ECMFA 2013), Jul 2013, Montpellier, France. pp.118-133, ⟨10.1007/978-3-642-39013-5_9⟩
Communication dans un congrès hal-00808770 v1
Image document

A Demonstration for Building Modular and Efficient DSLs: The Kermeta v2 Experience

Olivier Barais , Benoit Baudry , Arnaud Blouin , Benoit Combemale , Jean-Marc Jézéquel et al.
Conférence en IngénieriE du Logiciel (CIEL), Apr 2013, Nancy, France
Communication dans un congrès hal-00796009 v1

Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013)

Benoit Combemale , Julien Deantoni , Robert France , Frédéric Boulanger , Sébastien Mosser et al.
GEMOC+AMINO@MoDELS: GEMOC - 1st International Workshop On the Globalization of Modeling Languages (2013), Sep 2013, Miami, United States. pp.3-13
Communication dans un congrès hal-00926244 v1
Image document

Leveraging CVL to Manage Variability in Software Process Lines

Emmanuelle Rouillé , Benoit Combemale , Olivier Barais , David Touzet , Jean-Marc Jézéquel
Asia-Pacific Software Engineering Conference, Dec 2012, Hong Kong, China
Communication dans un congrès hal-00735881 v1
Image document

A Categorical Model of Model Merging and Weaving

Jonathan Marchand , Benoit Combemale , Benoit Baudry
MiSe 2012 - 4th International Workshop on Modeling in Software Engineering, Jun 2012, Zurich, Switzerland
Communication dans un congrès hal-00714373 v1
Image document

On Model Subtyping

Clément Guy , Benoit Combemale , Steven Derrien , James Steel , Jean-Marc Jézéquel
ECMFA - 8th European Conference on Modelling Foundations and Applications, Jul 2012, Kgs. Lyngby, Denmark
Communication dans un congrès hal-00695034 v1
Image document

Formally Defining and Iterating Infinite Models

Benoit Combemale , Xavier Thirioux , Benoit Baudry
ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (MODELS 2012), Sep 2012, Innsbruck, Austria. pp.119-133, ⟨10.1007/978-3-642-33666-9_9⟩
Communication dans un congrès hal-00716623 v1
Image document

Using CVL to Operationalize Product Line Development with Reusable Aspect Models

Benoit Combemale , Olivier Barais , Omar Alam , Jörg Kienzle
VARY@MoDELS'12: VARiability for You, Sep 2012, Innsbruck, Austria
Communication dans un congrès hal-00730274 v1
Image document

Impact of Footprinting on Model Quality: An Experimental Evaluation

Cédric Jeanneret , Martin Glinz , Benoit Baudry , Benoit Combemale
MODEL-DRIVEN REQUIREMENTS ENGINEERING (MoDRE) WORKSHOP AT RE 2012, Sep 2012, Chicago, Illinois, United States. pp.78-87
Communication dans un congrès hal-00722036 v1
Image document

A Design Pattern to Build Executable DSMLs and associated V&V tools

Benoit Combemale , Xavier Crégut , Marc Pantel
The 19th Asia-Pacific Software Engineering Conference (APSEC 2012), Dec 2012, Hong Kong, Hong Kong SAR China
Communication dans un congrès hal-00739332 v1
Image document

The 8th Educators' Symposium @ MODELS 2012: Software Modeling in Education

Dan Chiorean , Benoit Combemale
Proceedings of the 8th edition of the Educators' Symposium, Oct 2012, Innsbruck, Austria. ⟨10.1145/2425936.2425937⟩
Communication dans un congrès hal-00773311 v1
Image document

A Tridimensional Approach for Studying the Formal Verification of Model Transformations

Moussa Amrani , Levi Lucio , Gehan Selim , Benoit Combemale , Jürgen Dingel et al.
Verification and validation Of model Transformations (VOLT), Apr 2012, Montreal, Canada
Communication dans un congrès hal-00684717 v1
Image document

Aligning SysML with the B Method to Provide V&V for Systems Engineering

Erwan Bousse , David Mentré , Benoit Combemale , Benoit Baudry , Katsuragi Takaya
Model-Driven Engineering, Verification, and Validation 2012 (MoDeVVa 2012), Sep 2012, Innsbruck, Austria
Communication dans un congrès hal-00741134 v1
Image document

Modeling Model Slicers

Arnaud Blouin , Benoit Combemale , Benoit Baudry , Olivier Beaudoux
ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems, Oct 2011, Wellington, New Zealand. pp.62--76, ⟨10.1007/978-3-642-24485-8_6⟩
Communication dans un congrès inria-00609072 v2
Image document

Bridging the Gap Between Software Process and Software Development

Emmanuelle Rouillé , Benoit Combemale , Olivier Barais , Touzet David , Jean-Marc Jézéquel
IDM, Jun 2011, Lille, France
Communication dans un congrès inria-00605465 v1
Image document

A Proof Assistant Based Formalization of components in MDE

Mounira Kezadri , Benoit Combemale , Marc Pantel , Xavier Thirioux
8th International Symposium on Formal Aspects of Component Software (FACS 2011), University of Oslo, Norway, Sep 2011, Oslo, Norway
Communication dans un congrès inria-00614593 v1
Image document

A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics

Benoit Combemale , Laure Gonnord , Vlad Rusu
Seventh European Conference on Modelling Foundations and Applications, Jun 2011, Birmingham, United Kingdom. pp.35-51
Communication dans un congrès hal-00593425 v1
Image document

Teaching MDE through the Formal Verification of Process Models

Benoit Combemale , Xavier Crégut , Arnaud Dieumegard , Marc Pantel , Faiez Zalila
7th Educators' Symposium @ MODELS 2011: Software Modeling in Education (EduSymp2011), Marion Brandsteidl; Andreas Winter, Oct 2011, Wellington, New Zealand
Communication dans un congrès hal-00646426 v1
Image document

Empirical evaluation of the conjunct use of MOF and OCL

Juan Cadavid , Benoit Baudry , Benoit Combemale
Experiences and Empirical Studies in Software Modelling (EESSMod 2011), Oct 2011, Wellington, New Zealand
Communication dans un congrès hal-00647347 v2
Image document

Vers un rapprochement de l'IDM et de la compilation

Clément Guy , Steven Derrien , Benoit Combemale , Jean-Marc Jézéquel
Journées sur l'Ingénierie Dirigée par les Modèles, Jun 2011, Lille, France
Communication dans un congrès inria-00601670 v1
Image document

Model-Driven Engineering and Optimizing Compilers: A bridge too far?

Antoine Floch , Tomofumi Yuki , Clément Guy , Steven Derrien , Benoit Combemale et al.
International Conference on Model Driven Engineering Languages and Systems, Oct 2011, Wellington, New Zealand
Communication dans un congrès inria-00613575 v1
Image document

Crossing Model Driven Engineering and Agility: Preliminary Thought on Benefits and Challenges

Vincent Mahé , Benoit Combemale , Juan Cadavid
3rd Workshop on Model-Driven Tool & Process Integration, in conjunction with ECMFA 2010, 2010, Paris, France, France
Communication dans un congrès inria-00538460 v1
Image document

Generative technologies for model animation in the TopCased platform

Xavier Crégut , Benoit Combemale , Marc Pantel , Raphaël Faudoux , Jonatas Pavei
6th European Conference on Modelling Foundations and Applications (ECMFA 2010), 2010, Paris, France, South Africa. pp.90--103
Communication dans un congrès inria-00504667 v1
Image document

End-User Modelling

Patrick Albert , Mireille Blay-Fornarino , Philippe Collet , Benoit Combemale , Sophie Dupuy-Chessa et al.
Défis du Génie de la Programmation et du Logiciel, journées nationales du GDR GPL, 2010, Pau, France, France
Communication dans un congrès inria-00504668 v1
Image document

Introducing Simulation and Model Animation in the MDE Topcased Toolkit

Benoit Combemale , Xavier Crégut , Jean-Pierre Giacometti , Pierre Michel , Marc Pantel
4th European Congress EMBEDDED REAL TIME SOFTWARE (ERTS), Jan 2008, Toulouse, France. http://www.erts2008.org/
Communication dans un congrès hal-00371596 v1
Image document

A Process Model Driven Approach Applied in TOPCASED for Embedded Real-Time Software

Angel Garcia , Benoit Combemale , Xavier Crégut , Jean-Noël Guyot , Boris Libert
4th European Congress on Embedded Real Time Software (ERTS 2008), Jan 2008, Toulouse, France. pp.1--10
Communication dans un congrès hal-02270271 v1
Image document

Ladder Metamodeling & PLC Program Validation through Time Petri Nets

Darlam Bender , Benoit Combemale , Xavier Crégut , Jean-Marie Farines , Bernard Berthomieu et al.
Model Driven Architecture - Foundations and Applications (ECMDA 2008), Jun 2008, Berlin, Germany. pp.121-136, ⟨10.1007/978-3-540-69100-6_9⟩
Communication dans un congrès hal-00369887 v1
Image document

Autonomic Management Policy Specification: from UML to DSML

Benoit Combemale , Laurent Broto , Xavier Crégut , Michel Daydé , Daniel Hagimont
MoDELS 2008, Oct 2008, Toulouse, France. pp.584-599, ⟨10.1007/978-3-540-87875-9_41⟩
Communication dans un congrès hal-00369874 v1
Image document

Definition of an eXecutable SPEM 2.0

Reda Bendraou , Benoit Combemale , Xavier Crégut , Marie-Pierre Gervais
14th Asia-Pacific Software Engineering Conference (APSEC), Dec 2007, Nagoya, Japan. pp.390-397
Communication dans un congrès hal-00371555 v1
Image document

Towards a Formal Verification of Process Model's Properties - SimplePDL and TOCL Case Study

Benoit Combemale , Pierre-Loïc Garoche , Xavier Crégut , Xavier Thirioux , François Vernadat
9th International Conference on Enterprise Information Systems, Jun 2007, Funchal, Madeira, Portugal. pp.80-89
Communication dans un congrès hal-00160807 v1
Image document

A Framework to Formalise the MDE Foundations

Xavier Thirioux , Benoit Combemale , Xavier Crégut , Pierre-Loïc Garoche
International Workshop on Towers of Models (TOWERS 2007), Jun 2007, Zurich, Switzerland. pp.14-30
Communication dans un congrès hal-00159748 v2
Image document

Towards a rigorous use of SPEM

Benoit Combemale , Xavier Crégut , Alain Caplain , Bernard Coulette
Eighth International Conference on Enterprise Information Systems, May 2006, Paphos, Cyprus. pp.530-533
Communication dans un congrès hal-00369873 v1
Image document

Variability Management in Domain-Specific Languages

David Méndez-Acuña , Benoit Combemale , Benoit Baudry
International School of Model-Driven Development for Distributed Real-Time Embedded Systems (MDDRES), Sep 2014, Aber-Wrac'h, France. , 2014
Poster de conférence hal-01077788 v1

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, MODELS 2024, Linz, Austria, September 22-27, 2024

Alexander Egyed , Manuel Wimmer , Marsha Chechik , Benoît Combemale
MODELS '24: ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, ACM, 2024, 979-8-4007-0504-5. ⟨10.1145/3640310⟩
Proceedings/Recueil des communications hal-04839651 v1

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, MODELS Companion 2024, Linz, Austria, September 22-27, 2024

Manuel Wimmer , Alexander Egyed , Benoît Combemale , Marsha Chechik
MODELS Companion '24: ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, ACM, 2024, 979-8-4007-0622-6. ⟨10.1145/3652620⟩
Proceedings/Recueil des communications hal-04839663 v1

Joint Proceedings of ICT4S 2023 Doctoral Symposium, Demonstrations & Posters Track and Workshops co-located with 9th International Conference on Information and Communications Technology for Sustainability (ICT4S 2023)

Benoit Combemale , Gunter Mussbacher , Stefanie Betz , Adrian Friday , Irit Hadar et al.
9th International Conference on Information and Communications Technology for Sustainability (ICT4S 2023), CEUR Workshop Proceedings, 3562, ceur-ws.org, 2023
Proceedings/Recueil des communications hal-04425662 v1

Preface: ICT4S 2023

Thais Batista , Birgit Penzenstadler , Benoit Combemale , Gunter Mussbacher
2023 International Conference on ICT for Sustainability (ICT4S), IEEE, pp.viii-x, 2023, ⟨10.1109/ICT4S58814.2023.00005⟩
Proceedings/Recueil des communications hal-04425642 v1

Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling

Benoit Combemale , Julien Deantoni , Jeff Gray
GEMOC+MPM 2015, Ottawa, Canada. 1511, CEUR, 2015, Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling
Proceedings/Recueil des communications hal-01242558 v1
Image document

GEMOC 2014 2nd International Workshop on The Globalization of Modeling Languages

Benoit Combemale , Julien Deantoni , Robert France
Benoit Combemale; Julien Deantoni; Robert France. GEMOC 2014 co-located with MODELS 2014, Sep 2014, Valencia, France. 1236, , pp.82, 2014, CEUR-WS, 1613-0073
Proceedings/Recueil des communications hal-01074602 v1

Software Language Engineering

Benoit Combemale , David Pearce , Olivier Barais , Jurgen Vinju
8706, Springer, pp.353, 2014, 978-3-319-11245-9
Proceedings/Recueil des communications hal-01110914 v1

Engineering Modeling Languages

Benoit Combemale , Robert France , Jean-Marc Jézéquel , Bernhard Rumpe , Jim R.H. Steel et al.
Chapman and Hall/CRC, pp.398, 2016, 9781466583733
Ouvrages hal-01355374 v1

Globalizing Domain-Specific Languages

Benoit Combemale , Betty H.C. Cheng , Robert B. France , Jean-Marc Jézéquel , Bernhard Rumpe
Springer International Publishing, 9400, 2015, LNCS, Programming and Software Engineering, 978-3-319-26171-3. ⟨10.1007/978-3-319-26172-0⟩
Ouvrages hal-01224096 v1

Joint Proceedings of GEMOC '13 and AMINO '13 @ MODELS 2013

Benoit Combemale , Julien Deantoni , Robert B. France , Balbir Barn , Tony Clark et al.
Combemale, Benoit and Deantoni, Julien and France, Robert B. and Barn, Balbir and Clark, Tony and Frank, Ulrich and Kulkarni, Vinay and Turk, Dan. CEUR-WS, 1102, pp.88, 2013
Ouvrages hal-00916282 v1

GlobalDSL '13: Proceedings of the First Workshop on the Globalization of Domain Specific Languages

Benoit Combemale , Walter Cazzola , Robert B. France
Combemale, Benoit and Cazzola, Walter and France, Robert B. ACM, pp.33, 2013, 978-1-4503-2043-6
Ouvrages hal-00916292 v1

EduSymp '12: Proceedings of the 8th Edition of the Educators' Symposium

Dan Chiorean , Benoit Combemale
Dan Chiorean and Benoit Combemale. ACM, pp.39, 2012, 978-1-4503-1812-9
Ouvrages hal-00916296 v1
Image document

Ingénierie Dirigée par les Modèles : des concepts à la pratique...

Jean-Marc Jézéquel , Benoit Combemale , Didier Vojtisek
Ellipses. Ellipses, pp.144, 2012, Références sciences, 9782729871963
Ouvrages hal-00648489 v1

Simulation et vérification de modèle par métamodélisation executable

Benoit Combemale
éditions Universitaires Européennes, 208p, 2010, 978-613-1-50584-3
Ouvrages inria-00542740 v1
Image document

Towards a Model-Based DevOps for Cyber-Physical Systems

Benoit Combemale , Manuel Wimmer
Software Engineering Aspects of Continuous Development, Springer-Verlag, pp.1-11, 2019
Chapitre d'ouvrage hal-02407886 v1
Image document

On Language Interfaces

Thomas Degueule , Benoit Combemale , Jean-Marc Jézéquel
Bertrand Meyer; Manuel Mazzara. PAUSE: Present And Ulterior Software Engineering, Springer, 2017
Chapitre d'ouvrage hal-01424909 v1
Image document

On the Globalization of Domain-Specific Languages

Betty H.C. Cheng , Benoit Combemale , Robert B. France , Jean-Marc Jézéquel , Bernhard Rumpe
Globalizing Domain-Specific Languages, 9400, Springer International Publishing, 2015, LNCS, ⟨10.1007/978-3-319-26172-0_1⟩
Chapitre d'ouvrage hal-01224105 v1
Image document

Conceptual Model of the Globalization for Domain-Specific Languages

Tony Clark , Mark van den Brand , Benoit Combemale , Bernhard Rumpe
Benoit Combemale; Betty H.C. Cheng; Robert B. France; Jean-Marc Jézéquel; Bernhard Rumpe. Globalizing Domain-Specific Languages, 9400, Springer International Publishing, pp.7-20, 2015, Lecture Notes in Computer Science, 978-3-319-26171-3. ⟨10.1007/978-3-319-26172-0_2⟩
Chapitre d'ouvrage hal-01224116 v1
Image document

A Systematic Mapping Study on Modeling for Industry 4.0

Andreas Wortmann , Benoit Combemale , Olivier Barais
[Research Report] RR-9062, INRIA Rennes - Bretagne Atlantique and University of Rennes 1, France. 2017, pp.25
Rapport (rapport de recherche) hal-01514421 v2
Image document

Operational Semantics of the Model of Concurrency and Communication Language

Julien Deantoni , Papa Issa Diallo , Joël Champeau , Benoit Combemale , Ciprian Teodorov
[Research Report] RR-8584, INRIA. 2014, pp.23
Rapport (rapport de recherche) hal-01060601 v2
Image document

A Design Pattern for Executable DSML

Benoit Combemale , Xavier Crégut , Marc Pantel
[Research Report] RR-8063, INRIA Rennes - Bretagne Atlantique. 2012, pp.19
Rapport (rapport de recherche) inria-00540648 v3
Image document

Ten years of Meta-Object Facility: an Analysis of Metamodeling Practices

Juan Cadavid , Benoit Combemale , Benoit Baudry
[Research Report] RR-7882, INRIA. 2012
Rapport (rapport de recherche) hal-00670652 v2
Image document

Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language's Operational Semantics

Vlad Rusu , Laure Gonnord , Benoit Combemale
[Research Report] RR-7423, INRIA. 2010
Rapport (rapport de recherche) inria-00526561 v1
Image document

Towards Language-Oriented Modeling

Benoit Combemale
Software Engineering [cs.SE]. Université de Rennes 1, 2015
HDR tel-01238817 v1