Last Modified: Tue Oct 18, 2011 at 13:32

List of Accepted (Regular) Papers


Stéphane Devismes, Ajoy K. Datta, Lawrence Larmore and Yvan Rivierre. Self-Stabilizing Labeling and Ranking in Ordered Trees
Rizal Nor, Mikhail Nesterenko and Christian Scheideler. Corona: A Stabilizing Deterministic Message-Passing Skip List
Phillip Stevens, Andréa Richa and Christian Scheideler. Self-stabilizing De Bruijn Networks
Ioannis Chatzigiannakis, Othon Michail, Stavros Nikolaou and Paul Spirakis. The Computational Power of Simple Protocols for Self-Awareness on Graphs
Achour Mostefaoui, Michel Raynal and Julien Stainer. Relations  linking  failure detectors associated with  k-set agreement in message-passing systems
Noga Alon, Shlomi Dolev, Swan Dubois, Hagit Attiya, Maria Gradinariu Potop-Butucaru and Sébastien Tixeuil. Pragmatic Self-Stabilization of Atomic Memory  in Message-Passing Systems
Sven Köhler and Volker Turau. Space-efficient fault-containment in dynamic networks
Danny Dolev, Matthias Fuegger, Christoph Lenzen and Ulrich Schmid. Fault-tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation
Tatsuro Iida, Atsuko Miyaji and Kazumasa Omote. POLISH: Proactive co-Operative LInk Self-Healing for Wireless Sensor Networks
Borzoo Bonakdarpour and Sandeep Kulkarni. Active Stabilization
Marc Shapiro, Nuno Preguiça, Carlos Baquero and Marek Zawirski. Conflict-free Replicated Data Types
Bernadette Charron-Bost, Henri Debrat and Stephan Merz. Formal Verification of Consensus Algorithms Tolerating Malicious Faults
Neeraj Singh and Dominique Mery. Analysis of DSR protocol in Event-B
Damien Imbs and Michel Raynal. The weakest failure detector to implement a register in asynchronous systems with hybrid communication
Armando Castaneda. A non-topological impossibility proof of k-set agreement
Davide Frey, Arnaud Jegou and Anne-Marie Kermarrec. Social Market: combining explicit and implicit social networks
Mohamed Ibrahim and Binoy Ravindran. Snake: Control Flow Distributed Software Transactional Memory
Andrew Berns, Sukumar Ghosh and Sriram Pemmaraju. Building Self-Stabilizing Overlay Networks with the Transitive Closure Framework
Jun Kiniwa and Kensaku Kikuta. Price Stabilization in Networks  --- What Is an Appropriate Model ?
Ofer Hermoni, Niv Gilboa, Eyal Felstaine, Yuval Elovici and Shlomi Dolev. Rendezvous Tunnel for Anonymous Publishing: Clean Slate and Tor Based Designs
M. C. Dourado, L.D. Penso, D. Rautenbach and J.L. Szwarcfiter. The South Zone: Distributed Algorithms for Alliances
Roberto Baldoni, Silvia Bonomi and Amir Soltani Nezhad. An Algorithm for implementing BFT Registers in Dynamic Distributed Systems
H B Acharya, Taehwan Choi, Rida Bazzi and Mohamed Gouda. The K-Observer problem in Computer Networks
Joffroy Beauquier, Peva Blanchard, Janna Burman and Sylvie Delaet. Computing Time Complexity of Population Protocols with Cover Times - the ZebraNet Example
Andreas Klappenecker, Hyunyoung Lee and Jennifer Welch. Dynamic Regular Registers in Systems with Churn
Christian Gorecki, Felix Freiling, Marc Kuehrer and Thorsten Holz. TrumanBox: Improving Dynamic Malware Analysis by Emulating the Internet
William Leal, Micah Mccreery and Daniel Codo De Faria. The OCRC Fuel Cell Lab Safety System: A Self-Stabilizing Safety-Critical System
Zohir Bouzid and Anissa Lamani. Robot Networks with Homonyms: The Case of Patterns Formation
Ingy Ramzy and Anish Arora. Using Zero Knowledge to Share a Little Knowledge: Bootstrapping Trust in Device Networks

Note that this list is tentative and assumes that all papers will meet the publication requirements (format and registration).