Home > Topics > Shared Resources > Projects > Projects

Projects


Current Projects

    Projets Nationaux

  • ESTATE - ANR Project 2016-2020
    Enhancing Safety and self-sTAbilization in Time-varying distributed Environments
  • Partenariat (CIFRE)

  • KALRAY - CIFRE KALRAY, 2019-2022
    Implementing and analyzing safety critical systems on a many-core architecture
  • KALRAY-CompCert - CIFRE 2018-2021
    An efficient CompCert certified compiler with a backend for the KVX core
  • STMicroelectronics - CIFRE STMicroelectronics Grenoble, 2018-2021
    Adding Diagnostic Features to Digital Twins for Systems-on-a-Chip
  • Other Projects

  • Coopération Argosim - 2013-...
    The Argosim company, hosted in Verimag between 2013 and 2015, designed an industrial version of Lutin.

Past Projects


The whole Verimag Projects page


Contact | Site Map | Site powered by SPIP 3.1.13 + AHUNTSIC [CC License]

info visites 1684320