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
- Braham Lotfi Mediouni: Modeling and Analysis of Stochastic Real-Time Systems
- Rémy Boutonnet, Nicolas Halbwachs: Disjunctive relational abstract interpretation for interprocedural program analysis
- Jonthan Salwan, Sebastien Bardin, Marie-Laure Potet: Binary Deobfuscation and Dynamic Symbolic Execution
- Arvind S. Adimoolam, Thao Dang: Template Complex Zonotope Based Stability Verification
- Rany Kahil: Schedulable Mixed-critical Multi-core Systems Design
- Karine Altisen, Stéphane Devismes, Swan Dubois, Franck Petit: Introduction to Distributed Self-Stabilizing Algorithms
