Stéphane Devismes
Stéphane Devismes
Université de Grenoble Alpes
Verified email at - Homepage
Cited by
Cited by
Optimal probabilistic ring exploration by semi-synchronous oblivious robots
S Devismes, F Petit, S Tixeuil
Theoretical Computer Science 498, 10-27, 2013
Terminating Exploration Of A Grid By An Optimal Number Of Asynchronous Oblivious Robots
S Devismes, A Lamani, F Petit, P Raymond, S Tixeuil
The Computer Journal, 2020
Weak vs. Self vs. Probabilistic Stabilization
S Devismes, S Tixeuil, M Yamashita
International Journal of Foundations of Computer Science 26 (03), 293-319, 2015
A silent self-stabilizing algorithm for the generalized minimal k-dominating set problem
AK Datta, S Devismes, LL Larmore
Theoretical Computer Science 753, 35-63, 2019
Self-Stabilizing Small k-Dominating Sets
S Devismes, K Heurtefeux, Y Rivierre, AK Datta, LL Larmore
Networking and Computing (ICNC), 2011 Second International Conference on, 30-39, 2011
Stabilizing leader election in partial synchronous systems with crash failures
C Delporte-Gallet, S Devismes, H Fauconnier
Journal of Parallel and Distributed Computing 70 (1), 45-58, 2010
Snap-stabilization in message-passing systems
S Delaët, S Devismes, M Nesterenko, S Tixeuil
Journal of Parallel and Distributed Computing 70 (12), 1220-1230, 2010
Light enabling snap-stabilization of fundamental protocols
A Cournier, S Devismes, V Villain
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 4 (1), 1-27, 2009
Snap-stabilizing PIF and useless computations
A Cournier, S Devismes, V Villain
12th International Conference on Parallel and Distributed Systems-(ICPADS'06 …, 2006
Snap-stabilizing depth-first search on arbitrary networks
A Cournier, S Devismes, F Petit, V Villain
The Computer Journal 49 (3), 268-280, 2006
SR3: secure resilient reputation-based routing
K Altisen, S Devismes, R Jamet, P Lafourcade
Wireless Networks 23 (7), 2111-2133, 2017
Competitive self-stabilizing k-clustering
AK Datta, S Devismes, K Heurtefeux, LL Larmore, Y Rivierre
Theoretical Computer Science 626, 110-133, 2016
Communication efficiency in self-stabilizing silent protocols
S Devismes, T Masuzawa, S Tixeuil
2009 29th IEEE International Conference on Distributed Computing Systems …, 2009
A snap-stabilizing DFS with a lower space requirement
A Cournier, S Devismes, V Villain
Symposium on Self-Stabilizing Systems, 33-47, 2005
Self-stabilizing leader election in polynomial steps
K Altisen, A Cournier, S Devismes, A Durand, F Petit
Information and Computation 254, 330-366, 2017
Self-stabilizing (f, g)-alliances with safe convergence
F Carrier, AK Datta, S Devismes, LL Larmore, Y Rivierre
Journal of Parallel and Distributed Computing 81, 11-23, 2015
Optimal deterministic self-stabilizing vertex coloring in unidirectional anonymous networks
S Bernard, S Devismes, MG Potop-Butucaru, S Tixeuil
2009 IEEE International Symposium on Parallel & Distributed Processing, 1-8, 2009
A silent self-stabilizing algorithm for finding cut-nodes and bridges
S Devismes
Parallel Processing Letters 15 (01n02), 183-198, 2005
A Framework for Certified Self-Stabilization
S Devismes, P Corbineau, K Altisen
Logical Methods in Computer Science 13, 2017
Silent self-stabilizing BFS tree algorithms revisited
S Devismes, C Johnen
Journal of Parallel and Distributed Computing 97, 11-23, 2016
The system can't perform the operation now. Try again later.
Articles 1–20