8th International Symposium on Stabilization, Safety, and Security of Distributed Systems Call for Papers Conference Organization Accepted Papers Invited Speakers Conference Program Registration Local Information Panel << Index Login  Pass  Accepted Papers · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · ·  Regular Papers: Self-Stabilizing Philosophers with Generic Conflicts Praveen Danturi, Kent State University, USA Mikhail Nesterenko, Kent State University, USA Sebastien Tixeuil, Universite Paris Sud, France Self-Stabilizing Asynchronous Phase Synchronization in General Graphs Chi-Hung Tzeng, National Tsing Hua University, Taiwan, ROC Jehn-Ruey Jiang, National Central University, Taiwan, ROC Shing-Tsaan Huang, National Central University, Taiwan, ROC Distributed Edge Coloration for Bipartite Networks Shing-Tsaan Huang, National Central University, Taiwan, ROC Chi-Hung Tzeng, National Tsing Hua University, Taiwan, ROC Stabilization and Fault Masking of Tri-Redundant Systems Mohamed Gouda, University of Texas at Austin, USA Jorge Cobb, University of Texas at Dallas, USA Furman Haddix, Texas State University, USA Chin-Tser Huang, University of South Carolina, USA Self-Adaptive Disk Arrays Jehan-Francois Paris, University of Houston, USA Thomas J. E. Schwarz, Santa Clara University, USA Darrell D. E. Long, University of California, Santa Cruz, USA All k-bounded policies are equivalent for self-stabilization Joffroy Beauquier, Universite Paris Sud, France Colette Johnen, Universite Paris Sud, France Stephane Messika, Universite Paris Sud, France Safe Peer-to-Peer Self-Downloading Ted Herman, University of Iowa, USA Colette Johnen, Universite Paris Sud, France Kajari Ghosh Dastidar, University of Iowa, USA Self-Stabilizing Device Drivers Shlomi Dolev, Ben-Gurion University, Israel Reuven Yagel, Ben-Gurion University, Israel Fault Tolerance Measures of k-Covered Wireless Sensor Networks Habib Ammari, University of Texas at Arlington, USA Sajal Das, University of Texas at Arlington, USA A Memory Efficient Self-stabilizing Algorithm for Maximal k-packing Fredrik Manne, University of Bergen, Norway Morten Mjelde, University of Bergen, Norway Circle Formation of Weak Mobile Robots Yoann Dieudonne, Universite of Picardie Jules Verne, France Ouiddad Labbani-Igbida, University of Picardie Jules Verne, France Franck Petit, University of Picardie Jules Verne, France Logarithmic Keying of Communication Networks Mohamed Gouda, University of Texas at Austin, USA Sandeep Kulkarni, Michigan State University, USA Ehab Elmallah, University of Alberta, Canada From Self- to Snap- Stabilization Stephane Devismes, University of Picardie Jules Verne, France Alain Cournier, University of Picardie Jules Verne, France Vincent Villain, University of Picardie Jules Verne, France Toward a Time-Optimal Odd Phase Clock Unison on Trees Christian Boulinier, University of Picardie Jules Verne, France Franck Petit, University of Picardie Jules Verne, France Vincent Villain, University of Picardie Jules Verne, France Optimal Message-Driven Implementation of Omega with Mute Processes Martin Biely, Vienna University of Technology, Austria Josef Widder, Vienna University of Technology, Austria Recovery Oriented Programming Olga Brukman, Ben-Gurion University of the Negev, Israel Shlomi Dolev, Ben-Gurion University of the Negev, Israel Composition of fault-containing protocols based on Recovery Waiting Fault-containing Composition Framework Yukiko Yamauchi, Osaka University, Japan Sayaka Kamei, Tottori University of Environmental Studies, Japan Fukuhito Ooshita, Osaka University, Japan Yoshiaki Katayama, Nagoya Institute of Technology, Japan Hirotsugu Kakugawa, Osaka University, Japan Toshimitsu Masuzawa, Osaka University, Japan Power-Aware and Non-Interactive Self-Certification in MANETs Jeong Hyun Yi, Samsung Advanced Institute of Technology, Korea Unconscious Eventual Consistency with Gossips Roberto Baldoni, University of Rome, Italy Rachid Guerraoui, EPFL, Switzlerland Ron Levy, EPFL, Switzlerland Vivien Quema, University of Rome, Italy Sara Tucci Piergiovanni, University of Rome, Italy Bounding the Impact of Unbounded Attacks in Stabilization Toshimitsu Masuzawa, Osaka University, Japan Sebastien Tixeuil, Universite Paris Sud, France Stabilizing Clock Synchronization for Wireless Sensor Networks Ted Herman, University of Iowa, USA Chen Zhang, University of Iowa, USA Using Eventually Consistent Compasses to Gather Oblivious Mobile Robots with Limited Visibility Samia Souissi, Japan Advanced Institute of Science and Technology, Japan Xavier Defago, Japan Advanced Institute of Science and Technology, Japan Masafumi Yamashita, Kyushu University, Japan A 1-Strong Self-Stabilizing Transformer Joffroy Beauquier, Universite Paris Sud, France Sylvie Delaet, Universite Paris Sud, France Sammy Haddad, Universite Paris Sud, France Self-Adaptive Worms and Countermeasures Wei Yu, Texas A&M University, USA Nan Zhang, Texas A&M University, USA Wei Zhao, Texas A&M University, USA Self-stabilizing Byzantine Digital Clock Synchronization Ezra Hoch, Hebrew University of Jerusalem, Israel Danny Dolev, Cornell University, USA Ariel Daliot, Hebrew University of Jerusalem, Israel A Byzantine-Fault Tolerant Self-Stabilizing Protocol for Distributed Clock Synchronization Systems Mahyar Malekpour, NASA Langley Research Center, USA Rapid Prototyping of Power Management Protocols for Sensor Networks: A Case Study Mahesh Arumugam, Michigan State University, USA Limin Wang, Michigan State University, USA Sandeep Kulkarni, Michigan State University, USA On Bootstrapping Topology Knowledge in Anonymous Networks Toshimitsu Masuzawa, Osaka University, Japan Sebastien Tixeuil, Universite Paris Sud, France Self-protection for distributed component-based applications Benoit Claudel, Institut National Polytechnique de Grenoble, France Noel De Palma, Institut National Polytechnique de Grenoble, France Renaud Lachaize, Institut National Polytechnique de Grenoble, France Daniel Hagimont, Institut National Polytechnique de Toulouse, France Stabilizing Health Monitoring for Wireless Sensor Networks William Leal, Ohio State University, USA Sandip Bapat, Ohio State University, USA Taewoo Kwon, Ohio State University, USA Pihui Wei, Ohio State University, USA Anish Arora, Ohio State University, USA Competitive Stabilization Anurag Dasgupta, University of Iowa, USA Sukumar Ghosh, University of Iowa, USA Sebastien Tixeuil, Universite Paris Sud, France Reliability and Availability Analysis of Self-Stabilizing Systems Abhishek Dhama, Carl von Ossietzky University of Oldenburg, Germany Oliver Theel, Carl von Ossietzky University of Oldenburg, Germany Timo Warns, Carl von Ossietzky University of Oldenburg, Germany Automatic Incremental Synthesis of Fault-Tolerant Real-Time Programs Borzoo Bonakdarpour, Michigan State University, USA Sandeep Kulkarni, Michigan State University, USA A Dependable Intrusion Detection Architecture Based on Agreement Services Michel Hurfin, INRIA Rennes/IRISA, France Jean-Pierre Le Narzul, GET ENST Bretagne, France Frederic Majorczyk, Supelec, France Ludovic Me, Supelec, France Ayda Saidane, Supelec, France Eric Totel, Supelec, France Frederic Tronel, University of Rennes, France Secure Communication for RFIDs Proactive Information Security within Computational Security Shlomi Dolev, Ben-Gurion University, Israel Marina Kopeetsky, Sami-Shamoon College of Engineering, Israel Evaluation of a Tracking Architecture in Wireless Sensor Networks Florent Claerhout, University of Rennes, France · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · ·  Brief Announcements: Analyzing the Interactions of Self-Propagating Codes in Multi-hop Networks Sapon Tanachaiwiwat, University of Southern California, USA Ahmed Helmy, University of Southern California, USA A Synthetic Public Key Management Scheme for Large-scale MANET Dong Pan, National University of Defense Technology, China Zhu Peidong, National University of Defense Technology, China Lu Xicheng, National University of Defense Technology, China Self-Stabilizing Spanning Tree Algorithm for Large Scale Systems Thomas Herault, Universite Paris Sud, France Pierre Lemarinier, Universite Paris Sud, France Olivier Peres, Universite Paris Sud, France Laurence Pilard, Universite Paris Sud, France Joffroy Beauquier, Universite Paris Sud, France Responsive Algorithms for Defending Reconfigurable Networks I-Ching Boman, University of New Mexico, USA Jared Saia, University of New Mexico, USA Termination Detection in an Asynchronous Distributed System Felix C. Freiling, University of Mannheim, Germany Matthias Majuntke, RWTH Aachen University, Germany Neeraj Mittal, The University of Texas at Dallas, USA An Efficient and Self-Stabilizing Link Formation Algorithm Jun Kiniwa, University of Hyogo, Japan Kensaku Kikuta, University of Hyogo, Japan Chasing the Weakest System Model for Implementing Omega and Consensus Martin Hutle, EPFL, Switzerland Dahlia Malkhi, Microsoft Research, USA Ulrich Schmid, Vienna University of Technology, Austria Lidong Zhou, Microsoft Research, USA Exploitation and Mitigation of Deafness Problems in Wireless Ad-hoc Networks using Directional Antennas Kai Chen, University of Science and Technology of China, P.R.China Modular Verification of Stabilisation in Self-Adaptive Embedded Systems Ina Schaefer, Technische Universitaet Kaiserslautern, Germany Arnd Poetzsch-Heffter, Technische Universitaet Kaiserslautern, Germany An Adaptive Randomised Searching Protocol in Peer-to-peer Systems based on Probabilistic Weak Quorum System Wu Yu, Osaka University, Japan Izumi Taisuke, Osaka University, Japan Fukuhito Ooshita, Osaka University, Japan Hirotsugu Kakugawa, Osaka University, Japan Toshimitsu Masuzawa, Osaka University, Japan Wait-Free Dining Under Eventual Weak Exclusion Scott Pike, Texas A&M University, USA Yantao Song, Texas A&M University, USA Kaustav Ghoshal, Texas A&M University, USA Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model Borzoo Bonakdarpour, Michigan State University, USA Sandeep Kulkarni, Michigan State University, USA Fuad Abujarad, Michigan State University, USA SSS 2005 | SSS 2003 | WSS 2001 | WSS 1999 | WSS 1997 | WSS 1995 | WSS 1989