Section: Partnerships and Cooperations

Regional Initiatives

• Serge Haddad and Yann Duplouy have been participating in the Simulation pour la sécurité du véhicule autonome(SVA) project at SystemX, in cooperation with Renault, on the application of formal methods to the development of embedded systems for autonomous vehicles.

• Matthias Függer co-leads the Digicosme working group HicDiesMeus on "Highly Constrained Discrete Agents for Modeling Natural Systems" (parsys.lri.fr/HicDiesMeus).

• Matthias Függer participates in the Farman project Dicimus in collaboration with Thomas Nowak (LRI). The project is on modeling of bacterial interactions using techniques from distributed computing theory and VLSI design.