Benoît Combemale

According to our database1, Benoît Combemale authored at least 109 papers between 2006 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
A unifying framework for homogeneous model composition.
Software and Systems Modeling, 2019

Advanced and efficient execution trace management for executable domain-specific modeling languages.
Software and Systems Modeling, 2019

The JOT Journal: Towards a Rising Generation.
Journal of Object Technology, 2019

The 15th European Conference on Modelling Foundations and Applications (ECMFA).
Journal of Object Technology, 2019

Approximate loop unrolling.
Proceedings of the 16th ACM International Conference on Computing Frontiers, 2019

2018
Omniscient debugging for executable DSLs.
Journal of Systems and Software, 2018

Concern-oriented language development (COLD): Fostering reuse in language engineering.
Computer Languages, Systems & Structures, 2018

Reverse engineering language product lines from existing DSL variants.
Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

Fostering metamodels and grammars within a dedicated environment for HPC: the NabLab environment (tool demo).
Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, 2018

Modular language composition for the masses.
Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, 2018

Shape-diverse DSLs: languages without borders (vision paper).
Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, 2018

Tool-Support of Socio-Technical Coordination in the Context of Heterogeneous Modeling.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

Model Transformation Reuse Across Metamodels - A Classification and Comparison of Approaches.
Proceedings of the Theory and Practice of Model Transformation, 2018

Trace Comprehension Operators for Executable DSLs.
Proceedings of the Modelling Foundations and Applications - 14th European Conference, 2018

2017
SLEBOK: The Software Language Engineering Body of Knowledge (Dagstuhl Seminar 17342).
Dagstuhl Reports, 2017

Engineering Academic Software (Dagstuhl Perspectives Workshop 16252).
Dagstuhl Manifestos, 2017

Safe model polymorphism for flexible modeling.
Computer Languages, Systems & Structures, 2017

The Tool Generation Challenge for Executable Domain-Specific Modeling Languages.
Proceedings of the Software Technologies: Applications and Foundations, 2017

A Systematic Mapping Study on Modeling for Industry 4.0.
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

Create and Play Your Pac-Man Game with the GEMOC Studio.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Revisiting Visitors for Modular Extension of Executable DSMLs.
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

Language Engineering with the GEMOC Studio.
Proceedings of the 2017 IEEE International Conference on Software Architecture Workshops, 2017

On Language Interfaces.
Proceedings of the Present and Ulterior Software Engineering., 2017

2016
Correct-by-construction model driven engineering composition operators.
Formal Asp. Comput., 2016

Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework.
Proceedings of the Third Workshop on Formal Integrated Development Environment, 2016

Leveraging Software Product Lines Engineering in the development of external DSLs: A systematic literature review.
Computer Languages, Systems & Structures, 2016

Execution framework of the GEMOC studio (tool demo).
Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31, 2016

Automatic microbenchmark generation to prevent dead code elimination and constant folding.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Puzzle: A Tool for Analyzing and Extracting Specification Clones in DSLs.
Proceedings of the Software Reuse: Bridging with Social-Awareness, 2016

Reverse-Engineering Reusable Language Modules from Legacy Domain-Specific Languages.
Proceedings of the Software Reuse: Bridging with Social-Awareness, 2016

VCU: The Three Dimensions of Reuse.
Proceedings of the Software Reuse: Bridging with Social-Awareness, 2016

Featured model types: towards systematic reuse in modelling language engineering.
Proceedings of the 8th International Workshop on Modeling in Software Engineering, 2016

Modeling for sustainability.
Proceedings of the 8th International Workshop on Modeling in Software Engineering, 2016

2015
Mashup of metalanguages and its implementation in the Kermeta language workbench.
Software and Systems Modeling, 2015

Kompren: modeling and generating model slicers.
Software and Systems Modeling, 2015

Using Slicing to Improve the Performance of Model Invariant Checking.
Journal of Object Technology, 2015

