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.