Université de Rennes 1        EPI Triskell
Benoit Combemale

Benoit Combemale View Benoit Combemale's profile on LinkedIn
PhD in Computer Science

Associate Professor at University of Rennes 1
Member of the Triskell team (IRISA & INRIA)

Shortcut

  • Main
  • News
  • Research
    • >> Publications <<
  • Teaching
  • Jobs & Internship
  • Biography
  • Resume
  • Contact

Available Positions (Master, PhD, Post-doc, and Engineer)

If you are interested in any of these positions, or if you want more information, please contact me by email.

  • [PostDoc/Eng.] Génération automatique de tests pour la vérification de transformation de modèle . Supervisors: Benoit Baudry, Benoit Combemale, and Jean-Marc Jézéquel.
  • [PostDoc/Eng.] Ingénierie des langages, ingénierie des modèles : vers une intégration . Supervisors: Olivier Barais, Benoit Combemale, and Jean-Marc Jézéquel.
  • [PostDoc] Generative Approach for Model Simulation and Properties Analysis . Supervisors: Benoit Combemale, and Jean-Marc Jézéquel.
  • [PhD] Formal Foundations to Verify DSML Compilers . Supervisors: Benoit Baudry, and Benoit Combemale (Advisor: Jean-Marc Jézéquel).
  • [PhD] Formally assuring reconfiguration decisions in software intensive systems . Supervisors: Benoit Baudry, and Benoit Combemale (Advisor: Jean-Marc Jézéquel).
  • [Master] From fUML to fMOF: a Foundational Subset for Executable Meta-Modelling . Advisors: Jean-Marc Jézéquel, and Benoit Combemale.
  • [Master] An Advanced Type System for Executable Metamodeling . Advisors: Benoit Baudry, Benoit Combemale, and Xavier Thirioux.