


default search action
21st SSS 2019: Pisa, Italy
- Mohsen Ghaffari, Mikhail Nesterenko, Sébastien Tixeuil, Sara Tucci, Yukiko Yamauchi:

Stabilization, Safety, and Security of Distributed Systems - 21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019, Proceedings. Lecture Notes in Computer Science 11914, Springer 2019, ISBN 978-3-030-34991-2 - Sara Tucci Piergiovanni:

Invited Paper: On the Characterization of Blockchain Consensus Under Incentives. 1-15 - Yotam Ashkenazi, Shlomi Dolev, Sayaka Kamei

, Fukuhito Ooshita, Koichi Wada:
Brief Announcement Forgive & Forget: Self-stabilizing Swarms in Spite of Byzantine Robots. 16-21 - Rida A. Bazzi, Joseph L. Briones

:
Stationary and Deterministic Leader Election in Self-organizing Particle Systems. 22-37 - Amaury Bouchra Pilet

, Davide Frey
, François Taïani
:
Robust Privacy-Preserving Gossip Averaging. 38-52 - Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, Corentin Travers:

Synchronous t-Resilient Consensus in Arbitrary Graphs. 53-68 - Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy:

Tasks in Modular Proofs of Concurrent Algorithms. 69-83 - Serafino Cicerone

, Gabriele Di Stefano, Alfredo Navarra:
On Gathering of Semi-synchronous Robots in Graphs. 84-98 - Ajoy K. Datta, Stéphane Devismes

, Colette Johnen
, Lawrence L. Larmore:
Brief Announcement: Analysis of a Memory-Efficient Self-stabilizing BFS Spanning Tree Construction. 99-104 - Carole Delporte-Gallet, Hugues Fauconnier, Pierre Fraigniaud, Mikaël Rabie:

Brief Announcement: Distributed Computing in the Asynchronous LOCAL Model. 105-110 - Ha Thi Thu Doan

, Adrián Riesco
, Kazuhiro Ogata:
An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms. 111-126 - Shlomi Dolev, Sayaka Kamei

, Yoshiaki Katayama, Fukuhito Ooshita, Koichi Wada:
Brief Announcement: Self-stabilizing LCM Schedulers for Autonomous Mobile Robots Using Neighborhood Mutual Remainder. 127-132 - Anaïs Durand

, Shay Kutten:
Reducing the Number of Messages in Self-stabilizing Protocols. 133-148 - Michael Feldmann, Thorsten Götte, Christian Scheideler:

A Loosely Self-stabilizing Protocol for Randomized Congestion Control with Logarithmic Memory. 149-164 - Tsuyoshi Gotoh, Yuichi Sudo, Fukuhito Ooshita, Toshimitsu Masuzawa:

Exploration of Dynamic Ring Networks by a Single Agent with the H-hops and S-time Steps View. 165-177 - Christian Göttel

, Pascal Felber
, Valerio Schiavoni
:
iperfTZ: Understanding Network Bottlenecks for TrustZone-Based Trusted Applications. 178-193 - Soichiro Imoto, Yuichi Sudo, Hirotsugu Kakugawa, Toshimitsu Masuzawa:

Atomic Cross-Chain Swaps with Improved Space and Local Time Complexity. 194-208 - Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani:

Achieving Starvation-Freedom with Greater Concurrency in Multi-Version Object-based Transactional Memory Systems. 209-227 - Yonghwan Kim

, Masahiro Shibata, Yuichi Sudo, Junya Nakamura
, Yoshiaki Katayama, Toshimitsu Masuzawa:
Improved-Zigzag: An Improved Local-Information-Based Self-optimizing Routing Algorithm in Virtual Grid Networks. 228-242 - Othon Michail, Paul G. Spirakis, Michail Theofilatos:

Fault Tolerant Network Constructors. 243-255 - Shota Nagahama, Fukuhito Ooshita, Michiko Inoue:

Ring Exploration of Myopic Luminous Robots with Visibility More Than One. 256-271 - Junya Nakamura

, Masahiro Shibata, Yuichi Sudo, Yonghwan Kim
:
Brief Announcement: Self-stabilizing Construction of a Minimal Weakly ST-Reachable Directed Acyclic Graph. 272-276 - Pavan Poudel

, Gokarna Sharma:
Adaptive Versioning in Transactional Memories. 277-295 - Shishir Rai, Kendric Hood, Mikhail Nesterenko, Gokarna Sharma:

Brief Announcement Blockguard: Adaptive Blockchain Security. 296-300 - Michel Raynal, Gadi Taubenfeld:

Brief Announcement: Fully Anonymous Shared Memory Algorithms. 301-306 - Hugo Rincon Galeana

, Kyrill Winkler
, Ulrich Schmid
, Sergio Rajsbaum
:
A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus. 307-322 - Yuichi Sudo, Fukuhito Ooshita, Taisuke Izumi, Hirotsugu Kakugawa, Toshimitsu Masuzawa:

Logarithmic Expected-Time Leader Election in Population Protocol Model. 323-337 - Hideyuki Tanaka, Yuichi Sudo, Hirotsugu Kakugawa, Toshimitsu Masuzawa, Ajoy K. Datta:

A Self-stabilizing 1-Maximal Independent Set Algorithm. 338-353 - Masashi Tsuchida, Fukuhito Ooshita, Michiko Inoue:

Black Hole Search Despite Byzantine Agents. 354-367 - Chen Avin

, Ingo van Duijn, Stefan Schmid
:
Self-adjusting Linear Networks. 368-382

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














