17th International Symposium on Stabilization, Safety,
and Security of Distributed Systems (SSS 2015)

Edmonton, Canada
18-21 August 2015

Accepted Papers

Regular Papers

3 Damien Imbs, Sergio Rajsbaum, and Adrian Valle Untangling Partial Agreement: Iterated x-Consensus Simulations
6 Benjamin Ries, Bernhard Schamberg, and Walter Unger The k-Observer Problem on d-regular Graphs
7 Rezwana Reaz, Muqeet Ali, Mohamed G. Gouda, Marijn J. H. Heule, and Ehab S. Elmallah The Implication Problem of Computing Policies
8 Thim Strothmann, Andreas Koutsopoulos, and Christian Scheideler Towards a Universal Approach for the Finite Departure Problem in Overlay Networks
10 Swan Dubois, Mohamed-Hamza Kaaouachi, and Franck Petit Dominating Set in Highly Dynamic Distributed Systems
14 Bao-Thien Hoang and Abdessamad Imine Efficient and Decentralized Polling Protocol for General Social Networks
17 Oday Jubran, Eike Moehlmann, and Oliver Theel Verifying Recurrence Properties in Self-Stabilization by Checking the Absence of Finite Counterexamples
20 Saba Aflaki, Borzoo Bonakdarpour, and Sebastien Tixeuil Automated Analysis of Impact of Scheduling on Performance of Self-Stabilizing Protocols
21 Andrew Berns Avatar: A Time- and Space-Efficient Self-Stabilizing Overlay Network
25 Shlomi Dolev, Niv Gilboa, and Dan Brownstein Functional Encryption for Cascade Automata
31 Colin Cooper, Anissa Lamani, Giovanni Viglietta, Masafumi Yamashita, and Yukiko Yamauchi Constructing Self-Stabilizing Oscillators in Population Protocols
32 Quentin Bramas and Sebastien Tixeuil The Complexity of Data Aggregation in Static and Dynamic Wireless Sensor Networks
34 Ling Zhu, Jingshu Chen, and Sandeep Kulkarni Refinement of Probabilistic Stabilizing Programs Using Genetic Algorithms
43 Shlomi Dolev, Chryssis Georgiou, Ioannis Marcoullis, and Elad Schiller Self-Stabilizing Virtual Synchrony
44 Leszek Gasieniec, David Hamilton, Russell Martin, and Paul Spirakis The Match-Maker: Constant-Space Distributed Majority via Random Walks
49 Lili Su and Nitin Vaidya Reaching Approximate Byzantine Consensus with Multi-hop Communication

Brief Announcements

11 Muqeet Ali, Rezwana Reaz, and Mohamed Gouda Rational Non-repudiation Protocols
16 Shlomi Dolev, Lukasz Krzywiecki, Nisha Panwar, and Michael Segal Vehicle to Vehicle Authentication
26 Reuven Yagel, Shlomi Dolev, Alexander Binun, Leonid Yankulin, Marc Lacoste, Thierry Coupaye, Mohammed Kassi-Lahlou, Alex Palesandro and Aurélien Wailly Data Stabilization Enforcement via Active Monitoring the Cloud Infrastructure Consistency Case
35 Sikder Huq and Sukumar Ghosh Self-adjusting Skip Graphs
41 Mohammad Rahman, Anirban Basu, and Shinsaku Kiyomoto Secure and Private Bidding Protocol for Incentive-based Demand-Response System of Smart Grid
42 Foto Afrati, Shlomi Dolev, Shantanu Sharma, and Jeffrey Ullman Meta-MapReduce: A Technique for Reducing Communication in MapReduce Computations
48 Thamer Alsulaiman, Andrew Berns, and Sukumar Ghosh A Framework for Containing the Degree Growth in Topological Self-stabilization
50 Jorge Cobb and Chin-Tser Huang Stabilizing Breach-Free Sensor Barriers
© Copyright 2015 - SSS 2015