Benoit Combemale

232
Documents

Publications

Publications

Deposit thumbnail

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-05060561v1
Deposit thumbnail

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-05487858v1
Deposit thumbnail

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-04931045v1
Deposit thumbnail

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-05487857v1
Deposit thumbnail

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-05474229v1
Deposit thumbnail

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-04906879v1
Deposit thumbnail

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-05487850v1
Deposit thumbnail

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-05108048v1
Deposit thumbnail

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-05487852v1
Deposit thumbnail

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-05485243v1
Deposit thumbnail

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-05487855v1
Deposit thumbnail

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-05029778v2
Deposit thumbnail

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-04839592v1
Deposit thumbnail

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-04839542v1
Deposit thumbnail

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-04383286v1
Deposit thumbnail

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-04839561v1
Deposit thumbnail

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-04839512v1
Deposit thumbnail

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-04839534v1
Deposit thumbnail

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-05494710v1

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-04216866v1
Deposit thumbnail

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-04425731v1
Deposit thumbnail

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-04216671v1
Deposit thumbnail

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-04037520v1
Deposit thumbnail

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-04425734v1
Deposit thumbnail

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-04425740v1

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-04216676v1
Deposit thumbnail

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-04216688v1
Deposit thumbnail

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-03921704v1

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-04280509v1
Deposit thumbnail

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-04128248v1
Deposit thumbnail

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-03799289v1
Deposit thumbnail

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-03921928v1
Deposit thumbnail

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-03466396v1
Deposit thumbnail

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-02612087v1
Deposit thumbnail

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-03318348v2
Deposit thumbnail

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-02146543v2
Deposit thumbnail

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-02399166v1
Deposit thumbnail

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-02282028v1
Deposit thumbnail

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-02317864v1
Deposit thumbnail

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-03109992v1
Deposit thumbnail

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-03137877v1
Deposit thumbnail

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-02565549v1
Deposit thumbnail

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-02942374v1
Deposit thumbnail

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-02395867v2
Deposit thumbnail

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-02876536v1
Deposit thumbnail

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-02408017v1
Deposit thumbnail

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-01614377v1
Deposit thumbnail

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-01949050v1
Deposit thumbnail

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-02296030v1
Deposit thumbnail

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-01803008v1
Deposit thumbnail

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-01662336v1
Deposit thumbnail

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-01524632v1
Deposit thumbnail

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-01367305v2
Deposit thumbnail

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-01372702v1

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-01319576v1
Deposit thumbnail

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-01186015v1
Deposit thumbnail

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-01179369v1
Deposit thumbnail

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-00829839v1
Deposit thumbnail

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-01083759v1
Deposit thumbnail

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-00746566v2
Deposit thumbnail

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-00994551v1
Deposit thumbnail

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-00854221v1
Deposit thumbnail

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-00717219v1
Deposit thumbnail

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-00538459v1
Deposit thumbnail

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-00371557v1
Deposit thumbnail

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-00371553v1
Deposit thumbnail

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-00369884v1
Deposit thumbnail

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-00369871v1
Deposit thumbnail

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-05468508v2
Deposit thumbnail

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-05478146v1
Deposit thumbnail

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-05221886v1
Deposit thumbnail

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-05090865v2
Deposit thumbnail

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-04839759v1
Deposit thumbnail

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-05221809v1
Deposit thumbnail

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-05229815v1
Deposit thumbnail

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-05224789v1
Deposit thumbnail

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-05166140v1
Deposit thumbnail

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-05223776v1
Deposit thumbnail

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-04839629v1
Deposit thumbnail

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-04827348v1
Deposit thumbnail

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-04582287v1
Deposit thumbnail

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-04839614v1
Deposit thumbnail

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-04588744v1
Deposit thumbnail

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-04425802v1
Deposit thumbnail

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-04252577v1
Deposit thumbnail

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-04132604v1
Deposit thumbnail

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-04249049v1
Deposit thumbnail

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-03916459v1
Deposit thumbnail

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-04425768v1
Deposit thumbnail

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-04077663v2
Deposit thumbnail

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-04216627v1
Deposit thumbnail

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-03933973v1
Deposit thumbnail

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-03729080v1
Deposit thumbnail

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-03770004v1
Deposit thumbnail

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-03921387v1
Deposit thumbnail

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-03355253v1
Deposit thumbnail

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-03318816v1
Deposit thumbnail

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-03355162v1
Deposit thumbnail

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-03107122v1
Deposit thumbnail

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-03342678v1
Deposit thumbnail

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-03358061v1
Deposit thumbnail

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-02925142v1
Deposit thumbnail

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-03029429v1
Deposit thumbnail

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-03029426v1
Deposit thumbnail

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-02545875v1
Deposit thumbnail

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-02946949v1
Deposit thumbnail

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-02968938v1
Deposit thumbnail

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-02964806v2
Deposit thumbnail

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-02407932v1
Deposit thumbnail

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-02307953v1
Deposit thumbnail

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-02407868v1
Deposit thumbnail

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-02285737v1
Deposit thumbnail

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-01890446v1

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-02982981v1
Deposit thumbnail

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-01889155v1
Deposit thumbnail

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-01958443v1
Deposit thumbnail

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-01910113v1
Deposit thumbnail

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-01910139v1
Deposit thumbnail

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-01803031v1
Deposit thumbnail

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-01651801v1
Deposit thumbnail

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-01568169v1
Deposit thumbnail

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-03284857v1
Deposit thumbnail

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-01609576v1
Deposit thumbnail

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-01406507v1
Deposit thumbnail

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-01401849v1
Deposit thumbnail

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-01284822v1
Deposit thumbnail

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-01517387v3
Deposit thumbnail

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-01258358v1
Deposit thumbnail

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-01343818v1
Deposit thumbnail

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-01287720v1
Deposit thumbnail

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-01367344v1
Deposit thumbnail

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-01355391v2
Deposit thumbnail

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-01284816v1
Deposit thumbnail

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-01152342v2
Deposit thumbnail

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-01198744v1
Deposit thumbnail

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-01141393v1
Deposit thumbnail

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-01197039v2
Deposit thumbnail

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-01182517v2
Deposit thumbnail

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-01234342v1
Deposit thumbnail

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-01141395v1
Deposit thumbnail

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-01182773v1
Deposit thumbnail

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-01185911v1
Deposit thumbnail

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-01154225v1
Deposit thumbnail

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-01222999v1
Deposit thumbnail

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-01186019v2
Deposit thumbnail

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-01197038v1
Deposit thumbnail

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-01087442v1
Deposit thumbnail

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-01061576v1
Deposit thumbnail

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-01023864v1

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-01002994v1
Deposit thumbnail

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-01061740v1
Deposit thumbnail

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-01024166v1
Deposit thumbnail

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-00980126v1

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-03252267v1
Deposit thumbnail

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-01156595v1
Deposit thumbnail

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-01023681v1
Deposit thumbnail

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-01024067v1
Deposit thumbnail

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-00872188v1
Deposit thumbnail

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-00838771v1
Deposit thumbnail

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-00850770v2
Deposit thumbnail

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-00859473v1
Deposit thumbnail

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-00914715v1
Deposit thumbnail

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-00923789v1
Deposit thumbnail

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-00905067v1
Deposit thumbnail

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-00808770v1

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-00926244v1
Deposit thumbnail

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-00796009v1
Deposit thumbnail

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-00695034v1
Deposit thumbnail

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-00716623v1
Deposit thumbnail

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-00714373v1
Deposit thumbnail

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-00735881v1
Deposit thumbnail

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-00730274v1
Deposit thumbnail

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-00722036v1
Deposit thumbnail

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-00739332v1
Deposit thumbnail

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-00684717v1
Deposit thumbnail

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-00773311v1
Deposit thumbnail

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-00741134v1
Deposit thumbnail

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-00614593v1
Deposit thumbnail

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-00605465v1
Deposit thumbnail

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-00609072v2
Deposit thumbnail

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-00593425v1
Deposit thumbnail

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-00646426v1
Deposit thumbnail

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-00601670v1
Deposit thumbnail

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-00613575v1
Deposit thumbnail

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-00647347v2
Deposit thumbnail

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-00504667v1
Deposit thumbnail

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-00538460v1
Deposit thumbnail

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-00504668v1
Deposit thumbnail

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-00371596v1
Deposit thumbnail

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-02270271v1
Deposit thumbnail

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-00369887v1
Deposit thumbnail

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-00369874v1
Deposit thumbnail

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-00160807v1
Deposit thumbnail

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-00371555v1
Deposit thumbnail

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-00159748v2
Deposit thumbnail

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-00369873v1
Deposit thumbnail

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-01077788v1

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-04839651v1

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-04839663v1

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-04425662v1

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-04425642v1

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-01242558v1
Deposit thumbnail

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-01074602v1

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-01110914v1

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-01355374v1

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-01224096v1

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-00916292v1

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-00916282v1

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-00916296v1
Deposit thumbnail

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-00648489v1

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-00542740v1
Deposit thumbnail

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-02407886v1
Deposit thumbnail

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-01424909v1
Deposit thumbnail

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-01224105v1
Deposit thumbnail

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-01224116v1
Deposit thumbnail

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-01514421v2
Deposit thumbnail

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-01060601v2
Deposit thumbnail

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-00670652v2
Deposit thumbnail

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-00540648v3
Deposit thumbnail

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-00526561v1
Deposit thumbnail

Towards Language-Oriented Modeling

Benoit Combemale

Software Engineering [cs.SE]. Université de Rennes 1, 2015

HDR tel-01238817v1