Section: Partnerships and Cooperations

National Collaborations

Additionally, we collaborated in 2011 with the following Inria project teams:

• Oasis (Sophia-Antipolis): distributed verification tools (Eric Madelaine);

• Pop-Art (Rhône-Alpes): behavioral adaptation of software services and conformance checking of choreography specifications (Gregor Gössler);

• Sardes (Rhône-Alpes): verification of protocols for component-based architectures and virtualization (Fabienne Boyer, Olivier Gruber, and Noël de Palma).

Beyond Inria , we had sustained scientific relations with the following researchers:

• Gaëlle Calvary and Sophie Dupuy (Lig , Grenoble);

• Pascal Poizat (Lri , Orsay);

• Meriem Ouederni (Lina , Nantes);

• Xavier Blanc and Cédric Teyton (Labri , Bordeaux).