Franck PETIT
Publications

 

Books and Editorship

Ajoy K Datta, Franck Petit, and Rachid Guerraoui.
Transactions on Autonomous and Adaptive Systems, Special Issue on Stabilization, Safety, and Security of Distributed Systems, ACM, to appear.

Ajoy K Datta, Franck Petit, and Rachid Guerraoui.
Journal of Theoretical Computer Science, Special Issue on Stabilization, Safety, and Security of Distributed Systems, vol. 412(33), Elsevier, 2011.

Xavier Défago, Franck Petit, and Vincent Villain.
13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2011), LNCS 6976, Springer, 2011.

Franck Petit and Sébastien Tixeuil.
3rd International Workshop on Reliability, Availability, and Security. (WRAS 2010), ACM, Zurich, Switzerland, 2010.

Franck Petit and Rachid Guerraoui.
11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), LNCS 5873, Springer, 2009.

Eddy Caron, Frédéric Desprez, Franck Petit et Cédric Tedeschi.
Peer-to-Peer Service Discovery for Grid Computing.
in Handbook of Research on P2P and Grid Systems for Service-Oriented Computing: Models, Methodologies and Applications
Information Science Publishing, IGI Global, ISBN-13: 978-1615206865, 2009.

Roberto Gómez Cardenas and Franck Petit.
Third International Conference On Principles Of DIstributed Systems (OPODIS'99), Hermès, 1999.
 
 

International Journals

Yoann Dieudonné and Franck Petit.
Self-stabilizing gathering with strong multiplicity detection.
Theoretical Computer Science, vol. 428, pages 47-57, 2012.

Fabienne Carrier, Stéphane Devismes, Franck Petit, and Yvan Rivierre.
Asymptotically optimal deterministic rendezvous.
International Journal of Foundations of Computer Science, vol. 22(5), pages 1143-1159, 2011.

Yoann Dieudonné, Ouidad Labbani-Igbida, and Franck Petit.
Deterministic Robot Network Localization is Hard.
IEEE Transactions on Robotics (T-RO), vol. 26(2), pages 331-339, 2010.

Eddy Caron, Frédéric Desprez, Franck Petit, and Cédric Tedeschi.
Snap-Stabilizing Prefix Tree for Peer-to-Peer Systems.
Parallel Processing Letters, vol. 20(1), pages 15-30, 2010.

Yoann Dieudonné and Franck Petit.
Scatter of Weak Mobile Robots.
Parallel Processing Letters, vol. 19(1), pages 175-184, 2009.

Yoann Dieudonné, Ouidad Labbani-Igbida, and Franck Petit.
Circle Formation of Weak Mobile Robots.
ACM Transaction on Autonomous and Adaptive Systems, vol. 3(4), art. 16, 2008.

Christian Boulinier, Ajoy K. Datta, Lawrence L. Larmore, and Franck Petit.
Space Efficient and Time Optimal Distributed BFS Tree Construction.
Information Processing Letters, vol. 108(5), pages 273-278, 2008.

Christian Boulinier, Franck Petit, and Vincent Villain.
Synchronous vs. Asynchronous Unison.
Algorithmica, vol. 51(1), pages 61-80, 2008.

Alain Bui, Ajoy K. Datta, Franck Petit, and Vincent Villain.
Snap-stabilization and PIF in Tree Networks.
Distributed Computing, vol. 20(1), pages 3-19, 2007.

Yoann Dieudonné and Franck Petit.
Circle Formation of Weak Robots and Lyndon Words.
Information Processing Letters, vol. 104(4), pages 156-162, 2007.

Franck Petit and Vincent Villain.
Optimal snap-stabilizing depth-first token circulation in tree networks.
Journal of Parallel Distributed Computing, vol. 67(1), pages 1-12, 2007.

Alain Cournier, Stéphane Devismes, Franck Petit, and Vincent Villain.
Snap-Stabilizing Depth-First Search in Arbitrary Networks.
The Computer Journal, vol. 49(3), pages 268-280, 2006.

Sébastien Cantarell, Ajoy K. Datta, Franck Petit and Vincent Villain.
Group Mutual Exclusion in Token Rings.
The Computer Journal, vol. 48(2), pages 239-252, 2005.

A Cournier, Ajoy K. Datta, Franck Petit and Vincent Villain.
Optimal Snap-Stabilizing PIF in Un-Oriented Trees.
Journal of High Speed Networks, Vol. 14(2), 185-204, 2005.

Joffroy Beauquier, Sébastien Cantarell, Ajoy K. Datta, and Franck Petit.
Group Mutual Exclusion in Tree Networks.
Journal of Information Science and Engineering, Vol. 19(3), pages 415-432, 2003.

Ajoy K. Datta, Shivashankar Gurumurthy, Franck Petit and Vincent Villain.
Self-stabilizing network orientation algorithms in arbitrary networks.
International Journal on Informatics, Studia Informatica Universalis, Vol 1(1), pages 1-22, 2001.

Ajoy K. Datta, Colette Johnen, Franck Petit, and Vincent Villain.
Self-stabilizing depth-first token circulation in arbitrary rooted networks.
Distributed Computing, Vol. 13(4), pages 207-218, 2000.

Franck Petit and Vincent Villain.
Optimality and self-stabilization in rooted tree networks.
Parallel Processing Letters, vol. 10(1), pages 3-14, 2000.

Franck Petit and Vincent Villain.
A space-efficient and self-stabilizing depth-first token circulation protocol for asynchronous message-passing systems.
Computers and Artificial Intelligence, Vol 19(5), pages 391-415, 2000.
 
 

French Journals

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, Vol. 30(2489), pages 1-22, 2011.

Stéphane Devismes, Franck Petit, and Vincent Villain.
Autour de l'Auto-Stabilisation. Partie II : Techniques spécialisant l'approche.
Technique et Science Informatiques, Vol. 30(2489), pages 23-50, 2011.

Colette Johnen, Franck Petit, and Sébastien Tixeuil.
Auto-stabilisation et protocoles réseau.
Technique et Science Informatiques, Vol. 23(8), pages 1027-1056, 2004.
 
 

International Conferences

Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, and Sébastien Tixeuil.
Optimal Grid Exploration by Asynchronous Oblivious Robots.
14th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2012) , to appear, 2012.

