Collaborative Projects (as Inria PI, else stated otherwise)

1. • FR PSPC STARTREC (04/2021-03/2023) is a French funded project led by Easymile expected to certify autonomous vehicles. The other partners are TrustInSoft, StatInf and CEA. The Inria budget is around 300 000€.
   

2. • AE Kepler (01/2020-31/12/2023) is an Inria associated team with the Federal University of Bahia and more precisely the research group of Prof. George Lima. The project concerns the probabilistic schedulability analyses and the statistical estimation of bounds on execution times of programs executed on multicore processors.
   

3. • FR FUI22 CEOS (05/2017-10/2020): the CEOS purpose is to propose a real-time certifiable heavy drone (around 25kg) for critical missions. The partners are Thales, Inria, University of Lorraine, ADCIS, RTaW, EDF, ENEDIS and Caen Aeroport. The budget for INRIA is an amount of 300 000 euros.
   

4. •FR FUI21 Waruna(09/2015-01/2019);the Waruna purpose is to introduce probabilistic reasoning within an open source framework Time4Sys. The partners are Thales, Clearsy, Artal, RTaW, ENSMA and Inria. The budget for INRIA is an amount of 330 000 euros.
   

5. •FR LEOC Capacites (11/2014-11/2017): this Investissement d’Avenir project is a large project with many partners like Airbus, Dassault, Safran or Thales. The project has been dedicated to temporal study of Kalray manycore processors. The budget for INRIA is around 400 000 euros.
   

6. • IFPEN CIFRE (11/2014-11/2017): scientific co-supervisor of S. Eddine (PhD thesis- together with Y. Sorel). N. Pernet is the IFPEN industrial supervisor. The budget for INRIA is an amount of 157 500 euros.
   

7. •Airbus CIFRE (2014-2017): scientific supervisor of C. Maxim (PhD thesis). B. Triquet is the Airbus industrial supervisor. The budget for INRIA is an amount of 160 500 euros.
   

8. •FP7 IP PROXIMA (2013-2016). Leader of WP5 in charge of the dissemination and exploitation plans of the project (INRIA PI)
   

9. •French BGLE DEPARTS (2012-2018). Probabilistic approaches (INRIA PI)FR BGLE DEPARTS (09/2013-09/2018): Dedicate to building a new processor class. The budget for INRIA is an amount of 440 000 euros. The project has 15 partners and industrial support covering domains like aerospace (Critical Systems), automotive (Nexter) and rail (SNCF).
   

10. •FP7 STREP PROARTIS (09/2010-09/2013): the purpose was to build a first PoC for the probabilistic reasoning. The partners are Airbus, BSC, Inria, RAPITA and University of Padova. The budget for INRIA is an amount of 450 000 euros. I was also WP leader in charge of the development of the probabilistic approaches.
    

11. •FP7 ITEA Timmo-2-use (10/2010-10/2012): this large project has covered automotive approaches. The budget for INRIA Nancy-Grand Est is an amount of 443 696 euros. I was also WP leader in charge of the development of the algorithms and associated tools.)
    

12. •French ANR PREDIT SCARLET as Systèmes Critiques pour l'Automobile - Robustesse des Logiciels Embarqués Temps Réel (2007-2010)  (Participant)