Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Partnerships and Cooperations

European Initiatives

Collaborations in European Programs, Except FP7 & H2020

Collaborations with Major European Organizations

We have a strong collaboration with the Technische Universit├Ąt Braunschweig in Germany and the MPI-SWS in Kaiserslautern (Germany) on formal proofs for the analysis real-time systems. This collaboration is formalized by the ANR-PRCI project called RT-proofs started in 2018, which involves MPI-SWS, TU Braunschweig, Inria, and Onera.