


default search action
11th SSS 2009: Lyon, France
- Rachid Guerraoui

, Franck Petit
:
Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings. Lecture Notes in Computer Science 5873, Springer 2009, ISBN 978-3-642-05117-3
Invited Talks
- Anne-Marie Kermarrec:

Challenges in Personalizing and Decentralizing the Web: An Overview of GOSSPLE. 1-16 - Christoph Lenzen, Jukka Suomela

, Roger Wattenhofer:
Local Algorithms: Self-stabilization on Speed. 17-34 - David Peleg:

As Good as It Gets: Competitive Fault Tolerance in Network Structures. 35-46
Regular Papers
- Fuad Abujarad, Sandeep S. Kulkarni:

Multicore Constraint-Based Automated Stabilization. 47-61 - Hrishikesh B. Acharya, Mohamed G. Gouda:

A Theory of Network Tracing. 62-74 - Alvaro E. Arenas, Jean-Pierre Banâtre, Thierry Priol:

Developing Autonomic and Secure Virtual Organisations with Chemical Programming. 75-89 - Joffroy Beauquier, Janna Burman, Shay Kutten:

Making Population Protocols Self-stabilizing. 90-104 - Cinzia Bernardeschi

, Paolo Masci
, Holger Pfeifer:
Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios. 105-119 - Martin Biely, Martin Hutle:

Consensus When All Processes May Be Byzantine for Some Time. 120-132 - Lélia Blin, Maria Gradinariu Potop-Butucaru, Stephane Rovedakis:

A Superstabilizing log(n)-Approximation Algorithm for Dynamic Steiner Trees. 133-148 - François Bonnet

, Michel Raynal:
Looking for the Weakest Failure Detector for k-Set Agreement in Message-Passing Systems: Is ${\it \Pi}_k${\it \Pi}_k the End of the Road? 149-164 - Zohir Bouzid, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil:

Optimal Byzantine Resilient Convergence in Asynchronous Robots Networks. 165-179 - Mary-Luc Champel, Anne-Marie Kermarrec, Nicolas Le Scouarnec:

FoG: Fighting the Achilles' Heel of Gossip Protocols with Fountain Codes. 180-194 - Alain Cournier, Swan Dubois

, Vincent Villain:
How to Improve Snap-Stabilizing Point-to-Point Communication Space Complexity? 195-208 - Anurag Dasgupta, Sukumar Ghosh, Xin Xiao:

Fault-Containment in Weakly-Stabilizing Systems. 209-223 - R. E. Lee DeVille, Sayan Mitra

:
Stability of Distributed Algorithms in the Face of Incessant Faults. 224-237 - Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer

, Bernd Becker
:
Dependability Engineering of Silent Self-stabilizing Systems. 238-253 - Giovanna Di Marzo Serugendo

:
Robustness and Dependability of Self-Organizing Systems - A Safety Engineering Perspective. 254-268 - Dan Dobre, Matthias Majuntke, Marco Serafini, Neeraj Suri

:
Efficient Robust Storage Using Secret Tokens. 269-283 - Danny Dolev, Ezra N. Hoch, Yoram Moses:

An Optimal Self-stabilizing Firing Squad. 284-296 - Shlomi Dolev, Marina Kopeetsky:

Anonymous Transactions in Computer Networks. 297-310 - Mohamed G. Gouda, Hrishikesh B. Acharya:

Nash Equilibria in Stabilizing Systems. 311-324 - Ning Gui, Vincenzo De Florio

, Hong Sun
, Chris Blondia:
ACCADA: A Framework for Continuous Context-Aware Deployment and Adaptation. 325-340 - Volker Turau, Bernd Hauck:

A Self-stabilizing Approximation Algorithm for Vertex Cover in Anonymous Networks. 341-353 - Kajari Ghosh Dastidar, Ted Herman:

Separation of Circulating Tokens. 354-368 - Damien Imbs, Michel Raynal:

Visiting Gafni's Reduction Land: From the BG Simulation to the Extended BG Simulation. 369-383 - Taisuke Izumi, Tomoko Izumi, Sayaka Kamei

, Fukuhito Ooshita:
Randomized Gathering of Mobile Robots with Local-Multiplicity Detection. 384-398 - Márk Jelasity

, Vilmos Bilicki
:
Scalable P2P Overlays of Very Small Constant Degree: An Emerging Security Threat. 399-412 - Bo Jiang, Binoy Ravindran

, Hyeonjoong Cho:
CFlood: A Constrained Flooding Protocol for Real-time Data Delivery in Wireless Sensor Networks. 413-427 - Hirotsugu Kakugawa, Yukiko Yamauchi, Sayaka Kamei

, Toshimitsu Masuzawa:
Cached Sensornet Transformation of Non-silent Self-stabilizing Algorithms with Unreliable Links. 428-442 - Jun Kiniwa, Kensaku Kikuta:

Analysis of an Intentional Fault Which Is Undetectable by Local Checks under an Unfair Scheduler. 443-457 - Anvesh Komuravelli, Matús Mihalák:

Exploring Polygonal Environments by Simple Robots with Faulty Combinatorial Vision. 458-471 - Stevens Le Blond, Fabrice Le Fessant, Erwan Le Merrer:

Finding Good Partners in Availability-Aware P2P Networks. 472-484 - Sergey Legtchenko, Sébastien Monnet, Pierre Sens, Gilles Muller:

Churn-Resilient Replication Strategy for Peer-to-Peer Distributed Hash-Tables. 485-499 - Philippe Leroux, Sébastien Roy

:
Distributed Power Control with Multiple Agents in a Distributed Base Station Scheme Using Macrodiversity. 500-514 - Xin Liu, Anwitaman Datta

:
Redundancy Maintenance and Garbage Collection Strategies in Peer-to-Peer Storage Systems. 515-530 - Federico Mari

, Igor Melatti, Ivano Salvo, Enrico Tronci
, Lorenzo Alvisi, Allen Clement, Harry C. Li:
Model Checking Coalition Nash Equilibria in MAD Distributed Systems. 531-546 - Andrea Marongiu, Andrea Acquaviva, Luca Benini

:
OpenMP Support for NBTI-Induced Aging Tolerance in MPSoCs. 547-562 - Rodica Mihai, Morten Mjelde:

A Self-stabilizing Algorithm for Graph Searching in Trees. 563-577 - Thomas Polzer, Thomas Handl, Andreas Steininger

:
A Metastability-Free Multi-synchronous Communication Scheme for SoCs. 578-592 - Liliana Rosa, Luís E. T. Rodrigues, Antónia Lopes

, Matti A. Hiltunen, Richard D. Schlichting:
From Local Impact Functions to Global Adaptation of Service Compositions. 593-608 - Lifeng Sang, Anish Arora:

A Wireless Security Framework without Shared Secrets. 609-623 - Mario Mense, Christian Schindelhauer:

Read-Write-Codes: An Erasure Resilient Encoding System for Flexible Reading and Writing in Storage Networks. 624-639 - André Schumacher, Harri Haanpää:

Distributed Sleep Scheduling in Wireless Sensor Networks via Fractional Domatic Partitioning. 640-654 - Sabina Serbu, Etienne Rivière, Pascal Felber

:
Network-Friendly Gossiping. 655-669 - Wei Shi

:
Black Hole Search with Tokens in Interconnected Networks. 670-682 - Samia Souissi

, Taisuke Izumi, Koichi Wada:
Oracle-Based Flocking of Mobile Robots in Crash-Recovery Model. 683-697 - Martin Süßkraut, Stefan Weigert, Ute Schiffel, Thomas Knauth, Martin Nowack

, Diogo Becker de Brum, Christof Fetzer:
Speculation for Parallelizing Runtime Checks. 698-710 - Mohammad Torabi Dashti

:
Optimistic Fair Exchange Using Trusted Devices. 711-725 - Olivier Sarrouy, Eric Totel, Bernard Jouga:

Application Data Consistency Checking for Anomaly Based Intrusion Detection. 726-740 - Gérard Wagener, Radu State, Alexandre Dulaunoy, Thomas Engel:

Self Adaptive High Interaction Honeypots Driven by Game Theory. 741-755 - Jing Xu, Ming Zhao, José A. B. Fortes:

Cooperative Autonomic Management in Dynamic Distributed Systems. 756-770
Brief Announcements
- Hrishikesh B. Acharya, Ehab S. Elmallah, Mohamed G. Gouda:

Brief Announcement: Consistent Fixed Points and Negative Gain. 771-772 - Emmanuelle Anceaume, Francisco Vilar Brasileiro

, Romaric Ludinard
, Bruno Sericola, Frederic Tronel:
Brief Announcement: Induced Churn to Face Adversarial Behavior in Peer-to-Peer Systems. 773-774 - Sylvie Delaët, Shlomi Dolev, Olivier Peres:

Safer Than Safe: On the Initial State of Self-stabilizing Systems. 775-776 - Shlomi Dolev, Limor Lahiani, Yinnon A. Haviv:

Brief Announcement: Unique Permutation Hashing. 777-778 - Shlomi Dolev, Nir Tzachar:

Randomization Adaptive Self-stabilization. 779-780 - Dominik Gall, Riko Jacob, Andréa W. Richa, Christian Scheideler, Stefan Schmid

, Hanjo Täubig:
Brief Announcement: On the Time Complexity of Distributed Topological Self-stabilization. 781-782 - Ruan He, Marc Lacoste, Jean Leneutre:

Brief Announcement: An OS Architecture for Device Self-protection. 783-784 - Christian Henrich, Matthias Huber, Carmen Kempka, Jörn Müller-Quade, Mario Strefler:

Brief Announcement: Towards Secure Cloud Computing. 785-786 - Colette Johnen, Fouzi Mekhaldi:

Brief Announcement: Robust Self-stabilizing Construction of Bounded Size Weight-Based Clusters. 787-788 - Mehmet Hakan Karaata, Rachid Hadid:

Brief Announcement: A Stabilizing Algorithm for Finding Two Disjoint Paths in Arbitrary Networks. 789-790 - Pierre Leone, Marina Papatriantafilou

, Elad Michael Schiller:
Relocation Analysis of Stabilizing MAC. 791-792 - Cristian Martín, Mikel Larrea

:
Brief Announcement: A Simple and Quiescent Omega Algorithm in the Crash-Recovery Model. 793-794 - Olivier Peres:

Brief Announcement: How to Overcome the Limits of Bounds. 795-796 - Dalibor Peric, Thomas Bocek, Fabio Victora Hecht, David Hausheer, Burkhard Stiller:

Brief Announcement: The Design and Evaluation of a Distributed Reliable File System. 797-798

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














