Suivre
Stéphane Devismes
Titre
Citée par
Citée par
Année
Optimal probabilistic ring exploration by semi-synchronous oblivious robots
S Devismes, F Petit, S Tixeuil
Theoretical Computer Science 498, 10-27, 2013
88*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, 2019
80*2019
Weak vs. Self vs. Probabilistic Stabilization
S Devismes, S Tixeuil, M Yamashita
International Journal of Foundations of Computer Science 26 (03), 293-319, 2015
67*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
57*2019
Introduction to distributed self-stabilizing algorithms
K Altisen, S Devismes, S Dubois, F Petit
Springer Nature, 2022
562022
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
51*2010
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
50*2011
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
442009
Snap-stabilizing PIF and useless computations
A Cournier, S Devismes, V Villain
12th International Conference on Parallel and Distributed Systems-(ICPADS'06 …, 2006
402006
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
392008
Self-stabilizing leader election in polynomial steps
K Altisen, A Cournier, S Devismes, A Durand, F Petit
Information and Computation 254, 330-366, 2017
372017
Competitive self-stabilizing k-clustering
AK Datta, S Devismes, K Heurtefeux, LL Larmore, Y Rivierre
Theoretical Computer Science 626, 110-133, 2016
35*2016
SR3: secure resilient reputation-based routing
K Altisen, S Devismes, R Jamet, P Lafourcade
Wireless Networks 23, 2111-2133, 2017
34*2017
Snap-stabilizing depth-first search on arbitrary networks
A Cournier, S Devismes, F Petit, V Villain
The Computer Journal 49 (3), 268-280, 2006
312006
Optimal torus exploration by oblivious robots
S Devismes, A Lamani, F Petit, S Tixeuil
Computing 101, 1241-1264, 2019
302019
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
29*2009
Silent self-stabilizing BFS tree algorithms revisited
S Devismes, C Johnen
Journal of Parallel and Distributed Computing 97, 11-23, 2016
282016
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
282015
A framework for certified self-stabilization
K Altisen, P Corbineau, S Devismes
Logical Methods in Computer Science 13, 2017
242017
Communication efficiency in self-stabilizing silent protocols
S Devismes, T Masuzawa, S Tixeuil
2009 29th IEEE International Conference on Distributed Computing Systems …, 2009
242009
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20