Devismes
Articles by this author
Best paper award for Stéphane Devismes, Karel Heurtefeux, and Yvan Rivierre
Tuesday 31 January 2012
Models of Distributed Algorithms
Friday 16 October 2020
PADEC
Friday 1 January 2016
[M1 internship] Modeling of Graph Topologies Using Coq
Sunday 16 September 2018
[Master 2R 2012-2013] Probabilistic Snap-Stabilizing Algorithms for Local Resource Allocation Problems
Tuesday 30 April 2013
[Master 2R 2013-2014] Efficient Self-Stabilizing Algorithms for Pervasive Computing Systems
Wednesday 8 October 2014
[Master] Certification of Distributed Self-Stabilizing Algorithms Using Coq
Monday 30 October 2023
