Publications

2017

  • Revisiting Visitors for Modular Extension of Executable DSMLs
    In International Conference on Model-Driven Engineering Languages and Systems (MODELS), 2017.

    PDF

  • Safe Model Polymorphism for Flexible Modeling
    In Computer Languages, Systems, and Structures (COMLAN), 2017.

    PDF

  • On Language Interfaces
    In PAUSE: Present and Ulterior Software Engineering, 2017 (to appear).
    Ed. Bertrand Meyer and Manuel Mazzara.

    PDF

  • Engineering a Rover Language in GEMOC Studio & Monticore: A Comparison of Language Reuse Support
    In 1st Workshop on Model Driven Engineering Tools (MDETools@MODELS), 2017.

    PDF

2016

  • Leveraging Software Product Lines Engineering in the Development of External DSLs: A Systematic Literature Review
    In Computer Languages, Systems, and Structures (COMLAN), 2016.

    PDF

  • Execution Framework of the GEMOC Studio (Tool Demo)
    In International Conference on Software Language Engineering (SLE), 2016.

    PDF

2015

  • Melange: A Meta-language for Modular and Reusable Development of DSLs
    In International Conference on Software Language Engineering (SLE), 2015.

    PDF Slides

  • Towards an Automation of the Mutation Analysis Dedicated to Model Transformation
    In Software Testing, Verification, and Reliability (STVR), 2015.

    PDF

  • A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio
    In Proceedings of the 8th Transformation Tool Contest (TTC@STAF), 2015.
    Overall winner of the model execution case.

    PDF

  • Tooling Support for Variability and Architectural Patterns in Systems Engineering
    In International Software Product Line Conference (SPLC), 2015.
    Tool demonstration.

    PDF

  • Reusing Legacy DSLs with Melange
    In International Workshop on Domain-Specific Modeling (DSM), 2015.

    PDF

2014

  • Motivating Use Cases for the Globalization of DSLs
    In Globalizing Domain-Specific Languages, 2014.
    Ed. Benoit Combemale, Betty Cheng, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe.

    PDF

  • When Systems Engineering Meets Software Language Engineering
    In Complex Systems Design & Management (CSDM), 2014.

    PDF

  • Variability and Patterns in Safety/Security Systems Engineering: An Overview
    In Journées Lignes de Produits (JLDP), 2014.
    National French Symposium.

2013

  • Using Meta-model Coverage to Qualify Test Oracles
    In International Workshop on the Analysis of Model Transformations (AMT), 2013.

    PDF

Others

  • Composition and Interoperability for External Domain-Specific Language Engineering
    PhD Thesis, 2016
    Advisors: Pr. Olivier Barais, Dr. Arnaud Blouin, Dr. Benoit Combemale.
    More information on the dedicated webpage.

  • Automatic Generation of Test Models for Model Transformations using Mutation Analysis
    Master Thesis, 2013
    Advisors: Dr. Jean-Marie Mottu, Dr. Gerson Sunyé.

    PDF Slides

  • Interoperability and Composition of DSLs with Melange
    Submission to the ACM Student Research Competition Grand Finals, 2016
    2nd place.

    PDF

Awards

Teaching

During my PhD, I was a teaching assistant at the University of Rennes 1 (ISTIC) and ESIR where I taught software engineering courses (lectures, seminars, and practical work sessions):

  • IDM: Model-driven Engineering
  • ACO: Object-oriented Analysis and Design
  • IMTQL: Model-driven Engineering, Test, and Quality
  • AOC: Object-oriented Architectures
  • SIR: Distributed Information Systems

Projects

  • ALE: Agile Language Engineering, Associate team between Inria's DiverSE and CWI's SWAT (2017 - 2019)
  • H2020 CROSSMINER: Developer-Centric Knowledge Mining from Large Open-Source Software Repositories (2017 - 2019)
  • LEOC Clarity: Ecosystem for the Model-Based Systems Engineering Solution Capella (2014 - 2017)
  • ANR INS GEMOC: A Tool-Supported Approach for Omniscient Debugging and Concurrent Execution of Heterogeneous Models (2012 - 2016)
  • ITEA2 MERgE: Multi-Concerns Interactions System Engineering (2012 - 2016)

Services

  • Artifact Evaluation Co-chair for MODELS'18
  • PC Member for EXE'17
  • Artifact Evaluation Committee for SLE’16 & SLE’17
  • Reviewer for Computer Standards & Interfaces, The Journal of Object Technology
  • External/subreviewer for
    • Journals: Software & Systems Modeling; The Art, Science, and Engineering of Programming
    • Conferences & workshops: MODELS'17, ICMT’16, ECMFA’16, MiSE@ICSE’16, ICSE’15, EXE’15, SLE’15, SLE’14, GPCE’14, MODELS’14, ECMFA’14, MiSE@ICSE’14, APSEC’14

Software

  • Melange: a language workbench that provides a modular approach for reusing, customizing, and composing multiple DSLs specifications and implementations. Melange relies on aspect-oriented and executable metamodeling, model typing and a dedicated algebra for language composition and customization.
  • Eclipse GEMOC Studio: a framework for designing and integrating EMF-based modeling languages. The framework provides a generic interface to plug in different execution engines associated to their specific metalanguages used to define the discrete-event operational semantics, and the behavioral coordination, of DSLs. It also integrates generic runtime services that are shared among the approaches used to implement the execution semantics, such as graphical animation or omniscient debugging.
  • K3 : an action language built on top of the Xtend programming language that supports the modular implementation of an operational semantics (both computation steps and runtime concepts) and its weaving into an Ecore metamodel.
  • KCVL: an implementation of the OMG Common Variability Language integrated with the Eclipse modeling ecosystem.

Contact