Benoît Combemale

Jean-Raynald de Dreuzy

Proceedings of the Computational Science - ICCS 2020, 2020

2019

Applying model-driven engineering to high-performance computing: Experience report, lessons learned, and remaining challenges.

[BibT_eX]

[DOI]

Benoît Lelandais

Marie-Pierre Oudot

J. Comput. Lang., 2019

A unifying framework for homogeneous model composition.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2019

Advanced and efficient execution trace management for executable domain-specific modeling languages.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2019

The JOT Journal: Towards a Rising Generation.

[BibT_eX]

[DOI]

Alfonso Pierantonio

Mark van den Brand

J. Object Technol., 2019

The 15th European Conference on Modelling Foundations and Applications (ECMFA).

[BibT_eX]

[DOI]

Ali Shaukat

J. Object Technol., 2019

From DSL specification to interactive computer programming environment.

[BibT_eX]

[DOI]

Pierre Jeanjean

Olivier Barais

Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, 2019

Bringing Intelligence to Sociotechnical IoT Sytems.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the Workshop on Model-Driven Engineering for the Internet of Things (MDE4IoT) & of the Workshop on Interplay of Model-Driven and Component-Based Software Engineering (ModComp) Co-located with the IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019), 2019

Live-UMLRT: A Tool for Live Modeling of UML-RT Models.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Towards a Model-Based DevOps for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Marcelino Rodriguez-Cancio

Manuel Wimmer

Proceedings of the Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 2019

Approximate loop unrolling.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM International Conference on Computing Frontiers, 2019

2018

Omniscient debugging for executable DSLs.

[BibT_eX]

[DOI]

J. Syst. Softw., 2018

Concern-oriented language development (COLD): Fostering reuse in language engineering.

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2018

Fostering metamodels and grammars within a dedicated environment for HPC: the NabLab environment (tool demo).

[BibT_eX]

[DOI]

Benoît Lelandais

Marie-Pierre Oudot

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, 2018

Modular language composition for the masses.

[BibT_eX]

[DOI]

Manuel Leduc

Thomas Degueule

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, 2018

Shape-diverse DSLs: languages without borders (vision paper).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Model Transformation Reuse Across Metamodels - A Classification and Comparison of Approaches.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformation, 2018

Trace Comprehension Operators for Executable DSLs.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 14th European Conference, 2018

2017

Reverse engineering language product lines from existing DSL variants.

[BibT_eX]

[DOI]

J. Syst. Softw., 2017

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

[BibT_eX]

[DOI]

Ralf Lämmel

Eric Van Wyk

Dagstuhl Reports, 2017

Engineering Academic Software (Dagstuhl Perspectives Workshop 16252).

[BibT_eX]

[DOI]

Dagstuhl Manifestos, 2017

Safe model polymorphism for flexible modeling.

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2017

The Tool Generation Challenge for Executable Domain-Specific Modeling Languages.

[BibT_eX]

[DOI]

Tanja Mayerhofer

Proceedings of the Software Technologies: Applications and Foundations, 2017

A Systematic Mapping Study on Modeling for Industry 4.0.

[BibT_eX]

[DOI]

Andreas Wortmann

Olivier Barais

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.

[BibT_eX]

[DOI]

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Revisiting Visitors for Modular Extension of Executable DSMLs.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

Language Engineering with the GEMOC Studio.

[BibT_eX]

[DOI]

Olivier Barais

Andreas Wortmann

Proceedings of the 2017 IEEE International Conference on Software Architecture Workshops, 2017

On Language Interfaces.

[BibT_eX]

[DOI]

Thomas Degueule

Jean-Marc Jézéquel

Proceedings of the Present and Ulterior Software Engineering., 2017

2016

Correct-by-construction model driven engineering composition operators.

[BibT_eX]

[DOI]

Mounira Kezadri Hamiaz

Formal Aspects Comput., 2016

Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework.

[BibT_eX]

[DOI]

Gurvan Le Guernic

