C O N V E C S
Construction of Verified Concurrent Systems
Presentation
Research
Members
Publications
Projects
Software
National Projects
MOAP (2020-2023)
funded by
Région Auvergne-Rhône-Alpes
PRISSMA (2021-2024)
Bilateral Grants with Industry
Nokia Bell Labs
(2017-2021)
STMicroelectronics
(2020-2023)
European Projects
ArchitectECA2030
(2020-2023)
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
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
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)
News
Events
Jobs
Contact
Last modified: 2021/04/02 11:51:34.