Project-Team Celtique

Overall Objectives
Scientific Foundations
New Results
Contracts and Grants with Industry
Partnerships and Cooperations
PDF e-pub XML

Section: Partnerships and Cooperations

European Initiatives

The COST Action IC0701

Participants : Thomas Jensen, David Pichardie.

COST Action IC0701 is a European scientific cooperation. The Action aims at developing verification technology with the power to ensure dependability of object-oriented programs on industrial scale. The action is composed of 15 countries. The COST action has been a forum for presenting our results concerning the data race analysis and our proposal for an intermediate language into which Java byte code can be transformed in order to faciliate the static analysis of byte code programs.

The Valves consortium

This year, we built the VALVES (Variability Testing of Highly-Variable Systems) European proposal gathering University of Sevilla, University of Namur, University of Uppsala, Isotrol, Thales and INRIA Rennes (Arnaud Gotlieb being the coordinator of the proposal). The proposal was submitted to the FP7 program (Call 7, challenge 3.3) and got well evaluated but not enough to be funded this year. From this, we got a support of the Brittany Region to organize a physical meeting during Fall 2011 and prepare a new submission. This meeting was held in the Paris INRIA's offices, the 18th November 2011.