Marcelino Rodriguez-Cancio

José Angel Galindo

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.

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2016

Execution framework of the GEMOC studio (tool demo).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Puzzle: A Tool for Analyzing and Extracting Specification Clones in DSLs.

[BibT_eX]

[DOI]

Proceedings of the Software Reuse: Bridging with Social-Awareness, 2016

Reverse-Engineering Reusable Language Modules from Legacy Domain-Specific Languages.

[BibT_eX]

[DOI]

Proceedings of the Software Reuse: Bridging with Social-Awareness, 2016

VCU: The Three Dimensions of Reuse.

[BibT_eX]

[DOI]

Proceedings of the Software Reuse: Bridging with Social-Awareness, 2016

Featured model types: towards systematic reuse in modelling language engineering.

[BibT_eX]

[DOI]

Pierre-Yves Schobbens

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

Modeling for sustainability.

[BibT_eX]

[DOI]

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

2015

Mashup of metalanguages and its implementation in the Kermeta language workbench.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2015

Kompren: modeling and generating model slicers.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2015

Using Slicing to Improve the Performance of Model Invariant Checking.

[BibT_eX]

[DOI]

J. Object Technol., 2015

Formal Verification Techniques for Model Transformations: A Tridimensional Classification.

[BibT_eX]

[DOI]

J. Object Technol., 2015

Special Issue on the 6th and 7th International Conferences on Software Language Engineering (SLE 2013 and SLE 2014).

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2015

An analysis of metamodeling practices for MOF and OCL.

[BibT_eX]

[DOI]

Juan José Cadavid

Matias Ezequiel Vara Larsen

Comput. Lang. Syst. Struct., 2015

A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio.

[BibT_eX]

[DOI]

Proceedings of the 8th Transformation Tool Contest, 2015

Weaving concurrency in executable domain-specific modeling languages.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015

Melange: a meta-language for modular and reusable development of DSLs.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015

Supporting efficient and advanced omniscient debugging for xDSMLs.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015

Product lines can jeopardize their trade secrets.

[BibT_eX]

[DOI]

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Reusing legacy DSLs with Melange.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Domain-Specific Modeling, 2015

Coping with Semantic Variation Points in Domain-Specific Modeling Languages.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Julien DeAntoni

Matias Ezequiel Vara Larsen

Frédéric Mallet

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).

[BibT_eX]

[DOI]

Julien DeAntoni

Frédéric Mallet

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.

[BibT_eX]

[DOI]

Christophe Boudjennah

Marie-Agnès Peraldi-Frati

Daniel Exertier

Stéphane Lacrampe

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.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computational Science, 2015

A Generative Approach to Define Rich Domain-Specific Trace Metamodels.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 11th European Conference, 2015

Towards a meta-language for the concurrency concern in DSLs.

[BibT_eX]

[DOI]

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Towards the use of slicing techniques for an efficient invariant checking.

[BibT_eX]

[DOI]

Wuliang Sun

Robert B. France

Proceedings of the Companion Proceedings of the 14th International Conference on Modularity, 2015

Towards Language-Oriented Modeling.

[BibT_eX]

[DOI]

, 2015

2014

Globalizing Domain-Specific Languages (Dagstuhl Seminar 14412).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2014

Correct-by-construction model composition: Application to the Invasive Software Composition method.

[BibT_eX]

[DOI]

Mounira Kezadri Hamiaz

Proceedings of the Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2014

Report on the First Workshop On the Globalization of Modeling Languages.

[BibT_eX]

[DOI]

CoRR, 2014

Globalizing Modeling Languages.

[BibT_eX]

[DOI]

Computer, 2014

Automating variability model inference for component-based language implementations.

[BibT_eX]

[DOI]

Proceedings of the 18th International Software Product Line Conference, 2014

Metamorphic Domain-Specific Languages: A Journey into the Shapes of a Language.

[BibT_eX]

[DOI]

Mathieu Acher

Philippe Collet

Proceedings of the Onward! 2014, 2014

