Vincent Villain
Professor, Computer Science

Universit_ de Picardie Jules Verne
UFR des Sciences, D_partement d’Informatique
Laboratory: MIS
Email: vincent.villain (at) u-picardie.fr

---

Publications

Books and Editorship

• S.K. Das, A.K. Datta, and V. Villain (Eds). Special issue on Self-Stabilization. In Journal of Parallel and Distributed Computing, Vol. 62(5), ISSN 0743-7315. 2002.
• A. Bui and V. Villain (Eds). Proceedings of the 1998 International Conference On Principles Of DIstributed Systems (OPODIS’98): Herm_s. ISBN 2-86601-659-9.
• A. Bui, M. Bui, and V. Villain (Eds). Proceedings of the 1997 International Conference On Principles Of DIstributed Systems (OPODIS’97): Herm_s. ISBN 2-86601-737-4.

International Journals

• A. Cournier, S. Devismes, and V. Villain. Light enabling snap-stabilization of fundamental protocols. In ACM Transactions on Autonomous and Adaptive Systems, vol. 4(1) , pages 6.1-6.27 , 2009.
• C Boulinier, F Petit, and V Villain. Synchronous vs. Asynchronous Unison. In Algorithmica, vol. 51(1), pages 61-80, 2008.A Bui, AK Datta, F Petit, and V Villain. Snap-stabilization and PIF in Tree Networks. In Distributed Computing, vol. 20(1), pages 3-19, 2007.
• F Petit and V Villain. Optimal snap-stabilizing depth-first token circulation in tree networks. In Journal of Parallel Distributed Computing, vol. 67(1), pages 1-12, 2007.
• D. Bein, A. K. Datta, and V. Villain. Self-Stabilizing Local Routing in Ad Hoc Network. In The Computer Journal, vol. 50(2), pages 197-203, 2007.
• F. Petit and V. Villain. Optimal snap-stabilizing depth-first token circulation in tree networks. In Journal of Parallel Distributed Computing. Vol. 67(1), pages 1-12, 2007.
• A. Cournier, S. Devismes, F. Petit, and V. Villain. Snap-stabilizing Depth-First Search on Arbitrary Networks. In The Computer Journal. Vol 49, p. 268-280, 2006.
• S. Cantarell, A.K. Datta, F. Petit, and V. Villain. Group Mutual Exclusion in Token Rings. In The Computer Journal. vol. 48(2), pages 239-252, 2005.
• A. Cournier, A.K. Datta, F. Petit, and V. Villain. Optimal Snap-Stabilizing PIF Algorithms in Un-Oriented Trees. In Journal of High Speed Networks, special issue on "self-stabilizing systems". Vol. 14(2), pages 185-204, 2005.
• A.K. Datta, R. Hadid, and V Villain. Self-stabilizing Token-Based K-out-of-L Exclusion Algorithm. In Concurrency and Computation: Practice and Experience, Vol 15(11-12), 2003, p. 1069-1091.
• A.K. Datta, S. Gurumurthy, F. Petit, and V. Villain. Self-stabilizing network orientation algorithms in arbitrary networks. In International Journal on Informatics, Studia Informatica Universalis, Vol 1(1), 2001, p. 1-22.
• A.K. Datta, C. Johnen, F. Petit, and V. Villain. Self-stabilizing depth-first token circulation in arbitrary rooted networks. In Distributed Computing, vol. 13(4), pages 207-218, 2000.
• F. Petit and V. Villain. A space-efficient and self-stabilizing depth-first token circulation protocol for asynchronous message-passing systems. In Computers and Artificial Intelligence, Vol 19(5), pages 391-415, 2000.
• F. Petit and V. Villain. Optimality and self-stabilization in Rooted tree networks. In Parallel Processing Letters, vol. 10(1), pages 3-14, 2000.
• P Gastin and V Villain. An efficient crash-tolerant sequential traversal. In Parallel Processing Letters vol. 3, p. 87-97, 1993.

French Journals

• S. Devismes, F. Petit, and V. Villain. Autour de l'Auto-stabilisation. Partie I : Techniques g_n_ralisant l'approche. Technique et Science Informatiques, Vol. 30(2489), pages 1-22, 2011.
• S. Devismes, F. Petit, and V. Villain. Autour de l'Auto-stabilisation. Partie II : Techniques sp_cialisant l'approche. Technique et Science Informatiques, Vol. 30(2489), pages 23-50, 2011.
• F. Nolot and V. Villain: Protocole universel auto-stabilisant de synchronisation d'horloges de phases. Technique et Science Informatiques, Vol. 21(5): 735-756 (2002).

