11. SSS 2009: Lyon, France

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
  
• Robert 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 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 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 Riviere, 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