Home > Topics > Shared Resources > Projects > Projects

Projects

Current Projects

Other Projects

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

Past Projects (<8 years)

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

The whole Verimag Projects page

New publications

Some Recent Publications (335))
- Karine Altisen, Marius Bozga: Revisited Convergence of a Self-stabilizing BFS Spanning Tree Algorithm
- 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
- Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel Baiocchi Sant'anna: Model checking of distributed algorithms using synchronous programs

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

info visites 9220389

UGA

CNRS

INP Grenoble