Sébastien Tixeuil – författare

This book constitutes the refereed proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2019, held in Pisa, Italy, in October 2019.The 21 full papers presented were carefully reviewed and selected from 45 submissions. The papers deal with the design and development of distributed systems with a focus on systems that are able to provide guarantees on their structure, performance, and/or security in the face of an adverse operational environment.

This book constitutes the refereed proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2019, held in Pisa, Italy, in October 2019.

The 21 full papers presented were carefully reviewed and selected from 45 submissions. The papers deal with the design and development of distributed systems with a focus on systems that are able to provide guarantees on their structure, performance, and/or security in the face of an adverse operational environment.

This book constitutes the proceedings of the 27th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2025, held in Kathmandu, Nepal, during October 9–11, 2025.The 21 full papers and 7 short papers together with 4 invited papers included in this book were carefully reviewed and selected from 59 submissions. The conference focuses on the design and development of distributed systems with a focus on systems that are able toprovide guarantees on their correctness, performance, and/or security in the face of an adverse operational environment.

This book constitutes the proceedings of the 27th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2025, held in Kathmandu, Nepal, during October 9–11, 2025.The 21 full papers and 7 short papers together with 4 invited papers included in this book were carefully reviewed and selected from 59 submissions. The conference focuses on the design and development of distributed systems with a focus on systems that are able toprovide guarantees on their correctness, performance, and/or security in the face of an adverse operational environment.

This book constitutes  the thoroughly refereed proceedings of the 24th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2017, held in Porquerolles, France, in June 2017. The 21 full papers presented were carefully reviewed and selected from 41 submissions. They are devoted to the study of the interplay between structural knowledge, communications, and computing in decentralized systems of multiple communicating entities. They are organized around the following topics: wireless networks; identifiers and labeling; mobile agents; probabilistic algorithms; computational complexity; dynamic networks.

This book constitutes  the thoroughly refereed proceedings of the 24th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2017, held in Porquerolles, France, in June 2017.

The 21 full papers presented were carefully reviewed and selected from 41 submissions. They are devoted to the study of the interplay between structural knowledge, communications, and computing in decentralized systems of multiple communicating entities. They are organized around the following topics: wireless networks; identifiers and labeling; mobile agents; probabilistic algorithms; computational complexity; dynamic networks.

Self-stabilizationisanestablishedprincipleofmoderndistributedsystemdesign. Theadvantagesofsystemsthatself-recoverfromtransientfailures,temporary- curity attacks,and spontaneousrecon?gurationareobvious.Lessobviousis how the ambitious goal of recovering from the most general case of a transient fault, namelythatofanarbitraryinitialstate,canleadtoasimplersystemdesignthan dealing with particular cases of failures. In the area of mathematical probl- solving, Po 'lya gave the term "the inventors paradox" to such situations, where generalizing the problem may simplify the solution. The dramatic growthof d- tributed systems, peer-to-peer distribution networks, and large grid computing environments confronts designers with serious di?culties of complexity and has motivated the call for systems that self-recover, self-tune, and self-manage. The principlesofself-stabilizationcanbeusefulfor thesegoalsofautonomoussystem behavior. The Symposium on Self-Stabilizing Systems (SSS) is the main forum for - search in the area of self-stabilization. Previous Workshops on Self-Stabilizing Systems (WSS) were held in 1989, 1995, 1997, 1999, and 2001.The previous Symposium on Self-Stabilizing Systems (SSS) took place in 2003. Thirty-three papersweresubmitted toSSS2005byauthorsfromEurope(16),NorthAmerica (8), Asia (4), and elsewhere (5). From the submissions, the program committee selected 15 for inclusion in these proceedings. In addition to the presentation of these papers, the symposium event included a poster session with brief pres- tations of recent work on self-stabilization.

This book constitutes the refereed proceedings of the 9th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2007, held in Paris, France, November 14-16, 2007. The 27 regular papers presented together with the extended abstracts of three invited lectures were carefully reviewed and selected from 64 submissions. The papers address all aspects of self-stabilization, safety and security, recovery oriented systems and programming.

Thisvolumecontainsthe30regularpapers,the11shortpapersandtheabstracts oftwoinvited keynotesthatwerepresentedatthe12thInternationalConference on Principles of Distributed Systems (OPODIS) held during December 15-18, 2008 in Luxor, Egypt. OPODIS is a yearly selective international forum for researchers and prac- tioners in design and development of distributed systems. This year, we received 102 submissions from 28 countries. Each submission was carefully reviewed by three to six Program Committee members with the help of external reviewers, with 30 regular papers and 11 short papers being selected. The overall quality of submissions was excellent and there were many papers that had to be rejected because of organization constraints yet deserved to be published. The two invited keynotes dealt with hot topics in distributed systems: "The Next 700 BFT Protocols" by Rachid Guerraoui and "On Rep- cation of Software Transactional Memories" by Luis Rodriguez. On behalf of the Program Committee, we would like to thank all authors of submitted papers for their support. We also thank the members of the Ste- ing Committee for their invaluable advice.We wish to express our apprec- tion to the Program Committee members and additional external reviewers for their tremendous e?ort and excellent reviews. We gratefully acknowledge the Organizing Committee members for their generous contribution to the s- cess of the symposium. Special thanks go to Thibault Bernard for man- ing the conference publicity and technical organization. The paper submission and selection process was greatly eased by the EasyChair conference system (http://www. easychair. org).