Stéphane Devismes

150 papers A* 6A 11B 10C 21Misc 21Journal 67Unranked 11

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Graph Exploration: The Impact of a Distance Constraint. Algorithmica Stéphane Devismes, Yoann Dieudonné, Arnaud Labourel
2026	J	`jnl`	Guest editorial - ICDCIT 2024 & 2025. Theor. Comput. Sci. Quentin Bramas, Stéphane Devismes, Partha Sarathi Mandal, Krishnendu Mukhopadhyaya
2026	J	`jnl`	Guest editorial - Stabilization safety, and security of distributed systems. Theor. Comput. Sci. Stéphane Devismes, Franck Petit
2025	A	`conf`	Analyzing Self-Stabilization of Synchronous Unison via Propositional Satisfiability. CP Asma Khoualdia, Sami Cherif, Stéphane Devismes, Léo Robert
2025	A	`conf`	Being Efficient in Time, Space, and Workload: a Self-Stabilizing Unison and Its Consequences. STACS Stéphane Devismes, David Ilcinkas, Colette Johnen, Frédéric Mazoit
2025	J	`jnl`	Can Like Attract Like? A Study of Homonymous Gathering in Networks. CoRR Stéphane Devismes, Yoann Dieudonné, Arnaud Labourel
2025	Misc	`ed.`	Distributed Computing and Intelligent Technology - 21st International Conference, ICDCIT 2025, Bhubaneswar, India, January 8-11, 2025, Proceedings ICDCIT Quentin Bramas, Bapi Chatterjee, Stéphane Devismes, Malcolm Egan, Partha Sarathi Mandal, Krishnendu Mukhopadhyaya, Vijaya Saradhi Vedula
2025	A*	`conf`	Graph Exploration: The Impact of a Distance Constraint. ICALP Stéphane Devismes, Yoann Dieudonné, Arnaud Labourel
2025	J	`jnl`	Infinite grid exploration with synchronous myopic robots without chirality. Discret. Appl. Math. Quentin Bramas, Pascal Lafourcade, Stéphane Devismes
2025	J	`jnl`	Model checking of distributed algorithms using synchronous programs. Theor. Comput. Sci. Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel B. Sant'Anna
2025	C	`conf`	Self-stabilizing Mutual Exclusion in Dynamic Networks with Bounded Temporal Diameter. SSS Stéphane Devismes, Swan Dubois, François Malenfer, Franck Petit, Mouna Safir
2024	A*	`conf`	Asynchronous Self-stabilization Made Fast, Simple, and Energy-efficient. PODC Colette Johnen, Stéphane Devismes, Frédéric Mazoit, David Ilcinkas
2024	Misc	`ed.`	Distributed Computing and Intelligent Technology - 20th International Conference, ICDCIT 2024, Bhubaneswar, India, January 17-20, 2024, Proceedings ICDCIT Stéphane Devismes, Partha Sarathi Mandal, V. Vijaya Saradhi, Bhanu Prasad, Anisur Rahaman Molla, Gokarna Sharma
2024	J	`jnl`	Graph Exploration: The Impact of a Distance Constraint. CoRR Stéphane Devismes, Yoann Dieudonné, Arnaud Labourel
2024	A*	`conf`	On Self-stabilizing Leader Election in Directed Networks. PODC Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes
2024	C	`conf`	Optimal Asynchronous Perpetual Grid Exploration. SSS Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, Anissa Lamani
2024	J	`jnl`	Self-stabilizing synchronous unison in directed networks. Theor. Comput. Sci. Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes
2023	J	`jnl`	Analysis of a memory-efficient self-stabilizing BFS spanning tree construction. Theor. Comput. Sci. Ajoy K. Datta, Stéphane Devismes, Colette Johnen, Lawrence L. Larmore
2023	J	`jnl`	Certification of an exact worst-case self-stabilization time. Theor. Comput. Sci. Karine Altisen, Pierre Corbineau, Stéphane Devismes
2023	A	`conf`	Certified Round Complexity of Self-Stabilizing Algorithms. DISC Karine Altisen, Pierre Corbineau, Stéphane Devismes
2023	C	`conf`	Exploring Worst Cases of Self-stabilizing Algorithms Using Simulations. SSS Erwan Jahier, Karine Altisen, Stéphane Devismes
2023	J	`jnl`	Making local algorithms efficiently self-stabilizing in arbitrary asynchronous environments. CoRR Stéphane Devismes, David Ilcinkas, Colette Johnen, Frédéric Mazoit
2023	C	`conf`	Model Checking of Distributed Algorithms Using Synchronous Programs. SSS Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel B. Sant'Anna
2023	J	`jnl`	Optimal exclusive perpetual grid exploration by luminous myopic opaque robots with common chirality. Theor. Comput. Sci. Quentin Bramas, Pascal Lafourcade, Stéphane Devismes
2023	Misc	`conf`	Self-stabilizing Synchronous Unison in Directed Networks. ICDCN Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes
2023	J	`jnl`	Self-stabilizing systems in spite of high dynamics. Theor. Comput. Sci. Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit
2023	J	`jnl`	Trade-off between Time, Space, and Workload: the case of the Self-stabilizing Unison. CoRR Stéphane Devismes, David Ilcinkas, Colette Johnen, Frédéric Mazoit
2023	J	`jnl`	sasa: a SimulAtor of Self-stabilizing Algorithms. Comput. J. Karine Altisen, Stéphane Devismes, Erwan Jahier
2022	Misc	`conf`	Beedroids: How Luminous Autonomous Swarms of UAVs Can Save the World? FUN Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, Anissa Lamani
2022	J	`jnl`	Optimized Silent Self-Stabilizing Scheme for Tree-Based Constructions. Algorithmica Stéphane Devismes, David Ilcinkas, Colette Johnen
2022	J	`jnl`	Special issue of SSS 2020. Inf. Comput. Stéphane Devismes, Neeraj Mittal
2022	C	`ed.`	Stabilization, Safety, and Security of Distributed Systems - 24th International Symposium, SSS 2022, Clermont-Ferrand, France, November 15-17, 2022, Proceedings SSS Stéphane Devismes, Franck Petit, Karine Altisen, Giuseppe Antonio Di Luna, Antonio Fernández Anta
2021	Misc	`conf`	Certification of an Exact Worst-Case Self-Stabilization Time. ICDCN Karine Altisen, Pierre Corbineau, Stéphane Devismes
2021	Misc	`conf`	Finding Water on Poleless Using Melomaniac Myopic Chameleon Robots. FUN Quentin Bramas, Pascal Lafourcade, Stéphane Devismes
2021	A*	`conf`	On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics. PODC Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit
2021	Misc	`conf`	Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with Common Chirality. ICDCN Quentin Bramas, Pascal Lafourcade, Stéphane Devismes
2021	—	`conf`	Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots Without Common Chirality. NETYS Arthur Rauch, Quentin Bramas, Stéphane Devismes, Pascal Lafourcade, Anissa Lamani
2021	Misc	`conf`	Self-stabilizing Systems in Spite of High Dynamics. ICDCN Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit
2021	J	`jnl`	Terminating Exploration Of A Grid By An Optimal Number Of Asynchronous Oblivious Robots. Comput. J. Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil
2020	A*	`conf`	Brief Announcement: Self-stabilizing Systems in Spite of High Dynamics. PODC Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit
2020	J	`jnl`	Election in unidirectional rings with homonyms. J. Parallel Distributed Comput. Karine Altisen, Ajoy K. Datta, Stéphane Devismes, Anaïs Durand, Lawrence L. Larmore
2020	—	`conf`	Infinite Grid Exploration by Disoriented Robots. NETYS Quentin Bramas, Stéphane Devismes, Pascal Lafourcade
2020	C	`ed.`	Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18-21, 2020, Proceedings SSS Stéphane Devismes, Neeraj Mittal
2020	—	`book`	Versatility and Efficiency in Self-Stabilizing Distributed Systems. Stéphane Devismes
2020	—	`conf`	sasa: A SimulAtor of Self-stabilizing Algorithms. TAP@STAF Karine Altisen, Stéphane Devismes, Erwan Jahier
2019	J	`jnl`	A silent self-stabilizing algorithm for the generalized minimal Theor. Comput. Sci. Ajoy K. Datta, Stéphane Devismes, Lawrence L. Larmore
2019	J	`jnl`	Analysis of a Memory-Efficient Self-Stabilizing BFS Spanning Tree. CoRR Ajoy K. Datta, Stéphane Devismes, Colette Johnen, Lawrence L. Larmore
2019	C	`conf`	Brief Announcement: Analysis of a Memory-Efficient Self-stabilizing BFS Spanning Tree Construction. SSS Ajoy K. Datta, Stéphane Devismes, Colette Johnen, Lawrence L. Larmore
2019	J	`jnl`	Gradual stabilization. J. Parallel Distributed Comput. Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit
2019	B	`conf`	Infinite Grid Exploration by Disoriented Robots. SIROCCO Quentin Bramas, Stéphane Devismes, Pascal Lafourcade
2019	J	`jnl`	Infinite Grid Exploration by Disoriented Robots. CoRR Quentin Bramas, Stéphane Devismes, Pascal Lafourcade
2019	—	`book`	Introduction to Distributed Self-Stabilizing Algorithms Karine Altisen, Stéphane Devismes, Swan Dubois, Franck Petit
2019	J	`jnl`	Optimal torus exploration by oblivious robots. Computing Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil
2019	A	`conf`	Self-Stabilizing Distributed Cooperative Reset. ICDCS Stéphane Devismes, Colette Johnen
2019	J	`jnl`	Self-Stabilizing Distributed Cooperative Reset. CoRR Stéphane Devismes, Colette Johnen
2019	Misc	`conf`	Silent self-stabilizing scheme for spanning-tree-like constructions. ICDCN Stéphane Devismes, David Ilcinkas, Colette Johnen
2019	C	`conf`	Squeezing Streams and Composition of Self-stabilizing Algorithms. FORTE Karine Altisen, Pierre Corbineau, Stéphane Devismes
2018	J	`jnl`	Acyclic Strategy for Silent Self-Stabilization in Spanning Forests. CoRR Karine Altisen, Stéphane Devismes, Anaïs Durand
2018	C	`conf`	Acyclic Strategy for Silent Self-stabilization in Spanning Forests. SSS Karine Altisen, Stéphane Devismes, Anaïs Durand
2017	J	`jnl`	A Framework for Certified Self-Stabilization. Log. Methods Comput. Sci. Karine Altisen, Pierre Corbineau, Stéphane Devismes
2017	B	`conf`	Collision prevention in distributed 6TiSCH networks. WiMob Ali J. Fahs, Rodolphe Bertolini, Olivier Alphand, Franck Rousseau, Karine Altisen, Stéphane Devismes
2017	J	`jnl`	Concurrency in snap-stabilizing local resource allocation. J. Parallel Distributed Comput. Karine Altisen, Stéphane Devismes, Anaïs Durand
2017	A	`conf`	Leader Election in Asymmetric Labeled Unidirectional Rings. IPDPS Karine Altisen, Ajoy K. Datta, Stéphane Devismes, Anaïs Durand, Lawrence L. Larmore
2017	J	`jnl`	On probabilistic snap-stabilization. Theor. Comput. Sci. Karine Altisen, Stéphane Devismes
2017	J	`jnl`	SR3: secure resilient reputation-based routing. Wirel. Networks Karine Altisen, Stéphane Devismes, Raphaël Jamet, Pascal Lafourcade
2017	J	`jnl`	Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps. CoRR Stéphane Devismes, David Ilcinkas, Colette Johnen
2017	J	`jnl`	Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps. Discret. Math. Theor. Comput. Sci. Stéphane Devismes, David Ilcinkas, Colette Johnen
2017	J	`jnl`	Self-Stabilizing Weak Leader Election in Anonymous Trees Using Constant Memory per Edge. Parallel Process. Lett. Ajoy K. Datta, Stéphane Devismes, Lawrence L. Larmore, Vincent Villain
2017	J	`jnl`	Self-stabilizing leader election in polynomial steps. Inf. Comput. Karine Altisen, Alain Cournier, Stéphane Devismes, Anaïs Durand, Franck Petit
2017	J	`jnl`	Self-stabilizing silent disjunction in an anonymous network. Theor. Comput. Sci. Ajoy K. Datta, Stéphane Devismes, Lawrence L. Larmore
2016	C	`conf`	A Framework for Certified Self-Stabilization. FORTE Karine Altisen, Pierre Corbineau, Stéphane Devismes
2016	J	`jnl`	A Framework for Certified Self-Stabilization. CoRR Karine Altisen, Pierre Corbineau, Stéphane Devismes
2016	J	`jnl`	Competitive self-stabilizing k-clustering. Theor. Comput. Sci. Ajoy Kumar Datta, Stéphane Devismes, Karel Heurtefeux, Lawrence L. Larmore, Yvan Rivierre
2016	—	`conf`	Gradual Stabilization Under \tau -Dynamics. Euro-Par Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit
2016	C	`conf`	Leader Election in Rings with Bounded Multiplicity (Short Paper). SSS Karine Altisen, Ajoy Kumar Datta, Stéphane Devismes, Anaïs Durand, Lawrence L. Larmore
2016	B	`conf`	Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps. OPODIS Stéphane Devismes, David Ilcinkas, Colette Johnen
2016	J	`jnl`	Silent self-stabilizing BFS tree algorithms revisited. J. Parallel Distributed Comput. Stéphane Devismes, Colette Johnen
2016	J	`jnl`	Snap-stabilizing committee coordination. J. Parallel Distributed Comput. Borzoo Bonakdarpour, Stéphane Devismes, Franck Petit
2016	J	`jnl`	The expressive power of snap-stabilization. Theor. Comput. Sci. Alain Cournier, Ajoy Kumar Datta, Stéphane Devismes, Franck Petit, Vincent Villain
2015	—	`conf`	Concurrency in Snap-Stabilizing Local Resource Allocation. NETYS Karine Altisen, Stéphane Devismes, Anaïs Durand
2015	—	`conf`	Optimal Torus Exploration by Oblivious Robots. NETYS Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil
2015	Misc	`conf`	Self-Stabilizing ℓ-Exclusion Revisited. ICDCN Fabienne Carrier, Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore
2015	J	`jnl`	Self-stabilizing (f, g)-alliances with safe convergence. J. Parallel Distributed Comput. Fabienne Carrier, Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore, Yvan Rivierre
2015	J	`jnl`	Silent Self-stabilizing BFS Tree Algorithms Revised. CoRR Stéphane Devismes, Colette Johnen
2015	J	`jnl`	Weak Int. J. Found. Comput. Sci. Stéphane Devismes, Sébastien Tixeuil, Masafumi Yamashita
2014	J	`jnl`	Comparison of mean hitting times for a degree-biased random walk. Discret. Appl. Math. Antoine Gerbaud, Karine Altisen, Stéphane Devismes, Pascal Lafourcade
2014	Misc	`conf`	On Probabilistic Snap-Stabilization. ICDCN Karine Altisen, Stéphane Devismes
2014	C	`conf`	Self-stabilizing Leader Election in Polynomial Steps. SSS Karine Altisen, Alain Cournier, Stéphane Devismes, Anaïs Durand, Franck Petit
2013	J	`jnl`	A self-stabilizing 3-approximation for the maximum leaf spanning tree problem in arbitrary networks. J. Comb. Optim. Sayaka Kamei, Hirotsugu Kakugawa, Stéphane Devismes, Sébastien Tixeuil
2013	Misc	`conf`	Fast Leader (Full) Recovery Despite Dynamic Faults. ICDCN Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore, Sébastien Tixeuil
2013	—	`conf`	Fast Leader (Full) Recovery Despite Dynamic Faults. IPDPS Workshops Ajoy Kumar Datta, Lawrence L. Larmore, Stéphane Devismes, Sébastien Tixeuil
2013	J	`jnl`	Optimal probabilistic ring exploration by semi-synchronous oblivious robots. Theor. Comput. Sci. Stéphane Devismes, Franck Petit, Sébastien Tixeuil
2013	J	`jnl`	Preface. Theor. Comput. Sci. Ajoy Kumar Datta, Stéphane Devismes
2013	B	`conf`	SR3: Secure Resilient Reputation-based Routing. DCOSS Karine Altisen, Stéphane Devismes, Raphaël Jamet, Pascal Lafourcade
2013	J	`jnl`	Self-Stabilizing Small k-Dominating Sets. Int. J. Netw. Comput. Ajoy Kumar Datta, Lawrence L. Larmore, Stéphane Devismes, Karel Heurtefeux, Yvan Rivierre
2013	C	`conf`	Self-stabilizing (f, g)-Alliances with Safe Convergence. SSS Fabienne Carrier, Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore, Yvan Rivierre
2013	Misc	`conf`	Self-stabilizing Silent Disjunction in an Anonymous Network. ICDCN Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore
2013	J	`jnl`	Self-stabilizing labeling and ranking in ordered trees. Theor. Comput. Sci. Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore, Yvan Rivierre
2012	J	`jnl`	Algorithme autostabilisant construisant un petit ensemble k-dominant. Tech. Sci. Informatiques Ajoy Kumar Datta, Stéphane Devismes, Karel Heurtefeux, Lawrence L. Larmore, Yvan Rivierre
2012	B	`conf`	Analysis of Random Walks Using Tabu Lists. SIROCCO Karine Altisen, Stéphane Devismes, Antoine Gerbaud, Pascal Lafourcade
2012	C	`conf`	Brief Announcement: Self-stabilizing Silent Disjunction in an Anonymous Network. SSS Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore
2012	A	`conf`	Competitive Self-Stabilizing k-Clustering. ICDCS Ajoy Kumar Datta, Lawrence L. Larmore, Stéphane Devismes, Karel Heurtefeux, Yvan Rivierre
2012	Misc	`ed.`	Distributed Computing and Networking - 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings ICDCN Luciano Bononi, Ajoy Kumar Datta, Stéphane Devismes, Archan Misra
2012	—	`conf`	On efficiency of unison. TADDS Stéphane Devismes, Franck Petit
2012	C	`conf`	Optimal Grid Exploration by Asynchronous Oblivious Robots. SSS Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil
2011	J	`jnl`	Asymptotically Optimal Deterministic Rendezvous. Int. J. Found. Comput. Sci. Fabienne Carrier, Stéphane Devismes, Franck Petit, Yvan Rivierre
2011	J	`jnl`	Autour de l'autostabilisation. 1. Techniques généralisant l'approche. Tech. Sci. Informatiques Stéphane Devismes, Franck Petit, Vincent Villain
2011	J	`jnl`	Autour de l'autostabilisation. 2. Techniques spécialisant l'approche. Tech. Sci. Informatiques Stéphane Devismes, Franck Petit, Vincent Villain
2011	C	`conf`	Brief Announcement: Sorting on Skip Chains. SSS Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore
2011	Misc	`conf`	Multi-resource Allocation with Unknown Participants. ICNC Ajoy Kumar Datta, Lawrence L. Larmore, Stéphane Devismes, François Kawala, Maria Potop-Butucaru
2011	J	`jnl`	Optimal grid exploration by asynchronous oblivious robots CoRR Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil
2011	Misc	`conf`	Self-Stabilizing Small k-Dominating Sets. ICNC Stéphane Devismes, Karel Heurtefeux, Yvan Rivierre, Ajoy Kumar Datta, Lawrence L. Larmore
2011	J	`jnl`	Self-Stabilizing k-out-of-ℓ Exclusion in Tree Networks. Int. J. Found. Comput. Sci. Ajoy Kumar Datta, Stéphane Devismes, Florian Horn, Lawrence L. Larmore
2011	C	`conf`	Self-stabilizing Labeling and Ranking in Ordered Trees. SSS Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore, Yvan Rivierre
2011	A	`conf`	Snap-Stabilizing Committee Coordination. IPDPS Borzoo Bonakdarpour, Stéphane Devismes, Franck Petit
2011	Misc	`conf`	Sorting on Skip Chains. ICNC Ajoy Kumar Datta, Lawrence L. Larmore, Stéphane Devismes
2010	Misc	`conf`	A Self-stabilizing 3-Approximation for the Maximum Leaf Spanning Tree Problem in Arbitrary Networks. COCOON Sayaka Kamei, Hirotsugu Kakugawa, Stéphane Devismes, Sébastien Tixeuil
2010	J	`jnl`	Algorithms For Extracting Timeliness Graphs CoRR Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier, Mikel Larrea
2010	B	`conf`	Algorithms for Extracting Timeliness Graphs. SIROCCO Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier, Mikel Larrea
2010	C	`conf`	Approximation of SSS Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier
2010	—	`conf`	Optimal exploration of small rings. WRAS Stéphane Devismes
2010	Misc	`conf`	Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks. ICDCN Samuel Bernard, Stéphane Devismes, Katy Paroux, Maria Potop-Butucaru, Sébastien Tixeuil
2010	J	`jnl`	Snap-stabilization in message-passing systems. J. Parallel Distributed Comput. Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil
2010	J	`jnl`	Stabilizing leader election in partial synchronous systems with crash failures. J. Parallel Distributed Comput. Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier
2009	B	`conf`	A Self-Stabilizing O(n)-Round k-Clustering Algorithm. SRDS Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore
2009	A	`conf`	Communication Efficiency in Self-Stabilizing Silent Protocols. ICDCS Stéphane Devismes, Toshimitsu Masuzawa, Sébastien Tixeuil
2009	J	`jnl`	Light enabling snap-stabilization of fundamental protocols. ACM Trans. Auton. Adapt. Syst. Alain Cournier, Stéphane Devismes, Vincent Villain
2009	J	`jnl`	Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots CoRR Stéphane Devismes, Franck Petit, Sébastien Tixeuil
2009	B	`conf`	Optimal Probabilistic Ring Exploration by Semi-synchronous Oblivious Robots. SIROCCO Stéphane Devismes, Franck Petit, Sébastien Tixeuil
2009	A	`conf`	Optimal deterministic self-stabilizing vertex coloring in unidirectional anonymous networks. IPDPS Samuel Bernard, Stéphane Devismes, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
2009	A	`conf`	Self-Stabilizing k-out-of- IPDPS Ajoy Kumar Datta, Stéphane Devismes, Florian Horn, Lawrence L. Larmore
2009	Misc	`conf`	Snap-Stabilization in Message-Passing Systems. ICDCN Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil
2009	C	`conf`	Space-Optimal Deterministic Rendezvous. PDCAT Fabienne Carrier, Stéphane Devismes, Franck Petit, Yvan Rivierre
2008	J	`jnl`	Bounds for self-stabilization in unidirectional networks CoRR Samuel Bernard, Stéphane Devismes, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
2008	J	`jnl`	Communication Efficiency in Self-stabilizing Silent Protocols CoRR Stéphane Devismes, Toshimitsu Masuzawa, Sébastien Tixeuil
2008	J	`jnl`	Self-stabilizing K-out-of-L exclusion on tree network CoRR Ajoy Kumar Datta, Stéphane Devismes, Florian Horn, Lawrence L. Larmore
2008	J	`jnl`	Snap-Stabilization in Message-Passing Systems CoRR Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil
2008	A*	`conf`	Snap-stabilization in message-passing systems. PODC Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil
2008	A	`conf`	Weak vs. Self vs. Probabilistic Stabilization. ICDCS Stéphane Devismes, Sébastien Tixeuil, Masafumi Yamashita
2008	B	`conf`	With Finite Memory Consensus Is Easier Than Reliable Broadcast. OPODIS Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier, Franck Petit, Sam Toueg
2007	C	`conf`	Robust Stabilizing Leader Election. SSS Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier
2007	J	`jnl`	Weak vs. Self vs. Probabilistic Stabilization CoRR Stéphane Devismes, Sébastien Tixeuil, Masafumi Yamashita
2006	C	`conf`	From Self- to Snap- Stabilization. SSS Alain Cournier, Stéphane Devismes, Vincent Villain
2006	—	`—`	Quelques Contributions à la Stabilisation Instantanée. (Some Contributions to Snap-Stabilization). Stéphane Devismes
2006	J	`jnl`	Snap-Stabilizing Depth-First Search on Arbitrary Networks. Comput. J. Alain Cournier, Stéphane Devismes, Franck Petit, Vincent Villain
2006	—	`conf`	Snap-Stabilizing PIF and Useless Computations. ICPADS (1) Alain Cournier, Stéphane Devismes, Vincent Villain
2005	J	`jnl`	A Silent Self-stabilizing Algorithm for Finding Cut-nodes and Bridges. Parallel Process. Lett. Stéphane Devismes
2005	—	`conf`	A Snap-Stabilizing DFS with a Lower Space Requirement. Self-Stabilizing Systems Alain Cournier, Stéphane Devismes, Vincent Villain
2005	Misc	`conf`	Snap-Stabilizing Detection of Cutsets. HiPC Alain Cournier, Stéphane Devismes, Vincent Villain
2004	B	`conf`	Snap-Stabilizing Depth-First Search on Arbitrary Networks. OPODIS Alain Cournier, Stéphane Devismes, Franck Petit, Vincent Villain