Search dblp for Publications

export results for "toc:db/conf/sss/sss2015.bht:"

 download as .bib file

@inproceedings{DBLP:conf/sss/AflakiBT15,
  author       = {Saba Aflaki and
                  Borzoo Bonakdarpour and
                  S{\'{e}}bastien Tixeuil},
  editor       = {Andrzej Pelc and
                  Alexander A. Schwarzmann},
  title        = {Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing
                  Protocols},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 17th
                  International Symposium, {SSS} 2015, Edmonton, AB, Canada, August
                  18-21, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9212},
  pages        = {156--170},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21741-3\_11},
  doi          = {10.1007/978-3-319-21741-3\_11},
  timestamp    = {Sun, 25 Oct 2020 22:45:03 +0100},
  biburl       = {https://dblp.org/rec/conf/sss/AflakiBT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/Berns15,
  author       = {Andrew Berns},
  editor       = {Andrzej Pelc and
                  Alexander A. Schwarzmann},
  title        = {Avatar: {A} Time- and Space-Efficient Self-stabilizing Overlay Network},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 17th
                  International Symposium, {SSS} 2015, Edmonton, AB, Canada, August
                  18-21, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9212},
  pages        = {233--247},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21741-3\_16},
  doi          = {10.1007/978-3-319-21741-3\_16},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/Berns15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BramasT15,
  author       = {Quentin Bramas and
                  S{\'{e}}bastien Tixeuil},
  editor       = {Andrzej Pelc and
                  Alexander A. Schwarzmann},
  title        = {The Complexity of Data Aggregation in Static and Dynamic Wireless
                  Sensor Networks},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 17th
                  International Symposium, {SSS} 2015, Edmonton, AB, Canada, August
                  18-21, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9212},
  pages        = {36--50},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21741-3\_3},
  doi          = {10.1007/978-3-319-21741-3\_3},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/BramasT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BrownsteinDG15,
  author       = {Dan Brownstein and
                  Shlomi Dolev and
                  Niv Gilboa},
  editor       = {Andrzej Pelc and
                  Alexander A. Schwarzmann},
  title        = {Functional Encryption for Cascade Automata (Extended Abstract)},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 17th
                  International Symposium, {SSS} 2015, Edmonton, AB, Canada, August
                  18-21, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9212},
  pages        = {94--108},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21741-3\_7},
  doi          = {10.1007/978-3-319-21741-3\_7},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/BrownsteinDG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/CooperLVYY15,
  author       = {Colin Cooper and
                  Anissa Lamani and
                  Giovanni Viglietta and
                  Masafumi Yamashita and
                  Yukiko Yamauchi},
  editor       = {Andrzej Pelc and
                  Alexander A. Schwarzmann},
  title        = {Constructing Self-stabilizing Oscillators in Population Protocols},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 17th
                  International Symposium, {SSS} 2015, Edmonton, AB, Canada, August
                  18-21, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9212},
  pages        = {187--200},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21741-3\_13},
  doi          = {10.1007/978-3-319-21741-3\_13},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/CooperLVYY15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/DeckerW15,
  author       = {Christian Decker and
                  Roger Wattenhofer},
  editor       = {Andrzej Pelc and
                  Alexander A. Schwarzmann},
  title        = {A Fast and Scalable Payment Network with Bitcoin Duplex Micropayment
                  Channels},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 17th
                  International Symposium, {SSS} 2015, Edmonton, AB, Canada, August
                  18-21, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9212},
  pages        = {3--18},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21741-3\_1},
  doi          = {10.1007/978-3-319-21741-3\_1},
  timestamp    = {Wed, 12 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/DeckerW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/DolevGMS15,
  author       = {Shlomi Dolev and
                  Chryssis Georgiou and
                  Ioannis Marcoullis and
                  Elad Michael Schiller},
  editor       = {Andrzej Pelc and
                  Alexander A. Schwarzmann},
  title        = {Self-stabilizing Virtual Synchrony},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 17th
                  International Symposium, {SSS} 2015, Edmonton, AB, Canada, August
                  18-21, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9212},
  pages        = {248--264},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21741-3\_17},
  doi          = {10.1007/978-3-319-21741-3\_17},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/DolevGMS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/DuboisKP15,
  author       = {Swan Dubois and
                  Mohamed{-}Hamza Kaaouachi and
                  Franck Petit},
  editor       = {Andrzej Pelc and
                  Alexander A. Schwarzmann},
  title        = {Enabling Minimal Dominating Set in Highly Dynamic Distributed Systems},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 17th
                  International Symposium, {SSS} 2015, Edmonton, AB, Canada, August
                  18-21, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9212},
  pages        = {51--66},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21741-3\_4},
  doi          = {10.1007/978-3-319-21741-3\_4},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sss/DuboisKP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/GasieniecHMS15,
  author       = {Leszek Gasieniec and
                  David D. Hamilton and
                  Russell Martin and
                  Paul G. Spirakis},
  editor       = {Andrzej Pelc and
                  Alexander A. Schwarzmann},
  title        = {The Match-Maker: Constant-Space Distributed Majority via Random Walks},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 17th
                  International Symposium, {SSS} 2015, Edmonton, AB, Canada, August
                  18-21, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9212},
  pages        = {67--80},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21741-3\_5},
  doi          = {10.1007/978-3-319-21741-3\_5},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/GasieniecHMS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/HoangI15,
  author       = {Bao{-}Thien Hoang and
                  Abdessamad Imine},
  editor       = {Andrzej Pelc and
                  Alexander A. Schwarzmann},
  title        = {Efficient and Decentralized Polling Protocol for General Social Networks},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 17th
                  International Symposium, {SSS} 2015, Edmonton, AB, Canada, August
                  18-21, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9212},
  pages        = {171--186},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21741-3\_12},
  doi          = {10.1007/978-3-319-21741-3\_12},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/HoangI15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/ImbsRV15,
  author       = {Damien Imbs and
                  Sergio Rajsbaum and
                  Adri{\'{a}}n Valle},
  editor       = {Andrzej Pelc and
                  Alexander A. Schwarzmann},
  title        = {Untangling Partial Agreement: Iterated x-consensus Simulations},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 17th
                  International Symposium, {SSS} 2015, Edmonton, AB, Canada, August
                  18-21, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9212},
  pages        = {139--155},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21741-3\_10},
  doi          = {10.1007/978-3-319-21741-3\_10},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/ImbsRV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/JubranMT15,
  author       = {Oday Jubran and
                  Eike M{\"{o}}hlmann and
                  Oliver E. Theel},
  editor       = {Andrzej Pelc and
                  Alexander A. Schwarzmann},
  title        = {Verifying Recurrence Properties in Self-stabilization by Checking
                  the Absence of Finite Counterexamples},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 17th
                  International Symposium, {SSS} 2015, Edmonton, AB, Canada, August
                  18-21, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9212},
  pages        = {124--138},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21741-3\_9},
  doi          = {10.1007/978-3-319-21741-3\_9},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/JubranMT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/KoutsopoulosSS15,
  author       = {Andreas Koutsopoulos and
                  Christian Scheideler and
                  Thim Strothmann},
  editor       = {Andrzej Pelc and
                  Alexander A. Schwarzmann},
  title        = {Towards a Universal Approach for the Finite Departure Problem in Overlay
                  Networks},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 17th
                  International Symposium, {SSS} 2015, Edmonton, AB, Canada, August
                  18-21, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9212},
  pages        = {201--216},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21741-3\_14},
  doi          = {10.1007/978-3-319-21741-3\_14},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/KoutsopoulosSS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/ReazAGHE15,
  author       = {Rezwana Reaz and
                  Muqeet Ali and
                  Mohamed G. Gouda and
                  Marijn Heule and
                  Ehab S. Elmallah},
  editor       = {Andrzej Pelc and
                  Alexander A. Schwarzmann},
  title        = {The Implication Problem of Computing Policies},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 17th
                  International Symposium, {SSS} 2015, Edmonton, AB, Canada, August
                  18-21, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9212},
  pages        = {109--123},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21741-3\_8},
  doi          = {10.1007/978-3-319-21741-3\_8},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/ReazAGHE15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/RiesSU15,
  author       = {Benjamin Ries and
                  Bernhard Schamberg and
                  Walter Unger},
  editor       = {Andrzej Pelc and
                  Alexander A. Schwarzmann},
  title        = {The k-Observer Problem on d-regular Graphs},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 17th
                  International Symposium, {SSS} 2015, Edmonton, AB, Canada, August
                  18-21, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9212},
  pages        = {81--93},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21741-3\_6},
  doi          = {10.1007/978-3-319-21741-3\_6},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/RiesSU15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/SuV15,
  author       = {Lili Su and
                  Nitin H. Vaidya},
  editor       = {Andrzej Pelc and
                  Alexander A. Schwarzmann},
  title        = {Reaching Approximate Byzantine Consensus with Multi-hop Communication},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 17th
                  International Symposium, {SSS} 2015, Edmonton, AB, Canada, August
                  18-21, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9212},
  pages        = {21--35},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21741-3\_2},
  doi          = {10.1007/978-3-319-21741-3\_2},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/SuV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/ZhuCK15,
  author       = {Ling Zhu and
                  Jingshu Chen and
                  Sandeep S. Kulkarni},
  editor       = {Andrzej Pelc and
                  Alexander A. Schwarzmann},
  title        = {Refinement of Probabilistic Stabilizing Programs Using Genetic Algorithms},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 17th
                  International Symposium, {SSS} 2015, Edmonton, AB, Canada, August
                  18-21, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9212},
  pages        = {217--232},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21741-3\_15},
  doi          = {10.1007/978-3-319-21741-3\_15},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/ZhuCK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sss/2015,
  editor       = {Andrzej Pelc and
                  Alexander A. Schwarzmann},
  title        = {Stabilization, Safety, and Security of Distributed Systems - 17th
                  International Symposium, {SSS} 2015, Edmonton, AB, Canada, August
                  18-21, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9212},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21741-3},
  doi          = {10.1007/978-3-319-21741-3},
  isbn         = {978-3-319-21740-6},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics