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.