Eddy Caron, Florent Chuffart, Anissa Lamani, and Franck Petit.
Optimization in a Self-Stabilizing Service Discovery Framework for Large Scale Systems.
14th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2012) , to appear, 2012.

François Bonnet, Xavier Défago, Franck Petit, Maria Potop-Butucaru, and Sébastien Tixeuil.
Brief Announcement: Discovering and Assessing Fine-grained Metrics in Robot Networks Protocols.
14th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2012) , to appear, 2012.

Anissa Lamani, Alain Cournier, Swan Dubois, Franck Petit, and Vincent Villain.
Snap-stabilizing message forwarding algorithm on tree topologies.
13th International Conference on Distributed Computing and Networking (ICDCN 2012), page 46-60, 2012.

Borzoo Bonakdarpour, Stéphane Devismes, and Franck Petit.
Snap-Stabilizing Committee Coordination.
25th IEEE International Parallel & Distributed Processing Symposium (IPDPS 2011), pages 231-242, 2011.

Yoann Dieudonné, Franck Petit, and Vincent Villain.
Leader Election Problem versus Pattern Formation Problem.
24th International Symposium on Distributed Computing (DISC 2010) , 267-281, 2010.

Anissa Lamani, Alain Cournier, Swann Dubois, Franck Petit, and Vincent Villain.
Snap-Stabilizing Linear Message Forwarding.
12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2010) , 546-559, 2010.

Bertrand Ducourthial, Sofiane Khalfallah, and Franck Petit.
Best-effort Group Service in Dynamic Networks.
22nd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2010) , 233-242, 2010.

Yoann Dieudonné, Franck Petit, and Vincent Villain.
Brief Announcement: Leader Election Problem versus Pattern Formation Problem.
29th Annual ACM Symposium on Principles of Distributed Computing (PODC 2010) , 404-405, 2010.

Yoann Dieudonné, Slomi Dolev, Franck Petit, and Michael Segal.
Deaf, Dumb, and Chatting Robots, Enabling Distributed Computation and Fault-Tolerance Among Stigmergic Robots.
Thirteenth International Conference On Principle Of DIstributed Systems (OPODIS 2009), 71-85, 2009.

Fabienne Carrier, Stéphane Devismes, Franck Petit, and Yvan Rivierre.
Space-Optimal Deterministic Rendezvous.
Second International Workshop on Reliability, Availability, and Security (WRAS 2009), 342-3472009.

Yoann Dieudonné and Franck Petit.
Self-stabilizing Deterministic Gathering.
Fifth International Workshop on Algorithmic Aspects of Wireless Sensor Networks (Algosensors 2009), 230-241, 2009.

