Accueil > Axes > Ressources partagées > Projets > Projets

Projets

Projets en cours

Autres projets

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

Projets Terminés (<8 ans)

CAOTIC : Collaborative Action on Timing Interferences - 2022-2026, ANR
ESTATE - ANR Project 2016-2020
KALRAY - CIFRE KALRAY, 2019-2022
KALRAY-CompCert - CIFRE 2018-2021
STMicroelectronics - CIFRE STMicroelectronics Grenoble, 2018-2021

La page de tous les projets et contrats de Verimag

Nouvelles publications

Quelques Publications Récentes (335))
- Karine Altisen, Marius Bozga: Revisited Convergence of a Self-stabilizing BFS Spanning Tree Algorithm
- Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel Baiocchi Sant'anna: Model checking of distributed algorithms using synchronous programs
- Bruno Ferres, Oussama Oulkaid, Matthieu Moy, Gabriel Radanne, Ludovic Henrio, Pascal Raymond, Mehdi Khosravian: A Survey on Transistor-Level Electrical Rule Checking of Integrated Circuits

Contact | Plan du site | Site réalisé avec SPIP 4.4.23 + AHUNTSIC [CC License]

info visites 9221940

UGA

CNRS

INP Grenoble