Stéphane Devismes

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 67

Top Venues

University of Picardie Jules Verne, Amiens, France (PHD)

Education History

University of Picardie Jules Verne, Amiens, France

PHD

Publications

Colette Johnen, Stéphane Devismes, Frédéric Mazoit, David Ilcinkas
Asynchronous Self-stabilization Made Fast, Simple, and Energy-efficient. PODC (2024)
Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes
On Self-stabilizing Leader Election in Directed Networks. PODC (2024)
Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes
Self-stabilizing synchronous unison in directed networks. Theor. Comput. Sci. 1001 (2024)
Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel B. Sant'Anna
Model Checking of Distributed Algorithms Using Synchronous Programs. SSS (2023)
Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes
Self-stabilizing Synchronous Unison in Directed Networks. ICDCN (2023)
Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit
Self-stabilizing systems in spite of high dynamics. Theor. Comput. Sci. 964 (2023)
Quentin Bramas, Pascal Lafourcade, Stéphane Devismes
Optimal exclusive perpetual grid exploration by luminous myopic opaque robots with common chirality. Theor. Comput. Sci. 977 (2023)
Karine Altisen, Pierre Corbineau, Stéphane Devismes
Certification of an exact worst-case self-stabilization time. Theor. Comput. Sci. 941 (2023)
Karine Altisen, Stéphane Devismes, Erwan Jahier
sasa: a SimulAtor of Self-stabilizing Algorithms. Comput. J. 66 (4) (2023)
Stéphane Devismes, David Ilcinkas, Colette Johnen, Frédéric Mazoit
Making local algorithms efficiently self-stabilizing in arbitrary asynchronous environments. CoRR (2023)
Stéphane Devismes, David Ilcinkas, Colette Johnen, Frédéric Mazoit
Trade-off between Time, Space, and Workload: the case of the Self-stabilizing Unison. CoRR (2023)
Ajoy K. Datta, Stéphane Devismes, Colette Johnen, Lawrence L. Larmore
Analysis of a memory-efficient self-stabilizing BFS spanning tree construction. Theor. Comput. Sci. 955 (2023)
Erwan Jahier, Karine Altisen, Stéphane Devismes
Exploring Worst Cases of Self-stabilizing Algorithms Using Simulations. SSS (2023)
Karine Altisen, Pierre Corbineau, Stéphane Devismes
Certified Round Complexity of Self-Stabilizing Algorithms. DISC (2023)
Stéphane Devismes, David Ilcinkas, Colette Johnen
Optimized Silent Self-Stabilizing Scheme for Tree-Based Constructions. Algorithmica 84 (1) (2022)
Stéphane Devismes, Neeraj Mittal
Special issue of SSS 2020. Inf. Comput. 289 (Part) (2022)
Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, Anissa Lamani
Beedroids: How Luminous Autonomous Swarms of UAVs Can Save the World? FUN (2022)
Karine Altisen, Pierre Corbineau, Stéphane Devismes
Certification of an Exact Worst-Case Self-Stabilization Time. ICDCN (2021)
Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit
Self-stabilizing Systems in Spite of High Dynamics. ICDCN (2021)
Quentin Bramas, Pascal Lafourcade, Stéphane Devismes
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with Common Chirality. ICDCN (2021)
Arthur Rauch, Quentin Bramas, Stéphane Devismes, Pascal Lafourcade, Anissa Lamani
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots Without Common Chirality. NETYS (2021)
Quentin Bramas, Pascal Lafourcade, Stéphane Devismes
Finding Water on Poleless Using Melomaniac Myopic Chameleon Robots. FUN (2021)
Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil
Terminating Exploration Of A Grid By An Optimal Number Of Asynchronous Oblivious Robots. Comput. J. 64 (1) (2021)
Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit
On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics. PODC (2021)
Karine Altisen, Ajoy K. Datta, Stéphane Devismes, Anaïs Durand, Lawrence L. Larmore
Election in unidirectional rings with homonyms. J. Parallel Distributed Comput. 146 (2020)
Karine Altisen, Stéphane Devismes, Erwan Jahier
sasa: A SimulAtor of Self-stabilizing Algorithms. TAP@STAF (2020)
Quentin Bramas, Stéphane Devismes, Pascal Lafourcade
Infinite Grid Exploration by Disoriented Robots. NETYS (2020)
Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit
Brief Announcement: Self-stabilizing Systems in Spite of High Dynamics. PODC (2020)
Ajoy K. Datta, Stéphane Devismes, Lawrence L. Larmore
-dominating set problem. Theor. Comput. Sci. 753 (2019)
Ajoy K. Datta, Stéphane Devismes, Colette Johnen, Lawrence L. Larmore
Analysis of a Memory-Efficient Self-Stabilizing BFS Spanning Tree. CoRR (2019)
Stéphane Devismes, Colette Johnen
Self-Stabilizing Distributed Cooperative Reset. CoRR (2019)
Quentin Bramas, Stéphane Devismes, Pascal Lafourcade
Infinite Grid Exploration by Disoriented Robots. SIROCCO (2019)
Quentin Bramas, Stéphane Devismes, Pascal Lafourcade
Infinite Grid Exploration by Disoriented Robots. CoRR (2019)
Stéphane Devismes, Colette Johnen
Self-Stabilizing Distributed Cooperative Reset. ICDCS (2019)
Stéphane Devismes, David Ilcinkas, Colette Johnen
Silent self-stabilizing scheme for spanning-tree-like constructions. ICDCN (2019)
Karine Altisen, Pierre Corbineau, Stéphane Devismes
Squeezing Streams and Composition of Self-stabilizing Algorithms. FORTE (2019)
Ajoy K. Datta, Stéphane Devismes, Colette Johnen, Lawrence L. Larmore
Brief Announcement: Analysis of a Memory-Efficient Self-stabilizing BFS Spanning Tree Construction. SSS (2019)
Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil
Optimal torus exploration by oblivious robots. Computing 101 (9) (2019)
Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit
Gradual stabilization. J. Parallel Distributed Comput. 123 (2019)
Karine Altisen, Stéphane Devismes, Anaïs Durand
Acyclic Strategy for Silent Self-stabilization in Spanning Forests. SSS (2018)
Karine Altisen, Stéphane Devismes, Anaïs Durand
Acyclic Strategy for Silent Self-Stabilization in Spanning Forests. CoRR (2018)
Stéphane Devismes, David Ilcinkas, Colette Johnen
Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps. CoRR (2017)
Ajoy K. Datta, Stéphane Devismes, Lawrence L. Larmore, Vincent Villain
Self-Stabilizing Weak Leader Election in Anonymous Trees Using Constant Memory per Edge. Parallel Process. Lett. 27 (2) (2017)
Stéphane Devismes, David Ilcinkas, Colette Johnen
Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps. Discret. Math. Theor. Comput. Sci. 19 (3) (2017)
Ajoy K. Datta, Stéphane Devismes, Lawrence L. Larmore
Self-stabilizing silent disjunction in an anonymous network. Theor. Comput. Sci. 665 (2017)
Ali J. Fahs, Rodolphe Bertolini, Olivier Alphand, Franck Rousseau, Karine Altisen, Stéphane Devismes
Collision prevention in distributed 6TiSCH networks. WiMob (2017)
Karine Altisen, Ajoy K. Datta, Stéphane Devismes, Anaïs Durand, Lawrence L. Larmore
Leader Election in Asymmetric Labeled Unidirectional Rings. IPDPS (2017)
Karine Altisen, Alain Cournier, Stéphane Devismes, Anaïs Durand, Franck Petit
Self-stabilizing leader election in polynomial steps. Inf. Comput. 254 (2017)
Karine Altisen, Stéphane Devismes, Anaïs Durand
Concurrency in snap-stabilizing local resource allocation. J. Parallel Distributed Comput. 102 (2017)
Karine Altisen, Stéphane Devismes
On probabilistic snap-stabilization. Theor. Comput. Sci. 688 (2017)
Karine Altisen, Stéphane Devismes, Raphaël Jamet, Pascal Lafourcade
SR3: secure resilient reputation-based routing. Wirel. Networks 23 (7) (2017)
Karine Altisen, Pierre Corbineau, Stéphane Devismes
A Framework for Certified Self-Stabilization. Log. Methods Comput. Sci. 13 (4) (2017)
Stéphane Devismes, Colette Johnen
Silent self-stabilizing BFS tree algorithms revisited. J. Parallel Distributed Comput. 97 (2016)
Karine Altisen, Pierre Corbineau, Stéphane Devismes
A Framework for Certified Self-Stabilization. FORTE (2016)
Stéphane Devismes, David Ilcinkas, Colette Johnen
Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps. OPODIS (2016)
Alain Cournier, Ajoy Kumar Datta, Stéphane Devismes, Franck Petit, Vincent Villain
The expressive power of snap-stabilization. Theor. Comput. Sci. 626 (2016)
Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit
Gradual Stabilization Under \tau -Dynamics. Euro-Par (2016)
Karine Altisen, Pierre Corbineau, Stéphane Devismes
A Framework for Certified Self-Stabilization. CoRR (2016)
Ajoy Kumar Datta, Stéphane Devismes, Karel Heurtefeux, Lawrence L. Larmore, Yvan Rivierre
Competitive self-stabilizing k-clustering. Theor. Comput. Sci. 626 (2016)
Borzoo Bonakdarpour, Stéphane Devismes, Franck Petit
Snap-stabilizing committee coordination. J. Parallel Distributed Comput. 87 (2016)
Karine Altisen, Ajoy Kumar Datta, Stéphane Devismes, Anaïs Durand, Lawrence L. Larmore
Leader Election in Rings with Bounded Multiplicity (Short Paper). SSS (2016)
Fabienne Carrier, Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore, Yvan Rivierre
Self-stabilizing (f, g)-alliances with safe convergence. J. Parallel Distributed Comput. (2015)
Stéphane Devismes, Colette Johnen
Silent Self-stabilizing BFS Tree Algorithms Revised. CoRR (2015)
Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil
Optimal Torus Exploration by Oblivious Robots. NETYS (2015)
Stéphane Devismes, Sébastien Tixeuil, Masafumi Yamashita
Probabilistic Stabilization. Int. J. Found. Comput. Sci. 26 (3) (2015)
Karine Altisen, Stéphane Devismes, Anaïs Durand
Concurrency in Snap-Stabilizing Local Resource Allocation. NETYS (2015)
Fabienne Carrier, Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore
Self-Stabilizing ℓ-Exclusion Revisited. ICDCN (2015)
Karine Altisen, Alain Cournier, Stéphane Devismes, Anaïs Durand, Franck Petit
Self-stabilizing Leader Election in Polynomial Steps. SSS (2014)
Karine Altisen, Stéphane Devismes
On Probabilistic Snap-Stabilization. ICDCN (2014)
Antoine Gerbaud, Karine Altisen, Stéphane Devismes, Pascal Lafourcade
Comparison of mean hitting times for a degree-biased random walk. Discret. Appl. Math. 170 (2014)
Ajoy Kumar Datta, Lawrence L. Larmore, Stéphane Devismes, Sébastien Tixeuil
Fast Leader (Full) Recovery Despite Dynamic Faults. IPDPS Workshops (2013)
Sayaka Kamei, Hirotsugu Kakugawa, Stéphane Devismes, Sébastien Tixeuil
A self-stabilizing 3-approximation for the maximum leaf spanning tree problem in arbitrary networks. J. Comb. Optim. 25 (3) (2013)
Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore, Yvan Rivierre
Self-stabilizing labeling and ranking in ordered trees. Theor. Comput. Sci. 512 (2013)
Stéphane Devismes, Franck Petit, Sébastien Tixeuil
Optimal probabilistic ring exploration by semi-synchronous oblivious robots. Theor. Comput. Sci. 498 (2013)
Ajoy Kumar Datta, Lawrence L. Larmore, Stéphane Devismes, Karel Heurtefeux, Yvan Rivierre
Self-Stabilizing Small k-Dominating Sets. Int. J. Netw. Comput. 3 (1) (2013)
Fabienne Carrier, Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore, Yvan Rivierre
Self-stabilizing (f, g)-Alliances with Safe Convergence. SSS (2013)
Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore
Self-stabilizing Silent Disjunction in an Anonymous Network. ICDCN (2013)
Ajoy Kumar Datta, Stéphane Devismes
Preface. Theor. Comput. Sci. 496 (2013)
Karine Altisen, Stéphane Devismes, Raphaël Jamet, Pascal Lafourcade
SR3: Secure Resilient Reputation-based Routing. DCOSS (2013)
Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore, Sébastien Tixeuil
Fast Leader (Full) Recovery Despite Dynamic Faults. ICDCN (2013)
Ajoy Kumar Datta, Stéphane Devismes, Karel Heurtefeux, Lawrence L. Larmore, Yvan Rivierre
Algorithme autostabilisant construisant un petit ensemble k-dominant. Tech. Sci. Informatiques 31 (8-10) (2012)
Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore
Brief Announcement: Self-stabilizing Silent Disjunction in an Anonymous Network. SSS (2012)
Karine Altisen, Stéphane Devismes, Antoine Gerbaud, Pascal Lafourcade
Analysis of Random Walks Using Tabu Lists. SIROCCO (2012)
Ajoy Kumar Datta, Lawrence L. Larmore, Stéphane Devismes, Karel Heurtefeux, Yvan Rivierre
Competitive Self-Stabilizing k-Clustering. ICDCS (2012)
Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil
Optimal Grid Exploration by Asynchronous Oblivious Robots. SSS (2012)
Stéphane Devismes, Franck Petit
On efficiency of unison. TADDS (2012)
Ajoy Kumar Datta, Lawrence L. Larmore, Stéphane Devismes
Sorting on Skip Chains. ICNC (2011)
Fabienne Carrier, Stéphane Devismes, Franck Petit, Yvan Rivierre
Asymptotically Optimal Deterministic Rendezvous. Int. J. Found. Comput. Sci. 22 (5) (2011)
Ajoy Kumar Datta, Lawrence L. Larmore, Stéphane Devismes, François Kawala, Maria Potop-Butucaru
Multi-resource Allocation with Unknown Participants. ICNC (2011)
Stéphane Devismes, Franck Petit, Vincent Villain
Autour de l'autostabilisation. 2. Techniques spécialisant l'approche. Tech. Sci. Informatiques 30 (7) (2011)
Borzoo Bonakdarpour, Stéphane Devismes, Franck Petit
Snap-Stabilizing Committee Coordination. IPDPS (2011)
Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore
Brief Announcement: Sorting on Skip Chains. SSS (2011)
Ajoy Kumar Datta, Stéphane Devismes, Florian Horn, Lawrence L. Larmore
Self-Stabilizing k-out-of-ℓ Exclusion in Tree Networks. Int. J. Found. Comput. Sci. 22 (3) (2011)
Stéphane Devismes, Franck Petit, Vincent Villain
Autour de l'autostabilisation. 1. Techniques généralisant l'approche. Tech. Sci. Informatiques 30 (7) (2011)
Stéphane Devismes, Karel Heurtefeux, Yvan Rivierre, Ajoy Kumar Datta, Lawrence L. Larmore
Self-Stabilizing Small k-Dominating Sets. ICNC (2011)
Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil
Optimal grid exploration by asynchronous oblivious robots CoRR (2011)
Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore, Yvan Rivierre
Self-stabilizing Labeling and Ranking in Ordered Trees. SSS (2011)
Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier
Stabilizing leader election in partial synchronous systems with crash failures. J. Parallel Distributed Comput. 70 (1) (2010)
Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil
Snap-stabilization in message-passing systems. J. Parallel Distributed Comput. 70 (12) (2010)
Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier
-Timeliness. SSS (2010)

Stéphane Devismes.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stéphane Devismes