default search action
18th SSS 2016: Lyon, France
- Borzoo Bonakdarpour, Franck Petit:
Stabilization, Safety, and Security of Distributed Systems - 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings. Lecture Notes in Computer Science 10083, 2016, ISBN 978-3-319-49258-2 - Karine Altisen, Ajoy Kumar Datta, Stéphane Devismes, Anaïs Durand, Lawrence L. Larmore:
Leader Election in Rings with Bounded Multiplicity (Short Paper). 1-6 - Thibaut Balabonski, Amélie Delga, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain:
Synchronous Gathering Without Multiplicity Detection: A Certified Algorithm. 7-19 - Joffroy Beauquier, Peva Blanchard, Janna Burman, Oksana Denysyuk:
On the Power of Oracle \varOmega ? for Self-Stabilizing Leader Election in Population Protocols. 20-35 - Alexander Binun, Thierry Coupaye, Shlomi Dolev, Mohammed Kassi-Lahlou, Marc Lacoste, Alex Palesandro, Reuven Yagel, Leonid Yankulin:
Self-stabilizing Byzantine-Tolerant Distributed Replicated State Machine. 36-53 - Marjorie Bournat, Ajoy K. Datta, Swan Dubois:
Self-stabilizing Robots in Highly Dynamic Environments. 54-69 - Quentin Bramas, Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil:
Packet Efficient Implementation of the Omega Failure Detector. 70-87 - Quentin Bramas, Sébastien Tixeuil:
Probabilistic Asynchronous Arbitrary Pattern Formation (Short Paper). 88-93 - Davide Canepa, Xavier Défago, Taisuke Izumi, Maria Potop-Butucaru:
Flocking with Oblivious Robots. 94-108 - Armando Castañeda, Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal:
Making Local Algorithms Wait-Free: The Case of Ring Coloring. 109-125 - Alexandre Dambreville, Joanna Tomasik, Johanne Cohen:
Meta-algorithm to Choose a Good On-Line Prediction (Short Paper). 126-130 - Guy Even, Moti Medina, Boaz Patt-Shamir:
On-Line Path Computation and Function Placement in SDNs. 131-147 - Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil:
Infinite Unlimited Churn (Short Paper). 148-153 - Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers, Petr Kuznetsov, Thibault Rieutord:
Perfect Failure Detection with Very Few Bits. 154-169 - Emmanuel Godard:
Snap-Stabilizing Tasks in Anonymous Networks. 170-184 - Mohammed Haddad, Colette Johnen, Sven Köhler:
Polynomial Silent Self-Stabilizing p-Star Decomposition (Short Paper). 185-189 - Marijn J. H. Heule, Rezwana Reaz, Hrishikesh B. Acharya, Mohamed G. Gouda:
Analysis of Computing Policies Using SAT Solvers (Short Paper). 190-194 - Michiko Inoue, Fukuhito Ooshita, Sébastien Tixeuil:
An Efficient Silent Self-stabilizing 1-Maximal Matching Algorithm Under Distributed Daemon Without Global Identifiers. 195-212 - Pankaj Khanchandani, Christoph Lenzen:
Self-stabilizing Byzantine Clock Synchronization with Optimal Precision. 213-230 - Olaf Landsiedel, Thomas Petig, Elad Michael Schiller:
DecTDMA: A Decentralized-TDMA - With Link Quality Estimation for WSNs. 231-247 - Robert Gmyr, Jonas Lefèvre, Christian Scheideler:
Self-stabilizing Metric Graphs. 248-262 - Christoph Lenzen, Joel Rybicki:
Near-Optimal Self-stabilising Counting and Firing Squads. 263-280 - Florence Levé, Khaled Mohamed, Vincent Villain:
Snap-Stabilizing PIF on Arbitrary Connected Networks in Message Passing Model. 281-297 - Lucas Perronne, Sara Bouchenak:
Towards Efficient and Robust BFT Protocols with ER-BFT (Short Paper). 298-303 - Mikaël Rabie:
Global Versus Local Computations: Fast Computing with Identifiers (Short Paper). 304-309 - Mohammad Roohitavaf, Sandeep S. Kulkarni:
Automatic Addition of Conflicting Properties. 310-326 - Gokarna Sharma, Ramachandran Vaidyanathan, Jerry L. Trahan, Costas Busch, Suresh Rai:
Complete Visibility for Robots with Lights in O(1) Time. 327-345 - Gerry Siegemund, Volker Turau:
PSVR - Self-stabilizing Publish/Subscribe Communication for Ad-Hoc Networks (Short Paper). 346-351 - Lili Su, Nitin H. Vaidya:
Asynchronous Non-Bayesian Learning in the Presence of Crash Failures. 352-367 - Lili Su, Nitin H. Vaidya:
Robust Multi-agent Optimization: Coping with Byzantine Agents with Input Redundancy. 368-382 - Taichi Uehara, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita:
Plane Formation by Semi-synchronous Robots in the Three Dimensional Euclidean Space. 383-398 - Takahiro Yakami, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita:
Searching for an Evader in an Unknown Graph by an Optimal Number of Searchers. 399-414 - Nayuta Yanagisawa:
Wait-Free Solvability of Colorless Tasks in Anonymous Shared-Memory Model. 415-429
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.