title = {Self-Stabilizing Algorithms for Constructing Distributed Spanning Structures },
author = {Rivierre, Yvan},
month = {december},
year = {2013},
school = {Universit\'e de Grenoble},
team = {SYNC},
}
Home > Verimag > Publications
bibtex
@phdthesis{Riv13,
title = {Self-Stabilizing Algorithms for Constructing Distributed Spanning Structures },
author = {Rivierre, Yvan},
month = {december},
year = {2013},
school = {Universit\'e de Grenoble},
team = {SYNC},
}
title = {Self-Stabilizing Algorithms for Constructing Distributed Spanning Structures },
author = {Rivierre, Yvan},
month = {december},
year = {2013},
school = {Universit\'e de Grenoble},
team = {SYNC},
}
Browsing
New publications
- Recent Publications
- Eugene Asarin, Nicolas Basset, Aldric Degorre: Distance on Timed Words and Applications
- Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch: Formally Verifying Flow Properties in Industrial Systems
- Dorien Koelemeijer, Rasma Araby, Ayoub Nouri, Marius Bozga, Rance DeLong: A Model-based Approach to Certification of Adaptive MILS
- Karine Altisen, Pierre Corbineau, Stéphane Devismes: A Framework for Certified Self-Stabilization
- Fotios Gioulekas, Peter Poplavko, Rany Kahil, Panagiotis Katsaros, Marius Bozga, Saddek Bensalem, Pedro Palomo: Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper)
- Georgia Giannopoulou, Peter Poplavko, Dario Socci, Pengcheng Huang, Nikolay Stoimenov, Paraskevas Bourgos, Lothar Thiele, Marius Bozga, Saddek Bensalem, Sylvain Girbal, Madeleine Faugère, Romain Soulat, Beno\^ Dupont de Dinechin: DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems
Jobs and internships
- Jobs and internships
- Phd Proposal : Inférence de modèles de faute pour simulation d’attaques sur composants sécurisés
- Phd proposal : Optimisation de l’évaluation et des tests de sécurité des systèmes cyber-physiques par analyse des canaux auxiliaires
- Post-Doc and/or Research Engineer positions on Software Security
- [M1 internship] Modeling of Graph Topologies Using Coq
- [M2 internship] Certification of Distributed Self-Stabilizing Algorithms Using Coq
- [M2 internship] Models of Distributed Algorithms
