Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

176 Results
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
Conference papers hal-00722036v1
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
Reports hal-00670652v2
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 et al.
5th International Conference, SLE 2012, Sep 2012, Desden, Germany. pp.184-203
Conference papers hal-00905067v1
Image document

Découpez vos Modèles avec Kompren : une Démonstration

Arnaud Blouin , Benoit Combemale , Benoit Baudry
2012
Other publications hal-00696149v1
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
Conference papers hal-00714373v1
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
Conference papers hal-00647347v2
Image document

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

Martin Faunes , Juan Cadavid , Benoit Baudry , Houari Sahraoui , Benoit Combemale et al.
MODELS - ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems, 2013, Miami, United States. pp.187-202
Conference papers hal-00923789v1

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
Books inria-00542740v1
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⟩
Conference papers inria-00609072v2

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
Books hal-00916296v1
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⟩
Journal articles inria-00538459v1
Image document

Approximate Loop Unrolling

Marcelino Rodriguez-Cancio , Benoit Combemale , Benoit Baudry
2016
Preprints, Working Papers, ... hal-01401828v1
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
Conference papers inria-00538460v1
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⟩
Conference papers hal-00914715v1
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 et al.
Model-Driven Engineering, Verification, and Validation 2012 (MoDeVVa 2012), Sep 2012, Innsbruck, Austria
Conference papers hal-00741134v1
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⟩
Conference papers hal-00773311v1
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⟩
Journal articles hal-01186015v1

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
Books hal-00916292v1
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 communications hal-01077788v1
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
Conference papers hal-01343818v1
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
Conference papers hal-00796009v1
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⟩
Journal articles hal-01179369v1
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 et al.
Computer Languages, Systems and Structures, 2016, ⟨10.1016/j.cl.2016.09.004⟩
Journal articles hal-01372702v1
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
Conference papers hal-01154225v1
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⟩
Conference papers hal-03358061v1
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
Conference papers hal-01023681v1
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 et al.
Journal of Systems and Software, 2017, ⟨10.1016/j.jss.2017.05.042⟩
Journal articles hal-01524632v1
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
Conference papers hal-01061740v1
Image document

Supporting Efficient and Advanced Omniscient Debugging for xDSMLs

Erwan Bousse , Jonathan Corley , Benoit Combemale , Jeff Gray , Benoit Baudry et al.
8th International Conference on Software Language Engineering (SLE), Oct 2015, Pittsburg, United States
Conference papers hal-01182517v2
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 et al.
ICSR 2016 the 15th International Conference on Software Reuse, Jun 2016, Limassol, Cyprus
Conference papers hal-01284822v1