National Projects

• PEPR Cloud (2023-2030)
  • Archi-CESAM
  • TARANIS


• MOAP (2020-2025)
  

  funded by

  Région Auvergne-Rhône-Alpes

Bilateral Grants with Industry

• Euris (2024-2027)

European Projects

• A-IQ Ready (2023-2026)

International Working Groups

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


• IFIP Working Group 1.8 on Concurrency Theory


• Model Checking Contest
  


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


• Forum Méthodes Formelles
  

Past projects

National Projects

• DIIoT (2021-2024)


• PRISSMA (2021-2024)


• CAPHCA (2017-2020)


• SECURIOT-2 (2017-2020)


• 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

• STMicroelectronics (2020-2023)


• Nokia Bell Labs (2017-2022)


• Orange Labs (2016-2019)


• STMicroelectronics (2012-2015)

PhD Co-Supervision

• SLIDE team of LIG (2015-2018)


• IIHM team of LIG (2012-2016)

European Projects

• ArchitectECA2030 (2020-2023)


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


• SENSATION (2012-2016)