Stéphane Devismes

Professor

https://orcid.org/0000-0002-8032-9732

"Scientific Genealogy"

MIS Lab (UR 4290)
Actuellement sans équipe
(mais bientôt dans le domaine "Algorithmique et Complexité")
Université de Picardie Jules Verne

Current Events

Publications

Scientific Projects

Teaching (in french)

Students

Program Committees

Conference Organization

Miscellaneous

Office:: Bureau 409; Laboratoire MIS; 33 rue Saint Leu - 80039 Amiens Cedex 1 - France

Contact:: Tel: +33 (0)3-22-82-70-57; E-mail: Stephane.Devismes(at)u-picardie.fr

Current Events:

Book: Bases de données - Informatique BUT 1re année et L1 (written with Anaïs Durand and Pascal Lafourcade).

AlgoTel-CoRes 2025 : Algotel-Cores25 : Aspects Algorithmiques des Télécommunications & Conception de Protocoles, Évaluation de Performance et l'Expérimentation des Réseaux de Communication, du 2 au 6 juin 2025, en Baie de Somme.

Parcourir l’infini avec des robots. Pour la Science. Septembre, 2024. Cet article de vulgarisation scientifique décrit les algorithmes proposés dans les papiers présentés à Netys'21, ICDCN'21 et Netys'20.

ICDCIT 2024. The 20th International Conference on Distributed Computing and Intelligent Technology (ICDCIT 2024). 17th- 20th January, 2024 Kalinga Institute of Industrial Technology Deemed to be University, Bhubaneswar, Odisha, India.

Article de vulgarisation sur l'autostabilisation publié sur le site d'Interstices : L’autostabilisation ou comment un système distribué peut se réparer tout seul.
Winner of the Wilkes Award 2022: Terminating Exploration Of A Grid By An Optimal Number Of Asynchronous Oblivious Robots. Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil. The Computer Journal, Volume 64, Issue 1, January 2021, Pages 132–154.

Habilitation à diriger des recherches. 17 décembre 2020. (Slides)

Book: Introduction to Distributed Self-Stabilizing Algorithms (written with Karine Altisen, Swan Dubois, and Franck Petit).

Supplementary Material of Robots in Grids: Files.

Master Internship: Self-Stabilization in TVG.

ANR SkyData: A new data paradigm: Intelligent and Autonomous Data.

Master Class on Natural Deduction. February 23th, 2017, Lleida (Spain). Slides

PADEC: A Framework for Certified Self-Stabilization.

SR3: Secure Resilient and Reputation-based Routing Models. Experimental results and cryptographic proofs.

Book: Informatique théorique : logique et démonstration automatique (written with Pascal Lafourcade and Michel Lévy).

Book: Quelques Contributions à la Stabilisation Instantanée.

Publications

On DBLP

On Google Scholar

International Journals

Edited Volumes

International Conferences

Short Papers

International Workshops

Brief Announcements

Books

French Journals

French Conferences

Top Menu

International Refereed Journals

[] Karine Altisen, Alain Cournier, Geoffrey Defalque, and Stéphane Devismes. Self-stabilizing Synchronous Unison in Directed Networks.
In Theoretical Computer Science. Volume 1001: 114577, 2024.

[] Quentin Bramas, Stéphane Devismes, and Pascal Lafourcade. Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with Common Chirality.
In Theoretical Computer Science. Volume 977, 2023.

[] Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, and Franck Petit. Self-stabilizing Systems in Spite of High Dynamics.
In Theoretical Computer Science. Volume 964, 2023.

[] Ajoy K. Datta, Stéphane Devismes, Colette Johnen, and Lawrence L. Larmore. Analysis of a Memory-Efficient Self-stabilizing BFS Spanning Tree Construction.
In Theoretical Computer Science. Volume 955, 2023.

[] Karine Altisen, Stéphane Devismes, and Erwan Jahier. SASA: a SimulAtor of Self-stabilizing Algorithms.
In The Computer Journal. Volume 66(4), pages 796-814, 2023.

[] Karine Altisen, Pierre Corbineau, and Stéphane Devismes. Certification of an Exact Worst-Case Self-Stabilization Time.
In Theoretical Computer Science. Volume 941, pages 262-277, 2023.

[] Stéphane Devismes, Colette Johnen, and David Ilcinkas. Optimized Silent Self-Stabilizing Scheme for Tree-based Constructions.
In Algorithmica. Volume 84(1), pages 85-123, 2022.

[] Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, and Sébastien Tixeuil. Terminating Exploration of a Grid by an Optimal Number of Asynchronous Oblivious Robots.
In The Computer Journal. Volume 64, pages 132-154, 2021.

[] Karine Altisen, Ajoy K. Datta, Stéphane Devismes, Anaïs Durand, and Lawrence L. Larmore. Election in Unidirectional Rings with Homonyms.
In Journal of Parallel and Distributed Computing (JPDC). Volume 146, pages 79 - 95, 2020.

[] Karine Altisen, Stéphane Devismes, Anaïs Durand, and Franck Petit. Gradual Stabilization.
In Journal of Parallel and Distributed Computing (JPDC). Volume 123, pages 26-45, 2019.

[] Ajoy K. Datta, Stéphane Devismes, and Lawrence L. Larmore. A Silent Self-Stabilizing Algorithm for the Generalized Minimal k-Dominating Set Problem.
In Theoretical Computer Science (TCS). Volume 753, pages 35-63, 2019.

[] Stéphane Devismes, Anissa Lamani, Franck Petit, and Sébastien Tixeuil. Optimal Torus Exploration by Oblivious Robots.
In Computing. Volume 101, pages 1241-1264, 2019.

[] Stéphane Devismes, David Ilcinkas, and Colette Johnen. Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps.
In Discrete Mathematics & Theoretical Computer Science. Volume 19, number 3. 2017.

[] Karine Altisen, Pierre Corbineau, and Stéphane Devismes. A Framework for Certified Self-Stabilization.
In Logical Methods in Computer Science. Volume 13, number 4. 2017.

[] Ajoy K. Datta, Stéphane Devismes, Lawrence L. Larmore, and Vincent Villain. Self-Stabilizing Weak Leader Election in Anonymous Trees using Constant Memory per Edge.
Parallel Processing Letters (PPL). Volume 27, number 2, pages 1-18. 2017

[] Ajoy K. Datta, Stéphane Devismes, and Lawrence L. Larmore. Self-Stabilizing Silent Disjunction in an Anonymous Network.
Theoretical Computer Science (TCS). 2017. Volume 665, pages 51-72.

[] Karine Altisen, Stéphane Devismes, and Anaïs Durand. Concurrency in Snap-Stabilizing Local Resource Allocation.
Journal of Parallel and Distributed Computing (JPDC). 2017. Volume 102, pages 42-56.

[] Karine Altisen, Alain Cournier, Stéphane Devismes, Anaïs Durand, and Franck Petit. Self-Stabilizing Leader Election in Polynomial Steps.
Information and Computation. Volume 254 (Part 3), pages 330-366. 2017

[] Karine Altisen and Stéphane Devismes. On Probabilistic Snap-Stabilization.
Theoretical Computer Science. Volume 688, Pages 49-76. 2017.

[] Karine Altisen, Stéphane Devismes, Raphaël Jamet, and Pascal Lafourcade. SR3: Secure Resilient Reputation-based Routing.
Wireless Networks. Volume 23 (number 7), pages 2111-2133. 2017.

[] Stéphane Devismes and Colette Johnen. Silent Self-stabilizing BFS Tree Algorithms Revisited.
Journal of Parallel and Distributed Computing (JPDC). Volume 97, pages 11-23. 2016.

[] Ajoy K Datta, Stéphane Devismes, Karel Heurtefeux, Lawrence L Larmore, and Yvan Rivierre. Competitive Self-Stabilizing k-Clustering.
Theoretical Computer Science (TCS). Volume 626, pages 110-133. 2016.

[] Alain Cournier, Ajoy K. Datta, Stéphane Devismes, Franck Petit, and Vincent Villain. The Expressive Power of Snap-Stabilization.
Theoretical Computer Science (TCS). Volume 626, pages 40-66. 2016.

[] Borzoo Bonakdarpour, Stéphane Devismes, and Franck Petit. Snap-Stabilizing Committee Coordination.
Journal of Parallel and Distributed Computing (JPDC). Volume 87, pages 26-42. 2016.

[] Fabienne Carrier, Ajoy K. Datta, Stéphane Devismes, Lawrence Larmore, and Yvan Rivierre. Self-Stabilizing (f,g)-Alliances with Safe Convergence.
Journal of Parallel and Distributed Computing (JPDC). Volume 81-82, pages 11-23. 2015.

[] Stéphane Devismes, Sébastien Tixeuil, and Masafumi Yamashita. Weak vs. Self vs. Probabilistic Stabilization.
International Journal of Foundations of Computer Science Volume 26, No. 03, pp. 293-319. 2015.

[] Karine Altisen, Stéphane Devismes, Antoine Gerbaud, and Pascal Lafourcade. Comparison of Mean Hitting Times for a Degree-Biased Random Walk.
Discrete Applied Mathematics. Volume 170, pages 104-109. 2014.

[] Ajoy K. Datta, Stéphane Devismes, Lawrence L. Larmore, and Yvan Rivierre. Self-Stabilizing Labeling and Ranking in Ordered Trees.
Theoretical Computer Science. Volume 512, pages 49-66. 2013.

[] Stéphane Devismes, Franck Petit, and Sébastien Tixeuil. Optimal Probabilistic Ring Exploration by Semi-Synchronous Oblivious Robots.
Theoretical Computer Science (TCS). Volume 498, pages 10-27. 2013.

[] Ajoy K. Datta, Stéphane Devismes, Karel Heurtefeux, Lawrence L. Larmore, and Yvan Rivierre. Self-Stabilizing Small k-Dominating Sets.
International Journal of Networking and Computing. Volume 3, Issue 1, pages 116-136. 2013.

[] Stéphane Devismes, Hirotsugu Kakugawa, Sayaka Kamei, and Sébastien Tixeuil. A Self-Stabilizing 3-Approximation for the Maximum Leaf Spanning Tree Problem in Arbitrary Networks.
Journal of Combinatorial Optimization. Volume 25, Number 3, pages 430-459. 2013.

