Project funded by UTRC, Ireland.
Investigator: Thao Dang
Browsing
News
- NEWS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book: Introduction to Distributed Self-Stabilizing Algorithms
- 20 September 2019 at IMAG Auditorium (Grenoble) Oded Maler Memorial Day
- Argosim and Verimag in ``La Lettre Innovation du CNRS’’
- Conferences
- 30 September - 1 October 2019 AVoCS 2019
New publications
- Recent Publications
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit: Gradual stabilization
- Cristian Ene, Laurent Mounier, Marie-Laure Potet: Output-Sensitive Information Flow Analysis
- Stéphane Devismes, David Ilcinkas, Colette Johnen: Silent self-stabilizing scheme for spanning-tree-like constructions
- David Monniaux: Il faut se défier de la \guillemotleftpensée magique\guillemotright
- Camille Coti, David Monniaux, Hang Yu: Parallel Parametric Linear Programming Solving, and Application to Polyhedral Computations
- Rémy Boutonnet, Nicolas Halbwachs: Disjunctive relational abstract interpretation for interprocedural program analysis
