Search - Archive ouverte HAL Access content directly

Filter your results

180 Results
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
Reports hal-01514421v2

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

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
Conference papers hal-03916459v1
Image document

Approximate Loop Unrolling

Marcelino Rodriguez-Cancio , Benoit Combemale , Benoit Baudry
2016
Preprints, Working Papers, ... hal-01401828v1
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
Conference papers hal-01651801v1
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⟩
Conference papers hal-01141395v1
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⟩
Journal articles hal-02565549v1
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 hal-01074602v1
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
Conference papers hal-01287720v1
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⟩
Journal articles hal-01803008v1
Image document

Towards Language-Oriented Modeling

Benoit Combemale
Software Engineering [cs.SE]. Université de Rennes 1, 2015
Habilitation à diriger des recherches tel-01238817v1
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

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⟩
Conference papers hal-01061576v1
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
Journal articles hal-00994551v1
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
Conference papers hal-01198744v1
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
Conference papers hal-01152342v2
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

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⟩
Journal articles hal-01372702v1
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
Conference papers hal-01401849v1
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
Conference papers hal-00695034v1
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⟩
Conference papers hal-01406507v1
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

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⟩
Journal articles hal-01367305v2
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

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
Conference papers hal-03318816v1
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
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⟩
Journal articles hal-00717219v1