[] Fabienne Carrier, Stéphane Devismes, Franck Petit, and Yvan Rivierre. Asymptotically Optimal Deterministic Rendezvous.
International Journal of Foundations of Computer Science. Volume 22, Issue 5, pages 1143-1159. 2011.

[] Ajoy K. Datta, Stéphane Devismes, Florian Horn, and Lawrence L. Larmore. Self-Stabilizing k-out-of-l Exclusion on Tree Networks.
International Journal of Foundations of Computer Science. Volume 22, Number 3, pages 657-677. 2011.

[] Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, and Sébastien Tixeuil. Snap-Stabilization in Message-Passing Systems.
Journal of Parallel and Distributed Computing (JPDC). Volume 70, Number 12, pages 1220-1230. 2010.

[] Carole Delporte-Gallet, Stéphane Devismes, and Hugues Fauconnier. Stabilizing Leader Election in Partial Synchronous Systems with Crash Failures.
Journal of Parallel and Distributed Computing (JPDC). Volume 70, Number 1, pages 45-58. 2010.

[] Alain Cournier, Stéphane Devismes, and Vincent Villain. Light Enabling Snap-Stabilization.
ACM Transactions on Autonomous and Adaptive Systems. Volume 4, Number 1, pages 6:1-6:27. 2009.

[] Alain Cournier, Stéphane Devismes, Franck Petit, and Vincent Villain. Snap-Stabilizing Depth-First Search on Arbitrary Networks.
The Computer Journal. Volume 49, page 268-280. 2006.

[] Stéphane Devismes. A Silent Self-Stabilizing Algorithm for finding Cut-nodes and Bridges.
Parallel Processing Letters. Volume 15, N°1 & 2 (March & June, 2005), pages 183-198. 2005.

Edited Volumes

[] Stéphane Devismes, Partha Sarathi Mandal, V. Vijaya Saradhi, Bhanu Prasad, Anisur Rahaman Molla, and Gokarna Sharma. Distributed Computing and Intelligent Technology, 20th International Conference, ICDCIT 2024, Proceedings.
Bhubaneswar, India, January 17–20, 2024. Springer, Lecture Notes in Computer Science, volume 14501.

[] Stéphane Devismes and Franck Petit. Theoretical Computer Science (TCS), online. Special Issue on Stabilization, Safety, and Security of Distributed Systems 2022. Guest Editor. 2023.

[] Stéphane Devismes, Franck Petit, Karine Altisen, Giuseppe Antonio Di Luna, and Antonio Fernández Anta. Stabilization, Safety, and Security of Distributed Systems - 24th International Symposium, SSS 2022, Proceedings.
Clermont-Ferrand, France, November 15-17, 2022. Springer, Lecture Notes in Computer Science, volume 13751.

[] Stéphane Devismes and Neeraj Mittal. Information and Computation, Volume 285. Special Issue of SSS 2020. Guest Editor. 2022.

[] Stéphane Devismes and Neeraj Mittal. Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Proceedings.
Austin, TX, USA, November 18-21, 2020. Springer, Lecture Notes in Computer Science, volume 12514.

[] Stéphane Devismes and Aline Carneiro Viana. Actes d'AlgoTel'2017, 19ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications. Quiberon, France, 30 mai - 2 juin, 2017. Collection HAL, online.

[] Ajoy Kumar Datta and Stéphane Devismes. Theoretical Computer Science (TCS), Volume 496. Special Issue of ICDCN 2012. Guest Editor. 2013.

[] Luciano Bononi, Ajoy Kumar Datta, Stéphane Devismes, and Archan Misra. Distributed Computing and Networking - 13th International Conference, ICDCN 2012.
Hong Kong, China. January 3-6, 2012. Springer, Lecture Notes in Computer Science, volume 7129.

International Refereed Conferences with Proceedings

[] Stéphane Devismes, David Ilcinkas, Colette Johnen, and Frédérique Mazoit. Being Efficient in Time, Space, and Workload: a Self-stabilizing Unison and its Consequences.
To appear in Proceedings of 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025). March 04-07, 2025 in Jena, Germany. Acceptance Rate: 27,8%.

[] Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, and Anissa Lamani. Optimal Asynchronous Perpetual Grid Exploration.
To appear in Proceedings of The 26th International Symposium on Stabilization, Safety, and Security of Distributed Systems. October 20-22, Nagoya International Center, Aichi, Japan. Acceptance Rate: 30,8% .

[] Karine Altisen, Alain Cournier, Geoffrey Defalque, and Stéphane Devismes. On Self-stabilizing Leader Election in Directed Networks.
To appear in Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing (PODC 2024). June 17-21, 2024, Nantes, France. Acceptance Rate: 21%.

[] Stéphane Devismes, David Ilcinkas, Colette Johnen, Frédéric Mazoit. Asynchronous Self-stabilization Made Fast, Simple, and Energy-efficient .
To appear in Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing (PODC 2024). June 17-21, 2024, Nantes, France. Acceptance Rate: 21%.

[] Karine Altisen, Pierre Corbineau, and Stéphane Devismes. Certified Round Complexity of Self-Stabilizing Algorithms.
In Proceedings of the 37th International Symposium on Distributed Computing (DISC 2023). Pages 2:1-2:22, October 9-13, 2023, L'Aquila, Italy. Acceptance Rate: 27%.

[] Erwan Jahier, Karine Altisen, Stéphane Devismes, and Gabriel Sant'Anna. Model Checking of Distributed Algorithms using Synchronous Programs.
In Proceedings of the 25th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2023). Pages 18-35, Jersey City, New Jersey (USA), October 2-4, 2023. Acceptance Rate: 43%.

[] Erwan Jahier, Karine Altisen, and Stéphane Devismes. Exploring Worst Cases of Self-stabilizing Algorithms using Simulations.
In Proceedings of the 25th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2023). Pages 1-17, Jersey City, New Jersey (USA), October 2-4, 2023. Acceptance Rate: 43%.

[] Karine Altisen, Alain Cournier, Geoffrey Defalque, and Stéphane Devismes. Self-stabilizing Synchronous Unison in Directed Networks.
In Proceedings of the 24th International Conference on Distributed Computing and Networking (ICDCN 2023). Best Student Paper Award. Pages 115-124, IIT Kharagpur (India), 4-7 January, 2023. Acceptance Rate: 33.34%.

[] Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, and Anissa Lamani. How Luminous Autonomous Swarms of UAVs can save the World?
In Proceedings of the 11th International Conference on Fun with Algorithms (FUN 2022). Pages 7:1-7:21, Favignana (Italy), May 30 - June 3, 2022. Acceptance Rate: 44,4%.

[] Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, and Franck Petit. On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics.
In Proceedings of ACM Symposium on Principles of Distributed Computing. Pages 21-31, July 26-30, 2021, virtual event, 2021. Acceptance Rate: 26%.

[] Arthur Rauch, Quentin Bramas, Stéphane Devismes, Pascal Lafourcade, and Anissa Lamani. Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots without Common Chirality.
In Proceedings of NETYS'2021, the 9th International Conference on NETworked sYStems. Pages 95-110, May 19-21, 2021, virtual event, 2021. Acceptance Rate: 50%.

[] Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, and Franck Petit. Self-stabilizing Systems in Spite of High Dynamics.
In Proceedings of the 22th International Conference on Distributed Computing and Networking (ICDCN 2021). Pages 156-165, Nara, Japan, 5-8 January, 2021. Acceptance Rate: 35%.

[] Karine Altisen, Pierre Corbineau, and Stéphane Devismes. Exact Worst Case Self-Stabilization Time.
In Proceedings of the 22th International Conference on Distributed Computing and Networking (ICDCN 2021). Pages 46-55, Nara, Japan, 5-8 January, 2021. Acceptance Rate: 35%.

[] Quentin Bramas, Stéphane Devismes, and Pascal Lafourcade. Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with Common Chirality.
In Proceedings of the 22th International Conference on Distributed Computing and Networking (ICDCN 2021). Pages 76-85, Nara, Japan, 5-8 January, 2021. Acceptance Rate: 35%.

[] Quentin Bramas, Stéphane Devismes, and Pascal Lafourcade. Infinite Grid Exploration by Disoriented Robots. Best Paper Award.
In Proceedings of NETYS'2020, the 8th International Conference on NETworked sYStems. Pages 129-145, Marrakech, Morocco, June 3-5, 2020. Acceptance Rate: 47%.

[] Quentin Bramas, Stéphane Devismes, and Pascal Lafourcade. Finding Water on Poleless using Melomaniac Myopic Chameleon Robots.
In Proceedings of FUN 2020, 10th International Conference on Fun with Algorithms. Pages 6:1-6:19, Favignana, Sicily, Italy, September 28-30, 2020. Acceptance Rate: 50%.

[] Karine Altisen, Stéphane Devismes, and Erwan Jahier. SASA: a SimulAtor of Self-stabilizing Algorithms.
In Proceedings of TAP 2020, 14th International Conference on Tests and Proofs. Pages 143-154, Bergen, Norway, June 22-26, 2020. Acceptance Rate: 50%.

[] Karine Altisen, Pierre Corbineau, and Stéphane Devismes. Squeezing Streams and Composition of Self-Stabilizing Algorithms.
In Proceedings of FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems. Pages 21-38, Lyngby, Danemark, June 17-21, 2019. Acceptance Rate: 42.8%.

[] Stéphane Devismes and Colette Johnen. Self-Stabilizing Distributed Cooperative Reset.
In Proceedings of the 39th IEEE International Conference on Distributed Computing Systems (ICDCS 2019). Pages 379-389, Dallas, USA, July 7 - 10, 2019. Acceptance Rate: 19.6%.

[] Stéphane Devismes, David Ilcinkas and Colette Johnen. Silent Self-Stabilizing Scheme for Spanning-Tree-like Constructions.
In Proceedings of the 20th International Conference on Distributed Computing and Networking (ICDCN 2019). Pages 158-167, Bangalore, India, January 4 - 7, 2019. Acceptance Rate: 28.6%.

[] Karine Altisen, Stéphane Devismes, and Anaïs Durand. Acyclic Strategy for Silent Self-Stabilization in Spanning Forests.
In Proceedings of SSS'2018, 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems. Pages 186-202, Tokyo, Japan Nov 4 - 7, 2018. Acceptance Rate: 43.6%.

