The objective of this event is to present some of the research topics studied in the Verimag lab.
Home > Verimag > Actualités
Verimag takes part to the "fête de la science"
Verimag takes part to the "fête de la science" the 12-13 October 2017
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
- Conferences
- November 25-29 2019 Synchron 2019
- Seminars
- 20 September 2019 -- Oded maler memorial day: Oded maler memorial day
- 26 September 2019 Pierre-jean Meyer: Reachability analysis and decompositions for abstraction-based control (...)
- 8 October 2019 Valentin Touzeau: Static analysis of least recently used caches: complexity, optimal analysis, and (...) (Phd)
Seminars
New publications
- Recent Publications
- Stéphane Devismes, David Ilcinkas, Colette Johnen: Silent self-stabilizing scheme for spanning-tree-like constructions
- Camille Coti, David Monniaux, Hang Yu: Parallel Parametric Linear Programming Solving, and Application to Polyhedral Computations
- Moustapha Lo: Implementing a Real-time Avionic application on a Many-core Processor
- Rim El-Ballouli: Modeling Self-configuration In Architecture-based Self-adaptive Systems
- Rany Kahil: Schedulable Mixed-critical Multi-core Systems Design
- Valentin Touzeau, Claire Maiza, David Monniaux, Jan Reineke: Fast and Exact Analysis for LRU Caches
