I am involved into the following software projects:

  • Melange, a language and platform for assembling and integrating multiple domain-specific languages (DSL)
  • The GEMOC Studio, a language workbench for language executability, assembling and globalization. The GEMOC Studio includes among others Sirius Animator, MoCCML and B-COoL.
  • Kermeta, an executable metamodeling language
  • Kompren, a generic approach for model slicing

In the past, I involved in:

  • The Topcased simulation tools
  • COQ4MDE: a formal metamodeling framework based on COQ