Section: Bilateral Contracts and Grants with Industry

Project funded by EADS Foundation

Participants : Jingshu Chen, Marie Duflot-Kremer, Pascal Fontaine, Stephan Merz.

This two-year project (2013/2014) funds our work on the analysis of real-time Java programs described in section  6.2 , and in particular 12 months of the salary of Jingshu Chen as a post-doctoral researcher. It is complemented by funds granted by Région Lorraine.