Skip to main content
  • Conference proceedings
  • © 2016

Stabilization, Safety, and Security of Distributed Systems

18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10083)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): SSS: International Symposium on Stabilizing, Safety, and Security of Distributed Systems

Conference proceedings info: SSS 2016.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (32 papers)

  1. Front Matter

    Pages I-XIII
  2. Leader Election in Rings with Bounded Multiplicity (Short Paper)

    • Karine Altisen, Ajoy K. Datta, Stéphane Devismes, Anaïs Durand, Lawrence L. Larmore
    Pages 1-6
  3. Synchronous Gathering Without Multiplicity Detection: A Certified Algorithm

    • Thibaut Balabonski, Amélie Delga, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
    Pages 7-19
  4. On the Power of Oracle \(\varOmega ?\) for Self-Stabilizing Leader Election in Population Protocols

    • Joffroy Beauquier, Peva Blanchard, Janna Burman, Oksana Denysyuk
    Pages 20-35
  5. Self-stabilizing Byzantine-Tolerant Distributed Replicated State Machine

    • Alexander Binun, Thierry Coupaye, Shlomi Dolev, Mohammed Kassi-Lahlou, Marc Lacoste, Alex Palesandro et al.
    Pages 36-53
  6. Self-stabilizing Robots in Highly Dynamic Environments

    • Marjorie Bournat, Ajoy K. Datta, Swan Dubois
    Pages 54-69
  7. Packet Efficient Implementation of the Omega Failure Detector

    • Quentin Bramas, Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil
    Pages 70-87
  8. Probabilistic Asynchronous Arbitrary Pattern Formation (Short Paper)

    • Quentin Bramas, Sébastien Tixeuil
    Pages 88-93
  9. Flocking with Oblivious Robots

    • Davide Canepa, Xavier Defago, Taisuke Izumi, Maria Potop-Butucaru
    Pages 94-108
  10. Making Local Algorithms Wait-Free: The Case of Ring Coloring

    • Armando Castañeda, Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal
    Pages 109-125
  11. Meta-algorithm to Choose a Good On-Line Prediction (Short Paper)

    • Alexandre Dambreville, Joanna Tomasik, Johanne Cohen
    Pages 126-130
  12. On-Line Path Computation and Function Placement in SDNs

    • Guy Even, Moti Medina, Boaz Patt-Shamir
    Pages 131-147
  13. Infinite Unlimited Churn (Short Paper)

    • Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil
    Pages 148-153
  14. Perfect Failure Detection with Very Few Bits

    • Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers, Petr Kuznetsov, Thibault Rieutord
    Pages 154-169
  15. Snap-Stabilizing Tasks in Anonymous Networks

    • Emmanuel Godard
    Pages 170-184
  16. Polynomial Silent Self-Stabilizing p-Star Decomposition (Short Paper)

    • Mohammed Haddad, Colette Johnen, Sven Köhler
    Pages 185-189
  17. Analysis of Computing Policies Using SAT Solvers (Short Paper)

    • Marijn J. H. Heule, Rezwana Reaz, H. B. Acharya, Mohamed G. Gouda
    Pages 190-194
  18. Self-stabilizing Byzantine Clock Synchronization with Optimal Precision

    • Pankaj Khanchandani, Christoph Lenzen
    Pages 213-230
  19. DecTDMA: A Decentralized-TDMA

    • Olaf Landsiedel, Thomas Petig, Elad M. Schiller
    Pages 231-247

Other Volumes

  1. Stabilization, Safety, and Security of Distributed Systems

About this book

This book constitutes the refereed proceedings of the 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2016, held in Lyon, France, in November 2016.

This year the Program Committee was organized into three groups reflecting the major trends related to self-* systems: (a) Self-* and Autonomic Computing, (b)Foundations, and (c) Networks, Multi-Agent Systems, and Mobility.

Editors and Affiliations

  • McMaster University, Hamilton, Canada

    Borzoo Bonakdarpour

  • LIP6, INRIA, UPMC Sorbonne Universities, Paris, France

    Franck Petit

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access