Projects

  • 2017-2020: GLOSE (GLObalization in Systems Engineering), bilateral collaboration with Safran (network DESIR).
  • 2017-2019: ALE (Agile Language Engineering), Inria associate team with the SWAT team at CWI (co-PI with Tijs van der Storm).
  • 2016-2019: Family (DSL Families for Packet Filtering Policy), grant from the French Pôle d’Excellence Cyber (PI)
  • 2017-2018: EMMA (Engineering xDSML), WTZ (AT) / PHC Amadeus (FR) grant between TU Wien and Univ. Rennes 1 (co-PI with Tanja Mayerhofer)
  • 2014-2018: MPM4CPS (Multi-Paradigm Modelling for Cyber-Physical Systems), ICT COST Action IC1404 (Member of the Management Committee)
  • 2014-2018: FPML (Domain-Specific Metamodeling for Filtering Policy), bilateral collaboration with DGA, the French Defence Procurement Agency (PI)
  • 2014-2017: CLARITY (éCosytème pour la pLAte-foRme d’Ingénierie sysTème melodY), LEOC Project
  • 2012-2016: GEMOC, ANR Project, Program INS, Grant n°ANR-12-INSE-0011 (Coordinator)
  • 2013-2016: DIVERSIFY, FP7 FET (Benoit Baudry coordinates the whole project)
  • 2013-2015: MBSAR (Model-Based Security Analysis at Runtime), CNRS Project, Program PICS (Coordinator)
  • 2011-2015: VaryMDE (Variability in Model Driven Engineering): bilateral collaboration with Thales Research & Technology (co-PI)
  • 2011-2014: RELATE EU FP7 Marie Curie ITN (Initial Training Network)
  • 2010-2013: Bilateral collaboration (CIFRE) with the Sodifrance company (PI)
  • 2011: Ingénierie du logiciel pour les systèmes hétérogènes : bilan, verrous et défis, Action Spécifique 2011 du GDR GPL du CNRS (Coordinator)
  • 2010: User-Centric Safe Adaption of Assisted Living Systems, Scientific Project from University of Rennes 1 (co-PI)
  • 2009-2012: OPEES (Open Platform for the Engineering of Embedded Systems), ITEA2 Project
  • 2005-2009: TOPCASED (Toolkit in OPen source for Critical Applications & SystEms Development) project