Published in: LIPIcs, Volume 319, 38th International Symposium on Distributed Computing (DISC 2024)
Jérémie Chalopin, Shantanu Das, and Maria Kokkou. Deterministic Self-Stabilising Leader Election for Programmable Matter with Constant Memory. In 38th International Symposium on Distributed Computing (DISC 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 319, pp. 13:1-13:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{chalopin_et_al:LIPIcs.DISC.2024.13, author = {Chalopin, J\'{e}r\'{e}mie and Das, Shantanu and Kokkou, Maria}, title = {{Deterministic Self-Stabilising Leader Election for Programmable Matter with Constant Memory}}, booktitle = {38th International Symposium on Distributed Computing (DISC 2024)}, pages = {13:1--13:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-352-2}, ISSN = {1868-8969}, year = {2024}, volume = {319}, editor = {Alistarh, Dan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2024.13}, URN = {urn:nbn:de:0030-drops-212395}, doi = {10.4230/LIPIcs.DISC.2024.13}, annote = {Keywords: Leader Election, Programmable Matter, Self-Stabilisation, Silent, Deterministic, Unique Leader, Simply Connected, Gouda fair Daemon, Constant Memory} }
Published in: LIPIcs, Volume 146, 33rd International Symposium on Distributed Computing (DISC 2019)
Shlomi Dolev, Sayaka Kamei, Yoshiaki Katayama, Fukuhito Ooshita, and Koichi Wada. Brief Announcement: Neighborhood Mutual Remainder and Its Self-Stabilizing Implementation of Look-Compute-Move Robots. In 33rd International Symposium on Distributed Computing (DISC 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 146, pp. 43:1-43:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{dolev_et_al:LIPIcs.DISC.2019.43, author = {Dolev, Shlomi and Kamei, Sayaka and Katayama, Yoshiaki and Ooshita, Fukuhito and Wada, Koichi}, title = {{Brief Announcement: Neighborhood Mutual Remainder and Its Self-Stabilizing Implementation of Look-Compute-Move Robots}}, booktitle = {33rd International Symposium on Distributed Computing (DISC 2019)}, pages = {43:1--43:3}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-126-9}, ISSN = {1868-8969}, year = {2019}, volume = {146}, editor = {Suomela, Jukka}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2019.43}, URN = {urn:nbn:de:0030-drops-113504}, doi = {10.4230/LIPIcs.DISC.2019.43}, annote = {Keywords: neighborhood mutual remainder, self-stabilization, LCM robot} }
Published in: Dagstuhl Seminar Proceedings, Volume 9371, Algorithmic Methods for Distributed Cooperative Systems (2010)
Ioannis Chatzigiannakis, Shlomi Dolev, Sándor Fekete, Othon Michail, and Paul Spirakis. On the Fairness of Probabilistic Schedulers for Population Protocols. In Algorithmic Methods for Distributed Cooperative Systems. Dagstuhl Seminar Proceedings, Volume 9371, pp. 1-23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{chatzigiannakis_et_al:DagSemProc.09371.4, author = {Chatzigiannakis, Ioannis and Dolev, Shlomi and Fekete, S\'{a}ndor and Michail, Othon and Spirakis, Paul}, title = {{On the Fairness of Probabilistic Schedulers for Population Protocols}}, booktitle = {Algorithmic Methods for Distributed Cooperative Systems}, pages = {1--23}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {9371}, editor = {S\'{a}ndor Fekete and Stefan Fischer and Martin Riedmiller and Suri Subhash}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09371.4}, URN = {urn:nbn:de:0030-drops-24286}, doi = {10.4230/DagSemProc.09371.4}, annote = {Keywords: Population Protocols, Fairness, Probabilistic Schedulers, Communicating Automata, Sensor Networks, Experimental Evaluation} }
Published in: Dagstuhl Seminar Proceedings, Volume 8371, Fault-Tolerant Distributed Algorithms on VLSI Chips (2009)
Bernadette Charron-Bost, Shlomi Dolev, Jo Ebergen, and Ulrich Schmid. 08371 Abstracts Collection – Fault-Tolerant Distributed Algorithms on VLSI Chips. In Fault-Tolerant Distributed Algorithms on VLSI Chips. Dagstuhl Seminar Proceedings, Volume 8371, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{charronbost_et_al:DagSemProc.08371.1, author = {Charron-Bost, Bernadette and Dolev, Shlomi and Ebergen, Jo and Schmid, Ulrich}, title = {{08371 Abstracts Collection – Fault-Tolerant Distributed Algorithms on VLSI Chips }}, booktitle = {Fault-Tolerant Distributed Algorithms on VLSI Chips}, pages = {1--10}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {8371}, editor = {Bernadette Charron-Bost and Shlomi Dolev and Jo Ebergen and Ulrich Schmid}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08371.1}, URN = {urn:nbn:de:0030-drops-19283}, doi = {10.4230/DagSemProc.08371.1}, annote = {Keywords: Fault-tolerant distributed algorithms, fault tolerance, VLSI systems-on-chip, synchronous vs.\backslash asynchronous circuits, digital logic, specifications} }
Published in: Dagstuhl Seminar Proceedings, Volume 8371, Fault-Tolerant Distributed Algorithms on VLSI Chips (2009)
Bernadette Charron-Bost, Shlomi Dolev, Jo Ebergen, and Ulrich Schmid. 08371 Summary – Fault-Tolerant Distributed Algorithms on VLSI Chips. In Fault-Tolerant Distributed Algorithms on VLSI Chips. Dagstuhl Seminar Proceedings, Volume 8371, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{charronbost_et_al:DagSemProc.08371.2, author = {Charron-Bost, Bernadette and Dolev, Shlomi and Ebergen, Jo and Schmid, Ulrich}, title = {{08371 Summary – Fault-Tolerant Distributed Algorithms on VLSI Chips }}, booktitle = {Fault-Tolerant Distributed Algorithms on VLSI Chips}, pages = {1--4}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {8371}, editor = {Bernadette Charron-Bost and Shlomi Dolev and Jo Ebergen and Ulrich Schmid}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08371.2}, URN = {urn:nbn:de:0030-drops-19270}, doi = {10.4230/DagSemProc.08371.2}, annote = {Keywords: Fault-tolerant distributed algorithms, fault tolerance, VLSI systemson- chip, synchronous vs. asynchronous circuits, digital logic, specifications} }
Published in: Dagstuhl Seminar Proceedings, Volume 8371, Fault-Tolerant Distributed Algorithms on VLSI Chips (2009)
Andreas Steininger. Error Containment in the Presence of Metastability. In Fault-Tolerant Distributed Algorithms on VLSI Chips. Dagstuhl Seminar Proceedings, Volume 8371, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{steininger:DagSemProc.08371.3, author = {Steininger, Andreas}, title = {{Error Containment in the Presence of Metastability}}, booktitle = {Fault-Tolerant Distributed Algorithms on VLSI Chips}, pages = {1--5}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {8371}, editor = {Bernadette Charron-Bost and Shlomi Dolev and Jo Ebergen and Ulrich Schmid}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08371.3}, URN = {urn:nbn:de:0030-drops-19235}, doi = {10.4230/DagSemProc.08371.3}, annote = {Keywords: Metastability, fault tolerance, clock generation} }
Published in: Dagstuhl Seminar Proceedings, Volume 8371, Fault-Tolerant Distributed Algorithms on VLSI Chips (2009)
Gottfried Fuchs. Implications of VLSI Fault Models and Distributed Systems Failure Models – A hardware designer's view. In Fault-Tolerant Distributed Algorithms on VLSI Chips. Dagstuhl Seminar Proceedings, Volume 8371, pp. 1-7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{fuchs:DagSemProc.08371.4, author = {Fuchs, Gottfried}, title = {{Implications of VLSI Fault Models and Distributed Systems Failure Models – A hardware designer's view}}, booktitle = {Fault-Tolerant Distributed Algorithms on VLSI Chips}, pages = {1--7}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {8371}, editor = {Bernadette Charron-Bost and Shlomi Dolev and Jo Ebergen and Ulrich Schmid}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08371.4}, URN = {urn:nbn:de:0030-drops-19245}, doi = {10.4230/DagSemProc.08371.4}, annote = {Keywords: VLSI, fault model, distributed system, failure model} }
Published in: Dagstuhl Seminar Proceedings, Volume 8371, Fault-Tolerant Distributed Algorithms on VLSI Chips (2009)
Lirida Alves de Barros-Naviner, Jean-François Naviner, Denis Teixeira Franco, and Mai Correia de Vasconcelos. Methods and Metrics for Reliability Assessment. In Fault-Tolerant Distributed Algorithms on VLSI Chips. Dagstuhl Seminar Proceedings, Volume 8371, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{alvesdebarrosnaviner_et_al:DagSemProc.08371.5, author = {Alves de Barros-Naviner, Lirida and Naviner, Jean-Fran\c{c}ois and Teixeira Franco, Denis and Correia de Vasconcelos, Mai}, title = {{Methods and Metrics for Reliability Assessment}}, booktitle = {Fault-Tolerant Distributed Algorithms on VLSI Chips}, pages = {1--15}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {8371}, editor = {Bernadette Charron-Bost and Shlomi Dolev and Jo Ebergen and Ulrich Schmid}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08371.5}, URN = {urn:nbn:de:0030-drops-19252}, doi = {10.4230/DagSemProc.08371.5}, annote = {Keywords: Reliability, fault tolerance, combinational logic} }
Published in: Dagstuhl Seminar Proceedings, Volume 8371, Fault-Tolerant Distributed Algorithms on VLSI Chips (2009)
Costas Argyrides and Dhiraj K. Pradhan. Multiple Event Upsets Aware FPGAs Using Protected Schemes. In Fault-Tolerant Distributed Algorithms on VLSI Chips. Dagstuhl Seminar Proceedings, Volume 8371, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{argyrides_et_al:DagSemProc.08371.6, author = {Argyrides, Costas and Pradhan, Dhiraj K.}, title = {{Multiple Event Upsets Aware FPGAs Using Protected Schemes}}, booktitle = {Fault-Tolerant Distributed Algorithms on VLSI Chips}, pages = {1--15}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {8371}, editor = {Bernadette Charron-Bost and Shlomi Dolev and Jo Ebergen and Ulrich Schmid}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08371.6}, URN = {urn:nbn:de:0030-drops-19261}, doi = {10.4230/DagSemProc.08371.6}, annote = {Keywords: FPGA, SEUs, ECC, Reliability, MTTF} }
Published in: Dagstuhl Seminar Proceedings, Volume 5411, Anonymous Communication and its Applications (2006)
Shlomi Dolev, Andreas Pfitzmann, and Rafail Ostrovsky. 05411 Abstracts Collection – Anonymous Communication and its Applications. In Anonymous Communication and its Applications. Dagstuhl Seminar Proceedings, Volume 5411, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{dolev_et_al:DagSemProc.05411.1, author = {Dolev, Shlomi and Pfitzmann, Andreas and Ostrovsky, Rafail}, title = {{05411 Abstracts Collection – Anonymous Communication and its Applications}}, booktitle = {Anonymous Communication and its Applications}, pages = {1--15}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5411}, editor = {Shlomi Dolev and Rafail Ostrovsky and Andreas Pfitzmann}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05411.1}, URN = {urn:nbn:de:0030-drops-7950}, doi = {10.4230/DagSemProc.05411.1}, annote = {Keywords: Anonymous Communication, Cryptography, Privacy, Security, Anonymity} }
Published in: Dagstuhl Seminar Proceedings, Volume 5411, Anonymous Communication and its Applications (2006)
Claudia Diaz. Anonymity Metrics Revisited. In Anonymous Communication and its Applications. Dagstuhl Seminar Proceedings, Volume 5411, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{diaz:DagSemProc.05411.2, author = {Diaz, Claudia}, title = {{Anonymity Metrics Revisited}}, booktitle = {Anonymous Communication and its Applications}, pages = {1--6}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5411}, editor = {Shlomi Dolev and Rafail Ostrovsky and Andreas Pfitzmann}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05411.2}, URN = {urn:nbn:de:0030-drops-4833}, doi = {10.4230/DagSemProc.05411.2}, annote = {Keywords: Anonymity, metrics, entropy} }
Published in: Dagstuhl Seminar Proceedings, Volume 5411, Anonymous Communication and its Applications (2006)
George Danezis and Claudia Diaz. Improving the Decoding Efficiency of Private Search. In Anonymous Communication and its Applications. Dagstuhl Seminar Proceedings, Volume 5411, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{danezis_et_al:DagSemProc.05411.3, author = {Danezis, George and Diaz, Claudia}, title = {{Improving the Decoding Efficiency of Private Search}}, booktitle = {Anonymous Communication and its Applications}, pages = {1--11}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5411}, editor = {Shlomi Dolev and Rafail Ostrovsky and Andreas Pfitzmann}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05411.3}, URN = {urn:nbn:de:0030-drops-4829}, doi = {10.4230/DagSemProc.05411.3}, annote = {Keywords: Private search, private information retrieval, cryptography} }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Anish Arora, Joffroy Beauquier, Shlomi Dolev, Ted Herman, and Willem-Paul de Roever. Self-Stabilization (Dagstuhl Seminar 00431). Dagstuhl Seminar Report 290, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2000)
@TechReport{arora_et_al:DagSemRep.290, author = {Arora, Anish and Beauquier, Joffroy and Dolev, Shlomi and Herman, Ted and de Roever, Willem-Paul}, title = {{Self-Stabilization (Dagstuhl Seminar 00431)}}, pages = {1--17}, ISSN = {1619-0203}, year = {2000}, type = {Dagstuhl Seminar Report}, number = {290}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.290}, URN = {urn:nbn:de:0030-drops-151744}, doi = {10.4230/DagSemRep.290}, }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Anish Arora, Shlomi Dolev, and Willem-Paul de Roever. Self-Stabilization (Dagstuhl Seminar 98331). Dagstuhl Seminar Report 220, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1998)
@TechReport{arora_et_al:DagSemRep.220, author = {Arora, Anish and Dolev, Shlomi and de Roever, Willem-Paul}, title = {{Self-Stabilization (Dagstuhl Seminar 98331)}}, pages = {1--17}, ISSN = {1619-0203}, year = {1998}, type = {Dagstuhl Seminar Report}, number = {220}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.220}, URN = {urn:nbn:de:0030-drops-151066}, doi = {10.4230/DagSemRep.220}, }
Feedback for Dagstuhl Publishing