Regular Paper

  • Fuad Abujarad and Sandeep Kulkarni.
    Multicore Constraint-Based Automated Stabilization.
  • Hrishikesh Acharya and Mohamed Gouda.
    A Theory of Network Tracing.
  • Alvaro Arenas, Jean-Pierre Banatre, and Thierry Priol.
    Developing Autonomic and Secure Virtual Organisations with Chemical Programming.
  • Joffroy Beauquier, Janna Burman, and Shay Kutten.
    Making Population Protocols Self-Stabilizing.
  • Cinzia Bernardeschi, Paolo Masci, and Holger Pfeifer.
    Analysis of wireless sensor network protocols in dynamic scenarios.
  • Martin Biely and Martin Hutle.
    Consensus when all processes may be Byzantine for some time.
  • Lelia Blin, Maria Gradinariu Potop-Butucaru, and Stephane Rovedakis.
    A Superstabilizing log(n)-Approximation Algorithm for Dynamic Steiner Trees.
  • François Bonnet and Michel Raynal.
    Looking for the Weakest Failure Detector for k-Set Agreement in Message-passing Systems: Is Pi_k the End of the Road?
  • Zohir Bouzid, Maria Gradinariu Potop-Butucaru, and Sebastien Tixeuil.
    Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks.
  • Mary-Luc Champel, Anne-Marie Kermarrec, and Nicolas Le Scouarnec.
    FoG: fighting the Achilles' heel of gossip protocols with fountain codes.
  • Alain Cournier, Swan Dubois, and Vincent Villain.
    How to improve snap-stabilizing point-to-point communication space complexity?
  • Anurag Dasgupta, Sukumar Ghosh, and Xin Xiao.
    Fault-Containment in Weakly-Stabilizing Systems.
  • R.E. Lee DeVille and Sayan Mitra.
    Stability of Distributed Algorithms in the face of Incessant Faults.
  • Abhishek Dhama, Oliver Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, and Bernd Becker.
    Dependability Engineering of Silent Self-Stabilizing Systems.
  • Giovanna Di Marzo Serugendo.
    Robustness and Dependability of Self-Organising Systems - A Safety Engineering Perspective.
  • Dan Dobre, Matthias Majuntke, Marco Serafini, and Neeraj Suri.
    Efficient Robust Storage Using Secret Tokens.
  • Danny Dolev, Ezra N. Hoch, and Yoram Moses.
    An Optimal Self-Stabilizing Firing Squad.
  • Shlomi Dolev and Marina Kopeetsky.
    Anonymous Transactions in Computer Networks.
  • Mohamed Gouda and Hrishikesh Acharya.
    Nash Equilibria in Stabilizing Systems.
  • Ning Gui, Vincenzo De Florio, Hung Sun, and Chris Blondia.
    ACCADA: A Framework for Continuous Context-Aware Deployment and Adaptation.
  • Bernd Hauck and Volker Turau.
    A self-stabilizing approximation algorithm for vertex cover in anonymous networks.
  • Ted Herman and Kajari Ghosh Dastidar.
    Separation of Circulating Token.
  • Damien Imbs and Michel Raynal.
    Visiting Gafni's Reduction Land: from the BG Simulation to the Extended BG Simulation.
  • Taisuke Izumi, Tomoko Izumi, Sayaka Kamei, and Fukuhito Ooshita.
    Randomized Gathering of Mobile Robots with Local-Multiplicity Detection.
  • Mark Jelasity and Vilmos Bilicki.
    Scalable P2P Overlays of Very Small Constant Degree: An Emerging Security Threat.
  • Bo Jiang, Binoy Ravindran, and Hyeonjoong Cho.
    CFlood: A Constrained Flooding Protocol for Real-Time Data Delivery in Wireless Sensor Networks.
  • Hirotsugu Kakugawa, Yukiko Yamauchi, Sayaka Kamei, and Toshimitsu Masuzawa.
    Cached Sensornet Transformation of Non-silent Self-Stabilizing Algorithms with Unreliable Links
  • Jun Kiniwa and Kensaku Kikuta.
    Analysis of an Intentional Fault Which is Undetectable by Local Checks under an Unfair Scheduler.
  • Anvesh Komuravelli and Matus Mihalak.
    Exploring Polygonal Environments by Simple Robots with Faulty Combinatorial Vision.
  • Stevens Le Blond, Fabrice Le Fessant, and Erwan Le Merrer.
    Finding Good Partners in Availability-aware P2P Networks.
  • Sergey Legtchenko, Sébastien Monnet, Pierre Sens, and Gilles Muller.
    Churn-resilient replication strategy for peer-to-peer distributed hash-tables.
  • Philippe Leroux and Sebastien Roy.
    Distributed Power control with multiple agents in a distributed base station scheme using macrodiversity.
  • Xin Liu and Anwitaman Datta.
    Redundancy maintenance and garbage collection strategies in peer-to-peer storage systems.
  • Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, and Harry Li.
    Model Checking Coalition Nash Equilibria in MAD Distributed Systems.
  • Andrea Marongiu, Andrea Acquaviva, and Luca Benini.
    OpenMP Support for NBTI-induced Aging Tolerance in MPSoCs.
  • Rodica Mihai and Morten Mjelde.
    A Self-Stabilizing Algorithm for Graph Searching in Trees.
  • Thomas Polzer, Thomas Handl, and Andreas Steininger.
    A Metastability-Free Multi-Synchronous Communication Scheme for Fault-Tolerant SoCs.
  • Liliana Rosa, Luís Rodrigues, Antónia Lopes, Matti Hiltunen, and Richard Schlichting.
    From Local Impact Functions to Global Adaptation of Service Compositions.
  • Lifeng Sang and Anish Arora.
    A Wireless Security Framework without Shared Secrets.
  • Christian Schindelhauer and Mario Mense.
    RWC: An Erasure Resilient Encoding System for Flexible Reading and Writing in Storage Networks.
  • Andre Schumacher and Harri Haanpää.
    Distributed Sleep Scheduling in Wireless Sensor Networks via Fractional Domatic Partitioning.
  • Sabina Serbu, Etienne Riviere, and Pascal Felber.
    Network-Friendly Gossiping.
  • Wei Shi.
    Black Hole Search with Tokens in Interconnected Networks.
  • Samia Souissi, Taisuke Izumi, and Koichi Wada.
    Oracle-Based Flocking of Mobile Robots in Crash-Recovery Model.
  • Martin Süßkraut, Stefan Weigert, Ute Schiffel, Thomas Knauth, Martin Nowack, Diogo Becker de Brum, and Christof Fetzer.
    Speculation for Parallelizing Runtime Checks.
  • Mohammad Torabi Dashti.
    Optimistic fair exchange using trusted devices.
  • Eric Totel, Olivier Sarrouy, and Bernard Jouga.
    Application data consistency checking for anomaly based intrusion detection.
  • Gerard Wagener, Radu State, Alexandre Dulaunoy, and Thomas Engel.
    Self Adaptive High Interaction Honeypots Driven by Game Theory.
  • Jing Xu, Ming Zhao, and Jose Fortes.
    Cooperative Autonomic Management in Large-scale Dynamic Distributed Systems.

