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 with Major European Organizations

We have a strong collaboration with the Technische Universit├Ąt Braunschweig in Germany. In particular, Sophie Quinton actively participates in the CCC project ( ) to provide methods and mechanisms for the verification of software updates after deployment in safety-critical systems.