Publications

2018

  • An Empirical Evaluation of OSGi Dependencies Best Practices in the Eclipse IDE
    In 15th International Conference on Mining Software Repositories (MSR), 2018.

    PDF

  • Constraint-based Runtime State Migration for Live Modeling
    In 11th International Conference on Software Language Engineering (SLE), 2018.

    PDF

  • Modular Language Composition for the Masses
    In 11th International Conference on Software Language Engineering (SLE), 2018.

    PDF

  • Shape-Diverse DSLs: Languages without Borders
    In 11th International Conference on Software Language Engineering (SLE), 2018.

    PDF

  • Concern-Oriented Language Development (COLD): Fostering Reuse in Language Engineering
    In Computer Languages, Systems, and Structures, 2018.

    PDF

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

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 SLE'18, MODELS'18 (Posters track and Tools & Demos track), EXE'18, EXE'17
  • Artifact Evaluation Committee for SLE’16 & SLE’17
  • Reviewer for Software & Systems Modeling, Computer Languages, Systems and Structures, Computer Standards & Interfaces, The Journal of Object Technology, IET Software
  • 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

Contact