Formal Verification Techniques for Model Transformations: A Tridimensional Classification.
Journal of Object Technology, 2015

Special Issue on the 6th and 7th International Conferences on Software Language Engineering (SLE 2013 and SLE 2014).
Computer Languages, Systems & Structures, 2015

An analysis of metamodeling practices for MOF and OCL.
Computer Languages, Systems & Structures, 2015

A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio.
Proceedings of the 8th Transformation Tool Contest, 2015

Weaving concurrency in executable domain-specific modeling languages.
Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015

Melange: a meta-language for modular and reusable development of DSLs.
Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015

Supporting efficient and advanced omniscient debugging for xDSMLs.
Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015

Product lines can jeopardize their trade secrets.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Reusing legacy DSLs with Melange.
Proceedings of the Workshop on Domain-Specific Modeling, 2015

Coping with Semantic Variation Points in Domain-Specific Modeling Languages.
Proceedings of the 1st International Workshop on Executable Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

A Model-Driven Based Environment for Automatic Model Coordination.
Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

A Behavioral Coordination Operator Language (BCOoL).
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

CLARITY: Open-Sourcing the Model-Based Systems Engineering Solution Capella.
Proceedings of the International Workshop on Open Source Software for Model Driven Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

MDE in Practice for Computational Science.
Proceedings of the International Conference on Computational Science, 2015

A Generative Approach to Define Rich Domain-Specific Trace Metamodels.
Proceedings of the Modelling Foundations and Applications - 11th European Conference, 2015

Towards a meta-language for the concurrency concern in DSLs.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Towards the use of slicing techniques for an efficient invariant checking.
Proceedings of the Companion Proceedings of the 14th International Conference on Modularity, 2015

Towards Language-Oriented Modeling.
, 2015

2014
Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412).
Dagstuhl Reports, 2014

Correct-by-construction model composition: Application to the Invasive Software Composition method.
Proceedings of the Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2014

Globalizing Modeling Languages.
IEEE Computer, 2014

Automating variability model inference for component-based language implementations.
Proceedings of the 18th International Software Product Line Conference, 2014

Metamorphic Domain-Specific Languages: A Journey into the Shapes of a Language.
Proceedings of the Onward! 2014, 2014

The Relevance of Model-Driven Engineering Thirty Years from Now.
Proceedings of the Model-Driven Engineering Languages and Systems, 2014

Scalable Armies of Model Clones through Data Sharing.
Proceedings of the Model-Driven Engineering Languages and Systems, 2014

Towards Scalable Multidimensional Execution Traces for xDSMLs.
Proceedings of the 11th Workshop on Model-Driven Engineering, 2014

Vers une approche centrée humain pour la définition de langages de modélisation graphiques.
Proceedings of the Actes du XXXIIème Congrès INFORSID, Lyon, France, 20-23 Mai 2014., 2014

A Formal Framework to Prove the Correctness of Model Driven Engineering Composition Operators.
Proceedings of the Formal Methods and Software Engineering, 2014

Conceptual Model of the Globalization for Domain-Specific Languages.
Proceedings of the Globalizing Domain-Specific Languages, 2014

On the Globalization of Domain-Specific Languages.
Proceedings of the Globalizing Domain-Specific Languages, 2014

When Systems Engineering Meets Software Language Engineering.
Proceedings of the Complex Systems Design & Management, 2014

2013
Variability Support in Domain-Specific Language Development.
Proceedings of the Software Language Engineering - 6th International Conference, 2013

Reifying Concurrency for Executable Metamodeling.
Proceedings of the Software Language Engineering - 6th International Conference, 2013

Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples.
Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013).
Proceedings of the Joint Proceedings of the First International Workshop On the Globalization of Modeling Languages (GEMOC 2013) and the First International Workshop: Towards the Model Driven Organization (AMINO 2013) Co-located with the 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 29, 2013

