Publications

Journal Articles

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

    PDF

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

    PDF

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

    PDF

Book Chapters

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

    PDF

  • 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

Conference Papers

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

    PDF

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

    PDF Slides

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

    PDF

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

    PDF

Workshop Papers

  • Reusing Legacy DSLs with Melange
    In International Workshop on Domain-Specific Modeling (DSM), 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

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

  • 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)
  • ICT-10-2016 Software Technologies CROSSMINER (H2020): 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

  • PC Member for EXE'17
  • Artifact Evaluation Committee for SLE’16 & SLE’17
  • Reviewer for Computer Standards & Interfaces
  • As an external/subreviewer, I wrote reviews 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