Stéphane Devismes
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 64 (1), 132-154, 2021
Weak vs. Self vs. Probabilistic Stabilization
S Devismes, S Tixeuil, M Yamashita
International Journal of Foundations of Computer Science 26 (03), 293-319, 2015
Introduction to distributed self-stabilizing algorithms
K Altisen, S Devismes, S Dubois, F Petit
Springer Nature, 2022
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
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
Self-stabilizing leader election in polynomial steps
K Altisen, A Cournier, S Devismes, A Durand, F Petit
Information and Computation 254, 330-366, 2017
Snap-stabilization in message-passing systems
S Delaët, S Devismes, M Nesterenko, S Tixeuil
Proceedings of the twenty-seventh ACM symposium on Principles of distributed …, 2008
Competitive self-stabilizing k-clustering
AK Datta, S Devismes, K Heurtefeux, LL Larmore, Y Rivierre
Theoretical Computer Science 626, 110-133, 2016
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
SR3: secure resilient reputation-based routing
K Altisen, S Devismes, R Jamet, P Lafourcade
Wireless Networks 23, 2111-2133, 2017
Silent self-stabilizing BFS tree algorithms revisited
S Devismes, C Johnen
Journal of Parallel and Distributed Computing 97, 11-23, 2016
Snap-stabilizing depth-first search on arbitrary networks
A Cournier, S Devismes, F Petit, V Villain
The Computer Journal 49 (3), 268-280, 2006
Optimal torus exploration by oblivious robots
S Devismes, A Lamani, F Petit, S Tixeuil
Computing 101, 1241-1264, 2019
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
Election in unidirectional rings with homonyms
K Altisen, AK Datta, S Devismes, A Durand, LL Larmore
Journal of Parallel and Distributed Computing 146, 79-95, 2020
A framework for certified self-stabilization
K Altisen, P Corbineau, S Devismes
Logical Methods in Computer Science 13, 2017
The system can't perform the operation now. Try again later.
Articles 1–20