[] Karine Altisen, Olivier Alphand, Rodolphe Bertolini, Stéphane Devismes, Ali Fahs, and Franck Rousseau. Collision Prevention in Distributed 6TiSCH Networks.
In Proceedings of WiMob 2017, The 13th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications. Pages 1--6, Rome (Italy), October 9-11, 2017. Acceptance Rate: 28%.

[] Karine Altisen, Ajoy K. Datta, Stéphane Devismes, Anaïs Durand, and Lawrence L. Larmore. Leader Election in Asymmetric Labeled Unidirectional Rings.
In Proceedings of IPDPS 2017, 31st IEEE International Parallel & Distributed Processing Symposium. Pages 182--191, Orlando (Florida USA), May 29 – June 2, 2017. Acceptance Rate: 22,4%.

[] Stéphane Devismes, David Ilcinkas, and Colette Johnen. Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps.
In Proceedings of OPODIS 2016, the 20th International Conference on Principles of Distributed Systems. Pages 10:1--10:16, Madrid (Spain), 13-16 December 2016. Acceptance Rate: 37%.

[] Karine Altisen, Stéphane Devismes, Anaïs Durand, and Franck Petit. Gradual Stabilization under T-Dynamics.
In Proceedings of Euro-Par 2016, 22nd International European Conference on Parallel and Distributed Computing. Pages 588-602, Grenoble (France), 22-26 August 2016. Acceptance Rate: 26,7%.

[] Karine Altisen, Pierre Corbineau, and Stéphane Devismes. A Framework for Certified Self-Stabilization.
In Proceedings of FORTE'2016, the 36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems. Pages 36-51, Heraklion (Crete), 6-9 June 2016. Acceptance Rate: 41%.

[] Stéphane Devismes, Anissa Lamani, Franck Petit, and Sébastien Tixeuil. Optimal Torus Exploration by Oblivious Robots.
In Proceedings of NETYS'2015, The International Conference on NETworked sYStems. Pages 183-199, Agadir, Morocoo. May 13-15, 2015. Acceptance Rate: 31%.

[] Karine Altisen, Stéphane Devismes, and Anaïs Durand. Concurrency in Snap-Stabilizing Local Resource Allocation.
In Proceedings of NETYS'2015, The International Conference on NETworked sYStems. Pages 77-93, Agadir, Morocoo. May 13-15, 2015. Acceptance Rate: 31%.

[] Fabienne Carrier, Ajoy K. Datta, Stéphane Devismes, and Lawrence L. Larmore. Self-Stabilizing L-Exclusion Revisited. Selected for Best Paper Award Session.
In Proceedings of ICDCN'2015, 16th International Conference on Distributed Computing and Networking. Pages 3:1--3:10, Goa, India. January 4-7, 2015. Acceptance Rate: 21%.

[] Karine Altisen, Alain Cournier, Stéphane Devismes, Anaïs Durand, and Franck Petit. Self-Stabilizing Leader Election in Polynomial Steps.
In Proceedings of SSS'2014, 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems. Pages 106-119. Paderborn, Germany Sep 28 - Oct 1, 2014. Acceptance Rate: 47%.

[] Karine Altisen and Stéphane Devismes. On Probabilistic Snap-Stabilization.
In Proceedings of ICDCN'2014, 15th International Conference on Distributed Computing and Networking. Pages 272-286, January 4-7, 2014. Coimbatore, India. Acceptance Rate: 29%.

[] Fabienne Carrier, Ajoy K. Datta, Stéphane Devismes, Lawrence Larmore, and Yvan Rivierre. Self-Stabilizing (f,g)-Alliances with Safe Convergence.
In Proceedings of SSS'2013, 15th International Symposium on Stabilization, Safety, and Security of Distributed Systems. Best Student Paper Award. Pages 61-73, November 13-16, 2013. Osaka, Japan. Acceptance Rate: 35% (30% in the track of the paper).

[] Karine Altisen, Stéphane Devismes, Raphaël Jamet, and Pascal Lafourcade. SR3: Secure Resilient Reputation-based Routing.
In Proceedings of IEEE DCOSS'2013, the 9th IEEE International Conference on Distributed Computing in Sensor Systems. Pages 258-265, Cambridge, Massachusetts. May 20-23, 2013. Acceptance Rate: 28%.

[] Ajoy K. Datta, Stéphane Devismes, and Lawrence L. Larmore. Self-Stabilizing Silent Disjunction in an Anonymous Network.
In Proceedings of ICDCN'13, 14th International Conference on Distributed Computing and Networking. Pages 148-160, January 3-6, 2013. Mumbai, India. Acceptance Rate: 26,8%.

[] Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, and Sébastien Tixeuil. Optimal grid exploration by asynchronous oblivious robots. In Proceedings of SSS'2012, 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems. Pages 64-76, Oct 1-4, 2012. Toronto, Canada. Acceptance Rate: 28%.

[] Karine Altisen, Stéphane Devismes, Antoine Gerbaud, and Pascal Lafourcade. Analysis of Random Walks using Tabu Lists.
In Proceedings of 19th International Colloquium on Structural Information and Communication Complexity (SIROCCO'2012). Pages 254-266, June 30 - July 2, 2012. Reykjavík, Iceland. Acceptance Rate: 52%.

[] Ajoy K. Datta, Stéphane Devismes, Karel Heurtefeux, Lawrence L. Larmore, and Yvan Rivierre. Competitive Self-Stabilizing k-Clustering.
In Proceedings of The 32nd International Conference on Distributed Computing Systems (ICDCS'12). Pages 476-485, June 18-21, 2012. Macau, China. Acceptance Rate: 13%.

[] Ajoy K. Datta, Stéphane Devismes, Karel Heurtefeux, Lawrence L. Larmore, and Yvan Rivierre. Self-Stabilizing Small k-Dominating Sets.
In Proceedings of The Second International Conference on Networking and Computing (ICNC'11). Best Paper Award. Pages 30-39, November 30 - December 2, 2011. Osaka, Japan. Acceptance Rate: 34,6%.

[] Ajoy K. Datta, Stéphane Devismes, Lawrence L. Larmore, and Yvan Rivierre. Self-Stabilizing Labeling and Ranking in Ordered Trees.
In Proceedings of SSS'2011, 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems. Pages 148-162, October 10-12, 2011. Grenoble, France. Acceptance Rate: 36,7%.

[] Borzoo Bonakdarpour, Stéphane Devismes, and Franck Petit. Snap-Stabilizing Committee Coordination.
In Proceedings of IPDPS'2011, 25th IEEE International Parallel & Distributed Processing Symposium. Pages 231-242, May 16-20, 2011. Anchorage (Alaska), USA. Acceptance Rate: 17,8%.

[] Carole Delporte-Gallet, Stéphane Devismes, and Hugues Fauconnier. Approximation of Delta-timeliness.
In Proceedings of SSS'2010, 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems. Pages 435-451, September 20-22, 2010. New York City, USA. Acceptance Rate: 43%.

[] Stéphane Devismes, Hirotsugu Kakugawa, Sayaka Kamei, and Sébastien Tixeuil. A Self-Stabilizing 3-Approximation for the Maximum Leaf Spanning Tree Problem in Arbitrary Networks.
In Proceedings of COCOON'2010, The 16th Annual International Computing and Combinatorics Conference. Pages 80-89, July 19-21, 2010. Nha Trang, Vietnam. Acceptance Rate: 40%.

[] Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier, and Mikel Larrea. Algorithms For Extracting Timeliness Graphs.
In Proceedings of SIROCCO'2010, 17th International Colloquium on Structural Information and Communication Complexity. Pages 127-141. June 7-11, 2010. Nesin Mathematics Village, Şirince, TURKEY. Acceptance Rate: 51%.

[] Samuel Bernard, Stéphane Devismes, Maria Gradinariu Potop-Butucaru, Katy Paroux, and Sébastien Tixeuil. Probabilistic Self-Stabilizing Vertex Coloring in Unidirectional Anonymous Networks.
In Proceedings of ICDCN'2010, 11th International Conference on Distributed Computing and Networking. Pages 167-177, January 3-6, 2010. Kolkata, India. Acceptance Rate: 22%.

[] Ajoy K. Datta, Stéphane Devismes, and Lawrence L. Larmore. A Self-Stabilizing O(n)-Round k-Clustering Algorithm.
In Proceedings of SRDS'2009, 28th International Symposium on Reliable Distributed Systems. Pages 147-155, September 27-30, 2009. Niagara Falls, New York, USA. Acceptance Rate: 22%.

[] Stéphane Devismes, Franck Petit, and Sébastien Tixeuil. Optimal Probabilistic Ring Exploration by Semi-synchronous Oblivious Robots.
In Proceedings of SIROCCO'2009, 16th International Colloquium on Structural Information and Communication Complexity. Pages 203-217, May 25-27, 2009. Piran, Slovenia. Acceptance Rate: 43%.

[] Stéphane Devismes, Toshimitsu Masuzawa, and Sébastien Tixeuil.Communication Efficiency in Self-Stabilizing Silent Protocols.
In Proceedings of ICDCS'2009, The 29th International Conference on Distributed Computing Systems. Pages 474-481, June 22-26, 2009. Montreal, Quebec, Canada. Acceptance Rate: 16%.

[] Samuel Bernard, Stéphane Devismes, Maria Gradinariu Potop-Butucaru, and Sébastien Tixeuil. Optimal Deterministic Self-stabilizing Vertex Coloring in Unidirectional Anonymous Networks.
In Proceedings of IPDPS'09, IEEE International Parallel & Distributed Processing Symposium. Pages 1-8, May 25-29, 2009. Rome, Italy. Acceptance Rate: 22,7%.

[] Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier, Franck Petit, and Sam Toueg. With Finite Memory Consensus is Easier Than Reliable Broadcast.
In Proceedings of OPODIS'08, 12th International Conference On Principles Of DIstributed Systems. Pages 41-57, LNCS 5401, December 15-18, 2008. Luxor, Egypt. Acceptance Rate: 29,4%.

[] Stéphane Devismes, Sébastien Tixeuil, and Masafumi Yamashita. Weak vs. Self vs. Probabilistic Stabilization.
In Proceedings of ICDCS'08, The 28th International Conference on Distributed Computing Systems. Pages 681-688, June 17-20, 2008. Beijing, China. Acceptance Rate: 16%.

[] Carole Delporte-Gallet, Stéphane Devismes, and Hugues Fauconnier. Robust Stabilizing Leader Election.
In Proceedings of SSS'07, 9th International Symposium on Stabilization, Safety, and Security of Distributed Systems. Pages 217-233, LNCS 4838, November 14-16, 2007. Paris, France. Acceptance Rate: 27%.

[] Alain Cournier, Stéphane Devismes, and Vincent Villain. From Self- to Snap-Stabilization.
In Proceedings of SSS'06, 8th International Symposium on Stabilization, Safety, and Security of Distributed Systems. Pages 199-213, LNCS 4280, November 17-19, 2006. Dallas, Texas, USA. Acceptance Rate: 29%.

[] Alain Cournier, Stéphane Devismes, and Vincent Villain. Snap-Stabilizing PIF and Useless Computations.
In Proceedings of ICPADS'06, The Twelfth International Conference on Parallel and Distributed Systems. Pages 39-46, IEEE Computer Society Press P2612 (volume 1), July 12-15, 2006. Minneapolis, USA. Acceptance Rate: 38%.

[] Alain Cournier, Stéphane Devismes, and Vincent Villain. A Snap-Stabilizing DFS with a Lower Space Requirement.
In Proceedings of SSS'05, 7th International Symposium on Self Stabilizing Systems. Pages 33-47, LNCS 3764, October 2005. Barcelona, Spain. Acceptance Rate: 35%.

[] Alain Cournier, Stéphane Devismes, and Vincent Villain. Snap-Stabilizing Detection of Cutsets.
In Proceedings of HiPC'05, 12th Annual IEEE Conference on High Performance Computing. Pages 488-497, LNCS 3769, December 2005. Goa, India. Acceptance Rate: 18,5%.

[] Alain Cournier, Stéphane Devismes, Franck Petit, and Vincent Villain. Snap-Stabilizing Depth-First Search on Arbitrary Networks.
In Proceedings of OPODIS'04, 8th international conference On Principles Of DIstributed Systems. Pages 267-282, LNCS 3544, December 2004. Grenoble, France. Acceptance Rate: 29,4%.

Short Papers in International Refereed Conferences with Proceedings

[] Karine Altisen, Ajoy K. Datta, Stéphane Devismes, Anaïs Durand, and Lawrence L. Larmore. Leader Election in Rings with Bounded Multiplicity.
In Proceedings of SSS'2016, 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems. Pages 1-6, November 7-10, 2016. Lyon, France. Acceptance Rate: 59%.

[] Ajoy K. Datta, Stéphane Devismes, Lawrence L. Larmore, and Sébastien Tixeuil. Fast Leader (Full) Recovery despite Dynamic Faults.
In Proceedings of ICDCN'2013, 14th International Conference on Distributed Computing and Networking. Pages 428-433, January 3-6, 2013. Mumbai, India. Acceptance Rate: 31,3%.

[] Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, and Sébastien Tixeuil. Snap-Stabilization in Message-Passing Systems.
In Proceedings of ICDCN'09, 10th International Conference on Distributed Computing and Networking. Pages 281-286, LNCS 5408, January 3-6, 2009. Hyderabad, India. Acceptance Rate: 35,2%.

International Refereed Workshops with Proceedings

[] Stéphane Devismes and Franck Petit. On Efficiency of Unison.
In Proceedings of TADDS'2012, 4th Workshop on Theoretical Aspects of Dynamic Distributed Systems. Pages 20-25, December 17th, 2012. Rome, Italy. Acceptance Rate: Unknown.

[] Ajoy K. Datta, Stéphane Devismes, Maria Gradinariu Potop-Butucaru, François Kawala, and Lawrence L. Larmore. Multi-resource Allocation with Unknown Participants.
In Proceedings of PDAA'2011, 3rd International Workshop on Parallel and Distributed Algorithms and Applications. Pages 200-206, November 30-December 2, 2011. Osaka, Japan. Acceptance Rate: Unknown.

[] Ajoy K. Datta, Stéphane Devismes, and Lawrence L. Larmore. Sorting on Skip Chains.
In Proceedings of PDAA'2011, 3rd International Workshop on Parallel and Distributed Algorithms and Applications. Pages 193-199, November 30-December 2, 2011. Osaka, Japan. Acceptance Rate: Unknown.

[] Stéphane Devismes. Optimal Exploration of Small Rings.
In Proceedings of WRAS'2010, Third International ACM SIGOPS/SIGACT Workshop on Reliability, Availability, and Security. Pages 9:1--9:6, July 29, 2010. Zurich, Switzerland. Acceptance Rate: Unknown.

[] Fabienne Carrier, Stéphane Devismes, Franck Petit, and Yvan Rivierre. Space-Optimal Deterministic Rendezvous.
In Proceedings of WRAS'2009, Second International Workshop on Reliability, Availability, and Security. Pages 342-347, December 2009. Hiroshima, Japan. Acceptance Rate: Unknown.

[] Ajoy K. Datta, Stéphane Devismes, Florian Horn, and Lawrence L. Larmore. Self-Stabilizing k-out-of-l Exclusion on Tree Networks.
In Proceedings of APDCM'2009, 11th Workshop on Advances in Parallel and Distributed Computational Models. Pages 1-8, May 25th, 2009. Rome, Italy. Acceptance Rate: Unknown.

Brief Announcements in International Refereed Conferences with Proceedings

[] Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, and Franck Petit. Brief Announcement: Self-stabilizing Systems in Spite of High Dynamics.
In Proceedings of the 39th ACM Symposium on Principles of Distributed Computing (PODC 2020). Pages 227-229, August 3-7, 2020, Salerno, Italy. Acceptance Rate: Unknown.

[] Ajoy K. Datta, Stéphane Devismes, Colette Johnen, and Lawrence L. Larmore. Brief Announcement: Analysis of a Memory-Efficient Self-Stabilizing BFS Spanning Tree Construction.
In Proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019). Pages 99-104, October 21-25, 2019. Pisa, Italy. Acceptance Rate: Unknown.

[] Quentin Bramas, Stéphane Devismes, and Pascal Lafourcade. Brief Announcement: Infinite Grid Exploration by Disoriented Robots
In Proceedings of Structural Information and Communication Complexity - 26th International Colloquium, SIROCCO 2019. Pages 340--344, July 1-4, 2019. L'Aquila, Italy. Acceptance Rate: Unknown.

[] Ajoy K. Datta, Stéphane Devismes, and Lawrence L. Larmore. Brief Announcement: Self-stabilizing Silent Disjunction in an Anonymous Network.
In Proceedings of SSS'2012, 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems. Pages 46-48, October 1-4, 2012. Toronto, Canada. Acceptance Rate: Unknown.

[] Ajoy K. Datta, Stéphane Devismes, and Lawrence L. Larmore. Brief Announcement: Sorting on Skip Chains.
In Proceedings of SSS'2011, 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems. Pages 443-444, October 10-12, 2011. Grenoble, France. Acceptance Rate: Unknown.

[] Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, and Sébastien Tixeuil. Brief Announcement: Snap-Stabilization in Message-Passing Systems.
In Proceedings of PODC'08, the Twenty-Seventh Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing. Page 443, ACM, August 18-21, 2008. Toronto, Canada. Acceptance Rate: Unknown.

Books

[] Stéphane Devismes, Anaïs Durand, and Pascal Lafourcade. Bases de données - Informatique BUT 1re année et L1
DUNOD. ISBN-13, ‎978-2100870189. 2024.

[] Karine ALtisen, Stéphane Devismes, Swan Dubois, and Franck Petit. Introduction to Distributed Self-Stabilizing Algorithms
Morgan & Claypool Publishers. DOI 10.2200/S00908ED1V01Y201903DCT015. 2019.

[] Stéphane Devismes, Pascal Lafourcade, and Michel Lévy. Informatique théorique : logique et démonstration automatique
Ellipses, Collection Technosup. ISBN 2729872299. 2012.

[] Stéphane Devismes. Quelques Contributions à la Stabilisation Instantanée
Editions universitaires européennes. ISBN 978-613-1-51129-5. 2010.

French Refereed Journals

[] Stéphane Devismes. L’autostabilisation ou comment un système distribué peut se réparer tout seul.
Interstices (revue en ligne). 2023.

[] Ajoy K. Datta, Stéphane Devismes, Karel Heurtefeux, Larry L. Larmore, and Yvan Rivierre. Algorithme autostabilisant construisant un petit ensemble k-dominant.
Technique et Science Informatiques (TSI), vol 31/8-10, pages 1273-1299. 2012.

[] Stéphane Devismes, Franck Petit, and Vincent Villain. Autour de l'Auto-stabilisation. Partie I : Techniques généralisant l'approche.
Technique et Science Informatiques (TSI), Vol 30(7), pages 873-894. 2010.

[] Stéphane Devismes, Franck Petit, and Vincent Villain. Autour de l'Auto-stabilisation. Partie II : Techniques spécialisant l'approche.
Technique et Science Informatiques (TSI), Vol 30(7), pages 895-922. 2010.

French Refereed Conferences with Proceedings

[] Stéphane Devismes, David Ilcinkas, Colette Johnen, and Frédérique Mazoit. Nous aussi on fait du "log^*" !.
In Proceedings of ALGOTEL 2024 - 26èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications. Saint-Briac-sur-Mer, du 27 au 31 Mai 2024. Acceptance Rate: 62,5%.

[] Karine Altisen, Alain Cournier, Geoffrey Defalque, and Stéphane Devismes. Pour être César, il faut que tous les chemins viennent de la Domus Augustana.
In Proceedings of ALGOTEL 2024 - 26èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications. Saint-Briac-sur-Mer, du 27 au 31 Mai 2024. Acceptance Rate: 62,5%.

[] Karine Altisen, Pierre Corbineau, and Stéphane Devismes. Complexité certifiée d'algorithmes autostabilisants en rondes.
In Proceedings of ALGOTEL 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications. Cargèse, du 22 au 26 Mai 2023. Acceptance Rate: 49%.

[] Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, and Anissa Lamani. Exploration en 3D par des robots désorientés : tu montes en bas ou tu descends en haut ?
In Proceedings of ALGOTEL 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications. Cargèse, du 22 au 26 Mai 2023. Acceptance Rate: 49%.

[] Karine Altisen, Alain Cournier, Geoffrey Defalque, and Stéphane Devismes. Pour battre à l'unisson, il faut que tous les chemins viennent de Rome.
In Proceedings of ALGOTEL 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications. Best Student Paper Award. Cargèse, du 22 au 26 Mai 2023. Acceptance Rate: 49%.

[] Arthur Rauch, Quentin Bramas, Stéphane Devismes, Pascal Lafourcade, and Anissa Lamani. Exploration perpétuelle : ça s'en va et ça revient.
In Proceedings of ALGOTEL 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications. Université Paris-Saclay, du 30 Mai au 3 juin 2022. Acceptance Rate: 62%.

[] Stéphane Devismes and Pascal Lafourcade. Un jour sans fin.
In Proceedings of ALGOTEL 2021 - 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications. La Rochelle. Du 31 mai au 4 juin 2021. Acceptance Rate: 62%.

[] Quentin Bramas, Stéphane Devismes, and Pascal Lafourcade. Vers l’infini et au delà.
In Proceedings of ALGOTEL 2020 - 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications. Lyon. Du 28 septembre au 2 octobre 2020. Acceptance Rate: 68%.

[] Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, and Franck Petit. Election Autostabilisante dans les Réseaux à Haute Dynamicité.
In Proceedings of ALGOTEL 2020 - 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications. Lyon. Du 28 septembre au 2 octobre 2020. Acceptance Rate: 68%.

[] Karine Altisen, Stéphane Devismes, and Anaïs Durand. Silence dans la forêt !
In Proceedings of ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications. Narbonne. June 3-7, 2019. Acceptance Rate: 67%.

[] Stéphane Devismes and Colette Johnen. Soyez efficace, rembobinez.
In Proceedings of ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications. Narbonne. June 3-7, 2019. Acceptance Rate: 67%.

[] Fabienne Carrier, Ajoy Kumar Datta, Stéphane Devismes, and Lawrence L. Larmore. L-Exclusion autostabilisante revisitée.
In Proceedings of ALGOTEL 2018 - 20èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications. Roscoff. May 29 - June 1, 2018. Acceptance Rate: 67.5%.

[] Stéphane Devismes, David Ilcinkas, and Colette Johnen. Schéma général auto-stabilisant et silencieux de constructions de type arbres couvrants.
In Proceedings of ALGOTEL 2018 - 20èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications. Roscoff. May 29 - June 1, 2018. Acceptance Rate: 67.5%.

[] Karine Altisen, Stéphane Devismes, Anaïs Durand, and Franck Petit. Stabilisation progressive.
In Proceedings of ALGOTEL 2018 - 20èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications. Roscoff. May 29 - June 1, 2018. Acceptance Rate: 67.5%.

[] Ali Fahs, Rodolphe Bertolini, Olivier Alphand, Franck Rousseau, Karine Altisen, and Stéphane Devismes. Eviter les collisions dans les réseaux 6TiSCH.
In Proceedings of CoRes - Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication. Roscoff. May 28-29, 2018. Acceptance Rate: Unknown.

[] Karine Altisen, Stéphane Devismes, and Anaïs Durand. Concurrence en allocation de ressources locales instantanément stabilisante.
In Proceedings of AlgoTel'2016. Bayonne. May 24-27, 2016. Acceptance Rate: 60%.

[] Karine Altisen, Alain Cournier, Stéphane Devismes, Anaïs Durand, and Franck Petit. Election autostabilisante en un nombre polynomial de pas de calcul.
In Proceedings of AlgoTel'2015. Beaune. June 2-5, 2015. Acceptance Rate: 50%.

[] Karine Altisen and Stéphane Devismes. Stabilisation Instantanée Probabiliste.
In Proceedings of AlgoTel'2014. Le-Bois-Plage-en-Ré. June 3-6, 2014. Acceptance Rate: 55%.

[] Karine Altisen, Stéphane Devismes, Raphaël Jamet, and Pascal Lafourcade. Routage sécurisé et résilient pour réseaux de capteurs sans fils.
In Proceedings of AlgoTel'2013. Pornic. May 28 - May 31, 2013. Acceptance Rate: 52%.

[] Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil, and Pascal Raymond. Explorer une grille avec un minimum de robots amnésiques.
In Proceedings of AlgoTel'2013. Pornic. May 28 - May 31, 2013. Acceptance Rate: 52%.

[] Fabienne Carrier, Ajoy K. Datta, Stéphane Devismes, Larry L. Larmore, and Yvan Rivierre. Algorithme autostabilisant avec convergence sûre construisant une (f,g)-alliance.
In Proceedings of AlgoTel'2013. Pornic. May 28 - May 31 2013. Acceptance Rate: 52%.

[] Ajoy K. Datta, Stéphane Devismes, Karel Heurtefeux, Larry L. Larmore, and Yvan Rivierre. Algorithme de k-partitionnement auto-stabilisant et compétitif.
In Proceedings of AlgoTel'2012. Pages 135-138, La grande Motte. May 29 - June 1st, 2012. Acceptance Rate: Unknown.

[] Stéphane Devismes, Borzoo Bonakdarpour, and Franck Petit. Coordination de Comités Instantanément Stabilisante.
In Proceedings of AlgoTel'2011. Pages 87-90, May 23-26, 2011. Cap Estérel. Acceptance Rate: 49%.

[] Karine Altisen, Stéphane Devismes, Pascal Lafourcade, and Clément Ponsonnet. Routage par marche aléatoire à listes tabous.
In Proceedings of AlgoTel'2011. Pages 21-24, May 23-26, 2011. Cap Estérel. Acceptance Rate: 49%.

[] Ajoy K. Datta, Stéphane Devismes, Karel Heurtefeux, Larry L. Larmore, and Yvan Rivierre. Algorithme auto-stabilisant construisant un ensemble k-dominant minimal borné.
In Proceedings of Renpar'2011. Paper 16, Saint Malot. May 10-13 2011. Acceptance Rate: 67%.

[] Stéphane Devismes, Toshimitsu Masuzawa, and Sébastien Tixeuil. Communications Efficaces et Auto-Stabilisation.
In Proceedings of AlgoTel'2010. Pages 71-74, Belle-Dune. May 31 - June 03, 2010. Acceptance Rate: Unknown.

[] Fabienne Carrier, Stéphane Devismes, Franck Petit et Yvan Rivierre. Rendez-vous d'agents amnésiques.
In Proceedings of AlgoTel'2010. Pages 35-38, Belle-Dune. May 31 - June 03, 2010. Acceptance Rate: Unknown.

[] Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, and Sébastien Tixeuil. Stabilisation Instantanée dans les systèmes à passage de messages.
In Proceedings of AlgoTel'2009. Pages 81-84, Carry-Le-Rouet. June 16-19, 2009. Acceptance Rate: 48,3%.

[] Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier, Franck Petit, and Sam Toueg. Quand le consensus est plus simple que la diffusion fiable.
In Proceedings of AlgoTel'2009. Pages 101-104, Carry-Le-Rouet. June 16-19, 2009. Acceptance Rate: 48,3%.

[] Stéphane Devismes, Franck Petit, and Sébastien Tixeuil. Exploration Optimale Probabiliste d'un Anneau par des Robots Asynchrones et Amnésiques.
In Proceedings of AlgoTel'2009. Pages 109-112, Carry-Le-Rouet. June 16-19, 2009. Acceptance Rate: 48,3%.

[] Samuel Bernard, Stéphane Devismes, Katy Paroux, Maria Potop-Butucaru, and Sébastien Tixeuil. Sur le Coloriage Auto-stabilisant dans les Réseaux Unidirectionnels Anonymes.
In Proceedings of AlgoTel'2009. Pages 17-20, Carry-Le-Rouet. June 16-19, 2009. Acceptance Rate: 48,3%.

[] Carole Delporte-Gallet, Stéphane Devismes, and Hugues Fauconnier. Election Robuste, Auto-Stabilisante et Efficace.
In Proceedings of AlgoTel'2008. Pages 109-112, Saint-Malo. May 13-16, 2008. Acceptance Rate: 52%.

[] Ajoy Kumar Datta, Stéphane Devismes, Florian Horn et Lawrence L. Larmore. K-parmi-L exclusion auto-stabilisante.
In Proceedings of AlgoTel'2008. Pages 5-8, Saint-Malo. May 13-16, 2008. Acceptance Rate: 52%.

Research Projects Memberships

Present

[2023-2027] ANR SkyData: A new data paradigm: Intelligent and Autonomous Data. Budget: 606 091 €.
[2023-2026] Bourse de thèse "Région Hauts-de-France": l’autostabilisation comme approche fondamentale pour l’informatique autonome dans les réseaux ubiquitaires. Budget: 60 030 €.

Past

[2016-2022] ANR ESTATE: Enhancing Safety and self-sTAbilization in Time-varying distributed Environments. Budget: 544 222 €.
[2016-2020] ANR DESCARTES: Abstraction Layers for Distributed Computing. Budget: 395 056 €.
[2015-2018] Equipes-action, Labex Persyval-lab IoIT: Towards the Internet of Interactive Things Energy-Efficient Interactive Cyber-Physical Systems. Budget: 220 000 €.
[2015-2017] Projet AGIR (Appel à projet Grenoble Innovation Recherche) PADEC: Preuve d’Algorithmes Distribués En Coq. Budget: 15 000 €.
[2014-2016] Projet AGIR (Appel à projet Grenoble Innovation Recherche) DIAMS: Distributed Asynchronous Monitoring of Cyber-Physical Systems. Budget: 20 000 €.
[2014-2015] Projet exploratoire LabEx PERSYVAL (ANR-11-LABX-0025-01) DACRAW: Distributed Approach for Cross-layer Resource Allocation in Wireless sensor networks. Budget: 9 500 €.
[2009-2013] ANR ARESA2: Avancées en Réseaux de capteurs Efficaces, Sécurisés et Auto-Adaptatifs: vers des réseaux de capteurs et actionneurs sécurisés, auto-organisants, efficaces en énergie et connectés au monde IP. Supported by the ANR (l'Agence Nationale de la Recherche).
[2009-2012] ANR SHAMAN: Self-Organizing and Healing Architectures for Malicious and Adversarial Networks. Supported by the ANR (l'Agence Nationale de la Recherche).
[2010-2011] MSTIC UJF Terra: Theoretical Evaluation of Randomized Routing Algorithms.
[2008-2009] Provable self-stabilizing and robust algorithms for problems arising in sensor networks (France-Japan Program EGIDE SAKURA).
[2005-2009] ANR SOGEA: Security Of Games, Equilibria and distributed Algorithms. Supported by the ANR (l'Agence Nationale de la Recherche).
[2004-2007] ACI FRAGILE: Failure Resilience and Application Guaranteed Integrity in Large-scale Environments. (Action Concertée Incitative)

Scientific Management

PhD
- 2023-2026: Geoffrey Defalque, PhD Thesis (UPJV). L’autostabilisation comme approche fondamentale pour l’informatique autonome dans les réseaux ubiquitaires. (Thèse démarrée le 1er octobre 2023) (In co-supervision with Karine Altisen)
- 2014-2017: Anaïs Durand, PhD Thesis (Grenoble I). Algorithmes distribués efficaces adaptés à un contexte incertain. (Thèse soutenue le 1er septembre 2017) (In co-supervision with Karine Altisen)
- 2010-2013: Yvan Rivierre, PhD Thesis (Grenoble I), Self-Stabilizing Algorithms for Constructing Distributed Spanning Structures. (Thèse soutenue le 13 décembre 2013) (In co-supervision with Fabienne Carrier.)
Post-doctoral fellow
- 2021-2022: Marie Laveaux, Post-doctoral fellow. Self-Stabilizing Leader Election in Grids of Homonym Processes (ANR ESTATE). (In co-supervision with Karine Altisen)
- 2017-2018: Vincent Filou. Post-doctoral fellow. Certification of Self-Stabilizing Algorithm (ANR ESTATE). (In co-supervision with Karine Altisen and Pierre Corbineau.)
- 2017-2018: Fadoua Hassen. Post-doctoral fellow. Distributed Approach for Cross-Layer Resource Allocation in Wireless Sensor Networks (Equipe-Action IoIT) (In co-supervision with Olivier Alphand, Karine Altisen, and Franck Rousseau.)
- 2012: Antoine Gerbaud. Post-doctoral fellow. Theoretical Evaluation of Randomized Routing Algorithms. (In co-supervision with Karine Altisen and Pascal Lafourcade.)
Master II
- 2022: Quentin Grémont, Master I en Informatique, Rassemblement efficace d'agents homonymes. (In co-supervision with Yoann Dieudonné)
- 2022: Geoffrey Defalque, Master I en Informatique, Autostabilisation dans les réseaux identifiés et dirigés. (In co-supervision with Alain Cournier)
- 2017: Ali Fahs, Computer Science Master II Internship (UGA), Collision Prevention in Distributed 6TiSCH Networks. (In co-supervision with Olivier Alphand, Karine Altisen, and Franck Rousseau.)
- 2017: Hoang Anh Nguyen, Programme de Formation d'Ingénieurs d'Excellence au Vietnam (PFIEV), Silent Self-stabilizing algorithms on a real plateform. (In co-supervision with Olivier Alphand and Karine Altisen.)
- 2014: Anaïs Durand, Computer Science Master II Internship (Grenoble I), Self-Stabilizing Leader Election in Polynomial Steps. (In co-supervision with Karine Altisen.)
- 2011: Clément Ponsonnet, Computer Science Master II (MAI) Internship (Grenoble I), Routage probabiliste sécurisé pour réseaux de capteurs sans fil. (In co-supervision with Karine Altisen and Pascal Lafourcade.)
- 2008: Matthieu Rajoelison, Computer Science Research Master II Internship (Paris XI), Etude des connexions entre la théorie de jeux et l'algorithmique répartie. (In co-supervision with Sylvie Delaët, "maître de conférences" in Paris XI). ANR SOGEA project funding.
Master I
- 2021: Quentin Grémont, Master I en Informatique, Rassemblement d'agents efficace. (In co-supervision with Yoann Dieudonné)
- 2021: Geoffrey Defalque, Master I en Informatique, Autostabilisation dans les réseaux dirigés. (In co-supervision with Alain Cournier)
- 2017: Benjamin Collet, Computer Science Master I Internship (Magister, Univ Grenoble Alpes), Modeling of Graph Topologies Using Coq. (In co-supervision with Karine Altisen and Pierre Corbineau.)
- 2016: Jules Lefrère, Computer Science Master I Internship (TER+Magister, Univ Grenoble Alpes), Certification of Self-stabilizing Compositions. (In co-supervision with Karine Altisen and Pierre Corbineau.)
- 2016: Rodolphe Bertolini, Computer Science Master I Internship (TER, Univ Grenoble Alpes), Distributed Approach for Cross-Layer Resource Allocation in Wireless Sensor Networks (In co-supervision with Olivier Alphand, Karine Altisen, and Franck Rousseau.)
- 2015: Aymeric Séguret, Computer Science Master I Internship (TER, Grenoble I), Simulation of Silent, Energy-Efficient, Self-Stabilizing Algorithms. (In co-supervision with Karine Altisen.)
- 2013: Anaïs Durand, Computer Science Master I Internship (TER, Grenoble I), Probabilistic Snap-Stabilizing Algorithms for Local Resource Allocation Problems. (In co-supervision with Karine Altisen.)
- 2010: Clément Ponsonnet, Computer Science Master I (MAI) Internship (Grenoble I), Les méthodes probabilistes pour le routage dans les réseaux de capteurs sans-fil. (In co-supervision with Karine Altisen and Pascal Lafourcade.)
- 2010: François Kawala, Computer Science Master I (TER) Internship (Grenoble I), L'allocation de ressources dans les systèmes pair-pair.
- 2009: Yvan Rivierre, Computer Science Master I (TER) Internship (Grenoble I), Le problème de rendez-vous dans un système multi-agents quelconque. (In co-supervision with Fabienne Carrier.)
Miscellaneous
- 2023: Thomas Randriamaro (L3, UPJV), Simulation d'algorithmes distribués. (In co-supervision with Alain Cournier)
- 2022: Corentin Brasseur (L3, UPJV), Découverte des algorithmes autostabilisants. (In co-supervision with Alain Cournier)
- 2022: Azad Courtial (L3, UPJV), Implementing the Silence to Reduce Energy Consumption in WSN. (In co-supervision with Wafa Badreddine)
- 2021: Ambre Simond, Computer Science Excellence Internship (Licence 2, UGA), Election dans des grilles d'homonymes. (In co-supervision with Karine Altisen.)
- 2020: Hugo Hannot (Ensimag 1A, L3), Simulation d'algorithmes distribués. (In co-supervision with Karine Altisen and Erwan Jahier.)
- 2019: Nathan Rebiscoul, Computer Science Excellence Internship (Licence 2, UGA), Simulation d'algorithmes distribués. (In co-supervision with Karine Altisen and Erwan Jahier.)
- 2019: Gwennan Eliezer, Computer Science Internship (Licence 1, UGA), Simulation d'algorithmes autostabilisants. (In co-supervision with Karine Altisen and Erwan Jahier.)
- 2016: Fatoumata Dama, Computer Science Excellence Internship (Licence 2, UGA), Simulation d'un algorithme autostabilisant de synchronisation dans un environnement dynamique . (In co-supervision with Karine Altisen and Anaïs Durand.)
- 2015: Marine Kadar, Ensimag 1A (L3), TSCH scheduling with a distributed local algorithm. (In co-supervision with Olivier Alphand, Karine Altisen, and Franck Rousseau.)
- 2015: Moussa Diakite, Computer Science Excellence Internship (Licence 2, Grenoble I), Simulation d'algorithmes auto-stabilisants. (In co-supervision with Karine Altisen and Anaïs Durand.)
- 2015: Anaïs Chenon, Computer Science Excellence Internship (Licence 2, Grenoble I), Composition d'algorithmes autostabilisants en Coq. (In co-supervision with Karine Altisen and Pierre Corbineau.)
- 2014: Xavier Montillet, L3 ENS Rennes Internship, Preuve en Coq d'un algorithme autostabilisant de k-clustering. (In co-supervision with Pierre Corbineau.)
- 2014: Ilyes Kacher, Computer Science Excellence Internship (Licence 2, Grenoble I), Certification d'un protocole : simulation en Java et preuve à l'aide du prouveur interactif Coq. (In co-supervision with Karine Altisen.)
- 2014: Maveric Chardet, Computer Science Excellence Internship (Licence 2, Grenoble I), Conception et Mise en œuvre d’algorithmes de monitoring distribués pour systèmes synchrones. (In co-supervision with Yliès Falcone.)
- 2013: Maveric Chardet, Computer Science Excellence Internship (Licence 1, Grenoble I), Simulation of a protocol that explores a grid using 3 robots. (In co-supervision with Yliès Falcone.)
- 2012: Adrien Pomaret, Computer Science Master I Internship (TER, Grenoble I), Circulation auto-stabilisante de L jetons. (In co-supervision with Fabienne Carrier.)
- 2012: Cheick Oumar Dembélé, Applied Math Degree Internship (Licence 3, Grenoble I), Simulation et Evaluation d'algorithmes auto-stabilisants de k-partitionnement. (In co-supervision with Fabienne Carrier.)
- 2011: Anaïs Durand, Computer Science Excellence Internship (Licence 2, Grenoble I), Le routage dans les réseaux dynamiques. (In co-supervision with Karine Altisen.)
- 2010: Anaïs Durand, Computer Science Excellence Internship (Licence 1, Grenoble I), Evaluation des performances d'un algorithme d'exploration d'anneau par des robots. (In co-supervision with Karine Altisen.)

Jurys

2024: Member of the "2024 Pr Section 27" Application Committee of Université de Paris Saclay.
2024: Member of the "2024 McF Section 27" Application Committee of UGA Valence / LCIS.
2023: Reviewer of the PhD of Mouna Safir: k-Set Agreement in Distributed Systems (advisors : Hugues Fauconnier and Alexandre Maurer). December 20, 2023, Université de Paris Cité.
2023: Examiner of the HDR Defense of Yoann Dieudonné: Meeting in Harsh Conditions. December 4, 2023, Amiens.
2023: Reviewer of the PhD of Bibhuti Das: Distributed k-Circle Formation by Mobile Robots (advisor : Krishnendu Mukhopadhyaya). November 29, 2023, Indian Statistical Institute Kolkata (India).
2023: Reviewer of the PhD of Gabriel Le Bouder: Optimisation de la Mémoire pour les Algorithmes Distribués Auto-Stabilisants (advisors : Lélia Blin and Franck Petit). January 6, 2023, Sorbonne Université.
2021: Reviewer of the PhD of Grégoire Bonin: Structures de données pour environnements distribués à grande échelle (advisors: Matthieu Perrin and Achour Mostéfaoui). November 7, 2021, University of Nantes.
2021: Examiner of the PhD Defense of Pierre-Léo Bégay: Design, Development and certification in Coq/MathComp of Datalog optimizations for network verification November 23, 2021, VERIMAG (UGA).
2020: Member of the "2020 McF Section 27" Application Committee of IUT Informatique / Equipe Kairos / Université Côte d'Azur (Nice).
2016: Examiner of the PhD Defense of Matthieu Barjon: Autour des groupes tolérants aux délais dans les flottes mobiles communicantes (advisors: Arnaud Casteigts, Serge Chaumette, and Colette Johnen). December 1st, 2016, Labri (Bordeaux I).
2013: Member of the "2013 McF Section 27" Application Committee of Université Joseph Fourier (Grenoble).
2011: Member of the "2011 McF Section 27" Application Committee of Université de Picardie Jules Verne (UPJV, Amiens).
2010: Examiner of the PhD Defense of Asim Ali: Robustness in Large Scale Distributed Systems (advisor: Sébastien Tixeuil). September 20th, 2010, LRI (Paris XI).
2010: Member of the "2010 McF Section 27" Application Committee of Université de Picardie Jules Verne (UPJV, Amiens).
2008: Examiner of the PhD Defense of Mohssen Abboud: Tolérance aux défaillances dans les réseaux dynamiques (advisors: Hugues Fauconnier and Carole Delporte-Gallet). November 27th, 2008, LIAFA (Paris VII).

Other Scientific Activities

Program Committees

APDCM'2024: 26th Workshop on Advances in Parallel and Distributed Computational Models. May 27, 2024, Hyatt Regency San Francisco Embarcadero Center, San Francisco, California USA .
ICDCIT 2024: The 20th International Conference on Distributed Computing and Intelligent Technology (ICDCIT 2024). 17th- 20th January, 2024 Kalinga Institute of Industrial Technology Deemed to be University, Bhubaneswar, Odisha, India. (Program Chair of the Distributed Computing Track)
CANDAR'2023: The Eleventh International Symposium on Computing and Networking. Matsue, Japan, from November 28 to December 1, 2023.
SSS 2023. The 25th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2023). Jersey City, New Jersey, USA on October 2-4, 2023.
APDCM'2023: 25th Workshop on Advances in Parallel and Distributed Computational Models. May 15, 2023, Hilton St. Petersburg Bayfront Hotel St. Petersburg, Florida USA.
ICDCN'2023: 24th International Conference On Distributed Computing And Networking. 4-7th January, 2023. Department of Computer Science and Engineering, IIT Kharagpur.
CANDAR'2022: The Tenth International Symposium on Computing and Networking. Nov 21, 2022 - Nov 24, 2022, Himeji, Japan.
OPODIS'2022: 26th International Conference on Principles of Distributed Systems. 13-15 December 2022, Brussels, Belgium.
SSS 2022. The 24th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2022). Clermont-Ferrand (France) on November 15-18, 2022. (General Chair)
ICDCN'2022: 23th International Conference on Distributed Computing and Networking. (Doctoral Symposium) 4-7th January, 2022 New Delhi (Held Virtually).
APDCM'2022: 24th Workshop on Advances in Parallel and Distributed Computational Models. May 30, 2022, Ecole Normale Supérieure de Lyon, Lyon, France
CANDAR'2021: The Nineth International Symposium on Computing and Networking. Matsue, Japan, from November 23 to 26, 2021.
PDAA'2021: The 13th International Workshop on Parallel and Distributed Algorithms and Applications. Matsue, Japan, from November 24, 2021.
APDCM'2021: 23th Workshop on Advances in Parallel and Distributed Computational Models. May 17, 2021, Portland Hilton Downtown Portland, Oregon USA.
SSS 2020: 22th International Symposium on Stabilization, Safety, and Security of Distributed Systems. Austin, Texas (USA) November 18-21, 2020. (Program Chair)
CANDAR'2020: The Eighth International Symposium on Computing and Networking. Naha, Okinawa, Japan, November 24-27, 2020.
APDCM'2020: 22th Workshop on Advances in Parallel and Distributed Computational Models. May 18, 2020, New Orleans, Louisiana USA.
CANDAR'2019: The Seventh International Symposium on Computing and Networking. Nagasaki, Japan, November 26-29, 2019.
SSS 2019: 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems. Pisa, Italy Oct 21 - Oct 25, 2019.
Algotel 2019: 21ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications. 3 au 7 juin 2019 aux "Jardins de Saint Benoît", (France).
APDCM'2019: 21th Workshop on Advances in Parallel and Distributed Computational Models. May 20, 2018, Rio de Janeiro (Brazil).
CANDAR'2018: The Sixth International Symposium on Computing and Networking. Hida Takayama, Japan, November 27-30, 2018.
Algotel 2018: 20ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications. Roscoff, (France).
APDCM'2018: 20th Workshop on Advances in Parallel and Distributed Computational Models. May 21, 2017, Vancouver (CANADA).
Algotel 2018: 20ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications. Roscoff, (France).
ICPP'2017: The 46th International Conference on Parallel Processing. Bristol, United Kingdom, August 14-17, 2017.
CANDAR'2017: The Fifth International Symposium on Computing and Networking. Aomori, Japan, November 19-22, 2017.
APDCM'2017: 19th Workshop on Advances in Parallel and Distributed Computational Models. May 29, 2017 Orlando, Florida (USA).
Algotel 2017: 19ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications. Quiberon, (France). (Program Chair)
SSS'2016: 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems. October 7-10, 2016 Lyon, (France). (Chair of the track "Self-* and Autonomic Computing" )
CANDAR'2016: The Fourth International Symposium on Computing and Networking. Hiroshima, Japan, Nov 22-25, 2016.
APDCM'2016: 18th Workshop on Advances in Parallel and Distributed Computational Models. May 23, 2016 Chicago, Illinois (USA).
Euro-Par'2016: 22nd International European Conference on Parallel and Distributed Computing. August 24-26, 2016 Grenoble, France. (Local chair of the track "Distributed Systems and Algorithms" ) (+ Session Chair, "Distributed Systems and Algorithms")
NETYS'2016: The Fourth International Conference on Networked Systems. Rabat (Morocco), May 18-20, 2016.
CANDAR'2015: The Third International Symposium on Computing and Networking. Sapporo, Hokkaido, Japan, December 8-11, 2015.
APDCM'2015: 17th Workshop on Advances in Parallel and Distributed Computational Models. May 25-29, 2015 Hyderabad, INDIA.
SSS'2014: 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems. Paderborn, Germany. Sep 28 - Oct 1, 2014.
CANDAR'2014: The Second International Symposium on Computing and Networking. Mt. Fuji, Shizuoka, Japan. December 10-12, 2014.
APDCM'2014: 16th Workshop on Advances in Parallel and Distributed Computational Models. Phoenix, Arizona. May 19-23, 2014.
MAROC'2013: 1st International Workshop on Models and Algorithms for Reliable and Open Computing. Tétouan, Morocco. December-16, 2013.
SSS'2013: 15th International Symposium on Stabilization, Safety, and Security of Distributed Systems. Osaka, Japan, November 13-16, 2013. (+ Session Chair, "Brief Announcement I")
CANDAR'2013: The First International Symposium on Computing and Networking. Dogo SPA Resort, Matsuyama, Japan. December 4-6, 2013.
AlgoTel'2013: 15èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications. May 2013. Nantes, France.
APDCM'2013: 15th Workshop on Advances in Parallel and Distributed Computational Models. Shanghai, China. May 20-24, 2013.
ICNC'2012: The Third International Conference on Networking and Computing. Okinawa, Japan. December 5-7, 2012.
AlgoTel'2012: 14èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications. May 29th - June 1st, 2012. La grande Motte, Hérault, France France. (+ Session Chair, Session "algorithmique répartie")
ICDCN'2012: 13th International Conference on Distributed Computing and Networking. 3-6 January, 2012. Hong Kong, China. (Vice program chair of the track "Distributed Computing" )
SSS'2011: The 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems. (Stabilization Track), Grenoble, France. October 10-12, 2011. (+ Session Chair, 3th Keynote Session)
LAFT'2011: 2nd International Workshop on Logical Aspects of Fault-Tolerance. In Conjunction with LICS 2011, 20 June, 2011. Toronto, Canada.
AlgoTel'2011: 13èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications. May 23-26, 2011. Cap Estérel, France. (+ Session Chair, Session "optimisation")
SSS'2010: The 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems. (Stabilization Track), New York City, USA. September 20-22, 2010. Davis Auditorium, Columbia University.
AlgoTel'2010: 12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications. Belle-Dune, France. May 31th - June 3th, 2010. (+ Session Chair, Session "algorithme distribué II")
EDCC'2010: Eighth European Dependable Computing Conference. Valencia, Spain. April 29-30, 2010. (Student Forum)
WRAS'2009: Second International Workshop on Reliability, Availability, and Security. Hiroshima, Japan. December 2009.
SSS'2009: The 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems. (Stabilization Track), Lyon, France. November 3-6, 2009. (+ Session Chair, Session "short papers II")

Conference Organization

COMPAS 2022. Conférence francophone d'informatique en Parallélisme, Architecture et Système, 10ème édition. du 5 au 8 juillet 2022 à Amiens, France. (Local Arrangement Committee Member)
Joint Workshop Projects ANR DUCAT and ESTATE. 15-18 mai 2022 au Cap-Hornu, Saint-Valéry-sur-Somme, France. (Local Arrangement Chair)
AlgoTel-CoRes 2020. 22èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications et 5ème Rencontres Francophones sur la Conception de Protocoles, l’Evaluation de Performance et l’Expérimentation des Réseaux de Communication. 11-15 mai 2020. Lyon, France. (Local Arrangement Committee Member)
ICDCN'2015: 16th ACM International Conference on Distributed Computing and Networking. Goa, India. January 4-7, 2015. (Publicity Chair)
MAROC'2013: 1st International Workshop on Models and Algorithms for Reliable and Open Computing. Tétouan, Morocco, December-16, 2013. (Local Arrangement Committee Member)
20 years of Verimag: September 26-28, 2012. Grenoble, France. (Local Arrangement Committee Member)
SSS'2011: The 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems. Grenoble, France. October 10-12, 2011. (Local Arrangement Chair)
SSS'2009: The 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems. Lyon, France. November 3-6, 2009. (Proceedings and Publicity Chair)
APRETAF'2009: Workshop "Algorithmes Parallèles, Répartis Et Tolérance Aux Fautes". (Local Arrangement Chair)
SSS'2007: 9th International Symposium on Stabilization, Safety, and Security of Distributed Systems. November 14-16, Paris. (Local Arrangement Committee Member)

Visiting Position

May 24-28, 2022: University of Lleida (Spain)
February 18-25, 2017: University of Lleida (Spain)
February 16-20, 2015: LaBRI, Université de Bordeaux
July 15th - August 15th, 2008: Osaka University, Masuzawa Lab (EGIDE SAKURA Project)

Summer Schools

2ème Ecole Thématique sur les aspects algorithmiques des réseaux dynamiques. Reykjavik (Iceland). July 4-6, 2008.
Journées thématiques : "Algorithmique distribuée et applications". Porquerolles (France). September 12-15, 2004.

Talks

"Exploring an Infinite Grid using Disoriented Robots", October 25 , 2023, GRASTA 2023 in Bertinoro (Italy).
"Exploring an Infinite Grid using Disoriented Robots", September 21, 2022, MAC 2022 in Pisa (Italy).
"Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with Common Chirality", May 17, 2022, GRASTA 2022 in Porquerolles (France).
"Self-Stabilizing Leader Election in Highly Dynamic Networks", November 26, 2021, PDAA 2021 (Online)
"Self-Stabilizing Leader Election in Highly Dynamic Networks", November 9, 2021, Réunion ANR DESCARTES / ESTATE in Fontainebleau
"Exploring an Infinite Space using a few Weak Robots", January 8, 2021, Workshop WDALFR (online).
"Silent Self-Stabilizing Scheme for Spanning-Tree-like Constructions", April 3-5, 2019, Workshop CoA in Roscoff.
"A lower bound of graph exploration by a swarm of oblivious robots", September 25th, 2018, "Workshop GRASTA (GRAph Searching, Theory and Applications)" in Berlin (Germany).
"A lower bound of graph exploration by a swarm of oblivious robots", November 15th, 2017, "Workshop Morover" in Lyon (Rhône).
"Leader Election in Asymmetric Labeled Unidirectional Rings", October 3rd, 2017, "Meeting ANR DESCARTES" in Chasseneuil-du-Poitou (Vienne).
"New Variants of Self-Stabilization", June 22th, 2017, "Retraite de l'équipe INRIA REGAL (LIP6)" in Cap Hornu (Somme).
"Systèmes Distribués et Autostabilisation, une introduction", March 21th, 2017 in Centre Drôme-Ardèche (Valence).
"Master Class on Natural Deduction", February 23th, 2017 at the University of Lleida (Spain).
"Concurrency in (Self-Stabilizing) Resource Allocation Algorithms", September 2th, 2015 at the Displexity meeting (Arcachon).
"Self-Stabilizing Leader Election in Polynomial Steps", February 16th, 2015 in LaBRI lab (Bordeaux).
"Fondements de l’algorithmique des réseaux", April 17th, 2014 in Centre Drôme-Ardèche (Valence).
"Self-Stabilization: An approach for Fault-Tolerance in Distributed Systems", December 17th, 2013 in ENSA Tétouan (Morocco), keynote in MAROC'2013.
"SR3: Secure Resilient Reputation-based Routing", December 5th, 2013 in VERIMAG Lab (Grenoble), SYNCHRONE Team Seminar.
"Routing Algorithms using Random Walks with Tabu Lists", February 22th, 2011 in VERIMAG Lab (Grenoble), SYNCHRONE Team Seminar.
"Composition of Self-Stabilizing Algorithms", December 1st, 2009 in VERIMAG Lab (Grenoble), SYNCHRONE Team Seminar.
"A Self-Stabilizing O(n)-Round k-Clustering Algorithm", 2 November 2nd, 2009 in ENS LYON, SHAMAN project meeting.
"Self-Stabilizing K-out-of-L Exclusion on Tree Networks", May 18th, 2009 in LIP6 Lab (Paris VI), SHAMAN project meeting.
"Self-Stabilization: An approach for Fault-Tolerance in Distributed Systems", November 12th, 2008 in VERIMAG (Grenoble), SYNCHRONE Team Seminar.
"Around Self-Stabilization, PART II: strengthened forms of self-stabilization", August 6th, 2008 in Osaka University (Japan).
"Around Self-Stabilization, PART I: weakened forms of self-stabilization", July 29th, 2008 in Osaka University (Japan).
"Snap-Stabilization in Message-Passing Systems", April 8th, 2008 in Paris XI (Orsay), Parall Team Seminar.
"Snap-Stabilization in Message-Passing Systems", April 2sd, 2008 in Paris XI (Orsay), SOGEA Project Meetings (http://sogea.loria.fr/).
"Snap-Stabilization in Message-Passing Systems", March 31th, 2008 in Bordeaux, "algorithmique distribuée" Seminar.
"Fault-Tolerant Stabilizing Leader Election", March 27th, 2008 in Bourges.
"Snap-Stabilization in Message-Passing Systems", February 7th, 2008 in LIP6 Paris, "Algorithmique Répartie" Seminar of REGAL Team.
"Introduction to Self-Stabilization", November 7th, 2007 in LIP6 Paris, NPA Seminar.
"Robust Stabilizing Leader Election", October 3th, 2007 in IRISA Rennes, ARC FRACAS Meeting (www.lri.fr/fracas/).
"Un pseudo-transformateur pour la stabilisation instantanée", June 21th, 2007, ACI FRAGILE Meeting (www.lri.fr/~fragile).
"Stabilisation instantanée efficace", April 5th, 2007 in Université de Reims, SYSCOM Team.
"Quelques protocoles instantanément stabilisants", May 2nd, 2006 in LRI d'Orsay (Paris XI), "Parallèlisme et Grand Large" Team Seminar.

Reviews

Journals:
- ACM Transactions on Algorithms.
- ACM Transactions on Autonomous and Adaptive Systems.
- ACM Transactions on Computer Systems (TOCS).
- ACM Transactions on Internet Technology.
- Algorithmica.
- Computing.
- Computing and informatics.
- Distributed Computing.
- IEEE Transactions on Parallel and Distributed Systems.
- IEICE Transactions.
- Information and Computation.
- International Journal of Networking and Computing.
- International Journal on Foundation of Computer Science.
- Information Processing Letters.
- Journal of Computer and System Sciences.
- Journal of Graph Algorithms and Applications.
- Journal of the Association for Computing Machinery (ACM).
- Journal of Parallel and Distributed Computing.
- Parallel Processing Letters.
- SIAM Journal on Computing.
- The Computer Journal.
- Technique et Science Informatiques.
- Theoretical Computer Science.
- Theory of Computing Systems.
Conferences (subreviewing):
- AlgoTel 2016 (Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications).
- DISC 2009, 2011, 2016, 2018 et 2023 (the International Symposium on DIStributed Computing).
- FPS 2016 (Foundations \& Practice of Security).
- FSEN 2015 (6th International Conference on Fundamentals of Software Engineering).
- ICDCN 2013 et 2014 (International Conference on Distributed Computing and Networking).
- ICDCS 2006 et 2015 (International Conference on Distributed Computing Systems).
- IWOCA 2019 (International Workshop on Combinatorial Algorithms).
- LATIN 2014 (Latin American Theoretical INformatics symposium).
- LCTES 2015 (16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems).
- MajecSTIC 2010 (MAnifestation des JEunes Chercheurs en Sciences et Technologies de l'Information et de la Communication).
- NETYS 2015 et 2018 (International conference on NETworked sYStems).
- OPODIS 2003, 2006, 2007 et 2010 (International Conference On Principles Of DIstributed Systems).
- PODC 2008, 2010, 2012, 2013, 2014, 2015, 2017 et 2023 (ACM Symposium on Principles of Distributed Computing).
- Renpar 2006 (Rencontres francophones en parallélisme).
- SAS 2010 (International Static Analysis Symposium).
- SIROCCO 2013, 2019 et 2023 (International Colloquium on Structural Information and Communication COmplexity).
- SPAA 2010 (ACM Symposium on Parallelism in Algorithms and Architectures).
- SSS 2005, 2006, 2007, 2012, 2017, 2018 et 2021 (International Symposium on Stabilization, Safety, and Security of Distributed Systems).
- STACS 2019 (International Symposium on Theoretical Aspects of Computer Science).
- WALCOM 2015 (The 9th International Workshop on ALgorithms and COMputation).

Attended Conferences

SYNCHRON 2008: International Workshop on Synchronous Programming. Aussois (France), September 1-5, 2008.
ICALP 2008: 35th International Colloquium on Automata, Languages and Programming. Reykjavik (Iceland), July 4-13, 2008.
OPODIS 2007: 11th International Conference On Principles Of Distributed Systems. Pointe-à-Pitre (Guadeloupe), December 17-20, 2007.
Quatrième workshop CNRS RECAP - Réseaux de capteurs. Montpellier. November 22-23, 2007.
Journées Rescom. March 15-16, 2007 in Paris (LIP6).
Journées thèmes émergents : Réplication et cohérence des données sur réseaux pair-à-pair. February 8-9, 2007 in Paris (LIP6).