Composing Your Compositions of Variability Models.
Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Improving Reusability in Software Process Lines.
Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013

GlobalDSL 2013: First Workshop on the Globalization of Domain Specific Languages.
Proceedings of the First Workshop on the Globalization of Domain Specific Languages, 2013

Using Model Types to Support Contract-Aware Model Substitutability.
Proceedings of the Modelling Foundations and Applications - 9th European Conference, 2013

Integrating Software Process Reuse and Automation.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012
Modeling modeling modeling.
Software and Systems Modeling, 2012

Bridging the chasm between MDE and the world of compilation.
Software and Systems Modeling, 2012

Bridging the Chasm between Executable Metamodeling and Models of Computation.
Proceedings of the Software Language Engineering, 5th International Conference, 2012

Impact of footprinting on model quality: An experimental evaluation.
Proceedings of the Second IEEE International Workshop on Model-Driven Requirements Engineering, 2012

Formally Defining and Iterating Infinite Models.
Proceedings of the Model Driven Engineering Languages and Systems, 2012

Using CVL to operationalize product line development with reusable aspect models.
Proceedings of the VARiability for You Workshop, 2012

The 8th Educators' Symposium @ MODELS 2012: software modeling in education.
Proceedings of the 8th edition of the Educators' Symposium, 2012

A Tridimensional Approach for Studying the Formal Verification of Model Transformations.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

A categorical model of model merging and weaving.
Proceedings of the 4th International Workshop on Modeling in Software Engineering, 2012

On Model Subtyping.
Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

Leveraging CVL to Manage Variability in Software Process Lines.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

A Design Pattern to Build Executable DSMLs and Associated V&V Tools.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011
Teaching MDE through the Formal Verification of Process Models.
ECEASST, 2011

Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far?
Proceedings of the Model Driven Engineering Languages and Systems, 2011

Empirical Evaluation of the Conjunct Use of MOF and OCL.
Proceedings of the First Workshop on Experiences and Empirical Studies in Software Modelling, 2011

Modeling Model Slicers.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

A Proof Assistant Based Formalization of MDE Components.
Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics.
Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

2010
Generative Technologies for Model Animation in the TopCased Platform.
Proceedings of the Modelling Foundations and Applications, 6th European Conference, 2010

2009
Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification.
JSW, 2009

Exploitation des techniques de virtualisation pour l'administration autonome d'infrastructures logicielles réparties.
Proceedings of the 3e Conférence francophone sur les Architectures Logicielles, 2009

2008
Approche de métamodélisation pour la simulation et la vérification de modèle - Application à l'ingénierie des procédés. (Metamodeling Approach for Model Simulation and Verification ~ Application to Process Engineering).
PhD thesis, 2008

Autonomic Management Policy Specification: From UML to DSML.
Proceedings of the Model Driven Engineering Languages and Systems, 2008

Towards a Model Driven Autonomic Management System.
Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

Ladder Metamodeling and PLC Program Validation through Time Petri Nets.
Proceedings of the Model Driven Architecture, 2008

Metamodeling Autonomic System Management Policies - Ongoing Works.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007
SéMo'07, premier atelier sur la sémantique des modèles.
L'OBJET, 2007

Towards a Formal Verification of Process Model's Properties SIMPLEPDL and TOCL Case Study.
Proceedings of the ICEIS 2007, 2007

A Property-Driven Approach to Formal Verification of Process Models.
Proceedings of the Enterprise Information Systems, 9th International Conference, 2007

Definition of an Executable SPEM 2.0.
Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006
Towards Rigorous Metamodeling.
Proceedings of the Model-Driven Enterprise Information Systems, 2006

Modélisation rigoureuse en SPEM de procédé de développement.
Proceedings of the Actes des journéees Langages et Modèles à Objets, 2006

Towards a Rigorous Process Modeling with SPEM.
Proceedings of the ICEIS 2006, 2006


  Loading...