Skip to main content
SpringerLink
Log in

Stabilization, Safety, and Security of Distributed Systems

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

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Borzoo Bonakdarpour

    1. McMaster University, Hamilton, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Franck Petit

    1. LIP6, INRIA, UPMC Sorbonne Universities, Paris, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

Included in the following conference series:

Conference proceedings info: SSS 2016.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (32 papers)

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  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. An Efficient Silent Self-stabilizing 1-Maximal Matching Algorithm Under Distributed Daemon Without Global Identifiers

    • Michiko Inoue, Fukuhito Ooshita, Sébastien Tixeuil
    Pages 195-212

  19. Self-stabilizing Byzantine Clock Synchronization with Optimal Precision

    • Pankaj Khanchandani, Christoph Lenzen
    Pages 213-230

  20. DecTDMA: A Decentralized-TDMA

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

Other volumes

  1. Stabilization, Safety, and Security of Distributed Systems

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation