Stéphane Devismes

Associate Professor

(Maître de Conférences)

VERIMAG Lab
Synchrone Team
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)imag.fr

Current Events:



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

[97] Karine Altisen, Pierre Corbineau, and Stéphane Devismes. A Framework for Certified Self-Stabilization.
To appear in Logical Methods in Computer Science (special issue of FORTE 2016). 2017.

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

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

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

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

[92] Karine Altisen and Stéphane Devismes. On Probabilistic Snap-Stabilization.
Theoretical Computer Science (TCS, Special Issue ICDCN'2014). Volume 688, Pages 49-76. 2017.

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

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

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

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

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

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

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

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

[83] Ajoy K. Datta, Stéphane Devismes, Lawrence L. Larmore, and Yvan Rivierre. Self-Stabilizing Labeling and Ranking in Ordered Trees.
Theoretical Computer Science (TCS, Special Issue SSS'2011). Volume 512, pages 49-66. 2013.

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

[81] 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 (Special Issue ICNC'2011). Volume 3, Issue 1, pages 116-136. 2013.

[80] 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 (COCOON Special Issue). Volume 25, Number 3, pages 430-459. 2013.

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

[78] 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 (APDCM Special Issue). Volume 22, Number 3, pages 657-677. 2011.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[63] Fabienne Carrier, Ajoy K. Datta, Stéphane Devismes, and Lawrence L. Larmore. Self-Stabilizing L-Exclusion Revisited.
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%.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[36] 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 (5-6 pages)

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

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

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

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

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

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

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

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

[27] 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. Page 1-8, May 25th, 2009. Rome, Italy. Acceptance Rate: Unknown.


Brief Announcements in International Refereed Conferences with Proceedings (1-2 pages)

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

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

[24] 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 in French

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

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


French Refereed Journals

[21] 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), special issue of RenPar'2011, vol 31/8-10, pages 1273-1299. 2012.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


Scientific Management

Jurys



Other Scientific Activities

Program Committees



Conference Organization



Visiting Position

Summer Schools

Talks

Reviews

Attended Conferences