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
- Karine Altisen, Stéphane Devismes, Swan Dubois, Franck Petit: Introduction to Distributed Self-Stabilizing Algorithms
- Alexey Bakhirkin, Nicolas Basset, Oded Maler, José-Ignacio Requeno Jarabo: ParetoLib: A Python Library for Parameter Synthesis
- Claire Maiza, Hamza Rihani, Juan M. Rivas, Joël Goossens, Sebastian Altmeyer, Robert I. Davis: A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems
- Arvind S. Adimoolam, Thao Dang: Template Complex Zonotope Based Stability Verification
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit: Gradual stabilization
- Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore: A silent self-stabilizing algorithm for the generalized minimal \emphk-dominating set problem
