Home > Topics > Shared Resources > Projects > Projects
Projects
Current Projects
- KALRAY - CIFRE KALRAY, 2019-2022
Implementing and analyzing safety critical systems on a many-core architecture - Coopération Argosim - 2013-...
The Argosim company, hosted in Verimag between 2013 and 2015, designed an industrial version of Lutin.
Partenariat (CIFRE)
Other Projects
Past Projects
- ESTATE - ANR Project 2016-2020
- HELP - ANR Arpège, 2009-2013
- KALRAY-CompCert - CIFRE 2018-2021
- OpenES - European CATRENE Project 2013-2016
- openTLM - Minalogic, 2006-2010
- PADEC - AGIR-Pôle-MSTIC 2015
- STMicroelectronics - CIFRE STMicroelectronics, 2014-2017
- STMicroelectronics - CIFRE STMicroelectronics Grenoble, 2018-2021
- W-SEPT - ANR INS, 2012-2016
