SSS C

18 papers

YearTitle / Authors
2015A Fast and Scalable Payment Network with Bitcoin Duplex Micropayment Channels.
Christian Decker, Roger Wattenhofer
2015Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols.
Saba Aflaki, Borzoo Bonakdarpour, Sébastien Tixeuil
2015Avatar: A Time- and Space-Efficient Self-stabilizing Overlay Network.
Andrew Berns
2015Constructing Self-stabilizing Oscillators in Population Protocols.
Colin Cooper, Anissa Lamani, Giovanni Viglietta, Masafumi Yamashita, Yukiko Yamauchi
2015Efficient and Decentralized Polling Protocol for General Social Networks.
Bao-Thien Hoang, Abdessamad Imine
2015Enabling Minimal Dominating Set in Highly Dynamic Distributed Systems.
Swan Dubois, Mohamed-Hamza Kaaouachi, Franck Petit
2015Functional Encryption for Cascade Automata (Extended Abstract).
Dan Brownstein, Shlomi Dolev, Niv Gilboa
2015Reaching Approximate Byzantine Consensus with Multi-hop Communication.
Lili Su, Nitin H. Vaidya
2015Refinement of Probabilistic Stabilizing Programs Using Genetic Algorithms.
Ling Zhu, Jingshu Chen, Sandeep S. Kulkarni
2015Self-stabilizing Virtual Synchrony.
Shlomi Dolev, Chryssis Georgiou, Ioannis Marcoullis, Elad Michael Schiller
2015Stabilization, Safety, and Security of Distributed Systems - 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings
Andrzej Pelc, Alexander A. Schwarzmann
2015The Complexity of Data Aggregation in Static and Dynamic Wireless Sensor Networks.
Quentin Bramas, Sébastien Tixeuil
2015The Implication Problem of Computing Policies.
Rezwana Reaz, Muqeet Ali, Mohamed G. Gouda, Marijn Heule, Ehab S. Elmallah
2015The Match-Maker: Constant-Space Distributed Majority via Random Walks.
Leszek Gasieniec, David D. Hamilton, Russell Martin, Paul G. Spirakis
2015The k-Observer Problem on d-regular Graphs.
Benjamin Ries, Bernhard Schamberg, Walter Unger
2015Towards a Universal Approach for the Finite Departure Problem in Overlay Networks.
Andreas Koutsopoulos, Christian Scheideler, Thim Strothmann
2015Untangling Partial Agreement: Iterated x-consensus Simulations.
Damien Imbs, Sergio Rajsbaum, Adrián Valle
2015Verifying Recurrence Properties in Self-stabilization by Checking the Absence of Finite Counterexamples.
Oday Jubran, Eike Möhlmann, Oliver E. Theel