Invited papers

• A. Bui, A.K. Datta, F. Petit, and V. Villain. Optimal PIF in tree networks. DIMACS Workshop on Distributed Data and Structures, Carleton University Press, pages 1-16, 1999.
• F. Petit and V. Villain. Time and space optimality of distributed depth-first token circulation algorithms. DIMACS Workshop on Distributed Data and Structures, Carleton University Press, pages 91-106, 1999.
• V. Villain. A Key Tool for Optimality in the State Model. DIMACS Workshop on Distributed Data and Structures, Carleton University Press, pages 133-148, 1999.

International Conferences

• Y. Dieudonn_, F. Petit, and V. Villain. Leader Election Problem versus Pattern Formation Problem. 24th International Symposium on Distributed Computing (DISC 2010), 267-281, 2010.
• A. Lamani, A. Cournier, S. Dubois, F. Petit, and V. Villain. Snap-Stabilizing Linear Message Forwarding. 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2010), 546-559, 2010.
• Y. Dieudonn_, F. Petit, and V. Villain. Brief Announcement: Leader Election Problem versus Pattern Formation Problem. 29th Annual ACM Symposium on Principles of Distributed Computing (PODC 2010), 404-405, 2010.
• A. Cournier, S. Dubois, and V. Villain. A snap-stabilizing point-to-point communication protocol in message-switched networks. To appear in Proceedings of IPDPS 2009, IEEE International Parallel & Distributed Processing Symposium, May 25th-29th, 2009, Rome, Italy.
• A. Cournier, S. Dubois, and V. Villain. How to Improve Snap-Stabilizing Point-to-Point Communication Space Complexity?. In Proceedings of SSS 2009, 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, November 3rd-6th, 2009, Lyon, France. LNCS 5873, 2009, pages 195-208.
• C. Boulinier, F. Petit, and V. Villain. Toward a Time-Optimal Odd Phase Clock Unison on Trees. In Proceedings of SSS 2006, 8th International Symposium on Stabilization, Safety, and Security of Distributed Systems, November 17th-19th, 2006, Dallas, Texas, USA. LNCS 4280, 2006, pages 137-151.
• A. Cournier, S. Devismes, and V. Villain. From Self- to Snap- Stabilization. In Proceedings of SSS 2006, 8th International Symposium on Stabilization, Safety, and Security of Distributed Systems, November 17th-19th, 2006, Dallas, Texas, USA. LNCS 4280, 2006, pages 199-213.
• A. Cournier, S. Devismes, and V. Villain. Snap-Stabilizing PIF and Useless Computations. ICPADS'06, The Twelfth International Conference on Parallel and Distributed Systems, July 12th-15th, 2006. Minneapolis, USA. http://doi.ieeecomputersociety.org/10.1109/ICPADS.2006.100.
• A. Cournier, S. Devismes, and V. Villain. Snap-stabilizing Detection of Cutsets. In Proceedings of 12th Annual IEEE International Conference on High Performence Computing (HiPC 2005), Goa (India) December 2005 . LNCS 3769, pages 488-497.
• D. Bein, A.K. Datta, and V. Villain. Self-Stabilizing Optimal Local Routing in Ad Hoc Networks. In Proceedings of 25th International Conference on Distributed Computing Systems Workshops (ICDCS 2005 Workshops), 6-10 June 2005, Columbus, OH, USA: 564-570.
• D. Bein, A.K. Datta, and V. Villain. Self-Stabilizing Pivot Interval Routing in General Networks. Seventh International Symposium on Parallel Architectures, Algorithms and Networks (I-SPAN'05), Las Vegas (USA), December 2005, pages 282-287.
• D. Bein, A.K. Datta, C.R. Jagganagari, and V. Villain. A Self-stabilizing Link-Cluster Algorithm in Mobile Ad Hoc Networks. Seventh International Symposium on Parallel Architectures, Algorithms and Networks (I-SPAN'05), Las Vegas (USA), December 2005, pages 436-441.
• D. Bein, A.K. Datta, and V. Villain. Snap-Stabilizing Optimal Binary Search Tree. In Proceedings of the Worshop: Seventh Symposium on Self-Stabilizing Systems: SSS'05, Barcelona (Spain), October 2005. LNCS 3764, 2005, p. 1-17.
• C. Boulinier, F Petit, and V Villain. Synchronous vs.Asynchronous Unison. In Proceedings of the Worshop: Seventh Symposium on Self-Stabilizing Systems: SSS'05, Barcelona (Spain), October 2005. LNCS 3764, 2005, p. 18-32.
• A. Cournier, S. Devismes, and V. Villain. A Snap-Stabilizing DFS with a Lower Space Requirement. In Proceedings of the Worshop: Seventh Symposium on Self-Stabilizing Systems: SSS'05, Barcelona (Spain), October 2005. LNCS 3764, 2005, p. 33-47.
• C. Boulinier, F Petit, and V Villain. When Graph Theory Helps Self-Stabilization. In Proceedings of the Twenty-Third Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing: PODC 2004, St. John's (Newfoundland, Canada), July 2004, p. 150-160.
• A. Cournier, S. Devismes, F. Petit, and V. Villain. Snap-Stabilizing Depth-First Search on Arbitrary Networks. In Proceedings of the 8th International Conference On Principles Of DIstributed Systems: OPODIS'2004, December 15-17 2004, Grenoble (France). p. 267-282, 2004.
• D. Bein, A.K. Datta, and V. Villain. Self-Stabilizing Routing Protocol for General Networks. In Proceedings of the 2nd Annual International Conference on Networking in Education and Research (RoEduNet 03), Isai (Romania), June 5-7, 2003.
• L. Blin, A. Cournier, and V. Villain. An Improved Snap-Stabilizing PIF Algorithm. In Proceedings of the Worshop: Sixth Symposium on Self-Stabilizing Systems: SSS'03, San Francisco (CA, USA), LNCS 2704, 2003, p. 199-214.
• E. Caron, F. Desprez, F. Petit, and V. Villain. A Hierarchical Resource Reservation Algorithm for Network Enabled Servers. In Proceedings of the 17th International Parallel and Distributed Processing Symposium: IPDPS 2003, Nice (France), 2003.
• A. Cournier, A.K. Datta, F. Petit, and V. Villain. Enabling Snap-Stabilization. In Proceedings of the 23th International Conference on Distributed Computing Systems: ICDCS 2003, Providence, (Rhode Island, USA), IEEE Computer Society Press, May 2003, p. 12-19.
• A.K. Datta, R. Hadid, and V. Villain. A New Self-Stabilizing K-out-of-L Exclusion Algorithm on Rings. In Proceedings of the DSN Worshop: Sixth Symposium on Self-Stabilizing Systems: SSS'03, San Francisco (CA, USA), LNCS 2704, 2003, p. 113-128.
• A.K. Datta, R. Hadid, and V. Villain. Algorithme auto-stabilisant de K-parmi-L exclusion. In Proceedings of the Sixth International Symposium on Programming and Systems: ISPS 2003, Algers (Algerie), May 2003.
• A. Cournier, A.K. Datta, F. Petit, and V. Villain. Optimal Snap-Stabilizing PIF in Un-Oriented Trees. In Proceedings of the Fifth International Conference On Principles Of DIstributed Systems: OPODIS'2001, Manzanillo (MEXICO), International Journal on Informatics, Studia Informatica Universalis, Special Issue, Vol.2 HS.2, 2002, p. 71-90.
• A. Cournier, A.K. Datta, F. Petit, and V. Villain. Snap-Stabilizing PIF Algorithm in Arbitrary Networks. In Proceedings of the 22th IEEE International Conference on Distributed Computing Systems: ICDCS 2002, Vienna (Austria), July 2002. IEEE Computer Society Press, 2002, p. 199-206.
• A.K. Datta, R. Hadid, and V. Villain. A self-stabilizing token-based K-out-of-L exclusion algorithm. In Proceedings of Euro-Par 2002, Paderborn (Germany), August 2002. LNCS 2400, 2002, p. 553-562.
• S. Cantarell, A.K. Datta, F. Petit, and V. Villain. Token Based Group Mutual Exclusion for Asynchronous Rings. In Proceedings of the 21th International Conference on Distributed Computing Systems: ICDCS 2001, IEEE Computer Society Press Phoenix (USA), April 2001, p. 691-694.
• S. Cantarell, A.K. Datta, F. Petit, and V. Villain. Group Mutual Exclusion in Token Rings. In Proceedings of the Eighth International Colloquium on Structural Information and Communication Complexity, Barcelone (Espagne), June 2001, Carleton University Press, 2001, p. 61-75.
• A. Cournier, A.K. Datta, F. Petit, and V. Villain. Self-Stabilizing PIF Algorithm in Arbitrary Rooted Networks. In Proceedings of the 21th IEEE International Conference on Distributed Computing Systems: ICDCS 2001, Phoenix (USA), IEEE Computer Society Press, April 2001, p. 91-98.
• R. Hadid and V. Villain. A New Efficient Tool for the Design of Self-stabilizing L-exclusion algorithms: the Controller. In Proceedings of the Fifth Workshop on Self-Stabilizing Systems, Lisbonne (Portugal), LNCS 2194, October  2001, p. 136-151.
• F. Nolot and V. Villain. Universal self-stabilizing phase clock protocol with bounded memory. In Proceedings of the 20th IEEE International Performance, Computing, and Communications Conference, Phoenix (USA), April 2001.
• A.K. Datta, S. Gurumurthy, F. Petit, and V Villain. Self-stabilizing network orientation algorithms in arbitrary networks. In Proceedings of the 20th International Conference on Distributed Computing Systems (ICDCS 2000), IEEE Computer Society Press, pages 576-583, 2000.
• F. Nolot and V. Villain. Limits and Power of the Simplest Uniform and Self-Stabilizing Phase Clock Algorithm. 14th International Parallel and Distributed Processing Symposium (IPDPS'2000), IEEE Computer Society Press, pages 541-546, 2000.
• A. Bui, A.K. Datta, F. Petit, and V. Villain. Space Optimal PIF algorithms: Self-stabilizing with no extra space. In Proceedings of the 18th International Performance, Computing, and Communications Conference (IPCCC '99), IEEE Computer Society Press, pages 20-26, 1999.
• A. Bui, A.K. Datta, F. Petit, and V. Villain. Snap-stabilizing PIF algorithm in the tree networks without sense of direction. In Proceedings of the sixth International Colloquium on Structural Information and Communication Complexity (SIROCCO '99), Carleton University Press, pages 32-46, 1999.
• AK Datta, C Johnen, F Petit and V Villain, Self-stabilizing depth-first token circulation in arbitrary rooted networks, In Proceedings of the 5th International Colloquium On Structural Information and Communication Complexity (SIROCCO’98), 1998, 229-243.
• F Petit and V Villain, A space-efficient and self-stabilizing depth-first token circulation protocol for asynchronous message-passing systems, Proc. Euro-Par'97, LNCS 1300, Springer-Verlag, 1997, 476-479.
• F Petit and V Villain, Color optimal self-stabilizing depth-first token circulation protocol for asynchronous message-passing systems, In Proceedings of the 10th International Conference on Parallel and Distributed Computing Systems (PDCS-97), 1997, ISCA, 227-233.
• O. Flauzac and V Villain, An Implementable Dynamic Automatic Self-Stabilizing Protocol, In Proceedings of the Third International Symposium on Parallel Architectures, Algorithms and Networks (I-SPAN'97), 1997, IEEE Computer Society Press, 91-97.
• F Petit and V Villain, Color optimal and space-efficient self-stabilizing Depth-First Token Circulation, In Proceedings of the Third International Symposium on Parallel Architectures, Algorithms and Networks (I-SPAN'97), 1997, IEEE Computer Society Press, 317-323.
• J Beauquier, P Gastin, and V Villain, A linear fault-tolerant naming algorithm, In Proceedings of the fourth International Workshop on Distributed Algorithms, Lecture Notes in Computer Science 486, p. 57-70, 1990.

Others

• V Villain. Snap-Stabilization versus Self-Stabilization. Journ_es internationales sur l'auto-stabilisation. CIRM, Luminy (France), October 2002.
• F Petit and V Villain. Time and space optimality of distributed depth-first token circulation algorithms. Dagsthul Seminar No. 00431 on Self-Stabilization, Dagsthul (Germany), October 2000.
• V Villain. Questions about snap-stabilization. Dagsthul Seminar No. 00431 on Self-Stabilization, Dagsthul (Germany), October 2000.
• V Villain. A New Tool And New Lower Bounds For Self-Stabilizing Mutual Exclusion Algorithms. Dagsthul Seminar No. 98331 on Self-Stabilization, Dagsthul (Germany), August 1998.