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
News
- Conferences
- November 25-29 2019 Synchron 2019
Seminars
- Seminars
- 21 November 2019 Sophie Tourret: Stronger higher-order automation
- 25 November 2019 Moshe Vardi: Technology is driving the future, but who is steering?
New publications
- Recent Publications
- Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Continuous vs. Discrete Asynchronous Moves: a Certified Approach for Mobile Robots on Graphs
- Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Manuel de savoir-prouver à l'usage des roboteux et des distributeux
- Rany Kahil: Schedulable Mixed-critical Multi-core Systems Design
- Goran Frehse, Nikolaos Kekatos, Dejan Nickovic, Jens Oehlerking, Simone Schuler, Alexander Walsch, Matthias Woehrle: A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates
- Maxime Puys: Sécurité des systèmes industriels : filtrage applicatif et recherche de scénarios d'attaques. (Cybersecurity of Industrial Systems : Applicative Filtering and Generation of Attack Scenarios)
- 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