Yoann Dieudonné, Slomi Dolev, Franck Petit, and Michael Segal.
Brief Announcement: Deaf, Dumb, and Chatting Robots.
28th Annual ACM Symposium on Principles of Distributed Computing (PODC 2009), 308-309, 2009.

Stéphane Devismes, Franck Petit, and Sébastien Tixeuil.
Optimal Probabilistic Ring Exploration by Semi-Synchronous Oblivious Robots.
Sixteenth International Colloquium on Structural Information and Communication Complexity (SIROCCO 2009), 203-217, 2009.

Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier, Franck Petit, and Sam Toueg.
With Finite Memory Consensus is Easier Than Reliable Broadcast.
Twelfth International Conference On Principles Of Distributed Systems (OPODIS 2008), 41-57, 2008.

Yoann Dieudonné and Franck Petit.
Squaring the Circle with Weak Mobile Robots.
19th International Symposium on Algorithms and Computation (ISAAC 2008), 354-365, 2008.

Eddy Caron, Ajoy K. Datta, Franck Petit, and Cédric Tedeschi.
Self-Stabilization in Tree-Structured P2P Service Discovery Systems.
IEEE 27th International Symposium on Reliable Distributed Systems (SRDS 2008) , 207-216, 2008.

Yoann Dieudonné, Ouidad Labbani-Igbida, and Franck Petit.
On the Solvability of the Localization Problem in Robot Networks.
IEEE International Conference on Robotics and Automation (ICRA-2008) , 480-485, 2008.

Christian Boulinier and Franck Petit.
Self-Stabilizing Wavelets and r-hops Coordination.
10th Workshop on Advances in Parallel and Distributed Computational Models (APDCM 2008),
in the proceedings of IEEE 22nd International Symposium on Parallel and Distributed Processing (IPDPS 2008), 1-8, 2008.

Christian Boulinier, Mathieu Levert, and Franck Petit.
Snap-Stabilizing Waves in Anonymous Networks.
Nineth International Conference on Distributed Computing and Networking (ICDCN 2008) , 191-202, LNCS 4904, 2008.

Yoann Dieudonné and Franck Petit.
Deterministic Leader Election in Anonymous Sensor Networks Without Common Coodinated System.
Eleventh International Conference On Principles Of Distributed Systems (OPODIS 2007), 132-142, LNCS 4878, 2007.

Eddy Caron, Frédéric Desprez, Franck Petit, and Cédric Tedeschi.
Snap-stabilizing Prefix Tree for Peer-to-peer Systems.
Nineth International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS '07), 82-96, LNCS 4838, 2007.

Yoann Dieudonné and Franck Petit.
Robots and Demons (The Code of the Origins).
Fourth International Conference on Fun with Algorithms (FUN 2007), pages 108-119, LNCS 4475, 2007.

Yoann Dieudonné and Franck Petit.
Swing Words to Make Circle Formation Quiescent.
14th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2007), pages 162-175, LNCS 4474, 2007.

Yoann Dieudonné, Ouidad Labbani-Igbida, and Franck Petit.
Circle Formation of Weak Mobile Robots.
Eighth International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'06), pages 262-275, LNCS 4280, 2006.

Christian Boulinier, Franck Petit, and Vincent Villain.
Toward a Time-Optimal Odd Phase Clock Unison in Trees.
Eighth International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'06), pages 137-151, LNCS 4280, 2006.

Eddy Caron, Frédéric Desprez, Charles Fourdrignier, Franck Petit, and Cédric Tedeschi.
A Repair Mechanism for Tree-structured Peer-to-peer Systems.
The Twelfth International Conference on High Performance Computing, (HiPC 2006), LNCS 4297, pages 171-182, 2006.

Eddy Caron, Frédéric Desprez, Franck Petit, and Cédric Tedeschi.
A Peer-to-Peer Extension of Network-Enabled Server Systems.
First IEEE International Conference on e-Science and Grid Computing (s-Science 2005), pages 430-437, 2005.

