Anaïs DURAND

Address: IRISA/INRIA Rennes–Bretagne Atlantique Équipe WIDE, Bureau E304 Campus Universitaire de Beaulieu 35042 Rennes Cedex, FRANCE Office: E304 Email: anais.durand@irisa.fr

I am a Postdoctoral fellow at the Université Rennes 1  and IRISA in Rennes, France. My research interests are fault-tolerant distributed algorithms, in particular self-stabilizing algorithms.

I was a Postdoctoral fellow at the Technion, Haifa, Israel, between October 2017 and March 2018, where I worked with Shay Kutten. I defended my PhD thesis on September 2017 at the Université Grenoble Alpes. During my PhD thesis, I worked with Karine Altisen and Stéphane Devismes at VERIMAG.

Publications

International Refereed Journals

[15]	Karine Altisen, Stéphane Devismes, Anaïs Durand, and Franck Petit. Gradual Stabilization. Accepted for publication in Journal of Parallel and Distributed Computing, 2018.
[14]	Karine Altisen, Alain Cournier, Stéphane Devismes, Anaïs Durand, and Franck Petit. Self-stabilizing Leader Election in Polynomial Steps. In Information and Computation, 254, pages 330-366, 2017.
[13]	Karine Altisen, Stéphane Devismes, and Anaïs Durand. Concurrency in Snap-stabilizing Local Resource Allocation. In Journal of Parallel and Distributed Computing, 102, pages 42-56, 2017.

International Reviewed Conferences with Proceedings

[12]	Anaïs Durand, Michel Raynal, and Gadi Taubenfeld. k-Set Agreement and Renaming in the Presence of Contention-Related Crash Failures. Accepted at SSS 2018 – 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Tokyo, Japan, November 4-7, 2018.
[11]	Karine Altisen, Stéphane Devismes, and Anaïs Durand. Acyclic Strategy for Silent Self-Stabilization in Spanning Forests. Accepted at SSS 2018 – 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Tokyo, Japan, November 4-7, 2018.
[10]	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 International Parallel and Distributed Processing Symposium, pages 182-191, Orlando, Florida, USA, May 29 – June 2, 2017.
[9]	Karine Altisen, Stéphane Devismes, Anaïs Durand, and Franck Petit. Gradual Stabilization under τ-Dynamics. In Proceedings of Euro-Par 2016 – 22nd International European Conference on Parallel and Distributed Computing, pages 588-602, Grenoble, France, August 22-26, 2016.
[8]	Karine Altisen, Stéphane Devismes, and Anaïs Durand. Concurrency in Snap-stabilizing Local Resource Allocation. In Proceedings of NETYS 2015 – 3rd International Conference on Networked Systems, pages 77-93, Agadir, Morocco, May 13-15, 2015.
[7]	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, September 28 – October 1, 2014.

Short Paper in International Reviewed Conferences with Proceedings

[6]	Anaïs Durand and Shay Kutten. Message-efficient Self-stabilizing Transformer using Snap-stabilizing Quiescence Detection. Accepted at SIROCCO 2018 – 25th International Colloquium on Structural Information and Communication Complexity, Ma’ale HaHamisha, Israel, June 18-21, 2018.
[5]	Karine Altisen, Ajoy K. Datta, Stéphane Devismes, Anaïs Durand, and Lawrence L. Larmore. Leader Election in Rings with Bounded Multiplicity (Short Paper). In Proceedings of SSS 2016 – 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems, pages 1-6, Lyon, France, November 7-10, 2016.

French Reviewed Conferences with Proceedings

[4]	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, France, May 29-June 1, 2018.
[3]	Anaïs Durand. Élection et anneaux unidirectionnels en présence d’homonymes. In Proceedings of AlgoTel 2017 – 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Quiberon, France, May 29-June 2, 2017.
[2]	Karine Altisen, Stéphane Devismes, and Anaïs Durand. Concurrence et allocation de ressources locales instantanément stabilisante. In Proceedings of AlgoTel 2016 – 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Bayonne, France, May 24-27, 2016.
[1]	Karine Altisen, Alain Cournier, Stéphane Devismes, Anaïs Durand, and Franck Petit. Élection autostabilisante en un nombre polynomial de pas de calcul. In Proceedings of AlgoTel 2015 – 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Beaune, France, June 2-5, 2015.