Abstract is missing.
- Communication-Efficient Self-stabilization in Wireless NetworksTomoya Takimoto, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa. 1-15 [doi]
- Self-stabilizing Local k-Placement of Replicas with Minimal VarianceSven Köhler 0002, Volker Turau, Gerhard Mentges. 16-30 [doi]
- Self-stabilizing Algorithm for Maximal Graph Partitioning into TrianglesBrahim Neggazi, Mohammed Haddad, Hamamache Kheddouci. 31-42 [doi]
- Brief Announcement: Self-stabilizing Synchronization of Arbitrary Digraphs in Presence of FaultsMahyar R. Malekpour. 43-45 [doi]
- Brief Announcement: Self-stabilizing Silent Disjunction in an Anonymous NetworkAjoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore. 46-48 [doi]
- On the Self-stabilization of Mobile Oblivious Robots in Uniform RingsFukuhito Ooshita, Sébastien Tixeuil. 49-63 [doi]
- Optimal Grid Exploration by Asynchronous Oblivious RobotsStéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil. 64-76 [doi]
- Terminating Population Protocols via Some Minimal Global Knowledge AssumptionsOthon Michail, Ioannis Chatzigiannakis, Paul G. Spirakis. 77-89 [doi]
- Brief Announcement: The Degrading Effect of Forgetting on a SynchronizerMatthias Függer, Alexander Kößler, Thomas Nowak, Martin Zeiner. 90-91 [doi]
- Brief Announcement: Mobile Agent Rendezvous on Edge Evolving RingsTomoko Izumi, Yukiko Yamauchi, Sayaka Kamei. 92-94 [doi]
- High-Level Executable Specifications of Distributed AlgorithmsYanhong A. Liu, Scott D. Stoller, Bo Lin. 95-110 [doi]
- Formal Verification of Security Preservation for Migrating Virtual Machines in the CloudYosr Jarraya, Arash Eghtesadi, Mourad Debbabi, Ying Zhang, Makan Pourzandi. 111-125 [doi]
- Evaluating Practical Tolerance Properties of Stabilizing Programs through Simulation: The Case of Propagation of Information with FeedbackJordan Adamek, Mikhail Nesterenko, Sébastien Tixeuil. 126-132 [doi]
- Self-stabilizing End-to-End Communication in (Bounded Capacity, Omitting, Duplicating and non-FIFO) Dynamic Networks - (Extended Abstract)Shlomi Dolev, Ariel Hanemann, Elad Michael Schiller, Shantanu Sharma 0001. 133-147 [doi]
- Self-stabilizing Distributed Data FusionBertrand Ducourthial, Véronique Cherfaoui, Thierry Denoeux. 148-162 [doi]
- From Self- to Self-stabilizing with Service Guarantee 1-hop Weight-Based ClusteringColette Johnen, Fouzi Mekhaldi. 163-178 [doi]
- Brief Announcement: Verification of Stabilizing Programs with SMT SolversJingshu Chen, Sandeep S. Kulkarni. 179-182 [doi]
- Brief Announcement: MP-State: State-Aware Software Model Checking of Message-Passing SystemsCan Arda Muftuoglu, Péter Bokor, Neeraj Suri. 183-186 [doi]
- Oblivious Assignment with m SlotsGiuseppe Ateniese, Roberto Baldoni, Silvia Bonomi, Giuseppe Antonio Di Luna. 187-201 [doi]
- BLIP: Non-interactive Differentially-Private Similarity Computation on Bloom filtersMohammad Alaggan, Sébastien Gambs, Anne-Marie Kermarrec. 202-216 [doi]
- DQMP: A Decentralized Protocol to Enforce Global Quotas in Cloud EnvironmentsJohannes Behl, Tobias Distler, Rüdiger Kapitza. 217-231 [doi]
- Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular SystemsAntonio Casimiro, Jörg Kaiser, Johan Karlsson, Elad Michael Schiller, Philippas Tsigas, Pedro Costa, José Parizi, Rolf Johansson, Renato Librino. 232-235 [doi]
- Brief Announcement: Arbitrators in the Security InfrastructureShlomi Dolev, Niv Gilboa, Ofer Hermoni. 236-238 [doi]
- Optimization in a Self-stabilizing Service Discovery Framework for Large Scale SystemsEddy Caron, Florent Chuffart, Anissa Lamani, Franck Petit. 239-252 [doi]
- Scalable Byzantine Agreement with a Random BeaconOlumuyiwa Oluwasanmi, Jared Saia. 253-265 [doi]
- On Finding Better Friends in Social NetworksPhilipp Brandes, Roger Wattenhofer. 266-278 [doi]
- Brief Announcement: Detecting Users' Connectivity on Online Social NetworksNa Li, Sajal K. Das, Nan Zhang 0004. 279-281 [doi]
- Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks ProtocolsFrançois Bonnet, Xavier Défago, Franck Petit, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil. 282-284 [doi]
- All-to-All Gradecast Using Coding with Byzantine FailuresJohn Bridgman, Vijay K. Garg. 285-298 [doi]
- Fault-Tolerant Exploration of an Unknown Dangerous Graph by Scattered AgentsPaola Flocchini, Matthew Kellett, Peter C. Mason, Nicola Santoro. 299-313 [doi]
- A Theory of Fault Recovery for Component-Based ModelsBorzoo Bonakdarpour, Marius Bozga, Gregor Gößler. 314-328 [doi]