Home > Verimag > Projects > Projects

Projects

Verimag is or has been involved in the following Projects


Current Projects

    Supported by European Programs

  • ADE - European H2020, 2018-2020
    Autonomous Decision Making in Very Long Traverses
  • BRAIN-IoT - European H2020, 2018-2020
    Model-Based Framework for Dependable Sensing and Actuation in Intelligent Decentralized IoT Systems
  • Supported by National Programs

  • ESTATE - ANR Project 2016-2020
    Enhancing Safety and self-sTAbilization in Time-varying distributed Environments
  • RT-PROOFS - ANR-PRCI 2018-2021
    Formal Proofs for Real-Time Systems – Mar. 2018 to Feb. 2021 with MPI-SWS, TU Braunschweig, INRIA Spades and Onera.
  • Partnership (CIFRE)

  • 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.
  • SECURIOT-2 - 2018-2020
    https://www.pole-scs.org/projet/securiot-2++cs_INTERRO++popup=1

Past Projects


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

info visites 1678601