LIPIcs, Volume 153
OPODIS 2019, December 17-19, 2019, Neuchâtel, Switzerland
Editors: Pascal Felber, Roy Friedman, Seth Gilbert, and Avery Miller
LIPIcs, Volume 95
OPODIS 2017, December 18-20, 2017, Lisbon, Portugal
Editors: James Aspnes, Alysson Bessani, Pascal Felber, and João Leitão
Published in: LITES, Volume 8, Issue 2 (2022): Special Issue on Distributed Hybrid Systems. Leibniz Transactions on Embedded Systems, Volume 8, Issue 2
Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, and Xavier Urbain. Swarms of Mobile Robots: Towards Versatility with Safety. In LITES, Volume 8, Issue 2 (2022): Special Issue on Distributed Hybrid Systems. Leibniz Transactions on Embedded Systems, Volume 8, Issue 2, pp. 02:1-02:36, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2022)
@Article{courtieu_et_al:LITES.8.2.2, author = {Courtieu, Pierre and Rieg, Lionel and Tixeuil, S\'{e}bastien and Urbain, Xavier}, title = {{Swarms of Mobile Robots: Towards Versatility with Safety}}, booktitle = {LITES, Volume 8, Issue 2 (2022): Special Issue on Distributed Hybrid Systems}, pages = {02:1--02:36}, journal = {Leibniz Transactions on Embedded Systems}, ISSN = {2199-2002}, year = {2022}, volume = {8}, number = {2}, editor = {Courtieu, Pierre and Rieg, Lionel and Tixeuil, S\'{e}bastien and Urbain, Xavier}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES.8.2.2}, doi = {10.4230/LITES.8.2.2}, annote = {Keywords: distributed algorithm, mobile autonomous robots, formal proof} }
Published in: LIPIcs, Volume 184, 24th International Conference on Principles of Distributed Systems (OPODIS 2020)
Pascal Felber. Big Data Processing: Security and Scalability Challenges (Invited Talk). In 24th International Conference on Principles of Distributed Systems (OPODIS 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 184, p. 1:1, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2021)
@InProceedings{felber:LIPIcs.OPODIS.2020.1, author = {Felber, Pascal}, title = {{Big Data Processing: Security and Scalability Challenges}}, booktitle = {24th International Conference on Principles of Distributed Systems (OPODIS 2020)}, pages = {1:1--1:1}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-176-4}, ISSN = {1868-8969}, year = {2021}, volume = {184}, editor = {Bramas, Quentin and Oshman, Rotem and Romano, Paolo}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2020.1}, URN = {urn:nbn:de:0030-drops-134863}, doi = {10.4230/LIPIcs.OPODIS.2020.1}, annote = {Keywords: Big Data} }
Published in: LIPIcs, Volume 153, 23rd International Conference on Principles of Distributed Systems (OPODIS 2019)
Pascal Felber, Roy Friedman, Seth Gilbert, and Avery Miller. LIPIcs, Vol. 153, OPODIS 2019, Complete Volume. In 23rd International Conference on Principles of Distributed Systems (OPODIS 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 153, pp. 1-564, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@Proceedings{felber_et_al:LIPIcs.OPODIS.2019, title = {{LIPIcs, Vol. 153, OPODIS 2019, Complete Volume}}, booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)}, pages = {1--564}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-133-7}, ISSN = {1868-8969}, year = {2020}, volume = {153}, editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019}, URN = {urn:nbn:de:0030-drops-119510}, doi = {10.4230/LIPIcs.OPODIS.2019}, annote = {Keywords: LIPIcs, Vol. 153, OPODIS 2019, Complete Volume} }
Published in: LIPIcs, Volume 153, 23rd International Conference on Principles of Distributed Systems (OPODIS 2019)
Pascal Felber, Roy Friedman, Seth Gilbert, and Avery Miller. Front Matter, Table of Contents, Preface, Conference Organization. In 23rd International Conference on Principles of Distributed Systems (OPODIS 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 153, pp. 0:i-0:xxii, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@InProceedings{felber_et_al:LIPIcs.OPODIS.2019.0, author = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)}, pages = {0:i--0:xxii}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-133-7}, ISSN = {1868-8969}, year = {2020}, volume = {153}, editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.0}, URN = {urn:nbn:de:0030-drops-117869}, doi = {10.4230/LIPIcs.OPODIS.2019.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} }
Published in: LIPIcs, Volume 153, 23rd International Conference on Principles of Distributed Systems (OPODIS 2019)
Rachid Guerraoui. Demystifying Bitcoin (Keynote Abstract). In 23rd International Conference on Principles of Distributed Systems (OPODIS 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 153, p. 1:1, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@InProceedings{guerraoui:LIPIcs.OPODIS.2019.1, author = {Guerraoui, Rachid}, title = {{Demystifying Bitcoin}}, booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)}, pages = {1:1--1:1}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-133-7}, ISSN = {1868-8969}, year = {2020}, volume = {153}, editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.1}, URN = {urn:nbn:de:0030-drops-117870}, doi = {10.4230/LIPIcs.OPODIS.2019.1}, annote = {Keywords: Bitcoin, Payment systems} }
Published in: LIPIcs, Volume 153, 23rd International Conference on Principles of Distributed Systems (OPODIS 2019)
Keren Censor-Hillel. Distributed Optimization And Approximation: How Difficult Can It Be? (Keynote Abstract). In 23rd International Conference on Principles of Distributed Systems (OPODIS 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 153, p. 2:1, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@InProceedings{censorhillel:LIPIcs.OPODIS.2019.2, author = {Censor-Hillel, Keren}, title = {{Distributed Optimization And Approximation: How Difficult Can It Be?}}, booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)}, pages = {2:1--2:1}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-133-7}, ISSN = {1868-8969}, year = {2020}, volume = {153}, editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.2}, URN = {urn:nbn:de:0030-drops-117886}, doi = {10.4230/LIPIcs.OPODIS.2019.2}, annote = {Keywords: Distributed graph algorithms, Optimization and approximations} }
Published in: LIPIcs, Volume 153, 23rd International Conference on Principles of Distributed Systems (OPODIS 2019)
Haris Pozidis. Snap ML - Accelerated Machine Learning for Big Data (Keynote Abstract). In 23rd International Conference on Principles of Distributed Systems (OPODIS 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 153, p. 3:1, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@InProceedings{pozidis:LIPIcs.OPODIS.2019.3, author = {Pozidis, Haris}, title = {{Snap ML - Accelerated Machine Learning for Big Data}}, booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)}, pages = {3:1--3:1}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-133-7}, ISSN = {1868-8969}, year = {2020}, volume = {153}, editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.3}, URN = {urn:nbn:de:0030-drops-117899}, doi = {10.4230/LIPIcs.OPODIS.2019.3}, annote = {Keywords: Machine Learning, Big Data} }
Published in: LIPIcs, Volume 153, 23rd International Conference on Principles of Distributed Systems (OPODIS 2019)
Kfir Lev-Ari, Alexander Spiegelman, Idit Keidar, and Dahlia Malkhi. FairLedger: A Fair Blockchain Protocol for Financial Institutions. In 23rd International Conference on Principles of Distributed Systems (OPODIS 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 153, pp. 4:1-4:17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@InProceedings{levari_et_al:LIPIcs.OPODIS.2019.4, author = {Lev-Ari, Kfir and Spiegelman, Alexander and Keidar, Idit and Malkhi, Dahlia}, title = {{FairLedger: A Fair Blockchain Protocol for Financial Institutions}}, booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)}, pages = {4:1--4:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-133-7}, ISSN = {1868-8969}, year = {2020}, volume = {153}, editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.4}, URN = {urn:nbn:de:0030-drops-117904}, doi = {10.4230/LIPIcs.OPODIS.2019.4}, annote = {Keywords: Blockchain, Fairness, Byzantine fault tolerance, Rational players, Equilibrium} }
Published in: LIPIcs, Volume 153, 23rd International Conference on Principles of Distributed Systems (OPODIS 2019)
Álvaro García-Pérez and Maria A. Schett. Deconstructing Stellar Consensus. In 23rd International Conference on Principles of Distributed Systems (OPODIS 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 153, pp. 5:1-5:16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@InProceedings{garciaperez_et_al:LIPIcs.OPODIS.2019.5, author = {Garc{\'\i}a-P\'{e}rez, \'{A}lvaro and Schett, Maria A.}, title = {{Deconstructing Stellar Consensus}}, booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)}, pages = {5:1--5:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-133-7}, ISSN = {1868-8969}, year = {2020}, volume = {153}, editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.5}, URN = {urn:nbn:de:0030-drops-117910}, doi = {10.4230/LIPIcs.OPODIS.2019.5}, annote = {Keywords: Blockchain, Consensus protocol, Stellar, Byzantine quorum systems} }
Published in: LIPIcs, Volume 153, 23rd International Conference on Principles of Distributed Systems (OPODIS 2019)
Alex Auvolat, Michel Raynal, and François Taïani. Byzantine-Tolerant Set-Constrained Delivery Broadcast. In 23rd International Conference on Principles of Distributed Systems (OPODIS 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 153, pp. 6:1-6:23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@InProceedings{auvolat_et_al:LIPIcs.OPODIS.2019.6, author = {Auvolat, Alex and Raynal, Michel and Ta\"{i}ani, Fran\c{c}ois}, title = {{Byzantine-Tolerant Set-Constrained Delivery Broadcast}}, booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)}, pages = {6:1--6:23}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-133-7}, ISSN = {1868-8969}, year = {2020}, volume = {153}, editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.6}, URN = {urn:nbn:de:0030-drops-117922}, doi = {10.4230/LIPIcs.OPODIS.2019.6}, annote = {Keywords: Algorithm, Asynchronous system, Byzantine process, Communication abstraction, Distributed computing, Distributed software engineering, Fault-tolerance, Message-passing, Modularity, Read/write snapshot object, Reliable broadcast, Set-constrained message delivery} }
Published in: LIPIcs, Volume 153, 23rd International Conference on Principles of Distributed Systems (OPODIS 2019)
Christian Cachin and Björn Tackmann. Asymmetric Distributed Trust. In 23rd International Conference on Principles of Distributed Systems (OPODIS 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 153, pp. 7:1-7:16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@InProceedings{cachin_et_al:LIPIcs.OPODIS.2019.7, author = {Cachin, Christian and Tackmann, Bj\"{o}rn}, title = {{Asymmetric Distributed Trust}}, booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)}, pages = {7:1--7:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-133-7}, ISSN = {1868-8969}, year = {2020}, volume = {153}, editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.7}, URN = {urn:nbn:de:0030-drops-117933}, doi = {10.4230/LIPIcs.OPODIS.2019.7}, annote = {Keywords: Quorums, consensus, distributed trust, blockchains, cryptocurrencies} }
Published in: LIPIcs, Volume 153, 23rd International Conference on Principles of Distributed Systems (OPODIS 2019)
Hiroto Yasumi, Fukuhito Ooshita, and Michiko Inoue. Uniform Partition in Population Protocol Model Under Weak Fairness. In 23rd International Conference on Principles of Distributed Systems (OPODIS 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 153, pp. 8:1-8:16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@InProceedings{yasumi_et_al:LIPIcs.OPODIS.2019.8, author = {Yasumi, Hiroto and Ooshita, Fukuhito and Inoue, Michiko}, title = {{Uniform Partition in Population Protocol Model Under Weak Fairness}}, booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)}, pages = {8:1--8:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-133-7}, ISSN = {1868-8969}, year = {2020}, volume = {153}, editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.8}, URN = {urn:nbn:de:0030-drops-117947}, doi = {10.4230/LIPIcs.OPODIS.2019.8}, annote = {Keywords: population protocol, uniform k-partition, distributed protocol} }
Published in: LIPIcs, Volume 153, 23rd International Conference on Principles of Distributed Systems (OPODIS 2019)
Genc Tato, Marin Bertier, Etienne Rivière, and Cédric Tedeschi. Split and Migrate: Resource-Driven Placement and Discovery of Microservices at the Edge. In 23rd International Conference on Principles of Distributed Systems (OPODIS 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 153, pp. 9:1-9:16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@InProceedings{tato_et_al:LIPIcs.OPODIS.2019.9, author = {Tato, Genc and Bertier, Marin and Rivi\`{e}re, Etienne and Tedeschi, C\'{e}dric}, title = {{Split and Migrate: Resource-Driven Placement and Discovery of Microservices at the Edge}}, booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)}, pages = {9:1--9:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-133-7}, ISSN = {1868-8969}, year = {2020}, volume = {153}, editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.9}, URN = {urn:nbn:de:0030-drops-117954}, doi = {10.4230/LIPIcs.OPODIS.2019.9}, annote = {Keywords: Distributed applications, Microservices, State management, Edge computing} }
Feedback for Dagstuhl Publishing