Christian Boulinier, Franck Petit, and Vincent Villain.
Synchronous vs. Asynchronous Unison.
7th Symposium on Self-Stabilizing Systems (SSS'05), LNCS 3764, pages 18-32, 2005.

Stéphane Devismes, Alain Cournier, Franck Petit, and Vincent Villain.
Snap-Stabilizing Depth-First Search on Arbitrary Networks.
8th International Conference On Principles Of DIstributed Systems (OPODIS 2004), pages 150-160, 2004.

Christian Boulinier, Franck Petit, and Vincent Villain.
When Graph Theory Helps Self-Stabilization.
23rd Annual ACM Symposium on Principles of Distributed Computing (PODC 2004). pages 150--160, 2004.

Sébastien Cantarell, Ajoy K. Datta, and Franck Petit.
Self-Stabilizing Atomicity Refinement Allowing Neighborhood Concurrency.
Sixth Symposium on Self-Stabilizing Systems (SSS'03), LNCS 2704, pages 102-112, 2003.
Also in the Proceedings of The International Conference on Dependable Systems and Networks (DSN-2003) (1-page abstract).

Alain Cournier, Ajoy K. Datta, Franck Petit and Vincent Villain.
Enabling Snap-Stabilization.
23th International Conference on Distributed Computing Systems (ICDCS 2003), pages 12-19, 2003.
Also presented at Luminy Workshop on SS (October 2003).

Eddy Caron, Frédéric Desprez, Franck Petit, and Vincent Villain.
A Hierarchical Resource Reservation Algorithm for Network Enabled Servers.
17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003.

Joffroy Beauquier, Sébastien Cantarell, Ajoy K. Datta, and Franck Petit.
Group Mutual Exclusion in Tree Networks.
International Conference on Parallel and Distributed Systems (ICPADS 2002), pages 111-116, 2002.

Alain Cournier, Ajoy K. Datta, Franck Petit, and Vincent Villain.
Snap-Stabilizing PIF Algorithm in Arbitrary Networks.
22th International Conference on Distributed Computing Systems (ICDCS 2002), pages 199-206, 2002.

Alain Cournier, Ajoy K. Datta, Franck Petit, and Vincent Villain.
Optimal Snap-Stabilizing PIF in Un-Oriented Trees.
5th International Conference On Principles Of DIstributed Systems (OPODIS 2001), pages 71-90, 2001.

Franck Petit.
Fast Self-Stabilizing Depth-First Token Circulation.
5th International Workshop on Self-Stabilizing Systems (WSS '01), LNCS 2194, pages 200-215, 2001.
[Note: I am sorry but there is a flaw in the above paper. The stabilization time of the proposed algorithm is not linear in terms of stabilization time. A correction should be given by Franck Petit and A Cournier very soon.]

Sébastien Cantarell, Ajoy K. Datta, Franck Petit, and Vincent Villain.
Group Mutual Exclusion in Token Rings.
8th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2001), Carleton University Press, pages 61-75, 2001.
Also presented at Luminy Workshop on SS (October 2003).

Alain Cournier, Ajoy K. Datta, Franck Petit, and Vincent Villain.
Self-stabilizing PIF algorithms in arbitrary networks.
21th International Conference on Distributed Computing Systems (ICDCS 2001), pages 91-98, 2001.

Sébastien Cantarell, Ajoy K. Datta, Franck Petit, and Vincent Villain.
Token Based Group Mutual Exclusion for Asynchronous Rings.(Extended Abstract).
21th International Conference on Distributed Computing Systems (ICDCS 2001), pages 691-694, 2001.

Sébastien Cantarell and Franck Petit.
Self-Stabilizing Group Mutual Exclusion for Asynchronous Rings.
4th International Conference On Principles Of DIstributed Systems (OPODIS 2000). pages 71-90, 2000.

Ajoy K. Datta, Shivashankar Gurumurthy, Franck Petit, and Vincent Villain.
Self-stabilizing network orientation algorithms in arbitrary networks.
20th International Conference on Distributed Computing Systems (ICDCS 2000), pages 576-583, 2000.

Alain Bui, Ajoy K. Datta, Franck Petit, and Vincent Villain.
Optimal PIF in tree networks.
DIMACS Workshop on Distributed Data and Structures, Carleton Univerty Press, pages 1-16, 1999.

Franck Petit and Vincent Villain.
Time and space optimality of distributed depth-first token circulation algorithms.
DIMACS Workshop on Distributed Data and Structures, Carleton Univerty Press, pages 91-106, 1999.
Also presented at Dagsthul Workshop on SS (October 2000).

Alain Bui, Ajoy K. Datta, Franck Petit, and Vincent Villain.
Snap-stabilizing PIF algorithm in the tree networks without sense of direction.
6th International Colloquium on Structural Information and Communication Complexity (SIROCCO '99), Carleton Univerty Press, pages 32-46, 1999.

Alain Bui, Ajoy K. Datta, Franck Petit and Vincent Villain.
State-Optimal Snap-Stabilizing PIF in Tree Networks.
4th International Workshop on Self-Stabilizing Systems (WSS '99), IEEE Computer Society Press, pages 78-85, 1999.

Alain Bui, Ajoy K. Datta, Franck Petit and Vincent Villain.
Space Optimal PIF algorithms: Self-stabilizing with no extra space.
4th 18th International Performance, Computing, and Communications Conference (IPCCC '99), IEEE Computer Society Press, pages 20-26, 1999.

Ajoy K. Datta, Colette Johnen, Franck Petit and Vincent Villain.
Self-stabilizing depth-first token circulation in arbitrary rooted networks.
5th International Colloquium on Structural Information and Communication Complexity (SIROCCO'98), Carleton Univerty Press, pages 229-243, 1998.
Also presented at Dagsthul Workshop on SS (August 98).

Marc Bui, Olivier Flauzac, Franck Petit and Vincent Villain.
Distributed FTSS routing.
Applied Informatics (AI'98), 1998.

Franck Petit.
Highly space-efficient self-stabilizing depth-first token circulation for trees.
1st International Conference On Principles Of DIstributed Systems (OPODIS '97), Hermès, pages 221-235, 1997.

Franck Petit and Vincent Villain.
Color optimal self-stabilizing depth-first token circulation protocol for asynchronous message-passing systems.
10th International Conference on Parallel and Distributed Computing Systems (PDCS-97), ISCA, pages 227-233, 1997.

Franck Petit and Vincent Villain.
Color optimal self-stabilizing depth-first token circulation.
Third International Symposium on Parallel Architectures, Algorithms and Networks (I-SPAN'97), IEEE Computer Society Press, pages 317-323, 1997.

Franck Petit and Vincent Villain.
A space-efficient and self-stabilizing depth-first token circulation protocol for asynchronous message-passing systems. A
Euro-Par'97 Processing, Springer-Verlag LNCS 1300, pages 476-479, 1997.
 
 

National Conferences

Yoann Dieudonné, Shlomi Dolev, Franck Petit, and Michael Segal.
Des robots sourds-muets bien bavards.
Douzièmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (Algotel 2010), 2010.

Fabienne Carrier, Stéphane Devismes, Franck Petit, and Y. Rivierre.
Rendez-vous d'agents amnésiques.
Douzièmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (Algotel 2010), 2010.

Stéphane Devismes, Carole Delporte-Gallet, Hugues Fauconnier, Franck Petit et Sam Toueg.
Quand le consensus est plus simple que la diffusion fiable.
Onzièmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (Algotel 2009), pages 101-104, 2009.

Yoann Dieudonné et Franck Petit.
Squaring the Circle with Weak Mobile Robots.
Onzièmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (Algotel 2009), pages 105-108, 2009.

Stéphane Devismes, Franck Petit et Sébastien Tixeuil.
Exploration Optimale Probabiliste d'un Anneau par des Robots Asynchrones et Amnésiques.
Onzièmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (Algotel 2009), pages 109-112, 2009.

Bertrand Ducourthial, Sofiane Khalfallah et Franck Petit.
Algorithme de gestion de groupe pour les réseaux ad hoc fortement dynamiques .
Dixièmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (Algotel 2008), pages 21-24, 2008.
 

Yoann Dieudonné et Franck Petit.
Deterministic Leader Election in Anonymous Sensor Networks without Common Coordinated System.
Dixièmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (Algotel 2008), pages 69-72, 2008.
 

Eddy Caron, Charles Fourdrignier, Franck Petit and Cédric Tedeschi.
Mécanisme de réparations pour un système P2P de découverte de services.
Renpar '17, pages 252-259, 2006.
 

Franck Petit.
Self-Stabilizing and Snap-Stabilizing Wave Algorithms.
Invited Speaker. Journée "Réseaux et algorithmes répartis", STAR Project, LRI, CNRS, Orsay, 2002.
 

Others

Christian Boulinier, Franck Petit, and Vincent Villain.
About Bounded Self-Stabilizing Local Mutual Exclusion Algorithms.
Technical Report LaRIA-2004-02, 2004.

Christian Boulinier, Sébastien Cantarell, Franck Petit, and Vincent Villain.
A Note on a Bounded Self-Stabilizing Local Mutual Exclusion Algorithm.
Technical Report LaRIA-2003-02, 2003.


Last update June, 26th, 2012