Brief Announcement

  • H B Acharya, Ehab Elamallah, and Mohamed Gouda.
    Consistent Fixed Points and Negative Gain.
  • Emmanuelle Anceaume, Romaric Ludinard, Bruno Sericola, Frederic Tronel, and Francisco Brasileiro.
    Analytical Study of Adversarial Strategies in PeerCube, a Structured based Overlay.
  • Sylvie Delaët, Shlomi Dolev, and Olivier Peres.
    Safer than Safe: On the Initial State of Self-Stabilizing Systems.
  • Shlomi Dolev, Limor Lahiani, and Yinnon Haviv.
    Unique Permutation Hashing.
  • Shlomi Dolev and Nir Tzachar.
    Randomization Adaptive Self-Stabilization.
  • Dominik Gall, Riko Jacob, Andrea Richa, Christian Scheideler, Stefan Schmid, and Hanjo Täubig.
    On the Time Complexity of Distributed Topological Self-Stabilization.
  • Ruan He, Marc Lacoste, and Jean Leneutre.
    Virtual Security Kernel: A Component-Based OS Architecture for Self-Protection.
  • Christian Henrich, Matthias Huber, Carmen Kempka, Jörn Müller-Quade, and Mario Strefler.
    Towards Secure Cloud Computing.
  • Colette Johnen and Fouzi Mekhaldi.
    Robust Self-Stabilizing construction of bounded size weight-based clusters.
  • Mehmet Hakan Karaata and Rachid Hadid.
    A Stabilizing Algorithm for Finding Two Disjoint Paths in Arbitrary Networks.
  • Pierre Leone, Marina Papatriantafilou, and Elad Michael Schiller.
    Relocation Analysis of Stabilizing MAC Algorithms for Large-Scale Mobile Ad Hoc Networks.
  • Cristian Martín and Mikel Larrea.
    A Simple and Quiescent Omega Algorithm in the Crash-Recovery Model.
  • Olivier Peres.
    How to Overcome the Limits of Bounds.
  • Dalibor Peric, Thomas Bocek, Fabio Victora Hecht, David Hausheer, and Burkhard Stiller.
    The Design and Evaluation of a Distributed Reliable File System.