Table of Contents

• Stabilization Enabling TechnologyShlomi Dolev, Yinnon A. Haviv. 1-15 [doi]
• A General Characterization of IndulgenceRachid Guerraoui, Nancy A. Lynch. 16-34 [doi]
• Coverage, Connectivity, and Fault Tolerance Measures of Wireless Sensor NetworksHabib M. Ammari, Sajal K. Das. 35-49 [doi]
• A Case Study on Prototyping Power Management Protocols for Sensor NetworksMahesh Arumugam, Limin Wang, Sandeep S. Kulkarni. 50-64 [doi]
• Unconscious Eventual Consistency with GossipsRoberto Baldoni, Rachid Guerraoui, Ron R. Levy, Vivien Quéma, Sara Tucci Piergiovanni. 65-81 [doi]
• All ::::k:::: -Bounded Policies Are Equivalent for Self-stabilizationJoffroy Beauquier, Colette Johnen, Stéphane Messika. 82-94 [doi]
• A 1-Strong Self-stabilizing TransformerJoffroy Beauquier, Sylvie Delaët, Sammy Haddad. 95-109 [doi]
• Optimal Message-Driven Implementation of Omega with Mute ProcessesMartin Biely, Josef Widder. 110-121 [doi]
• Incremental Synthesis of Fault-Tolerant Real-Time ProgramsBorzoo Bonakdarpour, Sandeep S. Kulkarni. 122-136 [doi]
• Toward a Time-Optimal Odd Phase Clock Unison in TreesChristian Boulinier, Franck Petit, Vincent Villain. 137-151 [doi]
• Recovery Oriented ProgrammingOlga Brukman, Shlomi Dolev. 152-168 [doi]
• Evaluation of a Tracking Architecture in Wireless Sensor NetworksFlorent Claerhout. 169-183 [doi]
• Self-protection for Distributed Component-Based ApplicationsBenoit Claudel, Noel De Palma, Renaud Lachaize, Daniel Hagimont. 184-198 [doi]
• From Self- to Snap- StabilizationAlain Cournier, Stéphane Devismes, Vincent Villain. 199-213 [doi]
• Self-stabilizing Philosophers with Generic ConflictsPraveen Danturi, Mikhail Nesterenko, Sébastien Tixeuil. 214-230 [doi]
• Selfish StabilizationAnurag Dasgupta, Sukumar Ghosh, Sébastien Tixeuil. 231-243 [doi]
• Reliability and Availability Analysis of Self-stabilizing SystemsAbhishek Dhama, Oliver E. Theel, Timo Warns. 244-261 [doi]
• Circle Formation of Weak Mobile RobotsYoann Dieudonné, Ouiddad Labbani-Igbida, Franck Petit. 262-275 [doi]
• Self-stabilizing Device DriversShlomi Dolev, Reuven Yagel. 276-289 [doi]
• Secure Communication for RFIDs Proactive Information Security Within Computational SecurityShlomi Dolev, Marina Kopeetsky. 290-303 [doi]
• Fault Masking in Tri-redundant SystemsMohamed G. Gouda, Jorge Arturo Cobb, Chin-Tser Huang. 304-313 [doi]
• Logarithmic Keying of Communication NetworksMohamed G. Gouda, Sandeep S. Kulkarni, Ehab S. Elmallah. 314-323 [doi]
• Safe Peer-to-Peer Self-downloadingKajari Ghosh Dastidar, Ted Herman, Colette Johnen. 324-334 [doi]
• Best Paper: Stabilizing Clock Synchronization for Wireless Sensor NetworksTed Herman, Chen Zhang. 335-349 [doi]
• Self-stabilizing Byzantine Digital Clock SynchronizationEzra N. Hoch, Danny Dolev, Ariel Daliot. 350-362 [doi]
• Distributed Edge Coloration for Bipartite NetworksShing-Tsaan Huang, Chi-Hung Tzeng. 363-377 [doi]
• A Dependable Intrusion Detection Architecture Based on Agreement ServicesMichel Hurfin, Jean-Pierre Le Narzul, Frédéric Majorczyk, Ludovic Mé, Ayda Saïdane, Eric Totel, Frédéric Tronel. 378-394 [doi]
• Stabilizing Health Monitoring for Wireless Sensor NetworksWilliam Leal, Sandip Bapat, Taewoo Kwon, Pihui Wei, Anish Arora. 395-410 [doi]
• A Byzantine-Fault Tolerant Self-stabilizing Protocol for Distributed Clock Synchronization SystemsMahyar R. Malekpour. 411-427 [doi]
• A Memory Efficient Self-stabilizing Algorithm for Maximal ::::k:::: -PackingFredrik Manne, Morten Mjelde. 428-439 [doi]
• Bounding the Impact of Unbounded Attacks in StabilizationToshimitsu Masuzawa, Sébastien Tixeuil. 440-453 [doi]
• On Bootstrapping Topology Knowledge in Anonymous NetworksToshimitsu Masuzawa, Sébastien Tixeuil. 454-468 [doi]
• Self-adaptive Disk ArraysJehan-François Pâris, Thomas J. E. Schwarz, Darrell D. E. Long. 469-483 [doi]
• Using Eventually Consistent Compasses to Gather Oblivious Mobile Robots with Limited VisibilitySamia Souissi, Xavier Défago, Masafumi Yamashita. 484-500 [doi]
• Self-stabilizing Asynchronous Phase Synchronization in General GraphsChi-Hung Tzeng, Jehn-Ruey Jiang, Shing-Tsaan Huang. 501-515 [doi]
• Composition of Fault-Containing Protocols Based on Recovery Waiting Fault-Containing Composition FrameworkYukiko Yamauchi, Sayaka Kamei, Fukuhito Ooshita, Yoshiaki Katayama, Hirotsugu Kakugawa, Toshimitsu Masuzawa. 516-532 [doi]
• Energy-Efficient and Non-interactive Self-certification in MANETsJeong Hyun Yi. 533-547 [doi]
• Self-adaptive Worms and CountermeasuresWei Yu, Nan Zhang 0004, Wei Zhao. 548-562 [doi]
• Brief Announcement: Self-healing Algorithms for Reconfigurable NetworksIching Boman, Jared Saia, Chaouki T. Abdallah, Edl Schamiloglu. 563-565 [doi]
• Brief Announcement: Distributed Synthesis of Fault-ToleranceBorzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad. 566-567 [doi]
• Brief Announcement: Exploration and Mitigation of Deafness Problems in Directional Antennas Based Wireless Ad-Hoc NetworksKai Chen, Fan Jiang, Zongyao Tang. 568-569 [doi]
• Brief Announcement: A Synthetic Public Key Management Scheme for Large-Scale MANETPan Dong, Peidong Zhu, Xicheng Lu. 570-571 [doi]
• Brief Announcement: Termination Detection in an Asynchronous Distributed System with Crash-Recovery FailuresFelix C. Freiling, Matthias Majuntke, Neeraj Mittal. 572-573 [doi]
• Brief Announcement: Self-stabilizing Spanning Tree Algorithm for Large Scale SystemsThomas Hérault, Pierre Lemarinier, Olivier Peres, Laurence Pilard, Joffroy Beauquier. 574-575 [doi]
• Brief Announcement: Chasing the Weakest System Model for Implementing ::::Omega:::: and ConsensusMartin Hutle, Dahlia Malkhi, Ulrich Schmid, Lidong Zhou. 576-577 [doi]
• Brief Announcement: Wait-Free Dining for Eventual Weak ExclusionScott M. Pike, Yantao Song, Kaustav Ghoshal. 578-579 [doi]
• Brief Announcement: An Efficient and Self-stabilizing Link Formation AlgorithmJun Kiniwa, Kensaku Kikuta. 580-581 [doi]
• Brief Announcement: Analyzing the Interactions of Self-propagating Codes in Multi-hop NetworksSapon Tanachaiwiwat, Ahmed Helmy. 582-583 [doi]
• Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded SystemsIna Schaefer, Arnd Poetzsch-Heffter. 584-585 [doi]
• Brief Announcement: An Adaptive Randomised Searching Protocol in Peer-to-Peer Systems Based on Probabilistic Weak Quorum SystemYu Wu, Taisuke Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa. 586-587 [doi]