The Relevance of Model-Driven Engineering Thirty Years from Now.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Engineering Languages and Systems, 2014

Scalable Armies of Model Clones through Data Sharing.

[BibT_eX]

[DOI]

Erwan Bousse

Proceedings of the Model-Driven Engineering Languages and Systems, 2014

Towards Scalable Multidimensional Execution Traces for xDSMLs.

[BibT_eX]

[DOI]

Erwan Bousse

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Mounira Kezadri Hamiaz

Proceedings of the Formal Methods and Software Engineering, 2014

Conceptual Model of the Globalization for Domain-Specific Languages.

[BibT_eX]

[DOI]

Proceedings of the Globalizing Domain-Specific Languages, 2014

On the Globalization of Domain-Specific Languages.

[BibT_eX]

[DOI]

Proceedings of the Globalizing Domain-Specific Languages, 2014

When Systems Engineering Meets Software Language Engineering.

[BibT_eX]

[DOI]

Proceedings of the Complex Systems Design & Management, 2014

2013

Mashup of Meta-Languages and its Implementation in the Kermeta Language Workbench.

[BibT_eX]

[DOI]

CoRR, 2013

Variability Support in Domain-Specific Language Development.

[BibT_eX]

[DOI]

Proceedings of the Software Language Engineering - 6th International Conference, 2013

Reifying Concurrency for Executable Metamodeling.

[BibT_eX]

[DOI]

Proceedings of the Software Language Engineering - 6th International Conference, 2013

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

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Improving Reusability in Software Process Lines.

[BibT_eX]

[DOI]

Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013

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

[BibT_eX]

[DOI]

Walter Cazzola

Robert B. France

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

Using Model Types to Support Contract-Aware Model Substitutability.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 9th European Conference, 2013

Integrating Software Process Reuse and Automation.

[BibT_eX]

[DOI]

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Modeling modeling modeling.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2012

Bridging the chasm between MDE and the world of compilation.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2012

Bridging the Chasm between Executable Metamodeling and Models of Computation.

[BibT_eX]

[DOI]

Proceedings of the Software Language Engineering, 5th International Conference, 2012

Impact of footprinting on model quality: An experimental evaluation.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Workshop on Model-Driven Requirements Engineering, 2012

Formally Defining and Iterating Infinite Models.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2012

Using CVL to operationalize product line development with reusable aspect models.

[BibT_eX]

[DOI]

Proceedings of the VARiability for You Workshop, 2012

The 8th Educators' Symposium @ MODELS 2012: software modeling in education.

[BibT_eX]

[DOI]

Dan Chiorean

Proceedings of the 8th edition of the Educators' Symposium, 2012

A Tridimensional Approach for Studying the Formal Verification of Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

A categorical model of model merging and weaving.

[BibT_eX]

[DOI]

Jonathan Y. Marchand

Proceedings of the 4th International Workshop on Modeling in Software Engineering, 2012

On Model Subtyping.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

Leveraging CVL to Manage Variability in Software Process Lines.

[BibT_eX]

[DOI]

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

A Design Pattern to Build Executable DSMLs and Associated V&V Tools.

[BibT_eX]

[DOI]

Xavier Crégut

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011

Teaching MDE through the Formal Verification of Process Models.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far?

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2011

Empirical Evaluation of the Conjunct Use of MOF and OCL.

[BibT_eX]

[DOI]

Juan José Cadavid

Proceedings of the First Workshop on Experiences and Empirical Studies in Software Modelling, 2011

Modeling Model Slicers.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2011

A Proof Assistant Based Formalization of MDE Components.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Laure Gonnord

Vlad Rusu

Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

2010

Generative Technologies for Model Animation in the TopCased Platform.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 6th European Conference, 2010

2009

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

[BibT_eX]

[DOI]

J. Softw., 2009

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

[BibT_eX]

[DOI]

CoRR, 2009

Exploitation des techniques de virtualisation pour l'administration autonome d'infrastructures logicielles réparties.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]