Search - IRIT - Institut de Recherche en Informatique de Toulouse Access content directly

Filter your results

63 Results
authFullName_s : Benoit Combemale

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⟩
Conference papers hal-02982981v1
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
Conference papers hal-00371555v1
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, France.
Conference papers hal-00371596v1
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⟩
Conference papers hal-01889155v1
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
Journal articles hal-03799289v1
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
Conference papers hal-01258358v1
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⟩
Journal articles hal-03109992v1
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⟩
Journal articles hal-02317864v1
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⟩
Journal articles hal-02282028v1
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
Conference papers hal-01517387v3
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
Conference papers hal-00160807v1
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⟩
Journal articles hal-02408017v1
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
Conference papers inria-00614593v1
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⟩
Conference papers hal-01141393v1
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⟩
Conference papers hal-02407932v1
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⟩
Journal articles hal-02146543v2
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
Conference papers hal-02925142v1
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⟩
Journal articles hal-02399166v1
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
Conference papers inria-00504667v1
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⟩
Conference papers hal-01890446v1
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⟩
Conference papers hal-03933973v1
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⟩
Conference papers hal-00716623v1

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⟩
Journal articles hal-01319576v1
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/⟩
Journal articles hal-01803008v1
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⟩
Journal articles hal-00369871v1
Image document

Personal report of the 3rd ECMDA-FA'07 conference

Benoit Combemale
Preprints, Working Papers, ... hal-00369872v1
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
Reports inria-00540648v3
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⟩
Journal articles hal-02395867v2
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
Book sections hal-02407886v1
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⟩
Conference papers hal-02307953v1