The following papers have been accepted for presentation at SSS 2007:

  • Tina Nolte and Nancy Lynch. Self-Stabilization and Virtual Node Layer Emulations
  • Shlomi Dolev, Ephraim Korach and Galit Uzan. Magnifying Computing Gaps, Establishing Encrypted Communication Over Unidirectional Channels
  • Jaap-Henk Hoepman, Andreas Larsson, Elad M. Schiller and Philippas Tsigas. Secure and Self-Stabilizing Clock Synchronization in Sensor Networks
  • Devismes Stéphane, Carole Delporte and Hugues Fauconnier. Robust Stabilizing Leader Election
  • Bertrand Ducourthial. r-semi-group: a generic approach for designing stabilizing silent tasks
  • Borzoo Bonakdarpour, Sandeep Kulkarni and Fuad Abujarad. Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model
  • Fredrik Manne and Morten Mjelde. A Self-Stabilizing Weighted Matching Algorithm
  • Hui Cao and Anish Arora. Stabilization in dynamic systems with varying equilibrium
  • Yu Chen and Wei Chen. Decentralized, Connectivity-Preserving, and Cost-Effective Structured Overlay Maintenance
  • Young-ri Choi and Mohamed Gouda. Stabilization of Flood Sequencing Protocols in Sensor Networks
  • Taisuke Izumi and Koichi Wada. On the Probabilistic Omission Adversary
  • Viacheslav Chernoy, Mordechai Shalom, and Shmuel Zaks. On the Performance of Dijkstra's Third Self-Stabilizing Algorithm for Mutual Exclusion
  • Davide Canepa and Maria Gradinariu Potop-Butucaru. Flocking via leader election in robot networks
  • Martin Biely, Martin Hutle, Lucia Penso and Josef Widder. Relating Stabilizing Timing Assumptions to Stabilizing Failure Detectors Regarding Solvability and Efficiency
  • Mohamed Gouda and Yan Li. The Truth System: Can a System of Lying Processes Stabilize?
  • Roberto Cortinas, Felix Freiling, Marjan Ghajar-Azadanlou, Alberto Lafuente, Mikel Larrea, Lucia Penso and Iratxe Soraluze. Secure Failure Detection in TrustedPals
  • Anurag Dasgupta, Sukumar Ghosh and Xin Xiao. Probabilistic fault-containment
  • Shlomi Dolev and Reuven Yagel. Stabilizing Trust and Reputation for Self-Stabilizing Efficient Hosts in Spite of Byzantine Guests
  • Fabien Mathieu. Upper Bounds for Acyclic Preference-Based Networks
  • Arshad Jhumka and Felix Freiling. Global Predicate Detection in Distributed Systems with Small Faults
  • Ajoy Datta, Maria Gradinariu Potop-Butucaru, Rajesh Patel and Ai Yamazaki. Self* Minimum Connected Covers of Query Regions in Sensor Networks
  • Ted Herman, Sriram Pemmaraju, Laurence Pilard and Morten Mjelde. Temporal Partition in Sensor Networks
  • Bogdan Chlebus, Dariusz Kowalski and Mariusz Rokicki. Stability of the multiple-access channel under maximum broadcast loads
  • Danny Dolev and Ezra Hoch. Byzantine Self-Stabilizing Pulse in a Bounded-Delay Model
  • Eddy Caron, Frederic Desprez, Franck Petit and Cedric Tedeschi. Snap-stabilizing Prefix Tree for Peer-to-peer Systems
  • Rainer Bye, Katja Luther, Seyit Ahmet Camtepe, Tansu Alpcan, Sahin Albayrak and Bulent Yener. Decentralized Detector Generation in Cooperative Intrusion Detection Systems
  • Jorge Cobb. Stabilization of Loop-Free Dispersion Routing