National Projects

• SECURIOT-2 (2017-2020)


• CAPHCA (2017-2020)

Bilateral Grants with Industry

• Nokia Bell Labs (2017-2020)

International Working Groups

• FMICS ERCIM Working Group on Formal Methods for Industrial Critical Systems


• IFIP Working Group 1.8 on Concurrency Theory


• AVACS consortium on Automatic Verification and Analysis of Complex Systems
  (involvement of Hubert Garavel in cooperation with Saarland University)


• Forum Méthodes Formelles
  


• Model Checking Contest
  

Past projects

National Projects

• ARC6 with LCIS and Innovista Sensors (2016-2019)
  

  funded by

  Région Auvergne-Rhône-Alpes



• Bluesky for I-Automation (2012-2016)
  

  funded by

  Région Auvergne-Rhône-Alpes

  and Conseil Général de l'Isère



• OpenCloudware (2012-2015)

Bilateral Grants with Industry

• Orange Labs (2016-2019)


• STMicroelectronics (2012-2015)

PhD Co-Supervision

• SLIDE team of LIG (2015-2018)


• IIHM team of LIG (2012-2016)

European Projects

• PHC Amadeus RIDINGS with IST Graz, Austria (2017-2018)


• SENSATION (2012-2016)