Stphane Devismes
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
64
Venues
21
Active years
2004–2026
Best venue rank
A*
Where they publish
- CSSS17 papers
- NationalICDCN11 papers
- A*PODC6 papers
- AICDCS4 papers
- BSIROCCO4 papers
- NationalFUN3 papers
- BOPODIS3 papers
- ACP2 papers
- CFORTE2 papers
- A*STOC1 paper
- A*ICALP1 paper
- ASTACS1 paper
- CTAP1 paper
- BWiMob1 paper
- BEuroPar1 paper
- BDCOSS1 paper
- NationalCOCOON1 paper
- CPDCAT1 paper
- BSRDS1 paper
- BICPADS1 paper
- NationalHiPC1 paper
Papers
64 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CP | On the Self-Stabilization of Dijkstra's Asynchronous Token Circulation. | Asma Khoualdia, Sami Cherif, Stphane Devismes, Lo Robert |
| 2026 | FUN | 77 Shades of Grey. | Quentin Bramas, Stphane Devismes, Anas Durand, Pascal Lafourcade, Anissa Lamani |
| 2026 | STOC | Can Like Attract Like? A Study of Homonymous Gathering in Networks. | Stphane Devismes, Yoann Dieudonn, Arnaud Labourel |
| 2025 | CP | Analyzing Self-Stabilization of Synchronous Unison via Propositional Satisfiability. | Asma Khoualdia, Sami Cherif, Stphane Devismes, Lo Robert |
| 2025 | ICALP | Graph Exploration: The Impact of a Distance Constraint. | Stphane Devismes, Yoann Dieudonn, Arnaud Labourel |
| 2025 | STACS | Being Efficient in Time, Space, and Workload: a Self-Stabilizing Unison and Its Consequences. | Stphane Devismes, David Ilcinkas, Colette Johnen, Frdric Mazoit |
| 2025 | SSS | Self-stabilizing Mutual Exclusion in Dynamic Networks with Bounded Temporal Diameter. | Stphane Devismes, Swan Dubois, Franois Malenfer, Franck Petit, Mouna Safir |
| 2024 | PODC | On Self-stabilizing Leader Election in Directed Networks. | Karine Altisen, Alain Cournier, Geoffrey Defalque, Stphane Devismes |
| 2024 | PODC | Asynchronous Self-stabilization Made Fast, Simple, and Energy-efficient. | Colette Johnen, Stphane Devismes, Frdric Mazoit, David Ilcinkas |
| 2024 | SSS | Optimal Asynchronous Perpetual Grid Exploration. | Quentin Bramas, Stphane Devismes, Anas Durand, Pascal Lafourcade, Anissa Lamani |
| 2023 | ICDCN | Self-stabilizing Synchronous Unison in Directed Networks. | Karine Altisen, Alain Cournier, Geoffrey Defalque, Stphane Devismes |
| 2023 | SSS | Exploring Worst Cases of Self-stabilizing Algorithms Using Simulations. | Erwan Jahier, Karine Altisen, Stphane Devismes |
| 2023 | SSS | Model Checking of Distributed Algorithms Using Synchronous Programs. | Erwan Jahier, Karine Altisen, Stphane Devismes, Gabriel B. Sant'Anna |
| 2022 | FUN | Beedroids: How Luminous Autonomous Swarms of UAVs Can Save the World? | Quentin Bramas, Stphane Devismes, Anas Durand, Pascal Lafourcade, Anissa Lamani |
| 2021 | FUN | Finding Water on Poleless Using Melomaniac Myopic Chameleon Robots. | Quentin Bramas, Pascal Lafourcade, Stphane Devismes |
| 2021 | ICDCN | Certification of an Exact Worst-Case Self-Stabilization Time. | Karine Altisen, Pierre Corbineau, Stphane Devismes |
| 2021 | ICDCN | Self-stabilizing Systems in Spite of High Dynamics. | Karine Altisen, Stphane Devismes, Anas Durand, Colette Johnen, Franck Petit |
| 2021 | ICDCN | Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with Common Chirality. | Quentin Bramas, Pascal Lafourcade, Stphane Devismes |
| 2021 | PODC | On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics. | Karine Altisen, Stphane Devismes, Anas Durand, Colette Johnen, Franck Petit |
| 2020 | PODC | Brief Announcement: Self-stabilizing Systems in Spite of High Dynamics. | Karine Altisen, Stphane Devismes, Anas Durand, Colette Johnen, Franck Petit |
| 2020 | TAP | sasa: A SimulAtor of Self-stabilizing Algorithms. | Karine Altisen, Stphane Devismes, Erwan Jahier |
| 2019 | FORTE | Squeezing Streams and Composition of Self-stabilizing Algorithms. | Karine Altisen, Pierre Corbineau, Stphane Devismes |
| 2019 | ICDCN | Silent self-stabilizing scheme for spanning-tree-like constructions. | Stphane Devismes, David Ilcinkas, Colette Johnen |
| 2019 | ICDCS | Self-Stabilizing Distributed Cooperative Reset. | Stphane Devismes, Colette Johnen |
| 2019 | SIROCCO | Infinite Grid Exploration by Disoriented Robots. | Quentin Bramas, Stphane Devismes, Pascal Lafourcade |
| 2019 | SSS | Brief Announcement: Analysis of a Memory-Efficient Self-stabilizing BFS Spanning Tree Construction. | Ajoy K. Datta, Stphane Devismes, Colette Johnen, Lawrence L. Larmore |
| 2018 | SSS | Acyclic Strategy for Silent Self-stabilization in Spanning Forests. | Karine Altisen, Stphane Devismes, Anas Durand |
| 2017 | WiMob | Collision prevention in distributed 6TiSCH networks. | Ali J. Fahs, Rodolphe Bertolini, Olivier Alphand, Franck Rousseau, Karine Altisen, Stphane Devismes |
| 2016 | EuroPar | Gradual Stabilization Under \tau -Dynamics. | Karine Altisen, Stphane Devismes, Anas Durand, Franck Petit |
| 2016 | FORTE | A Framework for Certified Self-Stabilization. | Karine Altisen, Pierre Corbineau, Stphane Devismes |
| 2016 | OPODIS | Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps. | Stphane Devismes, David Ilcinkas, Colette Johnen |
| 2016 | SSS | Leader Election in Rings with Bounded Multiplicity (Short Paper). | Karine Altisen, Ajoy Kumar Datta, Stphane Devismes, Anas Durand, Lawrence L. Larmore |
| 2015 | ICDCN | Self-Stabilizing ℓ-Exclusion Revisited. | Fabienne Carrier, Ajoy Kumar Datta, Stphane Devismes, Lawrence L. Larmore |
| 2014 | ICDCN | On Probabilistic Snap-Stabilization. | Karine Altisen, Stphane Devismes |
| 2014 | SSS | Self-stabilizing Leader Election in Polynomial Steps. | Karine Altisen, Alain Cournier, Stphane Devismes, Anas Durand, Franck Petit |
| 2013 | DCOSS | SR3: Secure Resilient Reputation-based Routing. | Karine Altisen, Stphane Devismes, Raphal Jamet, Pascal Lafourcade |
| 2013 | ICDCN | Self-stabilizing Silent Disjunction in an Anonymous Network. | Ajoy Kumar Datta, Stphane Devismes, Lawrence L. Larmore |
| 2013 | ICDCN | Fast Leader (Full) Recovery Despite Dynamic Faults. | Ajoy Kumar Datta, Stphane Devismes, Lawrence L. Larmore, Sbastien Tixeuil |
| 2013 | SSS | Self-stabilizing (f, g)-Alliances with Safe Convergence. | Fabienne Carrier, Ajoy Kumar Datta, Stphane Devismes, Lawrence L. Larmore, Yvan Rivierre |
| 2012 | ICDCS | Competitive Self-Stabilizing k-Clustering. | Ajoy Kumar Datta, Lawrence L. Larmore, Stphane Devismes, Karel Heurtefeux, Yvan Rivierre |
| 2012 | SIROCCO | Analysis of Random Walks Using Tabu Lists. | Karine Altisen, Stphane Devismes, Antoine Gerbaud, Pascal Lafourcade |
| 2012 | SSS | Brief Announcement: Self-stabilizing Silent Disjunction in an Anonymous Network. | Ajoy Kumar Datta, Stphane Devismes, Lawrence L. Larmore |
| 2012 | SSS | Optimal Grid Exploration by Asynchronous Oblivious Robots. | Stphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sbastien Tixeuil |
| 2011 | SSS | Brief Announcement: Sorting on Skip Chains. | Ajoy Kumar Datta, Stphane Devismes, Lawrence L. Larmore |
| 2011 | SSS | Self-stabilizing Labeling and Ranking in Ordered Trees. | Ajoy Kumar Datta, Stphane Devismes, Lawrence L. Larmore, Yvan Rivierre |
| 2010 | COCOON | A Self-stabilizing 3-Approximation for the Maximum Leaf Spanning Tree Problem in Arbitrary Networks. | Sayaka Kamei, Hirotsugu Kakugawa, Stphane Devismes, Sbastien Tixeuil |
| 2010 | ICDCN | Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks. | Samuel Bernard, Stphane Devismes, Katy Paroux, Maria Potop-Butucaru, Sbastien Tixeuil |
| 2010 | PODC | Optimal exploration of small rings. | Stphane Devismes |
| 2010 | SIROCCO | Algorithms for Extracting Timeliness Graphs. | Carole Delporte-Gallet, Stphane Devismes, Hugues Fauconnier, Mikel Larrea |
| 2010 | SSS | Approximation of | Carole Delporte-Gallet, Stphane Devismes, Hugues Fauconnier |
| 2009 | ICDCN | Snap-Stabilization in Message-Passing Systems. | Sylvie Delat, Stphane Devismes, Mikhail Nesterenko, Sbastien Tixeuil |
| 2009 | ICDCS | Communication Efficiency in Self-Stabilizing Silent Protocols. | Stphane Devismes, Toshimitsu Masuzawa, Sbastien Tixeuil |
| 2009 | PDCAT | Space-Optimal Deterministic Rendezvous. | Fabienne Carrier, Stphane Devismes, Franck Petit, Yvan Rivierre |
| 2009 | SIROCCO | Optimal Probabilistic Ring Exploration by Semi-synchronous Oblivious Robots. | Stphane Devismes, Franck Petit, Sbastien Tixeuil |
| 2009 | SRDS | A Self-Stabilizing O(n)-Round k-Clustering Algorithm. | Ajoy Kumar Datta, Stphane Devismes, Lawrence L. Larmore |
| 2008 | ICDCS | Weak vs. Self vs. Probabilistic Stabilization. | Stphane Devismes, Sbastien Tixeuil, Masafumi Yamashita |
| 2008 | OPODIS | With Finite Memory Consensus Is Easier Than Reliable Broadcast. | Carole Delporte-Gallet, Stphane Devismes, Hugues Fauconnier, Franck Petit, Sam Toueg |
| 2008 | PODC | Snap-stabilization in message-passing systems. | Sylvie Delat, Stphane Devismes, Mikhail Nesterenko, Sbastien Tixeuil |
| 2007 | SSS | Robust Stabilizing Leader Election. | Carole Delporte-Gallet, Stphane Devismes, Hugues Fauconnier |
| 2006 | ICPADS | Snap-Stabilizing PIF and Useless Computations. | Alain Cournier, Stphane Devismes, Vincent Villain |
| 2006 | SSS | From Self- to Snap- Stabilization. | Alain Cournier, Stphane Devismes, Vincent Villain |
| 2005 | HiPC | Snap-Stabilizing Detection of Cutsets. | Alain Cournier, Stphane Devismes, Vincent Villain |
| 2005 | SSS | A Snap-Stabilizing DFS with a Lower Space Requirement. | Alain Cournier, Stphane Devismes, Vincent Villain |
| 2004 | OPODIS | Snap-Stabilizing Depth-First Search on Arbitrary Networks. | Alain Cournier, Stphane Devismes, Franck Petit, Vincent Villain |