Section: Partnerships and Cooperations

National Initiatives

Within Inria

We collaborate with colleagues within Inria with:

• the Triskell team at Inria Rennes-Bretagne Atlantique) on the analysis of DSMLs and on the formal definition of Kermeta.

• the Compsys team at Inria Grenoble Rhône-Alpes /Lyon on termination, and more generally on analysis of general C programs.

Other National Collaborations

We collaborate with David Monniaux (Verimag, Grenoble) on improving the global precision of fixpoint computations, via the use of SMT solving.

We also collaborate with the L2EP (Université de Lille1) inside the research pole MEDEE, especially in the first action: industrialization of Code_CARMEL. Code_CARMEL is a software for electromagnetic fields simulations.

We collaborate with Xavier Blanc (LaBri) on the definition of constraints for chaining model transformations.