Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/sss/0002TM12,
  author       = {Sven K{\"{o}}hler and
                  Volker Turau and
                  Gerhard Mentges},
  editor       = {Andr{\'{e}}a W. Richa and
                  Christian Scheideler},
  title        = {Self-stabilizing Local k-Placement of Replicas with Minimal Variance},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 14th
                  International Symposium, {SSS} 2012, Toronto, Canada, October 1-4,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7596},
  pages        = {16--30},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33536-5\_2},
  doi          = {10.1007/978-3-642-33536-5\_2},
  timestamp    = {Wed, 18 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sss/0002TM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sss/AdamekNT12,
  author       = {Jordan Adamek and
                  Mikhail Nesterenko and
                  S{\'{e}}bastien Tixeuil},
  editor       = {Andr{\'{e}}a W. Richa and
                  Christian Scheideler},
  title        = {Evaluating Practical Tolerance Properties of Stabilizing Programs
                  through Simulation: The Case of Propagation of Information with Feedback},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 14th
                  International Symposium, {SSS} 2012, Toronto, Canada, October 1-4,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7596},
  pages        = {126--132},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33536-5\_13},
  doi          = {10.1007/978-3-642-33536-5\_13},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/AdamekNT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sss/AlagganGK12,
  author       = {Mohammad Alaggan and
                  S{\'{e}}bastien Gambs and
                  Anne{-}Marie Kermarrec},
  editor       = {Andr{\'{e}}a W. Richa and
                  Christian Scheideler},
  title        = {{BLIP:} Non-interactive Differentially-Private Similarity Computation
                  on Bloom filters},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 14th
                  International Symposium, {SSS} 2012, Toronto, Canada, October 1-4,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7596},
  pages        = {202--216},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33536-5\_20},
  doi          = {10.1007/978-3-642-33536-5\_20},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/AlagganGK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sss/AtenieseBBL12,
  author       = {Giuseppe Ateniese and
                  Roberto Baldoni and
                  Silvia Bonomi and
                  Giuseppe Antonio Di Luna},
  editor       = {Andr{\'{e}}a W. Richa and
                  Christian Scheideler},
  title        = {Oblivious Assignment with m Slots},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 14th
                  International Symposium, {SSS} 2012, Toronto, Canada, October 1-4,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7596},
  pages        = {187--201},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33536-5\_19},
  doi          = {10.1007/978-3-642-33536-5\_19},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/AtenieseBBL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sss/BehlDK12,
  author       = {Johannes Behl and
                  Tobias Distler and
                  R{\"{u}}diger Kapitza},
  editor       = {Andr{\'{e}}a W. Richa and
                  Christian Scheideler},
  title        = {{DQMP:} {A} Decentralized Protocol to Enforce Global Quotas in Cloud
                  Environments},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 14th
                  International Symposium, {SSS} 2012, Toronto, Canada, October 1-4,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7596},
  pages        = {217--231},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33536-5\_21},
  doi          = {10.1007/978-3-642-33536-5\_21},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/BehlDK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sss/BonakdarpourBG12,
  author       = {Borzoo Bonakdarpour and
                  Marius Bozga and
                  Gregor G{\"{o}}{\ss}ler},
  editor       = {Andr{\'{e}}a W. Richa and
                  Christian Scheideler},
  title        = {A Theory of Fault Recovery for Component-Based Models},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 14th
                  International Symposium, {SSS} 2012, Toronto, Canada, October 1-4,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7596},
  pages        = {314--328},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33536-5\_31},
  doi          = {10.1007/978-3-642-33536-5\_31},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/BonakdarpourBG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sss/BonnetDPPT12,
  author       = {Fran{\c{c}}ois Bonnet and
                  Xavier D{\'{e}}fago and
                  Franck Petit and
                  Maria Gradinariu Potop{-}Butucaru and
                  S{\'{e}}bastien Tixeuil},
  editor       = {Andr{\'{e}}a W. Richa and
                  Christian Scheideler},
  title        = {Brief Announcement: Discovering and Assessing Fine-Grained Metrics
                  in Robot Networks Protocols},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 14th
                  International Symposium, {SSS} 2012, Toronto, Canada, October 1-4,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7596},
  pages        = {282--284},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33536-5\_28},
  doi          = {10.1007/978-3-642-33536-5\_28},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sss/BonnetDPPT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sss/BrandesW12,
  author       = {Philipp Brandes and
                  Roger Wattenhofer},
  editor       = {Andr{\'{e}}a W. Richa and
                  Christian Scheideler},
  title        = {On Finding Better Friends in Social Networks},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 14th
                  International Symposium, {SSS} 2012, Toronto, Canada, October 1-4,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7596},
  pages        = {266--278},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33536-5\_26},
  doi          = {10.1007/978-3-642-33536-5\_26},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/BrandesW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sss/BridgmanG12,
  author       = {John Bridgman and
                  Vijay K. Garg},
  editor       = {Andr{\'{e}}a W. Richa and
                  Christian Scheideler},
  title        = {All-to-All Gradecast Using Coding with Byzantine Failures},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 14th
                  International Symposium, {SSS} 2012, Toronto, Canada, October 1-4,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7596},
  pages        = {285--298},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33536-5\_29},
  doi          = {10.1007/978-3-642-33536-5\_29},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/BridgmanG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sss/CaronCLP12,
  author       = {Eddy Caron and
                  Florent Chuffart and
                  Anissa Lamani and
                  Franck Petit},
  editor       = {Andr{\'{e}}a W. Richa and
                  Christian Scheideler},
  title        = {Optimization in a Self-stabilizing Service Discovery Framework for
                  Large Scale Systems},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 14th
                  International Symposium, {SSS} 2012, Toronto, Canada, October 1-4,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7596},
  pages        = {239--252},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33536-5\_24},
  doi          = {10.1007/978-3-642-33536-5\_24},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/CaronCLP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sss/CasimiroKKSTCPJL12,
  author       = {Ant{\'{o}}nio Casimiro and
                  J{\"{o}}rg Kaiser and
                  Johan Karlsson and
                  Elad Michael Schiller and
                  Philippas Tsigas and
                  Pedro Costa and
                  Jos{\'{e}} Parizi and
                  Rolf Johansson and
                  Renato Librino},
  editor       = {Andr{\'{e}}a W. Richa and
                  Christian Scheideler},
  title        = {Brief Announcement: {KARYON:} Towards Safety Kernels for Cooperative
                  Vehicular Systems},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 14th
                  International Symposium, {SSS} 2012, Toronto, Canada, October 1-4,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7596},
  pages        = {232--235},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33536-5\_22},
  doi          = {10.1007/978-3-642-33536-5\_22},
  timestamp    = {Tue, 08 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/CasimiroKKSTCPJL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sss/ChenK12,
  author       = {Jingshu Chen and
                  Sandeep S. Kulkarni},
  editor       = {Andr{\'{e}}a W. Richa and
                  Christian Scheideler},
  title        = {Brief Announcement: Verification of Stabilizing Programs with {SMT}
                  Solvers},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 14th
                  International Symposium, {SSS} 2012, Toronto, Canada, October 1-4,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7596},
  pages        = {179--182},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33536-5\_17},
  doi          = {10.1007/978-3-642-33536-5\_17},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/ChenK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sss/DattaDL12,
  author       = {Ajoy Kumar Datta and
                  St{\'{e}}phane Devismes and
                  Lawrence L. Larmore},
  editor       = {Andr{\'{e}}a W. Richa and
                  Christian Scheideler},
  title        = {Brief Announcement: Self-stabilizing Silent Disjunction in an Anonymous
                  Network},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 14th
                  International Symposium, {SSS} 2012, Toronto, Canada, October 1-4,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7596},
  pages        = {46--48},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33536-5\_5},
  doi          = {10.1007/978-3-642-33536-5\_5},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/DattaDL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sss/DevismesLPRT12,
  author       = {St{\'{e}}phane Devismes and
                  Anissa Lamani and
                  Franck Petit and
                  Pascal Raymond and
                  S{\'{e}}bastien Tixeuil},
  editor       = {Andr{\'{e}}a W. Richa and
                  Christian Scheideler},
  title        = {Optimal Grid Exploration by Asynchronous Oblivious Robots},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 14th
                  International Symposium, {SSS} 2012, Toronto, Canada, October 1-4,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7596},
  pages        = {64--76},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33536-5\_7},
  doi          = {10.1007/978-3-642-33536-5\_7},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/DevismesLPRT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sss/DolevGH12,
  author       = {Shlomi Dolev and
                  Niv Gilboa and
                  Ofer Hermoni},
  editor       = {Andr{\'{e}}a W. Richa and
                  Christian Scheideler},
  title        = {Brief Announcement: Arbitrators in the Security Infrastructure},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 14th
                  International Symposium, {SSS} 2012, Toronto, Canada, October 1-4,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7596},
  pages        = {236--238},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33536-5\_23},
  doi          = {10.1007/978-3-642-33536-5\_23},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/DolevGH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sss/DolevHSS12,
  author       = {Shlomi Dolev and
                  Ariel Hanemann and
                  Elad Michael Schiller and
                  Shantanu Sharma},
  editor       = {Andr{\'{e}}a W. Richa and
                  Christian Scheideler},
  title        = {Self-stabilizing End-to-End Communication in (Bounded Capacity, Omitting,
                  Duplicating and non-FIFO) Dynamic Networks - (Extended Abstract)},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 14th
                  International Symposium, {SSS} 2012, Toronto, Canada, October 1-4,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7596},
  pages        = {133--147},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33536-5\_14},
  doi          = {10.1007/978-3-642-33536-5\_14},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/DolevHSS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sss/DucourthialCD12,
  author       = {Bertrand Ducourthial and
                  V{\'{e}}ronique Cherfaoui and
                  Thierry Denoeux},
  editor       = {Andr{\'{e}}a W. Richa and
                  Christian Scheideler},
  title        = {Self-stabilizing Distributed Data Fusion},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 14th
                  International Symposium, {SSS} 2012, Toronto, Canada, October 1-4,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7596},
  pages        = {148--162},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33536-5\_15},
  doi          = {10.1007/978-3-642-33536-5\_15},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sss/DucourthialCD12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sss/FlocchiniKMS12,
  author       = {Paola Flocchini and
                  Matthew Kellett and
                  Peter C. Mason and
                  Nicola Santoro},
  editor       = {Andr{\'{e}}a W. Richa and
                  Christian Scheideler},
  title        = {Fault-Tolerant Exploration of an Unknown Dangerous Graph by Scattered
                  Agents},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 14th
                  International Symposium, {SSS} 2012, Toronto, Canada, October 1-4,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7596},
  pages        = {299--313},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33536-5\_30},
  doi          = {10.1007/978-3-642-33536-5\_30},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/FlocchiniKMS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sss/FuggerKNZ12,
  author       = {Matthias F{\"{u}}gger and
                  Alexander K{\"{o}}{\ss}ler and
                  Thomas Nowak and
                  Martin Zeiner},
  editor       = {Andr{\'{e}}a W. Richa and
                  Christian Scheideler},
  title        = {Brief Announcement: The Degrading Effect of Forgetting on a Synchronizer},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 14th
                  International Symposium, {SSS} 2012, Toronto, Canada, October 1-4,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7596},
  pages        = {90--91},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33536-5\_9},
  doi          = {10.1007/978-3-642-33536-5\_9},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/FuggerKNZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sss/IzumiYK12,
  author       = {Tomoko Izumi and
                  Yukiko Yamauchi and
                  Sayaka Kamei},
  editor       = {Andr{\'{e}}a W. Richa and
                  Christian Scheideler},
  title        = {Brief Announcement: Mobile Agent Rendezvous on Edge Evolving Rings},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 14th
                  International Symposium, {SSS} 2012, Toronto, Canada, October 1-4,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7596},
  pages        = {92--94},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33536-5\_10},
  doi          = {10.1007/978-3-642-33536-5\_10},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sss/IzumiYK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sss/JarrayaEDZP12,
  author       = {Yosr Jarraya and
                  Arash Eghtesadi and
                  Mourad Debbabi and
                  Ying Zhang and
                  Makan Pourzandi},
  editor       = {Andr{\'{e}}a W. Richa and
                  Christian Scheideler},
  title        = {Formal Verification of Security Preservation for Migrating Virtual
                  Machines in the Cloud},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 14th
                  International Symposium, {SSS} 2012, Toronto, Canada, October 1-4,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7596},
  pages        = {111--125},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33536-5\_12},
  doi          = {10.1007/978-3-642-33536-5\_12},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/JarrayaEDZP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sss/JohnenM12,
  author       = {Colette Johnen and
                  Fouzi Mekhaldi},
  editor       = {Andr{\'{e}}a W. Richa and
                  Christian Scheideler},
  title        = {From Self- to Self-stabilizing with Service Guarantee 1-hop Weight-Based
                  Clustering},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 14th
                  International Symposium, {SSS} 2012, Toronto, Canada, October 1-4,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7596},
  pages        = {163--178},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33536-5\_16},
  doi          = {10.1007/978-3-642-33536-5\_16},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/JohnenM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sss/LiD012,
  author       = {Na Li and
                  Sajal K. Das and
                  Nan Zhang},
  editor       = {Andr{\'{e}}a W. Richa and
                  Christian Scheideler},
  title        = {Brief Announcement: Detecting Users' Connectivity on Online Social
                  Networks},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 14th
                  International Symposium, {SSS} 2012, Toronto, Canada, October 1-4,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7596},
  pages        = {279--281},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33536-5\_27},
  doi          = {10.1007/978-3-642-33536-5\_27},
  timestamp    = {Thu, 03 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/LiD012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sss/LiuSL12,
  author       = {Yanhong A. Liu and
                  Scott D. Stoller and
                  Bo Lin},
  editor       = {Andr{\'{e}}a W. Richa and
                  Christian Scheideler},
  title        = {High-Level Executable Specifications of Distributed Algorithms},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 14th
                  International Symposium, {SSS} 2012, Toronto, Canada, October 1-4,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7596},
  pages        = {95--110},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33536-5\_11},
  doi          = {10.1007/978-3-642-33536-5\_11},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/LiuSL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sss/Malekpour12,
  author       = {Mahyar R. Malekpour},
  editor       = {Andr{\'{e}}a W. Richa and
                  Christian Scheideler},
  title        = {Brief Announcement: Self-stabilizing Synchronization of Arbitrary
                  Digraphs in Presence of Faults},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 14th
                  International Symposium, {SSS} 2012, Toronto, Canada, October 1-4,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7596},
  pages        = {43--45},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33536-5\_4},
  doi          = {10.1007/978-3-642-33536-5\_4},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/Malekpour12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sss/MichailCS12,
  author       = {Othon Michail and
                  Ioannis Chatzigiannakis and
                  Paul G. Spirakis},
  editor       = {Andr{\'{e}}a W. Richa and
                  Christian Scheideler},
  title        = {Terminating Population Protocols via Some Minimal Global Knowledge
                  Assumptions},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 14th
                  International Symposium, {SSS} 2012, Toronto, Canada, October 1-4,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7596},
  pages        = {77--89},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33536-5\_8},
  doi          = {10.1007/978-3-642-33536-5\_8},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sss/MichailCS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sss/MuftuogluBS12,
  author       = {Can Arda Muftuoglu and
                  P{\'{e}}ter Bokor and
                  Neeraj Suri},
  editor       = {Andr{\'{e}}a W. Richa and
                  Christian Scheideler},
  title        = {Brief Announcement: MP-State: State-Aware Software Model Checking
                  of Message-Passing Systems},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 14th
                  International Symposium, {SSS} 2012, Toronto, Canada, October 1-4,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7596},
  pages        = {183--186},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33536-5\_18},
  doi          = {10.1007/978-3-642-33536-5\_18},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/MuftuogluBS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sss/NeggaziHK12,
  author       = {Brahim Neggazi and
                  Mohammed Haddad and
                  Hamamache Kheddouci},
  editor       = {Andr{\'{e}}a W. Richa and
                  Christian Scheideler},
  title        = {Self-stabilizing Algorithm for Maximal Graph Partitioning into Triangles},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 14th
                  International Symposium, {SSS} 2012, Toronto, Canada, October 1-4,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7596},
  pages        = {31--42},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33536-5\_3},
  doi          = {10.1007/978-3-642-33536-5\_3},
  timestamp    = {Fri, 08 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sss/NeggaziHK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sss/OluwasanmiS12,
  author       = {Olumuyiwa Oluwasanmi and
                  Jared Saia},
  editor       = {Andr{\'{e}}a W. Richa and
                  Christian Scheideler},
  title        = {Scalable Byzantine Agreement with a Random Beacon},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 14th
                  International Symposium, {SSS} 2012, Toronto, Canada, October 1-4,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7596},
  pages        = {253--265},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33536-5\_25},
  doi          = {10.1007/978-3-642-33536-5\_25},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/OluwasanmiS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sss/OoshitaT12,
  author       = {Fukuhito Ooshita and
                  S{\'{e}}bastien Tixeuil},
  editor       = {Andr{\'{e}}a W. Richa and
                  Christian Scheideler},
  title        = {On the Self-stabilization of Mobile Oblivious Robots in Uniform Rings},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 14th
                  International Symposium, {SSS} 2012, Toronto, Canada, October 1-4,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7596},
  pages        = {49--63},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33536-5\_6},
  doi          = {10.1007/978-3-642-33536-5\_6},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/OoshitaT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sss/TakimotoOKM12,
  author       = {Tomoya Takimoto and
                  Fukuhito Ooshita and
                  Hirotsugu Kakugawa and
                  Toshimitsu Masuzawa},
  editor       = {Andr{\'{e}}a W. Richa and
                  Christian Scheideler},
  title        = {Communication-Efficient Self-stabilization in Wireless Networks},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 14th
                  International Symposium, {SSS} 2012, Toronto, Canada, October 1-4,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7596},
  pages        = {1--15},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33536-5\_1},
  doi          = {10.1007/978-3-642-33536-5\_1},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/TakimotoOKM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sss/2012,
  editor       = {Andr{\'{e}}a W. Richa and
                  Christian Scheideler},
  title        = {Stabilization, Safety, and Security of Distributed Systems - 14th
                  International Symposium, {SSS} 2012, Toronto, Canada, October 1-4,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7596},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33536-5},
  doi          = {10.1007/978-3-642-33536-5},
  isbn         = {978-3-642-33535-8},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/2012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.