Stéphane Devismes

Associate Professor

(Maître de Conférences, HDR)

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

"Scientific Genealogy"

VERIMAG Lab
Topic "Shared Resources"
Université Grenoble Alpes

Current Events

Publications

Scientific Projects

Teaching (in french)

Students

Program Committees

Conference Organization

Miscellaneous

Office:: Bureau 290; Laboratoire VERIMAG; 700 avenue Centrale, F-38401 Saint Martin d'Hères

Contact:: Tel: +33 (0)4-57-42-22-13; Fax: +33 (0)4-57-42-22-22; E-mail: Stephane.Devismes(at)univ-grenoble-alpes.fr

Current Events:

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

SSS 2020. The 22th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2020). Austin, Texas, USA on November 18-21, 2020.

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.

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 ESTATE: Enhancing Safety and self-sTAbilization in Time-varying distributed Environments.

ANR DESCARTES: Abstraction Layers for Distributed Computing.

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

[] 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 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.

[] 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

[] Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, and Franck Petit. On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics.
To appear in Proceedings of ACM Symposium on Principles of Distributed Computing. 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.
To appear in Proceedings of NETYS'2021, the 9th International Conference on NETworked sYStems. May 19-21, 2021, virtual event, 2021. Acceptance Rate: Unknown.

[] 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

[] 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

[] 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 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: Unknown.

[] 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

[2016-2020] 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 €.

Past

[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] 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
- 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
- 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
- 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
- 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
- 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

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 (advisors: Arnaud Casteigts, Serge Chaumette, and Colette Johnen). December 1st, 2016, Labri (Bordeaux I). mobiles communicantes
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'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

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

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 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:
- Journal of the Association for Computing Machinery (ACM).
- Distributed Computing.
- Theoretical Computer Science.
- Journal of Parallel and Distributed Computing.
- ACM Transactions on Algorithms.
- ACM Transactions on Computer Systems (TOCS)
- ACM Transactions on Internet Technology.
- ACM Transactions on Autonomous and Adaptive Systems.
- IEEE Transactions on Parallel and Distributed Systems.
- International Journal of Networking and Computing.
- The Computer Journal.
- Computing.
- Computing and informatics.
- Information Processing Letters.
- Parallel Processing Letters.
- Algorithmica.
- Journal of Computer and System Sciences.
- Theory of Computing Systems.
- Journal of Graph Algorithms and Applications
- Technique et Science Informatiques.
Conferences:
- PODC 2008, 2010, 2012, 2013, 2014, 2015, and 2017 (ACM Symposium on Principles of Distributed Computing).
- DISC 2009 and 2016 (the International Symposium on DIStributed Computing).
- SPAA 2010 (ACM Symposium on Parallelism in Algorithms and Architectures).
- ICDCS 2006, 2015 (International Conference on Distributed Computing Systems).
- SSS 2005, 2006, 2007, 2009, 2010, 2011, 2013, 2014, 2016 and 2017 (International Symposium on Stabilization, Safety, and Security of Distributed Systems).
- OPODIS 2003, 2006, 2007 and 2010 (International Conference On Principles Of DIstributed System).
- ICPP 2017 (International Conference on Parallel Processing).
- ICDCN 2012 and 2014 (International Conference on Distributed Computing and Networking).
- SIROCCO 2013 (International Colloquium on Structural Information and Communication Complexity).
- LATIN 2014 (American Theoretical INformatics Symposium).
- SAS 2010 (International Static Analysis Symposium).
- CANDAR 2013, 2014, 2015, 2016, and 2017 (International Symposium on Computing and Networking).
- ICNC 2012 (International Conference on Networking and Computing).
- APDCM 2013, 2014, 2015, 2016, 2017, and 2018 (Workshop on Advances in Parallel and Distributed Computational Models).
- NETYS 2015 and 2016 (International COnference on NETwored sYStems).
- EDCC 2010 (European Dependable Computing Conference).
- WRAS 2009 (International Workshop on Reliability, Availability, and Security).
- LCTES 2015 (16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems).
- FPS 2016 (FOUNDATIONS & PRACTICE OF SECURITY).
- FSEN 2015 (6th International Conference on Fundamentals of Software Engineering).
- LAFT 2011 (International Workshop on Logical Aspects of Fault-Tolerance).
- WALCOM 2015 (The 9th International Workshop on Algorithms and Computation)/
- MAROC 2013 (International Workshop on Models and Algorithms for Reliable and Open Computing).
- AlgoTel 2010, 2011, 2012, 2013, and 2016 (Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications).
- Renpar 2006 (Rencontres francophones en parallélisme).
- MajecSTIC 2010 (MAnifestation des JEunes Chercheurs en Sciences et Technologies de l'Information et de la Communication).

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).