Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Sébastien Tixeuil
@article{DBLP:journals/cj/KameiT24,
author = {Sayaka Kamei and
S{\'{e}}bastien Tixeuil},
title = {An Asynchronous Maximum Independent Set Algorithm By Myopic Luminous
Robots On Grids},
journal = {Comput. J.},
volume = {67},
number = {1},
pages = {57--77},
year = {2024},
url = {https://doi.org/10.1093/comjnl/bxac158},
doi = {10.1093/COMJNL/BXAC158},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/KameiT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/BramasKKLOST24,
author = {Quentin Bramas and
Hirotsugu Kakugawa and
Sayaka Kamei and
Anissa Lamani and
Fukuhito Ooshita and
Masahiro Shibata and
S{\'{e}}bastien Tixeuil},
editor = {Leonard Barolli},
title = {Stand-Up Indulgent Gathering on Lines for Myopic Luminous Robots},
booktitle = {Advanced Information Networking and Applications - Proceedings of
the 38th International Conference on Advanced Information Networking
and Applications (AINA-2024), Kitakyushu, Japan, 17-19 April, 2024,
Volume 2},
series = {Lecture Notes on Data Engineering and Communications Technologies},
volume = {200},
pages = {110--121},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57853-3\_10},
doi = {10.1007/978-3-031-57853-3\_10},
timestamp = {Fri, 12 Apr 2024 15:40:56 +0200},
biburl = {https://dblp.org/rec/conf/aina/BramasKKLOST24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/PhamPTF24,
author = {Alexandre Pham and
Maria Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil and
Serge Fdida},
editor = {Leonard Barolli},
title = {Data Poisoning Attacks in Gossip Learning},
booktitle = {Advanced Information Networking and Applications - Proceedings of
the 38th International Conference on Advanced Information Networking
and Applications (AINA-2024), Kitakyushu, Japan, 17-19 April, 2024,
Volume 2},
series = {Lecture Notes on Data Engineering and Communications Technologies},
volume = {200},
pages = {213--224},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57853-3\_18},
doi = {10.1007/978-3-031-57853-3\_18},
timestamp = {Fri, 12 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aina/PhamPTF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-14233,
author = {Quentin Bramas and
Sayaka Kamei and
Anissa Lamani and
S{\'{e}}bastien Tixeuil},
title = {Stand-Up Indulgent Gathering on Rings},
journal = {CoRR},
volume = {abs/2402.14233},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.14233},
doi = {10.48550/ARXIV.2402.14233},
eprinttype = {arXiv},
eprint = {2402.14233},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-14233.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-06583,
author = {Alexandre Pham and
Maria Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil and
Serge Fdida},
title = {Data Poisoning Attacks in Gossip Learning},
journal = {CoRR},
volume = {abs/2403.06583},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.06583},
doi = {10.48550/ARXIV.2403.06583},
eprinttype = {arXiv},
eprint = {2403.06583},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-06583.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/ShibataT23,
author = {Masahiro Shibata and
S{\'{e}}bastien Tixeuil},
title = {Semi-uniform deployment of mobile robots in perfect {\(\mathscr{l}\)}
{\textdollar}{\textdollar} {\textbackslash}ell {\textdollar}{\textdollar}
-ary trees},
journal = {Concurr. Comput. Pract. Exp.},
volume = {35},
number = {19},
year = {2023},
url = {https://doi.org/10.1002/cpe.7432},
doi = {10.1002/CPE.7432},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/ShibataT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ras/DefagoHTW23,
author = {Xavier D{\'{e}}fago and
Adam Heriban and
S{\'{e}}bastien Tixeuil and
Koichi Wada},
title = {Using model checking to formally verify rendezvous algorithms for
robots with lights in Euclidean space},
journal = {Robotics Auton. Syst.},
volume = {163},
pages = {104378},
year = {2023},
url = {https://doi.org/10.1016/j.robot.2023.104378},
doi = {10.1016/J.ROBOT.2023.104378},
timestamp = {Mon, 22 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ras/DefagoHTW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BramasLT23,
author = {Quentin Bramas and
Anissa Lamani and
S{\'{e}}bastien Tixeuil},
title = {Stand up indulgent gathering},
journal = {Theor. Comput. Sci.},
volume = {939},
pages = {63--77},
year = {2023},
url = {https://doi.org/10.1016/j.tcs.2022.10.015},
doi = {10.1016/J.TCS.2022.10.015},
timestamp = {Fri, 02 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BramasLT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BonomiPPT23,
author = {Silvia Bonomi and
Antonella Del Pozzo and
Maria Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
title = {Optimal self-stabilizing mobile byzantine-tolerant regular register
with bounded timestamps},
journal = {Theor. Comput. Sci.},
volume = {942},
pages = {123--141},
year = {2023},
url = {https://doi.org/10.1016/j.tcs.2022.11.028},
doi = {10.1016/J.TCS.2022.11.028},
timestamp = {Thu, 05 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BonomiPPT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BramasLT23a,
author = {Quentin Bramas and
Anissa Lamani and
S{\'{e}}bastien Tixeuil},
title = {The agreement power of disagreement},
journal = {Theor. Comput. Sci.},
volume = {954},
pages = {113772},
year = {2023},
url = {https://doi.org/10.1016/j.tcs.2023.113772},
doi = {10.1016/J.TCS.2023.113772},
timestamp = {Sun, 16 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BramasLT23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/0001T23,
author = {Keisuke Okumura and
S{\'{e}}bastien Tixeuil},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {Fault-Tolerant Offline Multi-Agent Path Planning},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {11647--11654},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i10.26376},
doi = {10.1609/AAAI.V37I10.26376},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/0001T23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/candar/DreslerMTYT23,
author = {Maxime Dresler and
Sana{\"{\i}} Mansour and
Safa{\^{a}} Talhaoui and
Yukiko Yamauchi and
S{\'{e}}bastien Tixeuil},
title = {On Dynamics of Basic Network Creation Games with Non-Uniform Communication
Interest},
booktitle = {Eleventh International Symposium on Computing and Networking, {CANDAR}
2023 - Workshops, Matsue, Japan, November 27-30, 2023},
pages = {86--92},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CANDARW60564.2023.00023},
doi = {10.1109/CANDARW60564.2023.00023},
timestamp = {Thu, 22 Feb 2024 20:44:52 +0100},
biburl = {https://dblp.org/rec/conf/candar/DreslerMTYT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/BonomiFT23,
author = {Silvia Bonomi and
Giovanni Farina and
S{\'{e}}bastien Tixeuil},
editor = {Alysson Bessani and
Xavier D{\'{e}}fago and
Junya Nakamura and
Koichi Wada and
Yukiko Yamauchi},
title = {Reliable Broadcast Despite Mobile Byzantine Faults},
booktitle = {27th International Conference on Principles of Distributed Systems,
{OPODIS} 2023, December 6-8, 2023, Tokyo, Japan},
series = {LIPIcs},
volume = {286},
pages = {18:1--18:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2023.18},
doi = {10.4230/LIPICS.OPODIS.2023.18},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/opodis/BonomiFT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/EguchiOIT23,
author = {Ryota Eguchi and
Fukuhito Ooshita and
Michiko Inoue and
S{\'{e}}bastien Tixeuil},
editor = {Shlomi Dolev and
Baruch Schieber},
title = {Meeting Times of Non-atomic Random Walks},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 25th
International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
2-4, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14310},
pages = {297--311},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-44274-2\_22},
doi = {10.1007/978-3-031-44274-2\_22},
timestamp = {Sun, 08 Oct 2023 13:20:04 +0200},
biburl = {https://dblp.org/rec/conf/sss/EguchiOIT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BramasMT23,
author = {Quentin Bramas and
Toshimitsu Masuzawa and
S{\'{e}}bastien Tixeuil},
editor = {Shlomi Dolev and
Baruch Schieber},
title = {Brief Announcement: Crash-Tolerant Exploration by Energy Sharing Mobile
Agents},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 25th
International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
2-4, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14310},
pages = {380--384},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-44274-2\_28},
doi = {10.1007/978-3-031-44274-2\_28},
timestamp = {Sun, 08 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sss/BramasMT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BramasKLT23,
author = {Quentin Bramas and
Sayaka Kamei and
Anissa Lamani and
S{\'{e}}bastien Tixeuil},
editor = {Shlomi Dolev and
Baruch Schieber},
title = {Stand-Up Indulgent Gathering on Lines},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 25th
International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
2-4, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14310},
pages = {451--465},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-44274-2\_34},
doi = {10.1007/978-3-031-44274-2\_34},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sss/BramasKLT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BramasLT23,
author = {Quentin Bramas and
Jean{-}Romain Luttringer and
S{\'{e}}bastien Tixeuil},
editor = {Shlomi Dolev and
Baruch Schieber},
title = {Offline Constrained Backward Time Travel Planning},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 25th
International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
2-4, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14310},
pages = {466--480},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-44274-2\_35},
doi = {10.1007/978-3-031-44274-2\_35},
timestamp = {Sun, 08 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sss/BramasLT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-03466,
author = {Quentin Bramas and
Anissa Lamani and
S{\'{e}}bastien Tixeuil},
title = {Stand Up Indulgent Gathering},
journal = {CoRR},
volume = {abs/2302.03466},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.03466},
doi = {10.48550/ARXIV.2302.03466},
eprinttype = {arXiv},
eprint = {2302.03466},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-03466.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-05722,
author = {Quentin Bramas and
Sayaka Kamei and
Anissa Lamani and
S{\'{e}}bastien Tixeuil},
title = {Stand-Up Indulgent Gathering on Lines},
journal = {CoRR},
volume = {abs/2304.05722},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.05722},
doi = {10.48550/ARXIV.2304.05722},
eprinttype = {arXiv},
eprint = {2304.05722},
timestamp = {Wed, 19 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-05722.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-11590,
author = {Ryota Eguchi and
Fukuhito Ooshita and
Michiko Inoue and
S{\'{e}}bastien Tixeuil},
title = {Meeting Times of Non-atomic Random Walks},
journal = {CoRR},
volume = {abs/2305.11590},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.11590},
doi = {10.48550/ARXIV.2305.11590},
eprinttype = {arXiv},
eprint = {2305.11590},
timestamp = {Thu, 25 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-11590.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-05918,
author = {Silvia Bonomi and
Giovanni Farina and
S{\'{e}}bastien Tixeuil},
title = {Reliable Broadcast despite Mobile Byzantine Faults},
journal = {CoRR},
volume = {abs/2311.05918},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.05918},
doi = {10.48550/ARXIV.2311.05918},
eprinttype = {arXiv},
eprint = {2311.05918},
timestamp = {Wed, 15 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-05918.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-12698,
author = {Quentin Bramas and
Hirotsugu Kakugawa and
Sayaka Kamei and
Anissa Lamani and
Fukuhito Ooshita and
Masahiro Shibata and
S{\'{e}}bastien Tixeuil},
title = {Stand-Up Indulgent Gathering on Lines for Myopic Luminous Robots},
journal = {CoRR},
volume = {abs/2312.12698},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.12698},
doi = {10.48550/ARXIV.2312.12698},
eprinttype = {arXiv},
eprint = {2312.12698},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-12698.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/OoshitaT22,
author = {Fukuhito Ooshita and
S{\'{e}}bastien Tixeuil},
title = {Ring exploration with myopic luminous robots},
journal = {Inf. Comput.},
volume = {285},
number = {Part},
pages = {104702},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2021.104702},
doi = {10.1016/J.IC.2021.104702},
timestamp = {Fri, 27 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/OoshitaT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/CourtieuRTU22,
author = {Pierre Courtieu and
Lionel Rieg and
S{\'{e}}bastien Tixeuil and
Xavier Urbain},
title = {Swarms of Mobile Robots: Towards Versatility with Safety},
journal = {Leibniz Trans. Embed. Syst.},
volume = {8},
number = {2},
pages = {02:1--02:36},
year = {2022},
url = {https://doi.org/10.4230/LITES.8.2.2},
doi = {10.4230/LITES.8.2.2},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lites/CourtieuRTU22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fps/AyoubiBJST22,
author = {Solayman Ayoubi and
Gregory Blanc and
Houda Jmila and
Thomas Silverston and
S{\'{e}}bastien Tixeuil},
editor = {Guy{-}Vincent Jourdan and
Laurent Mounier and
Carlisle M. Adams and
Florence S{\`{e}}des and
Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro},
title = {Data-Driven Evaluation of Intrusion Detectors: {A} Methodological
Framework},
booktitle = {Foundations and Practice of Security - 15th International Symposium,
{FPS} 2022, Ottawa, ON, Canada, December 12-14, 2022, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {13877},
pages = {142--157},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-30122-3\_9},
doi = {10.1007/978-3-031-30122-3\_9},
timestamp = {Sat, 27 May 2023 15:23:45 +0200},
biburl = {https://dblp.org/rec/conf/fps/AyoubiBJST22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fun/MathieuT22,
author = {Fabien Mathieu and
S{\'{e}}bastien Tixeuil},
editor = {Pierre Fraigniaud and
Yushi Uno},
title = {Fun with {FUN}},
booktitle = {11th International Conference on Fun with Algorithms, {FUN} 2022,
May 30 to June 3, 2022, Island of Favignana, Sicily, Italy},
series = {LIPIcs},
volume = {226},
pages = {21:1--21:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.FUN.2022.21},
doi = {10.4230/LIPICS.FUN.2022.21},
timestamp = {Mon, 23 May 2022 11:54:04 +0200},
biburl = {https://dblp.org/rec/conf/fun/MathieuT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/Tixeuil22,
author = {S{\'{e}}bastien Tixeuil},
editor = {Eshcar Hillel and
Roberto Palmieri and
Etienne Rivi{\`{e}}re},
title = {Realistic Self-Stabilization (Invited Talk)},
booktitle = {26th International Conference on Principles of Distributed Systems,
{OPODIS} 2022, December 13-15, 2022, Brussels, Belgium},
series = {LIPIcs},
volume = {253},
pages = {3:1--3:1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2022.3},
doi = {10.4230/LIPICS.OPODIS.2022.3},
timestamp = {Wed, 15 Feb 2023 17:36:11 +0100},
biburl = {https://dblp.org/rec/conf/opodis/Tixeuil22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/OglioHNT22,
author = {Joseph Oglio and
Kendric Hood and
Mikhail Nesterenko and
S{\'{e}}bastien Tixeuil},
editor = {Chryssis Georgiou and
Elad Michael Schiller and
Ahmed Ali{-}Eldin and
Alexandru Iosup},
title = {{QUANTAS:} Quantitative User-friendly Adaptable Networked Things Abstract
Simulator},
booktitle = {ApPLIED '22: Proceedings of the 2022 Workshop on Advanced tools, programming
languages, and PLatforms for Implementing and Evaluating algorithms
for Distributed systems, Salerno, Italy, 25 July 2022},
pages = {40--46},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3524053.3542744},
doi = {10.1145/3524053.3542744},
timestamp = {Mon, 22 Aug 2022 17:42:20 +0200},
biburl = {https://dblp.org/rec/conf/podc/OglioHNT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-03372,
author = {Quentin Bramas and
Jean{-}Romain Luttringer and
S{\'{e}}bastien Tixeuil},
title = {Constrained Backward Time Travel Planning is in {P}},
journal = {CoRR},
volume = {abs/2205.03372},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.03372},
doi = {10.48550/ARXIV.2205.03372},
eprinttype = {arXiv},
eprint = {2205.03372},
timestamp = {Wed, 11 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-03372.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-04930,
author = {Joseph Oglio and
Kendric Hood and
Mikhail Nesterenko and
S{\'{e}}bastien Tixeuil},
title = {{QUANTAS:} Quantitative User-friendly Adaptable Networked Things Abstract
Simulator},
journal = {CoRR},
volume = {abs/2205.04930},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.04930},
doi = {10.48550/ARXIV.2205.04930},
eprinttype = {arXiv},
eprint = {2205.04930},
timestamp = {Wed, 11 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-04930.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-13908,
author = {Keisuke Okumura and
S{\'{e}}bastien Tixeuil},
title = {Fault-Tolerant Offline Multi-Agent Path Planning},
journal = {CoRR},
volume = {abs/2211.13908},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.13908},
doi = {10.48550/ARXIV.2211.13908},
eprinttype = {arXiv},
eprint = {2211.13908},
timestamp = {Fri, 02 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-13908.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/DevismesLPRT21,
author = {St{\'{e}}phane Devismes and
Anissa Lamani and
Franck Petit and
Pascal Raymond and
S{\'{e}}bastien Tixeuil},
title = {Terminating Exploration Of {A} Grid By An Optimal Number Of Asynchronous
Oblivious Robots},
journal = {Comput. J.},
volume = {64},
number = {1},
pages = {132--154},
year = {2021},
url = {https://doi.org/10.1093/comjnl/bxz166},
doi = {10.1093/COMJNL/BXZ166},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/DevismesLPRT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/HeribanT21,
author = {Adam Heriban and
S{\'{e}}bastien Tixeuil},
title = {Mobile Robots with Uncertain Visibility Sensors: Possibility Results
and Lower Bounds},
journal = {Parallel Process. Lett.},
volume = {31},
number = {1},
pages = {2150002:1--2150002:21},
year = {2021},
url = {https://doi.org/10.1142/S012962642150002X},
doi = {10.1142/S012962642150002X},
timestamp = {Tue, 30 Mar 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ppl/HeribanT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/YasumiOIT21,
author = {Hiroto Yasumi and
Fukuhito Ooshita and
Michiko Inoue and
S{\'{e}}bastien Tixeuil},
title = {Uniform bipartition in the population protocol model with arbitrary
graphs},
journal = {Theor. Comput. Sci.},
volume = {892},
pages = {187--207},
year = {2021},
url = {https://doi.org/10.1016/j.tcs.2021.09.020},
doi = {10.1016/J.TCS.2021.09.020},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/YasumiOIT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acg/TanakaBTT21,
author = {Satoshi Tanaka and
Fran{\c{c}}ois Bonnet and
S{\'{e}}bastien Tixeuil and
Yasumasa Tamura},
editor = {Cameron Browne and
Akihiro Kishimoto and
Jonathan Schaeffer},
title = {Quixo is Solved},
booktitle = {Advances in Computer Games - 17th International Conference, {ACG}
2021, Virtual Event, November 23-25, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13262},
pages = {85--95},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-031-11488-5\_8},
doi = {10.1007/978-3-031-11488-5\_8},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acg/TanakaBTT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/algosensors/BramasLT21,
author = {Quentin Bramas and
Anissa Lamani and
S{\'{e}}bastien Tixeuil},
editor = {Leszek Gasieniec and
Ralf Klasing and
Tomasz Radzik},
title = {Stand up Indulgent Gathering},
booktitle = {Algorithms for Sensor Systems - 17th International Symposium on Algorithms
and Experiments for Wireless Sensor Networks, {ALGOSENSORS} 2021,
Lisbon, Portugal, September 9-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12961},
pages = {17--28},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89240-1\_2},
doi = {10.1007/978-3-030-89240-1\_2},
timestamp = {Thu, 21 Oct 2021 15:45:51 +0200},
biburl = {https://dblp.org/rec/conf/algosensors/BramasLT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic-nc/ShibataT21,
author = {Masahiro Shibata and
S{\'{e}}bastien Tixeuil},
title = {Semi-Uniform Deployment of Mobile Robots in Perfect {\textdollar}{\textbackslash}ell{\textdollar}
-ary Trees},
booktitle = {Ninth International Symposium on Computing and Networking, {CANDAR}
2021, Matsue, Japan, November 23-26, 2021},
pages = {168--174},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CANDAR53791.2021.00031},
doi = {10.1109/CANDAR53791.2021.00031},
timestamp = {Wed, 29 Dec 2021 14:48:58 +0100},
biburl = {https://dblp.org/rec/conf/ic-nc/ShibataT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/BonomiDFRT21,
author = {Silvia Bonomi and
J{\'{e}}r{\'{e}}mie Decouchant and
Giovanni Farina and
Vincent Rahli and
S{\'{e}}bastien Tixeuil},
title = {Practical Byzantine Reliable Broadcast on Partially Connected Networks},
booktitle = {41st {IEEE} International Conference on Distributed Computing Systems,
{ICDCS} 2021, Washington DC, USA, July 7-10, 2021},
pages = {506--516},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICDCS51616.2021.00055},
doi = {10.1109/ICDCS51616.2021.00055},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/BonomiDFRT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/KameiLOTW21,
author = {Sayaka Kamei and
Anissa Lamani and
Fukuhito Ooshita and
S{\'{e}}bastien Tixeuil and
Koichi Wada},
editor = {Quentin Bramas and
Vincent Gramoli and
Alessia Milani},
title = {Asynchronous Gathering in a Torus},
booktitle = {25th International Conference on Principles of Distributed Systems,
{OPODIS} 2021, December 13-15, 2021, Strasbourg, France},
series = {LIPIcs},
volume = {217},
pages = {9:1--9:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2021.9},
doi = {10.4230/LIPICS.OPODIS.2021.9},
timestamp = {Mon, 22 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/opodis/KameiLOTW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BramasLT21,
author = {Quentin Bramas and
Anissa Lamani and
S{\'{e}}bastien Tixeuil},
editor = {Colette Johnen and
Elad Michael Schiller and
Stefan Schmid},
title = {The Agreement Power of Disagreement},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 23rd
International Symposium, {SSS} 2021, Virtual Event, November 17-20,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13046},
pages = {273--288},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91081-5\_18},
doi = {10.1007/978-3-030-91081-5\_18},
timestamp = {Wed, 10 Nov 2021 16:15:58 +0100},
biburl = {https://dblp.org/rec/conf/sss/BramasLT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BalabonskiCPRTU21,
author = {Thibaut Balabonski and
Pierre Courtieu and
Robin Pelle and
Lionel Rieg and
S{\'{e}}bastien Tixeuil and
Xavier Urbain},
editor = {Colette Johnen and
Elad Michael Schiller and
Stefan Schmid},
title = {Computer Aided Formal Design of Swarm Robotics Algorithms},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 23rd
International Symposium, {SSS} 2021, Virtual Event, November 17-20,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13046},
pages = {469--473},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91081-5\_31},
doi = {10.1007/978-3-030-91081-5\_31},
timestamp = {Wed, 10 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sss/BalabonskiCPRTU21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-05421,
author = {Sayaka Kamei and
Anissa Lamani and
Fukuhito Ooshita and
S{\'{e}}bastien Tixeuil and
Koichi Wada},
title = {Asynchronous Gathering in a Torus},
journal = {CoRR},
volume = {abs/2101.05421},
year = {2021},
url = {https://arxiv.org/abs/2101.05421},
eprinttype = {arXiv},
eprint = {2101.05421},
timestamp = {Mon, 22 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-05421.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-06966,
author = {Thibaut Balabonski and
Pierre Courtieu and
Robin Pelle and
Lionel Rieg and
S{\'{e}}bastien Tixeuil and
Xavier Urbain},
title = {Computer Aided Formal Design of Swarm Robotics Algorithms},
journal = {CoRR},
volume = {abs/2101.06966},
year = {2021},
url = {https://arxiv.org/abs/2101.06966},
eprinttype = {arXiv},
eprint = {2101.06966},
timestamp = {Fri, 22 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-06966.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-03673,
author = {Silvia Bonomi and
J{\'{e}}r{\'{e}}mie Decouchant and
Giovanni Farina and
Vincent Rahli and
S{\'{e}}bastien Tixeuil},
title = {Practical Byzantine Reliable Broadcast on Partially Connected Networks},
journal = {CoRR},
volume = {abs/2104.03673},
year = {2021},
url = {https://arxiv.org/abs/2104.03673},
eprinttype = {arXiv},
eprint = {2104.03673},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-03673.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-09667,
author = {Adam Heriban and
S{\'{e}}bastien Tixeuil},
title = {Unreliable Sensors for Reliable Efficient Robots},
journal = {CoRR},
volume = {abs/2105.09667},
year = {2021},
url = {https://arxiv.org/abs/2105.09667},
eprinttype = {arXiv},
eprint = {2105.09667},
timestamp = {Mon, 31 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-09667.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/SangnierSPT20,
author = {Arnaud Sangnier and
Nathalie Sznajder and
Maria Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
title = {Parameterized verification of algorithms for oblivious robots on a
ring},
journal = {Formal Methods Syst. Des.},
volume = {56},
number = {1},
pages = {55--89},
year = {2020},
url = {https://doi.org/10.1007/s10703-019-00335-y},
doi = {10.1007/S10703-019-00335-Y},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/SangnierSPT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/BlinT20,
author = {L{\'{e}}lia Blin and
S{\'{e}}bastien Tixeuil},
title = {Compact self-stabilizing leader election for general networks},
journal = {J. Parallel Distributed Comput.},
volume = {144},
pages = {278--294},
year = {2020},
url = {https://doi.org/10.1016/j.jpdc.2020.05.019},
doi = {10.1016/J.JPDC.2020.05.019},
timestamp = {Mon, 03 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jpdc/BlinT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DasT20,
author = {Shantanu Das and
S{\'{e}}bastien Tixeuil},
title = {Special issue on Structural Information and Communication Complexity},
journal = {Theor. Comput. Sci.},
volume = {811},
pages = {1--2},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2020.02.003},
doi = {10.1016/J.TCS.2020.02.003},
timestamp = {Tue, 18 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DasT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/0001NT20,
author = {Nesrine Ammar and
Ludovic Noirie and
S{\'{e}}bastien Tixeuil},
title = {Autonomous Identification of IoT Device Types based on a Supervised
Classification},
booktitle = {2020 {IEEE} International Conference on Communications, {ICC} 2020,
Dublin, Ireland, June 7-11, 2020},
pages = {1--6},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICC40277.2020.9148821},
doi = {10.1109/ICC40277.2020.9148821},
timestamp = {Tue, 04 Aug 2020 10:37:23 +0200},
biburl = {https://dblp.org/rec/conf/icc/0001NT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Amoussou-Guenou20,
author = {Yackolley Amoussou{-}Guenou and
Souheib Baarir and
Maria Potop{-}Butucaru and
Nathalie Sznajder and
L{\'{e}}o Tible and
S{\'{e}}bastien Tixeuil},
editor = {Chryssis Georgiou and
Rupak Majumdar},
title = {On the Encoding and Solving of Partial Information Games},
booktitle = {Networked Systems - 8th International Conference, {NETYS} 2020, Marrakech,
Morocco, June 3-5, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12129},
pages = {60--76},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67087-0\_5},
doi = {10.1007/978-3-030-67087-0\_5},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/Amoussou-Guenou20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BonomiFT20,
author = {Silvia Bonomi and
Giovanni Farina and
S{\'{e}}bastien Tixeuil},
editor = {Chryssis Georgiou and
Rupak Majumdar},
title = {Broadcasting Information in Multi-hop Networks Prone to Mobile Byzantine
Faults},
booktitle = {Networked Systems - 8th International Conference, {NETYS} 2020, Marrakech,
Morocco, June 3-5, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12129},
pages = {112--128},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67087-0\_8},
doi = {10.1007/978-3-030-67087-0\_8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BonomiFT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/YasumiOIT20,
author = {Hiroto Yasumi and
Fukuhito Ooshita and
Michiko Inoue and
S{\'{e}}bastien Tixeuil},
editor = {Quentin Bramas and
Rotem Oshman and
Paolo Romano},
title = {Uniform Bipartition in the Population Protocol Model with Arbitrary
Communication Graphs},
booktitle = {24th International Conference on Principles of Distributed Systems,
{OPODIS} 2020, December 14-16, 2020, Strasbourg, France (Virtual Conference)},
series = {LIPIcs},
volume = {184},
pages = {33:1--33:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2020.33},
doi = {10.4230/LIPICS.OPODIS.2020.33},
timestamp = {Mon, 25 Jan 2021 15:39:00 +0100},
biburl = {https://dblp.org/rec/conf/opodis/YasumiOIT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/DefagoHTW20,
author = {Xavier D{\'{e}}fago and
Adam Heriban and
S{\'{e}}bastien Tixeuil and
Koichi Wada},
title = {Using Model Checking to Formally Verify Rendezvous Algorithms for
Robots with Lights in Euclidean Space},
booktitle = {International Symposium on Reliable Distributed Systems, {SRDS} 2020,
Shanghai, China, September 21-24, 2020},
pages = {113--122},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/SRDS51746.2020.00019},
doi = {10.1109/SRDS51746.2020.00019},
timestamp = {Mon, 22 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/DefagoHTW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BonomiFT20,
author = {Silvia Bonomi and
Giovanni Farina and
S{\'{e}}bastien Tixeuil},
editor = {St{\'{e}}phane Devismes and
Neeraj Mittal},
title = {Boosting the Efficiency of Byzantine-Tolerant Reliable Communication},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 22nd
International Symposium, {SSS} 2020, Austin, TX, USA, November 18-21,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12514},
pages = {29--44},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64348-5\_3},
doi = {10.1007/978-3-030-64348-5\_3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sss/BonomiFT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BramasLT20,
author = {Quentin Bramas and
Anissa Lamani and
S{\'{e}}bastien Tixeuil},
editor = {St{\'{e}}phane Devismes and
Neeraj Mittal},
title = {Stand Up Indulgent Rendezvous},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 22nd
International Symposium, {SSS} 2020, Austin, TX, USA, November 18-21,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12514},
pages = {45--59},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64348-5\_4},
doi = {10.1007/978-3-030-64348-5\_4},
timestamp = {Wed, 25 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sss/BramasLT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/ShibataT20,
author = {Masahiro Shibata and
S{\'{e}}bastien Tixeuil},
editor = {St{\'{e}}phane Devismes and
Neeraj Mittal},
title = {Partial Gathering of Mobile Robots from Multiplicity-Allowed Configurations
in Rings},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 22nd
International Symposium, {SSS} 2020, Austin, TX, USA, November 18-21,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12514},
pages = {264--279},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64348-5\_21},
doi = {10.1007/978-3-030-64348-5\_21},
timestamp = {Wed, 25 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sss/ShibataT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-05382,
author = {L{\'{e}}lia Blin and
Ana{\"{\i}}s Durand and
S{\'{e}}bastien Tixeuil},
title = {Ressource Efficient Stabilization for Local Tasks despite Unknown
Capacity Links},
journal = {CoRR},
volume = {abs/2002.05382},
year = {2020},
url = {https://arxiv.org/abs/2002.05382},
eprinttype = {arXiv},
eprint = {2002.05382},
timestamp = {Fri, 14 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-05382.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-15895,
author = {Satoshi Tanaka and
Fran{\c{c}}ois Bonnet and
S{\'{e}}bastien Tixeuil and
Yasumasa Tamura},
title = {Quixo Is Solved},
journal = {CoRR},
volume = {abs/2007.15895},
year = {2020},
url = {https://arxiv.org/abs/2007.15895},
eprinttype = {arXiv},
eprint = {2007.15895},
timestamp = {Mon, 03 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-15895.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-04400,
author = {Quentin Bramas and
Anissa Lamani and
S{\'{e}}bastien Tixeuil},
title = {Stand Up Indulgent Rendezvous},
journal = {CoRR},
volume = {abs/2010.04400},
year = {2020},
url = {https://arxiv.org/abs/2010.04400},
eprinttype = {arXiv},
eprint = {2010.04400},
timestamp = {Tue, 13 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-04400.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-08366,
author = {Hiroto Yasumi and
Fukuhito Ooshita and
Michiko Inoue and
S{\'{e}}bastien Tixeuil},
title = {Uniform Bipartition in the Population Protocol Model with Arbitrary
Communication Graphs},
journal = {CoRR},
volume = {abs/2011.08366},
year = {2020},
url = {https://arxiv.org/abs/2011.08366},
eprinttype = {arXiv},
eprint = {2011.08366},
timestamp = {Wed, 18 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-08366.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-03399,
author = {Sayaka Kamei and
S{\'{e}}bastien Tixeuil},
title = {An Asynchronous Maximum Independent Set Algorithm by Myopic Luminous
Robots on Grids},
journal = {CoRR},
volume = {abs/2012.03399},
year = {2020},
url = {https://arxiv.org/abs/2012.03399},
eprinttype = {arXiv},
eprint = {2012.03399},
timestamp = {Wed, 09 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-03399.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/DevismesLPT19,
author = {St{\'{e}}phane Devismes and
Anissa Lamani and
Franck Petit and
S{\'{e}}bastien Tixeuil},
title = {Optimal torus exploration by oblivious robots},
journal = {Computing},
volume = {101},
number = {9},
pages = {1241--1264},
year = {2019},
url = {https://doi.org/10.1007/s00607-018-0595-8},
doi = {10.1007/S00607-018-0595-8},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computing/DevismesLPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcs/BonomiFT19,
author = {Silvia Bonomi and
Giovanni Farina and
S{\'{e}}bastien Tixeuil},
title = {Multi-hop Byzantine reliable broadcast with honest dealer made practical},
journal = {J. Braz. Comput. Soc.},
volume = {25},
number = {1},
pages = {9:1--9:23},
year = {2019},
url = {https://doi.org/10.1186/s13173-019-0090-x},
doi = {10.1186/S13173-019-0090-X},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jbcs/BonomiFT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BalabonskiDRTU19,
author = {Thibaut Balabonski and
Am{\'{e}}lie Delga and
Lionel Rieg and
S{\'{e}}bastien Tixeuil and
Xavier Urbain},
title = {Synchronous Gathering without Multiplicity Detection: a Certified
Algorithm},
journal = {Theory Comput. Syst.},
volume = {63},
number = {2},
pages = {200--218},
year = {2019},
url = {https://doi.org/10.1007/s00224-017-9828-z},
doi = {10.1007/S00224-017-9828-Z},
timestamp = {Fri, 12 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/BalabonskiDRTU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BramasFNT19,
author = {Quentin Bramas and
Dianne Foreback and
Mikhail Nesterenko and
S{\'{e}}bastien Tixeuil},
title = {Packet Efficient Implementation of the Omega Failure Detector},
journal = {Theory Comput. Syst.},
volume = {63},
number = {2},
pages = {237--260},
year = {2019},
url = {https://doi.org/10.1007/s00224-018-9856-3},
doi = {10.1007/S00224-018-9856-3},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/BramasFNT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BampasBCILPT19,
author = {Evangelos Bampas and
L{\'{e}}lia Blin and
Jurek Czyzowicz and
David Ilcinkas and
Arnaud Labourel and
Maria Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
title = {On asynchronous rendezvous in general graphs},
journal = {Theor. Comput. Sci.},
volume = {753},
pages = {80--90},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2018.06.045},
doi = {10.1016/J.TCS.2018.06.045},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BampasBCILPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BonomiPPT19,
author = {Silvia Bonomi and
Antonella Del Pozzo and
Maria Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
title = {Approximate Agreement under Mobile Byzantine Faults},
journal = {Theor. Comput. Sci.},
volume = {758},
pages = {17--29},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2018.08.001},
doi = {10.1016/J.TCS.2018.08.001},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BonomiPPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmec/0001NT19,
author = {Nesrine Ammar and
Ludovic Noirie and
S{\'{e}}bastien Tixeuil},
title = {Network-Protocol-Based IoT Device Identification},
booktitle = {Fourth International Conference on Fog and Mobile Edge Computing,
{FMEC} 2019, Rome, Italy, June 10-13, 2019},
pages = {204--209},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/FMEC.2019.8795318},
doi = {10.1109/FMEC.2019.8795318},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmec/0001NT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BalabonskiCPRTU19,
author = {Thibaut Balabonski and
Pierre Courtieu and
Robin Pelle and
Lionel Rieg and
S{\'{e}}bastien Tixeuil and
Xavier Urbain},
editor = {Mohamed Faouzi Atig and
Alexander A. Schwarzmann},
title = {Continuous vs. Discrete Asynchronous Moves: {A} Certified Approach
for Mobile Robots},
booktitle = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech,
Morocco, June 19-21, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11704},
pages = {93--109},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31277-0\_7},
doi = {10.1007/978-3-030-31277-0\_7},
timestamp = {Mon, 03 Jan 2022 22:16:19 +0100},
biburl = {https://dblp.org/rec/conf/netys/BalabonskiCPRTU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BramasMT19,
author = {Quentin Bramas and
Toshimitsu Masuzawa and
S{\'{e}}bastien Tixeuil},
editor = {Mohamed Faouzi Atig and
Alexander A. Schwarzmann},
title = {Distributed Online Data Aggregation in Dynamic Graphs},
booktitle = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech,
Morocco, June 19-21, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11704},
pages = {365--380},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31277-0\_24},
doi = {10.1007/978-3-030-31277-0\_24},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BramasMT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/KameiLOTW19,
author = {Sayaka Kamei and
Anissa Lamani and
Fukuhito Ooshita and
S{\'{e}}bastien Tixeuil and
Koichi Wada},
editor = {Pascal Felber and
Roy Friedman and
Seth Gilbert and
Avery Miller},
title = {Gathering on Rings for Myopic Asynchronous Robots With Lights},
booktitle = {23rd International Conference on Principles of Distributed Systems,
{OPODIS} 2019, December 17-19, 2019, Neuch{\^{a}}tel, Switzerland},
series = {LIPIcs},
volume = {153},
pages = {27:1--27:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2019.27},
doi = {10.4230/LIPICS.OPODIS.2019.27},
timestamp = {Mon, 22 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/opodis/KameiLOTW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sirocco/HeribanT19,
author = {Adam Heriban and
S{\'{e}}bastien Tixeuil},
editor = {Keren Censor{-}Hillel and
Michele Flammini},
title = {Mobile Robots with Uncertain Visibility Sensors},
booktitle = {Structural Information and Communication Complexity - 26th International
Colloquium, {SIROCCO} 2019, L'Aquila, Italy, July 1-4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11639},
pages = {349--352},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-24922-9\_27},
doi = {10.1007/978-3-030-24922-9\_27},
timestamp = {Mon, 15 Jul 2019 16:09:50 +0200},
biburl = {https://dblp.org/rec/conf/sirocco/HeribanT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tma/0001NT19,
author = {Nesrine Ammar and
Ludovic Noirie and
S{\'{e}}bastien Tixeuil},
editor = {Stefano Secci and
Isabelle Chrisment and
Marco Fiore and
Lionel Tabourier and
Keun{-}Woo Lim},
title = {Autonomous IoT Device Identification Prototype},
booktitle = {Network Traffic Measurement and Analysis Conference, {TMA} 2019, Paris,
France, June 19-21, 2019},
pages = {195--196},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/TMA.2019.8784517},
doi = {10.23919/TMA.2019.8784517},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/tma/0001NT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/DefagoHTW19,
author = {Xavier D{\'{e}}fago and
Adam Heriban and
S{\'{e}}bastien Tixeuil and
Koichi Wada},
editor = {Jukka Suomela},
title = {Brief Announcement: Model Checking Rendezvous Algorithms for Robots
with Lights in Euclidean Space},
booktitle = {33rd International Symposium on Distributed Computing, {DISC} 2019,
October 14-18, 2019, Budapest, Hungary},
series = {LIPIcs},
volume = {146},
pages = {41:1--41:3},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.DISC.2019.41},
doi = {10.4230/LIPICS.DISC.2019.41},
timestamp = {Fri, 19 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wdag/DefagoHTW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/DefagoPT19,
author = {Xavier D{\'{e}}fago and
Maria Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
editor = {Paola Flocchini and
Giuseppe Prencipe and
Nicola Santoro},
title = {Fault-Tolerant Mobile Robots},
booktitle = {Distributed Computing by Mobile Entities, Current Research in Moving
and Computing},
series = {Lecture Notes in Computer Science},
volume = {11340},
pages = {234--251},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11072-7\_10},
doi = {10.1007/978-3-030-11072-7\_10},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/DefagoPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/Potop-ButucaruSTU19,
author = {Maria Potop{-}Butucaru and
Nathalie Sznajder and
S{\'{e}}bastien Tixeuil and
Xavier Urbain},
editor = {Paola Flocchini and
Giuseppe Prencipe and
Nicola Santoro},
title = {Formal Methods for Mobile Robots},
booktitle = {Distributed Computing by Mobile Entities, Current Research in Moving
and Computing},
series = {Lecture Notes in Computer Science},
volume = {11340},
pages = {278--313},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11072-7\_12},
doi = {10.1007/978-3-030-11072-7\_12},
timestamp = {Wed, 20 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/Potop-ButucaruSTU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sss/2019,
editor = {Mohsen Ghaffari and
Mikhail Nesterenko and
S{\'{e}}bastien Tixeuil and
Sara Tucci and
Yukiko Yamauchi},
title = {Stabilization, Safety, and Security of Distributed Systems - 21st
International Symposium, {SSS} 2019, Pisa, Italy, October 22-25, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11914},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34992-9},
doi = {10.1007/978-3-030-34992-9},
isbn = {978-3-030-34991-2},
timestamp = {Mon, 23 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sss/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-08988,
author = {Silvia Bonomi and
Giovanni Farina and
S{\'{e}}bastien Tixeuil},
title = {Multi-hop Byzantine Reliable Broadcast Made Practical},
journal = {CoRR},
volume = {abs/1903.08988},
year = {2019},
url = {http://arxiv.org/abs/1903.08988},
eprinttype = {arXiv},
eprint = {1903.08988},
timestamp = {Mon, 01 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-08988.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-09177,
author = {Ulysse L{\'{e}}chine and
S{\'{e}}bastien Tixeuil},
title = {Asynchronous Scattering},
journal = {CoRR},
volume = {abs/1905.09177},
year = {2019},
url = {http://arxiv.org/abs/1905.09177},
eprinttype = {arXiv},
eprint = {1905.09177},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-09177.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-09871,
author = {Xavier D{\'{e}}fago and
Adam Heriban and
S{\'{e}}bastien Tixeuil and
Koichi Wada},
title = {Using Model Checking to Formally Verify Rendezvous Algorithms for
Robots with Lights in Euclidean Space},
journal = {CoRR},
volume = {abs/1907.09871},
year = {2019},
url = {http://arxiv.org/abs/1907.09871},
eprinttype = {arXiv},
eprint = {1907.09871},
timestamp = {Mon, 22 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-09871.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-04757,
author = {Sayaka Kamei and
Anissa Lamani and
Fukuhito Ooshita and
S{\'{e}}bastien Tixeuil and
Koichi Wada},
title = {Gathering on Rings for Myopic Asynchronous Robots with Lights},
journal = {CoRR},
volume = {abs/1911.04757},
year = {2019},
url = {http://arxiv.org/abs/1911.04757},
eprinttype = {arXiv},
eprint = {1911.04757},
timestamp = {Mon, 22 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-04757.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/BlinT18,
author = {L{\'{e}}lia Blin and
S{\'{e}}bastien Tixeuil},
title = {Compact deterministic self-stabilizing leader election on a ring:
the exponential advantage of being talkative},
journal = {Distributed Comput.},
volume = {31},
number = {2},
pages = {139--166},
year = {2018},
url = {https://doi.org/10.1007/s00446-017-0294-2},
doi = {10.1007/S00446-017-0294-2},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dc/BlinT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/FaghihBTK18,
author = {Fathiyeh Faghih and
Borzoo Bonakdarpour and
S{\'{e}}bastien Tixeuil and
Sandeep S. Kulkarni},
title = {Automated Synthesis of Distributed Self-Stabilizing Protocols},
journal = {Log. Methods Comput. Sci.},
volume = {14},
number = {1},
year = {2018},
url = {https://doi.org/10.23638/LMCS-14(1:12)2018},
doi = {10.23638/LMCS-14(1:12)2018},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/FaghihBTK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/IzumiKPT18,
author = {Taisuke Izumi and
Daichi Kaino and
Maria Gradinariu Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
title = {On time complexity for connectivity-preserving scattering of mobile
robots},
journal = {Theor. Comput. Sci.},
volume = {738},
pages = {42--52},
year = {2018},
url = {https://doi.org/10.1016/j.tcs.2018.04.047},
doi = {10.1016/J.TCS.2018.04.047},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/IzumiKPT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/HeribanDT18,
author = {Adam Heriban and
Xavier D{\'{e}}fago and
S{\'{e}}bastien Tixeuil},
editor = {Paolo Bellavista and
Vijay K. Garg},
title = {Optimally Gathering Two Robots},
booktitle = {Proceedings of the 19th International Conference on Distributed Computing
and Networking, {ICDCN} 2018, Varanasi, India, January 4-7, 2018},
pages = {3:1--3:10},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3154273.3154323},
doi = {10.1145/3154273.3154323},
timestamp = {Fri, 27 Mar 2020 08:54:53 +0100},
biburl = {https://dblp.org/rec/conf/icdcn/HeribanDT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/BalabonskiPRT18,
author = {Thibaut Balabonski and
Robin Pelle and
Lionel Rieg and
S{\'{e}}bastien Tixeuil},
editor = {Paolo Bellavista and
Vijay K. Garg},
title = {A Foundational Framework for Certified Impossibility Results with
Mobile Robots on Graphs},
booktitle = {Proceedings of the 19th International Conference on Distributed Computing
and Networking, {ICDCN} 2018, Varanasi, India, January 4-7, 2018},
pages = {5:1--5:10},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3154273.3154321},
doi = {10.1145/3154273.3154321},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcn/BalabonskiPRT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/AdamekNRT18,
author = {Jordan Adamek and
Mikhail Nesterenko and
James Scott Robinson and
S{\'{e}}bastien Tixeuil},
editor = {Paolo Bellavista and
Vijay K. Garg},
title = {Concurrent Geometric Multicasting},
booktitle = {Proceedings of the 19th International Conference on Distributed Computing
and Networking, {ICDCN} 2018, Varanasi, India, January 4-7, 2018},
pages = {9:1--9:10},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3154273.3154314},
doi = {10.1145/3154273.3154314},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcn/AdamekNRT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/BonomiFT18,
author = {Silvia Bonomi and
Giovanni Farina and
S{\'{e}}bastien Tixeuil},
title = {Multi-hop Byzantine Reliable Broadcast Made Practical},
booktitle = {8th Latin-American Symposium on Dependable Computing, {LADC} 2018,
Foz do Igua{\c{c}}u, Brazil, October 8-10, 2018},
pages = {155--160},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/LADC.2018.00026},
doi = {10.1109/LADC.2018.00026},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ladc/BonomiFT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latin/BlinT18,
author = {L{\'{e}}lia Blin and
S{\'{e}}bastien Tixeuil},
editor = {Michael A. Bender and
Martin Farach{-}Colton and
Miguel A. Mosteiro},
title = {Compact Self-Stabilizing Leader Election for General Networks},
booktitle = {{LATIN} 2018: Theoretical Informatics - 13th Latin American Symposium,
Buenos Aires, Argentina, April 16-19, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10807},
pages = {161--173},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-77404-6\_13},
doi = {10.1007/978-3-319-77404-6\_13},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/latin/BlinT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/ForebackNT18,
author = {Dianne Foreback and
Mikhail Nesterenko and
S{\'{e}}bastien Tixeuil},
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {Churn Possibilities and Impossibilities},
booktitle = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
Morocco, May 9-11, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11028},
pages = {303--317},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05529-5\_20},
doi = {10.1007/978-3-030-05529-5\_20},
timestamp = {Tue, 21 Mar 2023 21:02:48 +0100},
biburl = {https://dblp.org/rec/conf/netys/ForebackNT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/InoueT18,
author = {Michiko Inoue and
S{\'{e}}bastien Tixeuil},
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {Short Paper: Tight Bounds for Universal and Cautious Self-stabilizing
1-Maximal Matching},
booktitle = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
Morocco, May 9-11, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11028},
pages = {334--339},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05529-5\_22},
doi = {10.1007/978-3-030-05529-5\_22},
timestamp = {Tue, 08 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/InoueT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BonomiFT18,
author = {Silvia Bonomi and
Giovanni Farina and
S{\'{e}}bastien Tixeuil},
editor = {Taisuke Izumi and
Petr Kuznetsov},
title = {Reliable Broadcast in Dynamic Networks with Locally Bounded Byzantine
Failures},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 20th
International Symposium, {SSS} 2018, Tokyo, Japan, November 4-7, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11201},
pages = {170--185},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03232-6\_12},
doi = {10.1007/978-3-030-03232-6\_12},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sss/BonomiFT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/OoshitaT18,
author = {Fukuhito Ooshita and
S{\'{e}}bastien Tixeuil},
editor = {Taisuke Izumi and
Petr Kuznetsov},
title = {Ring Exploration with Myopic Luminous Robots},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 20th
International Symposium, {SSS} 2018, Tokyo, Japan, November 4-7, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11201},
pages = {301--316},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03232-6\_20},
doi = {10.1007/978-3-030-03232-6\_20},
timestamp = {Thu, 25 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sss/OoshitaT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BramasT18,
author = {Quentin Bramas and
S{\'{e}}bastien Tixeuil},
editor = {Taisuke Izumi and
Petr Kuznetsov},
title = {Arbitrary Pattern Formation with Four Robots},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 20th
International Symposium, {SSS} 2018, Tokyo, Japan, November 4-7, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11201},
pages = {333--348},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03232-6\_22},
doi = {10.1007/978-3-030-03232-6\_22},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sss/BramasT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BonomiPPT18,
author = {Silvia Bonomi and
Antonella Del Pozzo and
Maria Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
editor = {Taisuke Izumi and
Petr Kuznetsov},
title = {Brief Announcement: Optimal Self-stabilizing Mobile Byzantine-Tolerant
Regular Register with Bounded Timestamps},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 20th
International Symposium, {SSS} 2018, Tokyo, Japan, November 4-7, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11201},
pages = {398--403},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03232-6\_28},
doi = {10.1007/978-3-030-03232-6\_28},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sss/BonomiPPT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BalabonskiCPRTU18,
author = {Thibaut Balabonski and
Pierre Courtieu and
Robin Pelle and
Lionel Rieg and
S{\'{e}}bastien Tixeuil and
Xavier Urbain},
editor = {Taisuke Izumi and
Petr Kuznetsov},
title = {Brief Announcement Continuous vs. Discrete Asynchronous Moves: {A}
Certified Approach for Mobile Robots},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 20th
International Symposium, {SSS} 2018, Tokyo, Japan, November 4-7, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11201},
pages = {404--408},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03232-6\_29},
doi = {10.1007/978-3-030-03232-6\_29},
timestamp = {Thu, 25 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sss/BalabonskiCPRTU18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-03965,
author = {Fukuhito Ooshita and
S{\'{e}}bastien Tixeuil},
title = {Ring Exploration with Myopic Luminous Robots},
journal = {CoRR},
volume = {abs/1805.03965},
year = {2018},
url = {http://arxiv.org/abs/1805.03965},
eprinttype = {arXiv},
eprint = {1805.03965},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-03965.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-01770,
author = {Silvia Bonomi and
Giovanni Farina and
S{\'{e}}bastien Tixeuil},
title = {Reliable Broadcast in Dynamic Networks with Locally Bounded Byzantine
Failures},
journal = {CoRR},
volume = {abs/1811.01770},
year = {2018},
url = {http://arxiv.org/abs/1811.01770},
eprinttype = {arXiv},
eprint = {1811.01770},
timestamp = {Thu, 22 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-01770.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BramasT17,
author = {Quentin Bramas and
S{\'{e}}bastien Tixeuil},
title = {The complexity of data aggregation in static and dynamic wireless
sensor networks},
journal = {Inf. Comput.},
volume = {255},
pages = {369--383},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2016.12.004},
doi = {10.1016/J.IC.2016.12.004},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BramasT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BramasT17,
author = {Quentin Bramas and
S{\'{e}}bastien Tixeuil},
title = {The Random Bit Complexity of Mobile Robots Scattering},
journal = {Int. J. Found. Comput. Sci.},
volume = {28},
number = {2},
pages = {111--134},
year = {2017},
url = {https://doi.org/10.1142/S0129054117500083},
doi = {10.1142/S0129054117500083},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BramasT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/AdamekFNT17,
author = {Jordan Adamek and
Giovanni Farina and
Mikhail Nesterenko and
S{\'{e}}bastien Tixeuil},
title = {Evaluating and optimizing stabilizing dining philosophers},
journal = {J. Parallel Distributed Comput.},
volume = {109},
pages = {63--74},
year = {2017},
url = {https://doi.org/10.1016/j.jpdc.2017.05.003},
doi = {10.1016/J.JPDC.2017.05.003},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/AdamekFNT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/SangnierSPT17,
author = {Arnaud Sangnier and
Nathalie Sznajder and
Maria Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Parameterized verification of algorithms for oblivious robots on a
ring},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {212--219},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102262},
doi = {10.23919/FMCAD.2017.8102262},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/SangnierSPT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BalabonskiCRTU17,
author = {Thibaut Balabonski and
Pierre Courtieu and
Lionel Rieg and
S{\'{e}}bastien Tixeuil and
Xavier Urbain},
editor = {Laure Petrucci and
Cristina Seceleanu and
Ana Cavalcanti},
title = {Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results
and Open Problems},
booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint
22nd International Workshop on Formal Methods for Industrial Critical
Systems - and - 17th International Workshop on Automated Verification
of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10471},
pages = {165--181},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67113-0\_11},
doi = {10.1007/978-3-319-67113-0\_11},
timestamp = {Mon, 21 Feb 2022 14:40:51 +0100},
biburl = {https://dblp.org/rec/conf/fmics/BalabonskiCRTU17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/InoueOT17,
author = {Michiko Inoue and
Fukuhito Ooshita and
S{\'{e}}bastien Tixeuil},
editor = {Elad Michael Schiller and
Alexander A. Schwarzmann},
title = {Brief Announcement: Efficient Self-Stabilizing 1-Maximal Matching
Algorithm for Arbitrary Networks},
booktitle = {Proceedings of the {ACM} Symposium on Principles of Distributed Computing,
{PODC} 2017, Washington, DC, USA, July 25-27, 2017},
pages = {411--413},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087801.3087840},
doi = {10.1145/3087801.3087840},
timestamp = {Tue, 06 Nov 2018 11:07:18 +0100},
biburl = {https://dblp.org/rec/conf/podc/InoueOT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/AdamekNRT17,
author = {Jordan Adamek and
Mikhail Nesterenko and
James Scott Robinson and
S{\'{e}}bastien Tixeuil},
title = {Stateless Reliable Geocasting},
booktitle = {36th {IEEE} Symposium on Reliable Distributed Systems, {SRDS} 2017,
Hong Kong, Hong Kong, September 26-29, 2017},
pages = {44--53},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/SRDS.2017.13},
doi = {10.1109/SRDS.2017.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/AdamekNRT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/BonomiPPT17,
author = {Silvia Bonomi and
Antonella Del Pozzo and
Maria Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
title = {Optimal Storage under Unsynchronized Mobile Byzantine Faults},
booktitle = {36th {IEEE} Symposium on Reliable Distributed Systems, {SRDS} 2017,
Hong Kong, Hong Kong, September 26-29, 2017},
pages = {154--163},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/SRDS.2017.20},
doi = {10.1109/SRDS.2017.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/BonomiPPT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/InoueOT17,
author = {Michiko Inoue and
Fukuhito Ooshita and
S{\'{e}}bastien Tixeuil},
editor = {Paul G. Spirakis and
Philippas Tsigas},
title = {An Efficient Silent Self-stabilizing 1-Maximal Matching Algorithm
Under Distributed Daemon for Arbitrary Networks},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 19th
International Symposium, {SSS} 2017, Boston, MA, USA, November 5-8,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10616},
pages = {93--108},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69084-1\_7},
doi = {10.1007/978-3-319-69084-1\_7},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/sss/InoueOT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/BlinT17,
author = {L{\'{e}}lia Blin and
S{\'{e}}bastien Tixeuil},
editor = {Andr{\'{e}}a W. Richa},
title = {Brief Announcement: Compact Self-Stabilizing Leader Election in Arbitrary
Graphs},
booktitle = {31st International Symposium on Distributed Computing, {DISC} 2017,
October 16-20, 2017, Vienna, Austria},
series = {LIPIcs},
volume = {91},
pages = {43:1--43:3},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.DISC.2017.43},
doi = {10.4230/LIPICS.DISC.2017.43},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/wdag/BlinT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sirocco/2017,
editor = {Shantanu Das and
S{\'{e}}bastien Tixeuil},
title = {Structural Information and Communication Complexity - 24th International
Colloquium, {SIROCCO} 2017, Porquerolles, France, June 19-22, 2017,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10641},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72050-0},
doi = {10.1007/978-3-319-72050-0},
isbn = {978-3-319-72049-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sirocco/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BlinT17,
author = {L{\'{e}}lia Blin and
S{\'{e}}bastien Tixeuil},
title = {Compact Self-Stabilizing Leader Election for Arbitrary Networks},
journal = {CoRR},
volume = {abs/1702.07605},
year = {2017},
url = {http://arxiv.org/abs/1702.07605},
eprinttype = {arXiv},
eprint = {1702.07605},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BlinT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SangnierSPT17,
author = {Arnaud Sangnier and
Nathalie Sznajder and
Maria Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
title = {Parameterized Verification of Algorithms for Oblivious Robots on a
Ring},
journal = {CoRR},
volume = {abs/1706.05193},
year = {2017},
url = {http://arxiv.org/abs/1706.05193},
eprinttype = {arXiv},
eprint = {1706.05193},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SangnierSPT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AdamekNRT17,
author = {Jordan Adamek and
Mikhail Nesterenko and
James Scott Robinson and
S{\'{e}}bastien Tixeuil},
title = {Concurrent Geometric Multicasting},
journal = {CoRR},
volume = {abs/1706.05263},
year = {2017},
url = {http://arxiv.org/abs/1706.05263},
eprinttype = {arXiv},
eprint = {1706.05263},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AdamekNRT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BonomiPPT17,
author = {Silvia Bonomi and
Antonella Del Pozzo and
Maria Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
title = {Optimal Storage under Unsynchrononized Mobile Byzantine Faults},
journal = {CoRR},
volume = {abs/1707.05063},
year = {2017},
url = {http://arxiv.org/abs/1707.05063},
eprinttype = {arXiv},
eprint = {1707.05063},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BonomiPPT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-06183,
author = {Adam Heriban and
Xavier D{\'{e}}fago and
S{\'{e}}bastien Tixeuil},
title = {Optimally Gathering Two Robots},
journal = {CoRR},
volume = {abs/1708.06183},
year = {2017},
url = {http://arxiv.org/abs/1708.06183},
eprinttype = {arXiv},
eprint = {1708.06183},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-06183.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BlinPRT16,
author = {L{\'{e}}lia Blin and
Maria Potop{-}Butucaru and
Stephane Rovedakis and
S{\'{e}}bastien Tixeuil},
title = {A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-Free
Property},
journal = {Comput. J.},
volume = {59},
number = {2},
pages = {225--243},
year = {2016},
url = {https://doi.org/10.1093/comjnl/bxv110},
doi = {10.1093/COMJNL/BXV110},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/BlinPRT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/BerardLMPTT16,
author = {B{\'{e}}atrice B{\'{e}}rard and
Pascal Lafourcade and
Laure Millet and
Maria Potop{-}Butucaru and
Yann Thierry{-}Mieg and
S{\'{e}}bastien Tixeuil},
title = {Formal verification of mobile robot protocols},
journal = {Distributed Comput.},
volume = {29},
number = {6},
pages = {459--487},
year = {2016},
url = {https://doi.org/10.1007/s00446-016-0271-1},
doi = {10.1007/S00446-016-0271-1},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/BerardLMPTT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/MaurerT16,
author = {Alexandre Maurer and
S{\'{e}}bastien Tixeuil},
title = {Tolerating Random Byzantine Failures in an Unbounded Network},
journal = {Parallel Process. Lett.},
volume = {26},
number = {1},
pages = {1650003:1--1650003:12},
year = {2016},
url = {https://doi.org/10.1142/S0129626416500031},
doi = {10.1142/S0129626416500031},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ppl/MaurerT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhoc-now/BonnetPT16,
author = {Fran{\c{c}}ois Bonnet and
Maria Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
editor = {Nathalie Mitton and
Valeria Loscr{\`{\i}} and
Alexandre Mouradian},
title = {Asynchronous Gathering in Rings with 4 Robots},
booktitle = {Ad-hoc, Mobile, and Wireless Networks - 15th International Conference,
{ADHOC-NOW} 2016, Lille, France, July 4-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9724},
pages = {311--324},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40509-4\_22},
doi = {10.1007/978-3-319-40509-4\_22},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/adhoc-now/BonnetPT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloudnet/BenchaitaTGT16,
author = {Walid Benchaita and
Gioacchino Tangari and
Samir Ghamri{-}Doudane and
S{\'{e}}bastien Tixeuil},
title = {Enhancing Content Distribution through Information-Aware Mechanisms},
booktitle = {5th {IEEE} International Conference on Cloud Networking, Cloudnet
2016, Pisa, Italy, October 3-5, 2016},
pages = {58--63},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/CloudNet.2016.50},
doi = {10.1109/CLOUDNET.2016.50},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/cloudnet/BenchaitaTGT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/FaghihBTK16,
author = {Fathiyeh Faghih and
Borzoo Bonakdarpour and
S{\'{e}}bastien Tixeuil and
Sandeep S. Kulkarni},
editor = {Elvira Albert and
Ivan Lanese},
title = {Specification-Based Synthesis of Distributed Self-Stabilizing Protocols},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held
as Part of the 11th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June
6-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9688},
pages = {124--141},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39570-8\_9},
doi = {10.1007/978-3-319-39570-8\_9},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/FaghihBTK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/BenchaitaGT16,
author = {Walid Benchaita and
Samir Ghamri{-}Doudane and
S{\'{e}}bastien Tixeuil},
title = {Stability and optimization of DNS-based request redirection in CDNs},
booktitle = {Proceedings of the 17th International Conference on Distributed Computing
and Networking, Singapore, January 4-7, 2016},
pages = {11:1--11:10},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2833312.2833455},
doi = {10.1145/2833312.2833455},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcn/BenchaitaGT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/BonomiPPT16,
author = {Silvia Bonomi and
Antonella Del Pozzo and
Maria Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
title = {Approximate Agreement under Mobile Byzantine Faults},
booktitle = {36th {IEEE} International Conference on Distributed Computing Systems,
{ICDCS} 2016, Nara, Japan, June 27-30, 2016},
pages = {727--728},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICDCS.2016.68},
doi = {10.1109/ICDCS.2016.68},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/BonomiPPT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/BramasMT16,
author = {Quentin Bramas and
Toshimitsu Masuzawa and
S{\'{e}}bastien Tixeuil},
title = {Distributed Online Data Aggregation in Dynamic Graphs},
booktitle = {36th {IEEE} International Conference on Distributed Computing Systems,
{ICDCS} 2016, Nara, Japan, June 27-30, 2016},
pages = {747--748},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICDCS.2016.55},
doi = {10.1109/ICDCS.2016.55},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/BramasMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BramasT16,
author = {Quentin Bramas and
S{\'{e}}bastien Tixeuil},
editor = {Parosh Aziz Abdulla and
Carole Delporte{-}Gallet},
title = {Benchmarking Energy-Centric Broadcast Protocols in Wireless Sensor
Networks},
booktitle = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
Morocco, May 18-20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9944},
pages = {87--101},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46140-3\_7},
doi = {10.1007/978-3-319-46140-3\_7},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BramasT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/BonomiPPT16,
author = {Silvia Bonomi and
Antonella Del Pozzo and
Maria Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
editor = {George Giakkoupis},
title = {Optimal Mobile Byzantine Fault Tolerant Distributed Storage: Extended
Abstract},
booktitle = {Proceedings of the 2016 {ACM} Symposium on Principles of Distributed
Computing, {PODC} 2016, Chicago, IL, USA, July 25-28, 2016},
pages = {269--278},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933057.2933100},
doi = {10.1145/2933057.2933100},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/BonomiPPT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/CourtieuRTU16,
author = {Pierre Courtieu and
Lionel Rieg and
S{\'{e}}bastien Tixeuil and
Xavier Urbain},
editor = {George Giakkoupis},
title = {Brief Announcement: Certified Universal Gathering in R\({}^{\mbox{2}}\)
for Oblivious Mobile Robots},
booktitle = {Proceedings of the 2016 {ACM} Symposium on Principles of Distributed
Computing, {PODC} 2016, Chicago, IL, USA, July 25-28, 2016},
pages = {439--441},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933057.2933070},
doi = {10.1145/2933057.2933070},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/CourtieuRTU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/BramasT16,
author = {Quentin Bramas and
S{\'{e}}bastien Tixeuil},
editor = {George Giakkoupis},
title = {Brief Announcement: Probabilistic Asynchronous Arbitrary Pattern Formation},
booktitle = {Proceedings of the 2016 {ACM} Symposium on Principles of Distributed
Computing, {PODC} 2016, Chicago, IL, USA, July 25-28, 2016},
pages = {443--445},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933057.2933074},
doi = {10.1145/2933057.2933074},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/BramasT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BalabonskiDRTU16,
author = {Thibaut Balabonski and
Am{\'{e}}lie Delga and
Lionel Rieg and
S{\'{e}}bastien Tixeuil and
Xavier Urbain},
editor = {Borzoo Bonakdarpour and
Franck Petit},
title = {Synchronous Gathering Without Multiplicity Detection: {A} Certified
Algorithm},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 18th
International Symposium, {SSS} 2016, Lyon, France, November 7-10,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10083},
pages = {7--19},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49259-9\_2},
doi = {10.1007/978-3-319-49259-9\_2},
timestamp = {Sun, 25 Oct 2020 22:45:03 +0100},
biburl = {https://dblp.org/rec/conf/sss/BalabonskiDRTU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BramasFNT16,
author = {Quentin Bramas and
Dianne Foreback and
Mikhail Nesterenko and
S{\'{e}}bastien Tixeuil},
editor = {Borzoo Bonakdarpour and
Franck Petit},
title = {Packet Efficient Implementation of the Omega Failure Detector},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 18th
International Symposium, {SSS} 2016, Lyon, France, November 7-10,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10083},
pages = {70--87},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49259-9\_6},
doi = {10.1007/978-3-319-49259-9\_6},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sss/BramasFNT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BramasT16,
author = {Quentin Bramas and
S{\'{e}}bastien Tixeuil},
editor = {Borzoo Bonakdarpour and
Franck Petit},
title = {Probabilistic Asynchronous Arbitrary Pattern Formation (Short Paper)},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 18th
International Symposium, {SSS} 2016, Lyon, France, November 7-10,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10083},
pages = {88--93},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49259-9\_7},
doi = {10.1007/978-3-319-49259-9\_7},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sss/BramasT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/ForebackNT16,
author = {Dianne Foreback and
Mikhail Nesterenko and
S{\'{e}}bastien Tixeuil},
editor = {Borzoo Bonakdarpour and
Franck Petit},
title = {Infinite Unlimited Churn (Short Paper)},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 18th
International Symposium, {SSS} 2016, Lyon, France, November 7-10,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10083},
pages = {148--153},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49259-9\_12},
doi = {10.1007/978-3-319-49259-9\_12},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sss/ForebackNT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/InoueOT16,
author = {Michiko Inoue and
Fukuhito Ooshita and
S{\'{e}}bastien Tixeuil},
editor = {Borzoo Bonakdarpour and
Franck Petit},
title = {An Efficient Silent Self-stabilizing 1-Maximal Matching Algorithm
Under Distributed Daemon Without Global Identifiers},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 18th
International Symposium, {SSS} 2016, Lyon, France, November 7-10,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10083},
pages = {195--212},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49259-9\_17},
doi = {10.1007/978-3-319-49259-9\_17},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sss/InoueOT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/CourtieuRTU16,
author = {Pierre Courtieu and
Lionel Rieg and
S{\'{e}}bastien Tixeuil and
Xavier Urbain},
editor = {Cyril Gavoille and
David Ilcinkas},
title = {Certified Universal Gathering in {\textbackslash}mathbb {R} {\^{}}2
for Oblivious Mobile Robots},
booktitle = {Distributed Computing - 30th International Symposium, {DISC} 2016,
Paris, France, September 27-29, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9888},
pages = {187--200},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-53426-7\_14},
doi = {10.1007/978-3-662-53426-7\_14},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/CourtieuRTU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BramasMT16,
author = {Quentin Bramas and
Toshimitsu Masuzawa and
S{\'{e}}bastien Tixeuil},
title = {Distributed Online Data Aggregation in Dynamic Graphs},
journal = {CoRR},
volume = {abs/1602.01065},
year = {2016},
url = {http://arxiv.org/abs/1602.01065},
eprinttype = {arXiv},
eprint = {1602.01065},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BramasMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CourtieuRTU16,
author = {Pierre Courtieu and
Lionel Rieg and
S{\'{e}}bastien Tixeuil and
Xavier Urbain},
title = {Certified Universal Gathering in {\textdollar}R{\^{}}2{\textdollar}
for Oblivious Mobile Robots},
journal = {CoRR},
volume = {abs/1602.08361},
year = {2016},
url = {http://arxiv.org/abs/1602.08361},
eprinttype = {arXiv},
eprint = {1602.08361},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CourtieuRTU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BonomiPPT16,
author = {Silvia Bonomi and
Antonella Del Pozzo and
Maria Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
title = {Approximate Agreement under Mobile Byzantine Faults},
journal = {CoRR},
volume = {abs/1604.03871},
year = {2016},
url = {http://arxiv.org/abs/1604.03871},
eprinttype = {arXiv},
eprint = {1604.03871},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BonomiPPT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ForebackNT16,
author = {Dianne Foreback and
Mikhail Nesterenko and
S{\'{e}}bastien Tixeuil},
title = {Infinite Unlimited Churn},
journal = {CoRR},
volume = {abs/1608.00726},
year = {2016},
url = {http://arxiv.org/abs/1608.00726},
eprinttype = {arXiv},
eprint = {1608.00726},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ForebackNT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BonomiPPT16a,
author = {Silvia Bonomi and
Antonella Del Pozzo and
Maria Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
title = {Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded
timestamp},
journal = {CoRR},
volume = {abs/1609.02694},
year = {2016},
url = {http://arxiv.org/abs/1609.02694},
eprinttype = {arXiv},
eprint = {1609.02694},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BonomiPPT16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/DuboisMT15,
author = {Swan Dubois and
Toshimitsu Masuzawa and
S{\'{e}}bastien Tixeuil},
title = {Maximum Metric Spanning Tree Made Byzantine Tolerant},
journal = {Algorithmica},
volume = {73},
number = {1},
pages = {166--201},
year = {2015},
url = {https://doi.org/10.1007/s00453-014-9913-5},
doi = {10.1007/S00453-014-9913-5},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/algorithmica/DuboisMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/DevismesTY15,
author = {St{\'{e}}phane Devismes and
S{\'{e}}bastien Tixeuil and
Masafumi Yamashita},
title = {Weak \emph{vs.} Self \emph{vs.} Probabilistic Stabilization},
journal = {Int. J. Found. Comput. Sci.},
volume = {26},
number = {3},
pages = {293--320},
year = {2015},
url = {https://doi.org/10.1142/S0129054115500173},
doi = {10.1142/S0129054115500173},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/DevismesTY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/CourtieuRTU15,
author = {Pierre Courtieu and
Lionel Rieg and
S{\'{e}}bastien Tixeuil and
Xavier Urbain},
title = {Impossibility of gathering, a certification},
journal = {Inf. Process. Lett.},
volume = {115},
number = {3},
pages = {447--452},
year = {2015},
url = {https://doi.org/10.1016/j.ipl.2014.11.001},
doi = {10.1016/J.IPL.2014.11.001},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/CourtieuRTU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/AlonADDPT15,
author = {Noga Alon and
Hagit Attiya and
Shlomi Dolev and
Swan Dubois and
Maria Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
title = {Practically stabilizing {SWMR} atomic memory in message-passing systems},
journal = {J. Comput. Syst. Sci.},
volume = {81},
number = {4},
pages = {692--701},
year = {2015},
url = {https://doi.org/10.1016/j.jcss.2014.11.014},
doi = {10.1016/J.JCSS.2014.11.014},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/AlonADDPT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/OoshitaT15,
author = {Fukuhito Ooshita and
S{\'{e}}bastien Tixeuil},
title = {On the self-stabilization of mobile oblivious robots in uniform rings},
journal = {Theor. Comput. Sci.},
volume = {568},
pages = {84--96},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2014.12.008},
doi = {10.1016/J.TCS.2014.12.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/OoshitaT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/MaurerT15,
author = {Alexandre Maurer and
S{\'{e}}bastien Tixeuil},
title = {Containing Byzantine Failures with Control Zones},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {26},
number = {2},
pages = {362--370},
year = {2015},
url = {https://doi.org/10.1109/TPDS.2014.2308190},
doi = {10.1109/TPDS.2014.2308190},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/MaurerT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhoc-now/BramasT15,
author = {Quentin Bramas and
S{\'{e}}bastien Tixeuil},
editor = {Symeon Papavassiliou and
Stefan Ruehrup},
title = {The Random Bit Complexity of Mobile Robots Scattering},
booktitle = {Ad-hoc, Mobile, and Wireless Networks - 14th International Conference,
{ADHOC-NOW} 2015, Athens, Greece, June 29 - July 1, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9143},
pages = {210--224},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19662-6\_15},
doi = {10.1007/978-3-319-19662-6\_15},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhoc-now/BramasT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/AdamekNT15,
author = {Jordan Adamek and
Mikhail Nesterenko and
S{\'{e}}bastien Tixeuil},
title = {Evaluating and Optimizing Stabilizing Dining Philosophers},
booktitle = {11th European Dependable Computing Conference, {EDCC} 2015, Paris,
France, September 7-11, 2015},
pages = {233--244},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/EDCC.2015.11},
doi = {10.1109/EDCC.2015.11},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edcc/AdamekNT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/BramasDFHGT15,
author = {Quentin Bramas and
Wilfried Dron and
Mariem Ben Fadhl and
Khalil Hachicha and
Patrick Garda and
S{\'{e}}bastien Tixeuil},
title = {WiSeBat: accurate energy benchmarking of wireless sensor networks},
booktitle = {2015 Forum on Specification and Design Languages, {FDL} 2015, Barcelona,
Spain, September 14-16, 2015},
pages = {40--47},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/FDL.2015.7306084},
doi = {10.1109/FDL.2015.7306084},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fdl/BramasDFHGT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/BonomiPT15,
author = {Silvia Bonomi and
Maria Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
title = {Stabilizing Byzantine-Fault Tolerant Storage},
booktitle = {2015 {IEEE} International Parallel and Distributed Processing Symposium,
{IPDPS} 2015, Hyderabad, India, May 25-29, 2015},
pages = {894--903},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/IPDPS.2015.89},
doi = {10.1109/IPDPS.2015.89},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/BonomiPT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/DevismesLPT15,
author = {St{\'{e}}phane Devismes and
Anissa Lamani and
Franck Petit and
S{\'{e}}bastien Tixeuil},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Optimal Torus Exploration by Oblivious Robots},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {183--199},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_13},
doi = {10.1007/978-3-319-26850-7\_13},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/DevismesLPT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/BenchaitaGT15,
author = {Walid Benchaita and
Samir Ghamri{-}Doudane and
S{\'{e}}bastien Tixeuil},
editor = {Steve Uhlig and
Olaf Maennel and
Brad Karp and
Jitendra Padhye},
title = {On the Optimization of Request Routing for Content Delivery},
booktitle = {Proceedings of the 2015 {ACM} Conference on Special Interest Group
on Data Communication, {SIGCOMM} 2015, London, United Kingdom, August
17-21, 2015},
pages = {347--348},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2785956.2790016},
doi = {10.1145/2785956.2790016},
timestamp = {Wed, 21 Jul 2021 16:09:54 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/BenchaitaGT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sirocco/BramasT15,
author = {Quentin Bramas and
S{\'{e}}bastien Tixeuil},
editor = {Christian Scheideler},
title = {Wait-Free Gathering Without Chirality},
booktitle = {Structural Information and Communication Complexity - 22nd International
Colloquium, {SIROCCO} 2015, Montserrat, Spain, July 14-16, 2015, Post-Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9439},
pages = {313--327},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25258-2\_22},
doi = {10.1007/978-3-319-25258-2\_22},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sirocco/BramasT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/MaurerTD15,
author = {Alexandre Maurer and
S{\'{e}}bastien Tixeuil and
Xavier D{\'{e}}fago},
title = {Communicating Reliably in Multihop Dynamic Networks Despite Byzantine
Failures},
booktitle = {34th {IEEE} Symposium on Reliable Distributed Systems, {SRDS} 2015,
Montreal, QC, Canada, September 28 - October 1, 2015},
pages = {238--245},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SRDS.2015.10},
doi = {10.1109/SRDS.2015.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/MaurerTD15.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 = {Sun, 25 Oct 2020 22:45:03 +0100},
biburl = {https://dblp.org/rec/conf/sss/BramasT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sss/AflakiBT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BramasFNT15,
author = {Quentin Bramas and
Dianne Foreback and
Mikhail Nesterenko and
S{\'{e}}bastien Tixeuil},
title = {Packet Efficient Implementation of the Omega Failure Detector},
journal = {CoRR},
volume = {abs/1505.05025},
year = {2015},
url = {http://arxiv.org/abs/1505.05025},
eprinttype = {arXiv},
eprint = {1505.05025},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BramasFNT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CourtieuRTU15,
author = {Pierre Courtieu and
Lionel Rieg and
S{\'{e}}bastien Tixeuil and
Xavier Urbain},
title = {A Certified Universal Gathering Algorithm for Oblivious Mobile Robots},
journal = {CoRR},
volume = {abs/1506.01603},
year = {2015},
url = {http://arxiv.org/abs/1506.01603},
eprinttype = {arXiv},
eprint = {1506.01603},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CourtieuRTU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AdamekNT15,
author = {Jordan Adamek and
Mikhail Nesterenko and
S{\'{e}}bastien Tixeuil},
title = {Stateless Geocasting},
journal = {CoRR},
volume = {abs/1506.07895},
year = {2015},
url = {http://arxiv.org/abs/1506.07895},
eprinttype = {arXiv},
eprint = {1506.07895},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AdamekNT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BramasT15,
author = {Quentin Bramas and
S{\'{e}}bastien Tixeuil},
title = {Asynchronous Pattern Formation without Chirality},
journal = {CoRR},
volume = {abs/1508.03714},
year = {2015},
url = {http://arxiv.org/abs/1508.03714},
eprinttype = {arXiv},
eprint = {1508.03714},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BramasT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FaghihBTK15,
author = {Fathiyeh Faghih and
Borzoo Bonakdarpour and
S{\'{e}}bastien Tixeuil and
Sandeep S. Kulkarni},
title = {Specification-based Synthesis of Distributed Self-Stabilizing Protocols},
journal = {CoRR},
volume = {abs/1509.05664},
year = {2015},
url = {http://arxiv.org/abs/1509.05664},
eprinttype = {arXiv},
eprint = {1509.05664},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FaghihBTK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/MaurerT14,
author = {Alexandre Maurer and
S{\'{e}}bastien Tixeuil},
title = {Byzantine broadcast with fixed disjoint paths},
journal = {J. Parallel Distributed Comput.},
volume = {74},
number = {11},
pages = {3153--3160},
year = {2014},
url = {https://doi.org/10.1016/j.jpdc.2014.07.010},
doi = {10.1016/J.JPDC.2014.07.010},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/MaurerT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HonoratPT14,
author = {Anthony Honorat and
Maria Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
title = {Gathering fat mobile robots with slim omnidirectional cameras},
journal = {Theor. Comput. Sci.},
volume = {557},
pages = {1--27},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2014.08.004},
doi = {10.1016/J.TCS.2014.08.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HonoratPT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/BonnetDPPT14,
author = {Fran{\c{c}}ois Bonnet and
Xavier D{\'{e}}fago and
Franck Petit and
Maria Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
title = {Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols},
booktitle = {33rd {IEEE} International Symposium on Reliable Distributed Systems
Workshops, {SRDS} Workshops 2014, Nara, Japan, October 6-9, 2014},
pages = {50--59},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SRDSW.2014.34},
doi = {10.1109/SRDSW.2014.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/BonnetDPPT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/MaurerT14,
author = {Alexandre Maurer and
S{\'{e}}bastien Tixeuil},
title = {Self-Stabilizing Byzantine Broadcast},
booktitle = {33rd {IEEE} International Symposium on Reliable Distributed Systems,
{SRDS} 2014, Nara, Japan, October 6-9, 2014},
pages = {152--160},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SRDS.2014.10},
doi = {10.1109/SRDS.2014.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/MaurerT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/MilletPST14,
author = {Laure Millet and
Maria Potop{-}Butucaru and
Nathalie Sznajder and
S{\'{e}}bastien Tixeuil},
editor = {Pascal Felber and
Vijay K. Garg},
title = {On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 16th
International Symposium, {SSS} 2014, Paderborn, Germany, September
28 - October 1, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8756},
pages = {237--251},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11764-5\_17},
doi = {10.1007/978-3-319-11764-5\_17},
timestamp = {Mon, 15 Jun 2020 17:02:54 +0200},
biburl = {https://dblp.org/rec/conf/sss/MilletPST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BlinT14,
author = {L{\'{e}}lia Blin and
S{\'{e}}bastien Tixeuil},
title = {Compact Deterministic Self-Stabilizing Leader Election: The Exponential
Advantage of Being Talkative},
journal = {CoRR},
volume = {abs/1401.4972},
year = {2014},
url = {http://arxiv.org/abs/1401.4972},
eprinttype = {arXiv},
eprint = {1401.4972},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BlinT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MaurerTD14,
author = {Alexandre Maurer and
S{\'{e}}bastien Tixeuil and
Xavier D{\'{e}}fago},
title = {Reliable Communication in a Dynamic Network in the Presence of Byzantine
Faults},
journal = {CoRR},
volume = {abs/1402.0121},
year = {2014},
url = {http://arxiv.org/abs/1402.0121},
eprinttype = {arXiv},
eprint = {1402.0121},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MaurerTD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CourtieuRUT14,
author = {Pierre Courtieu and
Lionel Rieg and
Xavier Urbain and
S{\'{e}}bastien Tixeuil},
title = {Impossibility of Gathering, a Certification},
journal = {CoRR},
volume = {abs/1405.5902},
year = {2014},
url = {http://arxiv.org/abs/1405.5902},
eprinttype = {arXiv},
eprint = {1405.5902},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CourtieuRUT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MilletPST14,
author = {Laure Millet and
Maria Potop{-}Butucaru and
Nathalie Sznajder and
S{\'{e}}bastien Tixeuil},
title = {On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering},
journal = {CoRR},
volume = {abs/1407.0978},
year = {2014},
url = {http://arxiv.org/abs/1407.0978},
eprinttype = {arXiv},
eprint = {1407.0978},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MilletPST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijguc/NesterenkoT13,
author = {Mikhail Nesterenko and
S{\'{e}}bastien Tixeuil},
title = {Ideal stabilisation},
journal = {Int. J. Grid Util. Comput.},
volume = {4},
number = {4},
pages = {219--230},
year = {2013},
url = {https://doi.org/10.1504/IJGUC.2013.057116},
doi = {10.1504/IJGUC.2013.057116},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijguc/NesterenkoT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jco/KameiKDT13,
author = {Sayaka Kamei and
Hirotsugu Kakugawa and
St{\'{e}}phane Devismes and
S{\'{e}}bastien Tixeuil},
title = {A self-stabilizing 3-approximation for the maximum leaf spanning tree
problem in arbitrary networks},
journal = {J. Comb. Optim.},
volume = {25},
number = {3},
pages = {430--459},
year = {2013},
url = {https://doi.org/10.1007/s10878-011-9383-5},
doi = {10.1007/S10878-011-9383-5},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jco/KameiKDT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DevismesPT13,
author = {St{\'{e}}phane Devismes and
Franck Petit and
S{\'{e}}bastien Tixeuil},
title = {Optimal probabilistic ring exploration by semi-synchronous oblivious
robots},
journal = {Theor. Comput. Sci.},
volume = {498},
pages = {10--27},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2013.05.031},
doi = {10.1016/J.TCS.2013.05.031},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DevismesPT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/MaurerT13,
author = {Alexandre Maurer and
S{\'{e}}bastien Tixeuil},
editor = {Davide Frey and
Michel Raynal and
Saswati Sarkar and
Rudrapatna K. Shyamasundar and
Prasun Sinha},
title = {A Scalable Byzantine Grid},
booktitle = {Distributed Computing and Networking, 14th International Conference,
{ICDCN} 2013, Mumbai, India, January 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7730},
pages = {87--101},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35668-1\_7},
doi = {10.1007/978-3-642-35668-1\_7},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/icdcn/MaurerT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/DattaDLT13,
author = {Ajoy Kumar Datta and
St{\'{e}}phane Devismes and
Lawrence L. Larmore and
S{\'{e}}bastien Tixeuil},
editor = {Davide Frey and
Michel Raynal and
Saswati Sarkar and
Rudrapatna K. Shyamasundar and
Prasun Sinha},
title = {Fast Leader (Full) Recovery Despite Dynamic Faults},
booktitle = {Distributed Computing and Networking, 14th International Conference,
{ICDCN} 2013, Mumbai, India, January 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7730},
pages = {428--433},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35668-1\_30},
doi = {10.1007/978-3-642-35668-1\_30},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdcn/DattaDLT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/Bouzid0T13,
author = {Zohir Bouzid and
Shantanu Das and
S{\'{e}}bastien Tixeuil},
title = {Gathering of Mobile Robots Tolerating Multiple Crash Faults},
booktitle = {{IEEE} 33rd International Conference on Distributed Computing Systems,
{ICDCS} 2013, 8-11 July, 2013, Philadelphia, Pennsylvania, {USA}},
pages = {337--346},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICDCS.2013.27},
doi = {10.1109/ICDCS.2013.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/Bouzid0T13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/DattaLDT13,
author = {Ajoy Kumar Datta and
Lawrence L. Larmore and
St{\'{e}}phane Devismes and
S{\'{e}}bastien Tixeuil},
title = {Fast Leader (Full) Recovery Despite Dynamic Faults},
booktitle = {2013 {IEEE} International Symposium on Parallel {\&} Distributed
Processing, Workshops and Phd Forum, Cambridge, MA, USA, May 20-24,
2013},
pages = {716--725},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/IPDPSW.2013.8},
doi = {10.1109/IPDPSW.2013.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/DattaLDT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/BlinT13,
author = {L{\'{e}}lia Blin and
S{\'{e}}bastien Tixeuil},
editor = {Panagiota Fatourou and
Gadi Taubenfeld},
title = {Brief announcement: deterministic self-stabilizing leader election
with O(log log n)-bits},
booktitle = {{ACM} Symposium on Principles of Distributed Computing, {PODC} '13,
Montreal, QC, Canada, July 22-24, 2013},
pages = {125--127},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2484239.2484289},
doi = {10.1145/2484239.2484289},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/BlinT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/KhouriGT13,
author = {Catia Khouri and
Fab{\'{\i}}ola Greve and
S{\'{e}}bastien Tixeuil},
title = {Consensus with Unknown Participants in Shared Memory},
booktitle = {{IEEE} 32nd Symposium on Reliable Distributed Systems, {SRDS} 2013,
Braga, Portugal, 1-3 October 2013},
pages = {51--60},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SRDS.2013.14},
doi = {10.1109/SRDS.2013.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/KhouriGT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/FallahiBT13,
author = {Narges Fallahi and
Borzoo Bonakdarpour and
S{\'{e}}bastien Tixeuil},
title = {Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic
Model Checking},
booktitle = {{IEEE} 32nd Symposium on Reliable Distributed Systems, {SRDS} 2013,
Braga, Portugal, 1-3 October 2013},
pages = {153--162},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SRDS.2013.24},
doi = {10.1109/SRDS.2013.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/FallahiBT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/AugerBCTU13,
author = {C{\'{e}}dric Auger and
Zohir Bouzid and
Pierre Courtieu and
S{\'{e}}bastien Tixeuil and
Xavier Urbain},
editor = {Teruo Higashino and
Yoshiaki Katayama and
Toshimitsu Masuzawa and
Maria Potop{-}Butucaru and
Masafumi Yamashita},
title = {Certified Impossibility Results for Byzantine-Tolerant Mobile Robots},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 15th
International Symposium, {SSS} 2013, Osaka, Japan, November 13-16,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8255},
pages = {178--190},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03089-0\_13},
doi = {10.1007/978-3-319-03089-0\_13},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/sss/AugerBCTU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/NorNT13,
author = {Rizal Mohd Nor and
Mikhail Nesterenko and
S{\'{e}}bastien Tixeuil},
editor = {Teruo Higashino and
Yoshiaki Katayama and
Toshimitsu Masuzawa and
Maria Potop{-}Butucaru and
Masafumi Yamashita},
title = {Linearizing Peer-to-Peer Systems with Oracles},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 15th
International Symposium, {SSS} 2013, Osaka, Japan, November 13-16,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8255},
pages = {221--236},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03089-0\_16},
doi = {10.1007/978-3-319-03089-0\_16},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sss/NorNT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/BlinT13,
author = {L{\'{e}}lia Blin and
S{\'{e}}bastien Tixeuil},
editor = {Yehuda Afek},
title = {Compact Deterministic Self-stabilizing Leader Election - The Exponential
Advantage of Being Talkative},
booktitle = {Distributed Computing - 27th International Symposium, {DISC} 2013,
Jerusalem, Israel, October 14-18, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8205},
pages = {76--90},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41527-2\_6},
doi = {10.1007/978-3-642-41527-2\_6},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/BlinT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-2875,
author = {Alexandre Maurer and
S{\'{e}}bastien Tixeuil},
title = {On Byzantine Broadcast in Planar Graphs},
journal = {CoRR},
volume = {abs/1301.2875},
year = {2013},
url = {http://arxiv.org/abs/1301.2875},
eprinttype = {arXiv},
eprint = {1301.2875},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-2875.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-3996,
author = {Alexandre Maurer and
S{\'{e}}bastien Tixeuil},
title = {Parameterizable Byzantine Broadcast in Loosely Connected Networks},
journal = {CoRR},
volume = {abs/1301.3996},
year = {2013},
url = {http://arxiv.org/abs/1301.3996},
eprinttype = {arXiv},
eprint = {1301.3996},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-3996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AugerBCTU13,
author = {C{\'{e}}dric Auger and
Zohir Bouzid and
Pierre Courtieu and
S{\'{e}}bastien Tixeuil and
Xavier Urbain},
title = {Certified Impossibility Results for Byzantine-Tolerant Mobile Robots},
journal = {CoRR},
volume = {abs/1306.4242},
year = {2013},
url = {http://arxiv.org/abs/1306.4242},
eprinttype = {arXiv},
eprint = {1306.4242},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AugerBCTU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BramasT13,
author = {Quentin Bramas and
S{\'{e}}bastien Tixeuil},
title = {The Random Bit Complexity of Mobile Robots Scattering},
journal = {CoRR},
volume = {abs/1309.6603},
year = {2013},
url = {http://arxiv.org/abs/1309.6603},
eprinttype = {arXiv},
eprint = {1309.6603},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BramasT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/DuboisPNT12,
author = {Swan Dubois and
Maria Potop{-}Butucaru and
Mikhail Nesterenko and
S{\'{e}}bastien Tixeuil},
title = {Self-stabilizing byzantine asynchronous unison},
journal = {J. Parallel Distributed Comput.},
volume = {72},
number = {7},
pages = {917--923},
year = {2012},
url = {https://doi.org/10.1016/j.jpdc.2012.04.001},
doi = {10.1016/J.JPDC.2012.04.001},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/DuboisPNT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/DuboisMT12,
author = {Swan Dubois and
Toshimitsu Masuzawa and
S{\'{e}}bastien Tixeuil},
title = {Bounding the Impact of Unbounded Attacks in Stabilization},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {23},
number = {3},
pages = {460--466},
year = {2012},
url = {https://doi.org/10.1109/TPDS.2011.158},
doi = {10.1109/TPDS.2011.158},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/DuboisMT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/BernardDT12,
author = {Samuel Bernard and
Xavier D{\'{e}}fago and
S{\'{e}}bastien Tixeuil},
editor = {Leonard Barolli and
Tomoya Enokido and
Fatos Xhafa and
Makoto Takizawa},
title = {A Fast and Robust Optimistic Total Order Broadcast for Online Video
Games},
booktitle = {26th International Conference on Advanced Information Networking and
Applications Workshops, {WAINA} 2012, Fukuoka, Japan, March 26-29,
2012},
pages = {189--196},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/WAINA.2012.105},
doi = {10.1109/WAINA.2012.105},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/BernardDT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fun/DuboisTZ12,
author = {Swan Dubois and
S{\'{e}}bastien Tixeuil and
Nini Zhu},
editor = {Evangelos Kranakis and
Danny Krizanc and
Flaminia L. Luccio},
title = {The Byzantine Brides Problem},
booktitle = {Fun with Algorithms - 6th International Conference, {FUN} 2012, Venice,
Italy, June 4-6, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7288},
pages = {107--118},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30347-0\_13},
doi = {10.1007/978-3-642-30347-0\_13},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/fun/DuboisTZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/MaurerT12,
author = {Alexandre Maurer and
S{\'{e}}bastien Tixeuil},
title = {Limiting Byzantine Influence in Multihop Asynchronous Networks},
booktitle = {2012 {IEEE} 32nd International Conference on Distributed Computing
Systems, Macau, China, June 18-21, 2012},
pages = {183--192},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICDCS.2012.15},
doi = {10.1109/ICDCS.2012.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/MaurerT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwcmc/CarlinetHKMNT12,
author = {Yannick Carlinet and
The Dang Huynh and
Bruno Kauffmann and
Fabien Mathieu and
Ludovic Noirie and
S{\'{e}}bastien Tixeuil},
title = {Four months in daily motion: Dissecting user video requests},
booktitle = {8th International Wireless Communications and Mobile Computing Conference,
{IWCMC} 2012, Limassol, Cyprus, August 27-31, 2012},
pages = {613--618},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/IWCMC.2012.6314274},
doi = {10.1109/IWCMC.2012.6314274},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/iwcmc/CarlinetHKMNT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KameiLOT12,
author = {Sayaka Kamei and
Anissa Lamani and
Fukuhito Ooshita and
S{\'{e}}bastien Tixeuil},
editor = {Branislav Rovan and
Vladimiro Sassone and
Peter Widmayer},
title = {Gathering an Even Number of Robots in an Odd Ring without Global Multiplicity
Detection},
booktitle = {Mathematical Foundations of Computer Science 2012 - 37th International
Symposium, {MFCS} 2012, Bratislava, Slovakia, August 27-31, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7464},
pages = {542--553},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32589-2\_48},
doi = {10.1007/978-3-642-32589-2\_48},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/KameiLOT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/DolevDPT12,
author = {Shlomi Dolev and
Swan Dubois and
Maria Gradinariu Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
editor = {Roberto Baldoni and
Paola Flocchini and
Binoy Ravindran},
title = {Crash Resilient and Pseudo-Stabilizing Atomic Registers},
booktitle = {Principles of Distributed Systems, 16th International Conference,
{OPODIS} 2012, Rome, Italy, December 18-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7702},
pages = {135--150},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35476-2\_10},
doi = {10.1007/978-3-642-35476-2\_10},
timestamp = {Tue, 29 Dec 2020 18:38:45 +0100},
biburl = {https://dblp.org/rec/conf/opodis/DolevDPT12.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 = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/sss/OoshitaT12.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/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/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/wdag/MaurerT12,
author = {Alexandre Maurer and
S{\'{e}}bastien Tixeuil},
editor = {Marcos K. Aguilera},
title = {On Byzantine Broadcast in Loosely Connected Networks},
booktitle = {Distributed Computing - 26th International Symposium, {DISC} 2012,
Salvador, Brazil, October 16-18, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7611},
pages = {253--266},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33651-5\_18},
doi = {10.1007/978-3-642-33651-5\_18},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/MaurerT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/Bouzid0T12,
author = {Zohir Bouzid and
Shantanu Das and
S{\'{e}}bastien Tixeuil},
editor = {Marcos K. Aguilera},
title = {Brief Announcement: Wait-Free Gathering of Mobile Robots},
booktitle = {Distributed Computing - 26th International Symposium, {DISC} 2012,
Salvador, Brazil, October 16-18, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7611},
pages = {401--402},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33651-5\_28},
doi = {10.1007/978-3-642-33651-5\_28},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wdag/Bouzid0T12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/YamauchiTKY12,
author = {Yukiko Yamauchi and
S{\'{e}}bastien Tixeuil and
Shuji Kijima and
Masafumi Yamashita},
editor = {Marcos K. Aguilera},
title = {Brief Announcement: Probabilistic Stabilization under Probabilistic
Schedulers},
booktitle = {Distributed Computing - 26th International Symposium, {DISC} 2012,
Salvador, Brazil, October 16-18, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7611},
pages = {413--414},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33651-5\_34},
doi = {10.1007/978-3-642-33651-5\_34},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wdag/YamauchiTKY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-5824,
author = {Alexandre Maurer and
S{\'{e}}bastien Tixeuil},
title = {Limiting Byzantien Influence in Multihop Asynchronous Networks},
journal = {CoRR},
volume = {abs/1201.5824},
year = {2012},
url = {http://arxiv.org/abs/1201.5824},
eprinttype = {arXiv},
eprint = {1201.5824},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1201-5824.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-3575,
author = {Swan Dubois and
S{\'{e}}bastien Tixeuil and
Nini Zhu},
title = {The Byzantine Brides Problem},
journal = {CoRR},
volume = {abs/1203.3575},
year = {2012},
url = {http://arxiv.org/abs/1203.3575},
eprinttype = {arXiv},
eprint = {1203.3575},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-3575.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-4565,
author = {Swan Dubois and
S{\'{e}}bastien Tixeuil and
Nini Zhu},
title = {Mariages et Trahisons},
journal = {CoRR},
volume = {abs/1204.4565},
year = {2012},
url = {http://arxiv.org/abs/1204.4565},
eprinttype = {arXiv},
eprint = {1204.4565},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-4565.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-0226,
author = {Zohir Bouzid and
Shantanu Das and
S{\'{e}}bastien Tixeuil},
title = {Wait-Free Gathering of Mobile Robots},
journal = {CoRR},
volume = {abs/1207.0226},
year = {2012},
url = {http://arxiv.org/abs/1207.0226},
eprinttype = {arXiv},
eprint = {1207.0226},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-0226.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-7241,
author = {Sayaka Kamei and
Anissa Lamani and
Fukuhito Ooshita and
S{\'{e}}bastien Tixeuil},
title = {Gathering an even number of robots in an odd ring without global multiplicity
detection},
journal = {CoRR},
volume = {abs/1207.7241},
year = {2012},
url = {http://arxiv.org/abs/1207.7241},
eprinttype = {arXiv},
eprint = {1207.7241},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-7241.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1209-1358,
author = {Alexandre Maurer and
S{\'{e}}bastien Tixeuil},
title = {On Byzantine Broadcast in Loosely Connected Networks},
journal = {CoRR},
volume = {abs/1209.1358},
year = {2012},
url = {http://arxiv.org/abs/1209.1358},
eprinttype = {arXiv},
eprint = {1209.1358},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1209-1358.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-4640,
author = {Alexandre Maurer and
S{\'{e}}bastien Tixeuil},
title = {A Scalable Byzantine Grid},
journal = {CoRR},
volume = {abs/1210.4640},
year = {2012},
url = {http://arxiv.org/abs/1210.4640},
eprinttype = {arXiv},
eprint = {1210.4640},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-4640.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ahswn/MittonSTFL11,
author = {Nathalie Mitton and
Bruno Sericola and
S{\'{e}}bastien Tixeuil and
Eric Fleury and
Isabelle Gu{\'{e}}rin Lassous},
title = {Self-stabilization in Self-organized Wireless Multihop Networks?},
journal = {Ad Hoc Sens. Wirel. Networks},
volume = {11},
number = {1-2},
pages = {1--34},
year = {2011},
url = {http://www.oldcitypublishing.com/journals/ahswn-home/ahswn-issue-contents/ahswn-volume-11-number-1-2/ahswn-11-1-2-p-1-34/},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ahswn/MittonSTFL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/DolevDPT11,
author = {Shlomi Dolev and
Swan Dubois and
Maria Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
title = {Stabilizing data-link over non-FIFO channels with optimal fault-resilience},
journal = {Inf. Process. Lett.},
volume = {111},
number = {18},
pages = {912--920},
year = {2011},
url = {https://doi.org/10.1016/j.ipl.2011.06.010},
doi = {10.1016/J.IPL.2011.06.010},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/DolevDPT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DuboisPT11,
author = {Swan Dubois and
Maria Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
title = {Dynamic {FTSS} in asynchronous systems: The case of unison},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {29},
pages = {3418--3439},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.02.012},
doi = {10.1016/J.TCS.2011.02.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DuboisPT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DelaetMRT11,
author = {Sylvie Dela{\"{e}}t and
Partha Sarathi Mandal and
Mariusz A. Rokicki and
S{\'{e}}bastien Tixeuil},
title = {Deterministic secure positioning in wireless sensor networks},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {35},
pages = {4471--4481},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.04.010},
doi = {10.1016/J.TCS.2011.04.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DelaetMRT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ManneMPT11,
author = {Fredrik Manne and
Morten Mjelde and
Laurence Pilard and
S{\'{e}}bastien Tixeuil},
title = {A self-stabilizing 2/3-approximation algorithm for the maximum matching
problem},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {40},
pages = {5515--5526},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.05.019},
doi = {10.1016/J.TCS.2011.05.019},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ManneMPT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/Tixeuil11,
author = {S{\'{e}}bastien Tixeuil},
title = {{\'{E}}ditorial},
journal = {Tech. Sci. Informatiques},
volume = {30},
number = {7},
pages = {777--779},
year = {2011},
url = {http://tsi.revuesonline.com/article.jsp?articleId=16655},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsi/Tixeuil11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/NesterenkoT11,
author = {Mikhail Nesterenko and
S{\'{e}}bastien Tixeuil},
title = {Ideal Stabilization},
booktitle = {25th {IEEE} International Conference on Advanced Information Networking
and Applications, {AINA} 2011, Biopolis, Singapore, March 22-25, 2011},
pages = {224--231},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/AINA.2011.28},
doi = {10.1109/AINA.2011.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/NesterenkoT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nbis/Potop-ButucaruRT11,
author = {Maria Potop{-}Butucaru and
Michel Raynal and
S{\'{e}}bastien Tixeuil},
editor = {Leonard Barolli and
Fatos Xhafa and
Makoto Takizawa},
title = {Distributed Computing with Mobile Robots: An Introductory Survey},
booktitle = {The 14th International Conference on Network-Based Information Systems,
NBiS 2011, Tirana, Albania, September 7-9, 2011},
pages = {318--324},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/NBiS.2011.55},
doi = {10.1109/NBIS.2011.55},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nbis/Potop-ButucaruRT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/BonnetMPT11,
author = {Fran{\c{c}}ois Bonnet and
Alessia Milani and
Maria Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
editor = {Antonio Fern{\'{a}}ndez Anta and
Giuseppe Lipari and
Matthieu Roy},
title = {Asynchronous Exclusive Perpetual Grid Exploration without Sense of
Direction},
booktitle = {Principles of Distributed Systems - 15th International Conference,
{OPODIS} 2011, Toulouse, France, December 13-16, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7109},
pages = {251--265},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25873-2\_18},
doi = {10.1007/978-3-642-25873-2\_18},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/opodis/BonnetMPT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sirocco/KameiLOT11,
author = {Sayaka Kamei and
Anissa Lamani and
Fukuhito Ooshita and
S{\'{e}}bastien Tixeuil},
editor = {Adrian Kosowski and
Masafumi Yamashita},
title = {Asynchronous Mobile Robot Gathering from Symmetric Configurations
without Global Multiplicity Detection},
booktitle = {Structural Information and Communication Complexity - 18th International
Colloquium, {SIROCCO} 2011, Gdansk, Poland, June 26-29, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6796},
pages = {150--161},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22212-2\_14},
doi = {10.1007/978-3-642-22212-2\_14},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sirocco/KameiLOT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/AlonADDPT11,
author = {Noga Alon and
Hagit Attiya and
Shlomi Dolev and
Swan Dubois and
Maria Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
editor = {Xavier D{\'{e}}fago and
Franck Petit and
Vincent Villain},
title = {Pragmatic Self-stabilization of Atomic Memory in Message-Passing Systems},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 13th
International Symposium, {SSS} 2011, Grenoble, France, October 10-12,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6976},
pages = {19--31},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24550-3\_4},
doi = {10.1007/978-3-642-24550-3\_4},
timestamp = {Sun, 25 Oct 2020 22:45:03 +0100},
biburl = {https://dblp.org/rec/conf/sss/AlonADDPT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/DuboisMT11,
author = {Swan Dubois and
Toshimitsu Masuzawa and
S{\'{e}}bastien Tixeuil},
editor = {David Peleg},
title = {Maximum Metric Spanning Tree Made Byzantine Tolerant},
booktitle = {Distributed Computing - 25th International Symposium, {DISC} 2011,
Rome, Italy, September 20-22, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6950},
pages = {150--164},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24100-0\_14},
doi = {10.1007/978-3-642-24100-0\_14},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/DuboisMT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/IzumiBTW11,
author = {Taisuke Izumi and
Zohir Bouzid and
S{\'{e}}bastien Tixeuil and
Koichi Wada},
editor = {David Peleg},
title = {Brief Announcement: The BG-Simulation for Byzantine Mobile Robots},
booktitle = {Distributed Computing - 25th International Symposium, {DISC} 2011,
Rome, Italy, September 20-22, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6950},
pages = {330--331},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24100-0\_32},
doi = {10.1007/978-3-642-24100-0\_32},
timestamp = {Fri, 19 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wdag/IzumiBTW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1103-3515,
author = {Swan Dubois and
Toshimitsu Masuzawa and
S{\'{e}}bastien Tixeuil},
title = {Self-Stabilization, Byzantine Containment, and Maximizable Metrics:
Necessary Conditions},
journal = {CoRR},
volume = {abs/1103.3515},
year = {2011},
url = {http://arxiv.org/abs/1103.3515},
eprinttype = {arXiv},
eprint = {1103.3515},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1103-3515.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-3947,
author = {Shlomi Dolev and
Swan Dubois and
Maria Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
title = {Communication Optimalement Stabilisante sur Canaux non Fiables et
non {FIFO}},
journal = {CoRR},
volume = {abs/1104.3947},
year = {2011},
url = {http://arxiv.org/abs/1104.3947},
eprinttype = {arXiv},
eprint = {1104.3947},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1104-3947.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-4022,
author = {Swan Dubois and
Toshimitsu Masuzawa and
S{\'{e}}bastien Tixeuil},
title = {Auto-Stabilisation et Confinement de Fautes Malicieuses : Optimalit{\'{e}}
du Protocole min+1},
journal = {CoRR},
volume = {abs/1104.4022},
year = {2011},
url = {http://arxiv.org/abs/1104.4022},
eprinttype = {arXiv},
eprint = {1104.4022},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1104-4022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-5368,
author = {Swan Dubois and
Toshimitsu Masuzawa and
S{\'{e}}bastien Tixeuil},
title = {Maximum Metric Spanning Tree made Byzantine Tolerant},
journal = {CoRR},
volume = {abs/1104.5368},
year = {2011},
url = {http://arxiv.org/abs/1104.5368},
eprinttype = {arXiv},
eprint = {1104.5368},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1104-5368.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-5660,
author = {Sayaka Kamei and
Anissa Lamani and
Fukuhito Ooshita and
S{\'{e}}bastien Tixeuil},
title = {Asynchronous mobile robot gathering from symmetric configurations
without global multiplicity detection},
journal = {CoRR},
volume = {abs/1104.5660},
year = {2011},
url = {http://arxiv.org/abs/1104.5660},
eprinttype = {arXiv},
eprint = {1104.5660},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1104-5660.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1105-2461,
author = {St{\'{e}}phane Devismes and
Anissa Lamani and
Franck Petit and
Pascal Raymond and
S{\'{e}}bastien Tixeuil},
title = {Optimal grid exploration by asynchronous oblivious robots},
journal = {CoRR},
volume = {abs/1105.2461},
year = {2011},
url = {http://arxiv.org/abs/1105.2461},
eprinttype = {arXiv},
eprint = {1105.2461},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1105-2461.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-0113,
author = {Taisuke Izumi and
Zohir Bouzid and
S{\'{e}}bastien Tixeuil and
Koichi Wada},
title = {The BG-simulation for Byzantine Mobile Robots},
journal = {CoRR},
volume = {abs/1106.0113},
year = {2011},
url = {http://arxiv.org/abs/1106.0113},
eprinttype = {arXiv},
eprint = {1106.0113},
timestamp = {Fri, 19 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-0113.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-0334,
author = {Swan Dubois and
S{\'{e}}bastien Tixeuil},
title = {A Taxonomy of Daemons in Self-stabilization},
journal = {CoRR},
volume = {abs/1110.0334},
year = {2011},
url = {http://arxiv.org/abs/1110.0334},
eprinttype = {arXiv},
eprint = {1110.0334},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-0334.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/DelaetDNT10,
author = {Sylvie Dela{\"{e}}t and
St{\'{e}}phane Devismes and
Mikhail Nesterenko and
S{\'{e}}bastien Tixeuil},
title = {Snap-stabilization in message-passing systems},
journal = {J. Parallel Distributed Comput.},
volume = {70},
number = {12},
pages = {1220--1230},
year = {2010},
url = {https://doi.org/10.1016/j.jpdc.2010.04.002},
doi = {10.1016/J.JPDC.2010.04.002},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/DelaetDNT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MasuzawaT10,
author = {Toshimitsu Masuzawa and
S{\'{e}}bastien Tixeuil},
title = {Quiescence of self-stabilizing gossiping among mobile agents in graphs},
journal = {Theor. Comput. Sci.},
volume = {411},
number = {14-15},
pages = {1567--1582},
year = {2010},
url = {https://doi.org/10.1016/j.tcs.2010.01.006},
doi = {10.1016/J.TCS.2010.01.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MasuzawaT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BouzidPT10,
author = {Zohir Bouzid and
Maria Gradinariu Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
title = {Optimal Byzantine-resilient convergence in uni-dimensional robot networks},
journal = {Theor. Comput. Sci.},
volume = {411},
number = {34-36},
pages = {3154--3168},
year = {2010},
url = {https://doi.org/10.1016/j.tcs.2010.05.006},
doi = {10.1016/J.TCS.2010.05.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BouzidPT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/KameiKDT10,
author = {Sayaka Kamei and
Hirotsugu Kakugawa and
St{\'{e}}phane Devismes and
S{\'{e}}bastien Tixeuil},
editor = {My T. Thai and
Sartaj Sahni},
title = {A Self-stabilizing 3-Approximation for the Maximum Leaf Spanning Tree
Problem in Arbitrary Networks},
booktitle = {Computing and Combinatorics, 16th Annual International Conference,
{COCOON} 2010, Nha Trang, Vietnam, July 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6196},
pages = {80--89},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14031-0\_11},
doi = {10.1007/978-3-642-14031-0\_11},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cocoon/KameiKDT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crisis/LesueurRHPT10,
author = {Fran{\c{c}}ois Lesueur and
Ala Rezmerita and
Thomas H{\'{e}}rault and
Sylvain Peyronnet and
S{\'{e}}bastien Tixeuil},
title = {{SAFE-OS:} {A} secure and usable desktop operating system},
booktitle = {CRiSIS 2010, Proceedings of the Fifth International Conference on
Risks and Security of Internet and Systems, Montreal, QC, Canada,
October 10-13, 2010},
pages = {1--7},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/CRISIS.2010.5764916},
doi = {10.1109/CRISIS.2010.5764916},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/crisis/LesueurRHPT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/BernardDPPT10,
author = {Samuel Bernard and
St{\'{e}}phane Devismes and
Katy Paroux and
Maria Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
editor = {Krishna Kant and
Sriram V. Pemmaraju and
Krishna M. Sivalingam and
Jie Wu},
title = {Probabilistic Self-stabilizing Vertex Coloring in Unidirectional Anonymous
Networks},
booktitle = {Distributed Computing and Networking, 11th International Conference,
{ICDCN} 2010, Kolkata, India, January 3-6, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5935},
pages = {167--177},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11322-2\_19},
doi = {10.1007/978-3-642-11322-2\_19},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdcn/BernardDPPT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/MasuzawaT10,
author = {Toshimitsu Masuzawa and
S{\'{e}}bastien Tixeuil},
title = {Stabilizing Locally Maximizable Tasks in Unidirectional Networks Is
Hard},
booktitle = {2010 International Conference on Distributed Computing Systems, {ICDCS}
2010, Genova, Italy, June 21-25, 2010},
pages = {718--727},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICDCS.2010.69},
doi = {10.1109/ICDCS.2010.69},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/MasuzawaT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mswim/AliT10,
author = {Ali Asim and
S{\'{e}}bastien Tixeuil},
editor = {Violet R. Syrotiuk and
Fatih Alag{\"{o}}z and
Brahim Bensaou and
{\"{O}}zg{\"{u}}r B. Akan},
title = {Advanced faults patterns for {WSN} dependability benchmarking},
booktitle = {Proceedings of the 13th International Symposium on Modeling Analysis
and Simulation of Wireless and Mobile Systems, MSWiM 2010, Bodrum,
Turkey, October 17-21, 2010},
pages = {39--48},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1868521.1868530},
doi = {10.1145/1868521.1868530},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mswim/AliT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/BouzidDPT10,
author = {Zohir Bouzid and
Shlomi Dolev and
Maria Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
editor = {Chenyang Lu and
Toshimitsu Masuzawa and
Mohamed Mosbah},
title = {RoboCast: Asynchronous Communication in Robot Networks},
booktitle = {Principles of Distributed Systems - 14th International Conference,
{OPODIS} 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6490},
pages = {16--31},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17653-1\_2},
doi = {10.1007/978-3-642-17653-1\_2},
timestamp = {Tue, 11 Oct 2022 14:59:07 +0200},
biburl = {https://dblp.org/rec/conf/opodis/BouzidDPT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/DuboisPNT10,
author = {Swan Dubois and
Maria Gradinariu Potop{-}Butucaru and
Mikhail Nesterenko and
S{\'{e}}bastien Tixeuil},
editor = {Chenyang Lu and
Toshimitsu Masuzawa and
Mohamed Mosbah},
title = {Self-stabilizing Byzantine Asynchronous Unison\({}^{\mbox{, }}\)},
booktitle = {Principles of Distributed Systems - 14th International Conference,
{OPODIS} 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6490},
pages = {83--86},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17653-1\_7},
doi = {10.1007/978-3-642-17653-1\_7},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/opodis/DuboisPNT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/YamauchiT10,
author = {Yukiko Yamauchi and
S{\'{e}}bastien Tixeuil},
editor = {Chenyang Lu and
Toshimitsu Masuzawa and
Mohamed Mosbah},
title = {Monotonic Stabilization},
booktitle = {Principles of Distributed Systems - 14th International Conference,
{OPODIS} 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6490},
pages = {475--490},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17653-1\_34},
doi = {10.1007/978-3-642-17653-1\_34},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/opodis/YamauchiT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/GreveT10,
author = {Fab{\'{\i}}ola Greve and
S{\'{e}}bastien Tixeuil},
editor = {Franck Petit and
S{\'{e}}bastien Tixeuil},
title = {Conditions for the solvability of fault-tolerant consensus in asynchronous
unknown networks: invited paper},
booktitle = {Proceedings of the Third International Workshop on Reliability, Availability,
and Security, {WRAS} 2010, conjunction with {PODC} 2010 Zurich, Switzerland,
July 29, 2010},
pages = {1},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1953563.1953564},
doi = {10.1145/1953563.1953564},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/GreveT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/YamauchiT10,
author = {Yukiko Yamauchi and
S{\'{e}}bastien Tixeuil},
editor = {Andr{\'{e}}a W. Richa and
Rachid Guerraoui},
title = {Brief announcement: monotonic stabilization},
booktitle = {Proceedings of the 29th Annual {ACM} Symposium on Principles of Distributed
Computing, {PODC} 2010, Zurich, Switzerland, July 25-28, 2010},
pages = {406--407},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1835698.1835794},
doi = {10.1145/1835698.1835794},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/YamauchiT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sirocco/LamaniPT10,
author = {Anissa Lamani and
Maria Gradinariu Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
editor = {Boaz Patt{-}Shamir and
T{\'{\i}}naz Ekim},
title = {Optimal Deterministic Ring Exploration with Oblivious Asynchronous
Robots},
booktitle = {Structural Information and Communication Complexity, 17th International
Colloquium, {SIROCCO} 2010, Sirince, Turkey, June 7-11, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6058},
pages = {183--196},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13284-1\_15},
doi = {10.1007/978-3-642-13284-1\_15},
timestamp = {Fri, 17 Apr 2020 13:19:16 +0200},
biburl = {https://dblp.org/rec/conf/sirocco/LamaniPT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BlinPRT10,
author = {L{\'{e}}lia Blin and
Maria Gradinariu Potop{-}Butucaru and
Stephane Rovedakis and
S{\'{e}}bastien Tixeuil},
editor = {Shlomi Dolev and
Jorge Arturo Cobb and
Michael J. Fischer and
Moti Yung},
title = {Loop-Free Super-Stabilizing Spanning Tree Construction},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 12th
International Symposium, {SSS} 2010, New York, NY, USA, September
20-22, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6366},
pages = {50--64},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16023-3\_7},
doi = {10.1007/978-3-642-16023-3\_7},
timestamp = {Sat, 19 Oct 2019 20:07:49 +0200},
biburl = {https://dblp.org/rec/conf/sss/BlinPRT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/DuboisMT10,
author = {Swan Dubois and
Toshimitsu Masuzawa and
S{\'{e}}bastien Tixeuil},
editor = {Shlomi Dolev and
Jorge Arturo Cobb and
Michael J. Fischer and
Moti Yung},
title = {On Byzantine Containment Properties of the \emph{min} + 1 Protocol},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 12th
International Symposium, {SSS} 2010, New York, NY, USA, September
20-22, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6366},
pages = {96--110},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16023-3\_10},
doi = {10.1007/978-3-642-16023-3\_10},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sss/DuboisMT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/IzumiPT10,
author = {Taisuke Izumi and
Maria Gradinariu Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
editor = {Shlomi Dolev and
Jorge Arturo Cobb and
Michael J. Fischer and
Moti Yung},
title = {Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 12th
International Symposium, {SSS} 2010, New York, NY, USA, September
20-22, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6366},
pages = {319--331},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16023-3\_27},
doi = {10.1007/978-3-642-16023-3\_27},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sss/IzumiPT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BernardPT10,
author = {Samuel Bernard and
Maria Gradinariu Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
editor = {Shlomi Dolev and
Jorge Arturo Cobb and
Michael J. Fischer and
Moti Yung},
title = {A Framework for Secure and Private {P2P} Publish/Subscribe},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 12th
International Symposium, {SSS} 2010, New York, NY, USA, September
20-22, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6366},
pages = {531--545},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16023-3\_41},
doi = {10.1007/978-3-642-16023-3\_41},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sss/BernardPT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/BlinMPT10,
author = {L{\'{e}}lia Blin and
Alessia Milani and
Maria Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
editor = {Nancy A. Lynch and
Alexander A. Shvartsman},
title = {Exclusive Perpetual Ring Exploration without Chirality},
booktitle = {Distributed Computing, 24th International Symposium, {DISC} 2010,
Cambridge, MA, USA, September 13-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6343},
pages = {312--327},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15763-9\_29},
doi = {10.1007/978-3-642-15763-9\_29},
timestamp = {Sun, 25 Jul 2021 11:53:35 +0200},
biburl = {https://dblp.org/rec/conf/wdag/BlinMPT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/DuboisMT10,
author = {Swan Dubois and
Toshimitsu Masuzawa and
S{\'{e}}bastien Tixeuil},
editor = {Nancy A. Lynch and
Alexander A. Shvartsman},
title = {The Impact of Topology on Byzantine Containment in Stabilization},
booktitle = {Distributed Computing, 24th International Symposium, {DISC} 2010,
Cambridge, MA, USA, September 13-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6343},
pages = {495--509},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15763-9\_47},
doi = {10.1007/978-3-642-15763-9\_47},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wdag/DuboisMT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/AlonADDGT10,
author = {Noga Alon and
Hagit Attiya and
Shlomi Dolev and
Swan Dubois and
Maria Gradinariu and
S{\'{e}}bastien Tixeuil},
editor = {Nancy A. Lynch and
Alexander A. Shvartsman},
title = {Brief Announcement: Sharing Memory in a Self-stabilizing Manner},
booktitle = {Distributed Computing, 24th International Symposium, {DISC} 2010,
Cambridge, MA, USA, September 13-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6343},
pages = {525--527},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15763-9\_49},
doi = {10.1007/978-3-642-15763-9\_49},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wdag/AlonADDGT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wowmom/AsimT10,
author = {Ali Asim and
S{\'{e}}bastien Tixeuil},
title = {XS-WSNet: Extreme scale wireless sensor network simulation},
booktitle = {11th {IEEE} International Symposium on a World of Wireless, Mobile
and Multimedia Networks, {WOWMOM} 2010, Montreal, QC, Canada, 14-17
June, 2010},
pages = {1--9},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/WOWMOM.2010.5534898},
doi = {10.1109/WOWMOM.2010.5534898},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wowmom/AsimT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/podc/2010wras,
editor = {Franck Petit and
S{\'{e}}bastien Tixeuil},
title = {Proceedings of the Third International Workshop on Reliability, Availability,
and Security, {WRAS} 2010, conjunction with {PODC} 2010 Zurich, Switzerland,
July 29, 2010},
publisher = {{ACM}},
year = {2010},
url = {http://dl.acm.org/citation.cfm?id=1953563},
isbn = {978-1-4503-0642-3},
timestamp = {Tue, 13 Nov 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/2010wras.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1004-5256,
author = {Swan Dubois and
Toshimitsu Masuzawa and
S{\'{e}}bastien Tixeuil},
title = {Construction auto-stabilisante d'arbre couvrant en d{\'{e}}pit
d'actions malicieuses},
journal = {CoRR},
volume = {abs/1004.5256},
year = {2010},
url = {http://arxiv.org/abs/1004.5256},
eprinttype = {arXiv},
eprint = {1004.5256},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1004-5256.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1005-1195,
author = {Swan Dubois and
Toshimitsu Masuzawa and
S{\'{e}}bastien Tixeuil},
title = {The Impact of Topology on Byzantine Containment in Stabilization},
journal = {CoRR},
volume = {abs/1005.1195},
year = {2010},
url = {http://arxiv.org/abs/1005.1195},
eprinttype = {arXiv},
eprint = {1005.1195},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1005-1195.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1005-3367,
author = {Swan Dubois and
Toshimitsu Masuzawa and
S{\'{e}}bastien Tixeuil},
title = {Self-stabilization with Byzantine tolerance for global tasks},
journal = {CoRR},
volume = {abs/1005.3367},
year = {2010},
url = {http://arxiv.org/abs/1005.3367},
eprinttype = {arXiv},
eprint = {1005.3367},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1005-3367.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1005-5223,
author = {Swan Dubois and
Toshimitsu Masuzawa and
S{\'{e}}bastien Tixeuil},
title = {On Byzantine Containment Properties of the {\textdollar}min+1{\textdollar}
Protocol},
journal = {CoRR},
volume = {abs/1005.5223},
year = {2010},
url = {http://arxiv.org/abs/1005.5223},
eprinttype = {arXiv},
eprint = {1005.5223},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1005-5223.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1006-3009,
author = {L{\'{e}}lia Blin and
Maria Potop{-}Butucaru and
Stephane Rovedakis and
S{\'{e}}bastien Tixeuil},
title = {Universal Loop-Free Super-Stabilization},
journal = {CoRR},
volume = {abs/1006.3009},
year = {2010},
url = {http://arxiv.org/abs/1006.3009},
eprinttype = {arXiv},
eprint = {1006.3009},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-3009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1006-5877,
author = {Zohir Bouzid and
Shlomi Dolev and
Maria Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
title = {RoboCast: Asynchronous Communication in Robot Networks},
journal = {CoRR},
volume = {abs/1006.5877},
year = {2010},
url = {http://arxiv.org/abs/1006.5877},
eprinttype = {arXiv},
eprint = {1006.5877},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-5877.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-1802,
author = {Noga Alon and
Hagit Attiya and
Shlomi Dolev and
Swan Dubois and
Maria Gradinariu and
S{\'{e}}bastien Tixeuil},
title = {Practically Stabilizing Atomic Memory},
journal = {CoRR},
volume = {abs/1007.1802},
year = {2010},
url = {http://arxiv.org/abs/1007.1802},
eprinttype = {arXiv},
eprint = {1007.1802},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-1802.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-3632,
author = {Shlomi Dolev and
Swan Dubois and
Maria Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
title = {Stabilizing data-link over non-FIFO channels with optimal fault-resilience},
journal = {CoRR},
volume = {abs/1011.3632},
year = {2010},
url = {http://arxiv.org/abs/1011.3632},
eprinttype = {arXiv},
eprint = {1011.3632},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-3632.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taas/DanturiNT09,
author = {Praveen Danturi and
Mikhail Nesterenko and
S{\'{e}}bastien Tixeuil},
title = {Self-stabilizing philosophers with generic conflicts},
journal = {{ACM} Trans. Auton. Adapt. Syst.},
volume = {4},
number = {1},
pages = {7:1--7:20},
year = {2009},
url = {https://doi.org/10.1145/1462187.1462194},
doi = {10.1145/1462187.1462194},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/taas/DanturiNT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taas/MasuzawaT09,
author = {Toshimitsu Masuzawa and
S{\'{e}}bastien Tixeuil},
title = {On bootstrapping topology knowledge in anonymous networks},
journal = {{ACM} Trans. Auton. Adapt. Syst.},
volume = {4},
number = {1},
pages = {8:1--8:27},
year = {2009},
url = {https://doi.org/10.1145/1462187.1462195},
doi = {10.1145/1462187.1462195},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/taas/MasuzawaT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ManneMPT09,
author = {Fredrik Manne and
Morten Mjelde and
Laurence Pilard and
S{\'{e}}bastien Tixeuil},
title = {A new self-stabilizing maximal matching algorithm},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {14},
pages = {1336--1345},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2008.12.022},
doi = {10.1016/J.TCS.2008.12.022},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ManneMPT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/NesterenkoT09,
author = {Mikhail Nesterenko and
S{\'{e}}bastien Tixeuil},
title = {Discovering Network Topology in the Presence of Byzantine Faults},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {20},
number = {12},
pages = {1777--1789},
year = {2009},
url = {https://doi.org/10.1109/TPDS.2009.25},
doi = {10.1109/TPDS.2009.25},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/NesterenkoT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/BouzidPT09,
author = {Zohir Bouzid and
Maria Gradinariu Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
editor = {Vijay K. Garg and
Roger Wattenhofer and
Kishore Kothapalli},
title = {Byzantine-Resilient Convergence in Oblivious Robot Networks},
booktitle = {Distributed Computing and Networking, 10th International Conference,
{ICDCN} 2009, Hyderabad, India, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5408},
pages = {275--280},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92295-7\_33},
doi = {10.1007/978-3-540-92295-7\_33},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/icdcn/BouzidPT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/DelaetDNT09,
author = {Sylvie Dela{\"{e}}t and
St{\'{e}}phane Devismes and
Mikhail Nesterenko and
S{\'{e}}bastien Tixeuil},
editor = {Vijay K. Garg and
Roger Wattenhofer and
Kishore Kothapalli},
title = {Snap-Stabilization in Message-Passing Systems},
booktitle = {Distributed Computing and Networking, 10th International Conference,
{ICDCN} 2009, Hyderabad, India, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5408},
pages = {281--286},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92295-7\_34},
doi = {10.1007/978-3-540-92295-7\_34},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdcn/DelaetDNT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/DevismesMT09,
author = {St{\'{e}}phane Devismes and
Toshimitsu Masuzawa and
S{\'{e}}bastien Tixeuil},
title = {Communication Efficiency in Self-Stabilizing Silent Protocols},
booktitle = {29th {IEEE} International Conference on Distributed Computing Systems
{(ICDCS} 2009), 22-26 June 2009, Montreal, Qu{\'{e}}bec, Canada},
pages = {474--481},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICDCS.2009.24},
doi = {10.1109/ICDCS.2009.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/DevismesMT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/BernardDPT09,
author = {Samuel Bernard and
St{\'{e}}phane Devismes and
Maria Gradinariu Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
title = {Optimal deterministic self-stabilizing vertex coloring in unidirectional
anonymous networks},
booktitle = {23rd {IEEE} International Symposium on Parallel and Distributed Processing,
{IPDPS} 2009, Rome, Italy, May 23-29, 2009},
pages = {1--8},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/IPDPS.2009.5161053},
doi = {10.1109/IPDPS.2009.5161053},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/BernardDPT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/BouzidPT09,
author = {Zohir Bouzid and
Maria Gradinariu Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
editor = {Tarek F. Abdelzaher and
Michel Raynal and
Nicola Santoro},
title = {Byzantine Convergence in Robot Networks: The Price of Asynchrony},
booktitle = {Principles of Distributed Systems, 13th International Conference,
{OPODIS} 2009, N{\^{\i}}mes, France, December 15-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5923},
pages = {54--70},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10877-8\_7},
doi = {10.1007/978-3-642-10877-8\_7},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/opodis/BouzidPT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sirocco/DevismesPT09,
author = {St{\'{e}}phane Devismes and
Franck Petit and
S{\'{e}}bastien Tixeuil},
editor = {Shay Kutten and
Janez Zerovnik},
title = {Optimal Probabilistic Ring Exploration by Semi-synchronous Oblivious
Robots},
booktitle = {Structural Information and Communication Complexity, 16th International
Colloquium, {SIROCCO} 2009, Piran, Slovenia, May 25-27, 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5869},
pages = {195--208},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11476-2\_16},
doi = {10.1007/978-3-642-11476-2\_16},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sirocco/DevismesPT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BouzidPT09,
author = {Zohir Bouzid and
Maria Gradinariu Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
editor = {Rachid Guerraoui and
Franck Petit},
title = {Optimal Byzantine Resilient Convergence in Asynchronous Robots Networks},
booktitle = {Stabilization, Safety, and Security of Distributed Systems, 11th International
Symposium, {SSS} 2009, Lyon, France, November 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5873},
pages = {165--179},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05118-0\_12},
doi = {10.1007/978-3-642-05118-0\_12},
timestamp = {Wed, 07 Dec 2022 23:13:25 +0100},
biburl = {https://dblp.org/rec/conf/sss/BouzidPT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/DuboisPT09,
author = {Swan Dubois and
Maria Gradinariu Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
editor = {Idit Keidar},
title = {Brief Announcement: Dynamic {FTSS} in Asynchronous Systems: The Case
of Unison},
booktitle = {Distributed Computing, 23rd International Symposium, {DISC} 2009,
Elche, Spain, September 23-25, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5805},
pages = {291--293},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04355-0\_30},
doi = {10.1007/978-3-642-04355-0\_30},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/DuboisPT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/BlinPRT09,
author = {L{\'{e}}lia Blin and
Maria Potop{-}Butucaru and
Stephane Rovedakis and
S{\'{e}}bastien Tixeuil},
editor = {Idit Keidar},
title = {A New Self-stabilizing Minimum Spanning Tree Construction with Loop-Free
Property},
booktitle = {Distributed Computing, 23rd International Symposium, {DISC} 2009,
Elche, Spain, September 23-25, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5805},
pages = {407--422},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04355-0\_43},
doi = {10.1007/978-3-642-04355-0\_43},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wdag/BlinPRT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0902-1834,
author = {St{\'{e}}phane Devismes and
Franck Petit and
S{\'{e}}bastien Tixeuil},
title = {Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots},
journal = {CoRR},
volume = {abs/0902.1834},
year = {2009},
url = {http://arxiv.org/abs/0902.1834},
eprinttype = {arXiv},
eprint = {0902.1834},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0902-1834.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0903-3106,
author = {Toshimitsu Masuzawa and
S{\'{e}}bastien Tixeuil},
title = {Stabilizing Maximal Independent Set in Unidirectional Networks is
Hard},
journal = {CoRR},
volume = {abs/0903.3106},
year = {2009},
url = {http://arxiv.org/abs/0903.3106},
eprinttype = {arXiv},
eprint = {0903.3106},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0903-3106.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0904-4615,
author = {Swan Dubois and
Maria Gradinariu Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
title = {Dynamic {FTSS} in Asynchronous Systems: the Case of Unison},
journal = {CoRR},
volume = {abs/0904.4615},
year = {2009},
url = {http://arxiv.org/abs/0904.4615},
eprinttype = {arXiv},
eprint = {0904.4615},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0904-4615.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0905-2287,
author = {L{\'{e}}lia Blin and
Maria Gradinariu Potop{-}Butucaru and
Stephane Rovedakis and
S{\'{e}}bastien Tixeuil},
title = {A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-free
Property},
journal = {CoRR},
volume = {abs/0905.2287},
year = {2009},
url = {http://arxiv.org/abs/0905.2287},
eprinttype = {arXiv},
eprint = {0905.2287},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0905-2287.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0905-3967,
author = {Zohir Bouzid and
Maria Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
title = {Optimal byzantine resilient convergence in oblivious robot networks},
journal = {CoRR},
volume = {abs/0905.3967},
year = {2009},
url = {http://arxiv.org/abs/0905.3967},
eprinttype = {arXiv},
eprint = {0905.3967},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0905-3967.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0906-0651,
author = {Zohir Bouzid and
Maria Gradinariu Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
title = {Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks},
journal = {CoRR},
volume = {abs/0906.0651},
year = {2009},
url = {http://arxiv.org/abs/0906.0651},
eprinttype = {arXiv},
eprint = {0906.0651},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0906-0651.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0906-1947,
author = {Mikhail Nesterenko and
S{\'{e}}bastien Tixeuil},
title = {Ideal Stabilization},
journal = {CoRR},
volume = {abs/0906.1947},
year = {2009},
url = {http://arxiv.org/abs/0906.1947},
eprinttype = {arXiv},
eprint = {0906.1947},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0906-1947.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0908-0390,
author = {Zohir Bouzid and
Maria Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
title = {Byzantine Convergence in Robots Networks: The Price of Asynchrony},
journal = {CoRR},
volume = {abs/0908.0390},
year = {2009},
url = {http://arxiv.org/abs/0908.0390},
eprinttype = {arXiv},
eprint = {0908.0390},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0908-0390.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0910-0832,
author = {Anissa Lamani and
Maria Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
title = {Optimal deterministic ring exploration with oblivious asynchronous
robots},
journal = {CoRR},
volume = {abs/0910.0832},
year = {2009},
url = {http://arxiv.org/abs/0910.0832},
eprinttype = {arXiv},
eprint = {0910.0832},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0910-0832.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0912-0134,
author = {Swan Dubois and
Maria Gradinariu Potop{-}Butucaru and
Mikhail Nesterenko and
S{\'{e}}bastien Tixeuil},
title = {Self-Stabilizing Byzantine Asynchronous Unison},
journal = {CoRR},
volume = {abs/0912.0134},
year = {2009},
url = {http://arxiv.org/abs/0912.0134},
eprinttype = {arXiv},
eprint = {0912.0134},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0912-0134.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taas/CohenDGT08,
author = {Johanne Cohen and
Anurag Dasgupta and
Sukumar Ghosh and
S{\'{e}}bastien Tixeuil},
title = {An exercise in selfish stabilization},
journal = {{ACM} Trans. Auton. Adapt. Syst.},
volume = {3},
number = {4},
pages = {15:1--15:12},
year = {2008},
url = {https://doi.org/10.1145/1452001.1452005},
doi = {10.1145/1452001.1452005},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/taas/CohenDGT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcoss/DelaetMRT08,
author = {Sylvie Dela{\"{e}}t and
Partha Sarathi Mandal and
Mariusz A. Rokicki and
S{\'{e}}bastien Tixeuil},
editor = {Sotiris E. Nikoletseas and
Bogdan S. Chlebus and
David B. Johnson and
Bhaskar Krishnamachari},
title = {Deterministic Secure Positioning in Wireless Sensor Networks},
booktitle = {Distributed Computing in Sensor Systems, 4th {IEEE} International
Conference, {DCOSS} 2008, Santorini Island, Greece, June 11-14, 2008,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5067},
pages = {469--477},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69170-9\_32},
doi = {10.1007/978-3-540-69170-9\_32},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dcoss/DelaetMRT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/DevismesTY08,
author = {St{\'{e}}phane Devismes and
S{\'{e}}bastien Tixeuil and
Masafumi Yamashita},
title = {Weak vs. Self vs. Probabilistic Stabilization},
booktitle = {28th {IEEE} International Conference on Distributed Computing Systems
{(ICDCS} 2008), 17-20 June 2008, Beijing, China},
pages = {681--688},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICDCS.2008.12},
doi = {10.1109/ICDCS.2008.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/DevismesTY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/DelaetDNT08,
author = {Sylvie Dela{\"{e}}t and
St{\'{e}}phane Devismes and
Mikhail Nesterenko and
S{\'{e}}bastien Tixeuil},
editor = {Rida A. Bazzi and
Boaz Patt{-}Shamir},
title = {Snap-stabilization in message-passing systems},
booktitle = {Proceedings of the Twenty-Seventh Annual {ACM} Symposium on Principles
of Distributed Computing, {PODC} 2008, Toronto, Canada, August 18-21,
2008},
pages = {443},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1400751.1400838},
doi = {10.1145/1400751.1400838},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/DelaetDNT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sirocco/MasuzawaT08,
author = {Toshimitsu Masuzawa and
S{\'{e}}bastien Tixeuil},
editor = {Alexander A. Shvartsman and
Pascal Felber},
title = {Quiescence of Self-stabilizing Gossiping among Mobile Agents in Graphs},
booktitle = {Structural Information and Communication Complexity, 15th International
Colloquium, {SIROCCO} 2008, Villars-sur-Ollon, Switzerland, June 17-20,
2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5058},
pages = {247--261},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69355-0\_21},
doi = {10.1007/978-3-540-69355-0\_21},
timestamp = {Thu, 23 Jun 2022 19:57:45 +0200},
biburl = {https://dblp.org/rec/conf/sirocco/MasuzawaT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/VoraNTD08,
author = {Adnan Vora and
Mikhail Nesterenko and
S{\'{e}}bastien Tixeuil and
Sylvie Dela{\"{e}}t},
editor = {Sandeep S. Kulkarni and
Andr{\'{e}} Schiper},
title = {Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks},
booktitle = {Stabilization, Safety, and Security of Distributed Systems, 10th International
Symposium, {SSS} 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5340},
pages = {63--78},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89335-6\_8},
doi = {10.1007/978-3-540-89335-6\_8},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/sss/VoraNTD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/ManneMPT08,
author = {Fredrik Manne and
Morten Mjelde and
Laurence Pilard and
S{\'{e}}bastien Tixeuil},
editor = {Sandeep S. Kulkarni and
Andr{\'{e}} Schiper},
title = {A Self-stabilizing -Approximation Algorithm for the Maximum Matching
Problem},
booktitle = {Stabilization, Safety, and Security of Distributed Systems, 10th International
Symposium, {SSS} 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5340},
pages = {94--108},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89335-6\_10},
doi = {10.1007/978-3-540-89335-6\_10},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sss/ManneMPT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/opodis/2008,
editor = {Theodore P. Baker and
Alain Bui and
S{\'{e}}bastien Tixeuil},
title = {Principles of Distributed Systems, 12th International Conference,
{OPODIS} 2008, Luxor, Egypt, December 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5401},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-92221-6},
doi = {10.1007/978-3-540-92221-6},
isbn = {978-3-540-92220-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/opodis/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0802-1123,
author = {Sylvie Dela{\"{e}}t and
St{\'{e}}phane Devismes and
Mikhail Nesterenko and
S{\'{e}}bastien Tixeuil},
title = {Snap-Stabilization in Message-Passing Systems},
journal = {CoRR},
volume = {abs/0802.1123},
year = {2008},
url = {http://arxiv.org/abs/0802.1123},
eprinttype = {arXiv},
eprint = {0802.1123},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0802-1123.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0802-1387,
author = {Nathalie Mitton and
Katy Paroux and
Bruno Sericola and
S{\'{e}}bastien Tixeuil},
title = {Ascending runs in dependent uniformly distributed random variables:
Application to wireless networks},
journal = {CoRR},
volume = {abs/0802.1387},
year = {2008},
url = {http://arxiv.org/abs/0802.1387},
eprinttype = {arXiv},
eprint = {0802.1387},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0802-1387.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0803-0189,
author = {Toshimitsu Masuzawa and
S{\'{e}}bastien Tixeuil},
title = {Quiescence of Self-stabilizing Gossiping among Mobile Agents in Graphs},
journal = {CoRR},
volume = {abs/0803.0189},
year = {2008},
url = {http://arxiv.org/abs/0803.0189},
eprinttype = {arXiv},
eprint = {0803.0189},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0803-0189.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0805-0087,
author = {Adnan Vora and
Mikhail Nesterenko and
S{\'{e}}bastien Tixeuil and
Sylvie Dela{\"{e}}t},
title = {Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks},
journal = {CoRR},
volume = {abs/0805.0087},
year = {2008},
url = {http://arxiv.org/abs/0805.0087},
eprinttype = {arXiv},
eprint = {0805.0087},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0805-0087.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0805-0851,
author = {Samuel Bernard and
St{\'{e}}phane Devismes and
Maria Gradinariu Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
title = {Bounds for self-stabilization in unidirectional networks},
journal = {CoRR},
volume = {abs/0805.0851},
year = {2008},
url = {http://arxiv.org/abs/0805.0851},
eprinttype = {arXiv},
eprint = {0805.0851},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0805-0851.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0811-3760,
author = {St{\'{e}}phane Devismes and
Toshimitsu Masuzawa and
S{\'{e}}bastien Tixeuil},
title = {Communication Efficiency in Self-stabilizing Silent Protocols},
journal = {CoRR},
volume = {abs/0811.3760},
year = {2008},
url = {http://arxiv.org/abs/0811.3760},
eprinttype = {arXiv},
eprint = {0811.3760},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0811-3760.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/BeauquierDDT07,
author = {Joffroy Beauquier and
Sylvie Dela{\"{e}}t and
Shlomi Dolev and
S{\'{e}}bastien Tixeuil},
title = {Transient fault detectors},
journal = {Distributed Comput.},
volume = {20},
number = {1},
pages = {39--51},
year = {2007},
url = {https://doi.org/10.1007/s00446-007-0029-x},
doi = {10.1007/S00446-007-0029-X},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/BeauquierDDT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/HoarauTV07,
author = {William Hoarau and
S{\'{e}}bastien Tixeuil and
Fabien Vauchelles},
title = {{FAIL-FCI:} Versatile fault injection},
journal = {Future Gener. Comput. Syst.},
volume = {23},
number = {7},
pages = {913--919},
year = {2007},
url = {https://doi.org/10.1016/j.future.2007.01.005},
doi = {10.1016/J.FUTURE.2007.01.005},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/HoarauTV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/GreveT07,
author = {Fab{\'{\i}}ola Greve and
S{\'{e}}bastien Tixeuil},
title = {Knowledge Connectivity vs. Synchrony Requirements for Fault-Tolerant
Agreement in Unknown Networks},
booktitle = {The 37th Annual {IEEE/IFIP} International Conference on Dependable
Systems and Networks, {DSN} 2007, 25-28 June 2007, Edinburgh, UK,
Proceedings},
pages = {82--91},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/DSN.2007.61},
doi = {10.1109/DSN.2007.61},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/GreveT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/GradinariuT07,
author = {Maria Gradinariu and
S{\'{e}}bastien Tixeuil},
title = {Conflict Managers for Self-stabilization without Fairness Assumption},
booktitle = {27th {IEEE} International Conference on Distributed Computing Systems
{(ICDCS} 2007), June 25-29, 2007, Toronto, Ontario, Canada},
pages = {46},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICDCS.2007.95},
doi = {10.1109/ICDCS.2007.95},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/GradinariuT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/BlinPT07,
author = {L{\'{e}}lia Blin and
Maria Gradinariu Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
editor = {Eduardo Tovar and
Philippas Tsigas and
Hac{\`{e}}ne Fouchal},
title = {On the Self-stabilization of Mobile Robots in Graphs},
booktitle = {Principles of Distributed Systems, 11th International Conference,
{OPODIS} 2007, Guadeloupe, French West Indies, December 17-20, 2007.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4878},
pages = {301--314},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77096-1\_22},
doi = {10.1007/978-3-540-77096-1\_22},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/opodis/BlinPT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sirocco/ManneMPT07,
author = {Fredrik Manne and
Morten Mjelde and
Laurence Pilard and
S{\'{e}}bastien Tixeuil},
editor = {Giuseppe Prencipe and
Shmuel Zaks},
title = {A New Self-stabilizing Maximal Matching Algorithm},
booktitle = {Structural Information and Communication Complexity, 14th International
Colloquium, {SIROCCO} 2007, Castiglioncello, Italy, June 5-8, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4474},
pages = {96--108},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72951-8\_9},
doi = {10.1007/978-3-540-72951-8\_9},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/sirocco/ManneMPT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sss/2007,
editor = {Toshimitsu Masuzawa and
S{\'{e}}bastien Tixeuil},
title = {Stabilization, Safety, and Security of Distributed Systems, 9th International
Symposium, {SSS} 2007, Paris, France, November 14-16, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4838},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76627-8},
doi = {10.1007/978-3-540-76627-8},
isbn = {978-3-540-76626-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sss/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0708-0909,
author = {L{\'{e}}lia Blin and
Maria Gradinariu Potop{-}Butucaru and
S{\'{e}}bastien Tixeuil},
title = {On the Self-stabilization of Mobile Robots in Graphs},
journal = {CoRR},
volume = {abs/0708.0909},
year = {2007},
url = {http://arxiv.org/abs/0708.0909},
eprinttype = {arXiv},
eprint = {0708.0909},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0708-0909.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0710-3824,
author = {Sylvie Dela{\"{e}}t and
Partha Sarathi Mandal and
Mariusz A. Rokicki and
S{\'{e}}bastien Tixeuil},
title = {Deterministic Secure Positioning in Wireless Sensor Networks},
journal = {CoRR},
volume = {abs/0710.3824},
year = {2007},
url = {http://arxiv.org/abs/0710.3824},
eprinttype = {arXiv},
eprint = {0710.3824},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0710-3824.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0711-3672,
author = {St{\'{e}}phane Devismes and
S{\'{e}}bastien Tixeuil and
Masafumi Yamashita},
title = {Weak vs. Self vs. Probabilistic Stabilization},
journal = {CoRR},
volume = {abs/0711.3672},
year = {2007},
url = {http://arxiv.org/abs/0711.3672},
eprinttype = {arXiv},
eprint = {0711.3672},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0711-3672.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701189,
author = {Fredrik Manne and
Morten Mjelde and
Laurence Pilard and
S{\'{e}}bastien Tixeuil},
title = {A New Self-Stabilizing Maximal Matching Algorithm},
journal = {CoRR},
volume = {abs/cs/0701189},
year = {2007},
url = {http://arxiv.org/abs/cs/0701189},
eprinttype = {arXiv},
eprint = {cs/0701189},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0701189.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Tixeuil06,
author = {S{\'{e}}bastien Tixeuil},
title = {Vers l'auto-stabilisation des syst{\`{e}}mes {\`{a}} grande {\'{e}}chelle.
(Toward self-stabilizing large-scale systems)},
year = {2006},
url = {https://tel.archives-ouvertes.fr/tel-00124848},
timestamp = {Thu, 28 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/hal/Tixeuil06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacic/DelaetDT06,
author = {Sylvie Dela{\"{e}}t and
Bertrand Ducourthial and
S{\'{e}}bastien Tixeuil},
title = {Self-Stabilization with r-Operators revisited},
journal = {J. Aerosp. Comput. Inf. Commun.},
volume = {3},
number = {10},
pages = {498--514},
year = {2006},
url = {https://doi.org/10.2514/1.19848},
doi = {10.2514/1.19848},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacic/DelaetDT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FraigniaudIRT06,
author = {Pierre Fraigniaud and
David Ilcinkas and
Sergio Rajsbaum and
S{\'{e}}bastien Tixeuil},
editor = {Oded Goldreich and
Arnold L. Rosenberg and
Alan L. Selman},
title = {The Reduced Automata Technique for Graph Exploration Space Lower Bounds},
booktitle = {Theoretical Computer Science, Essays in Memory of Shimon Even},
series = {Lecture Notes in Computer Science},
volume = {3895},
pages = {1--26},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11685654\_1},
doi = {10.1007/11685654\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/FraigniaudIRT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cluster/HoarauLHRTC06,
author = {William Hoarau and
Pierre Lemarinier and
Thomas H{\'{e}}rault and
Eric Rodriguez and
S{\'{e}}bastien Tixeuil and
Franck Cappello},
title = {{FAIL-MPI:} How Fault-Tolerant Is Fault-Tolerant MPI?},
booktitle = {Proceedings of the 2006 {IEEE} International Conference on Cluster
Computing, September 25-28, 2006, Barcelona, Spain},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/CLUSTR.2006.311851},
doi = {10.1109/CLUSTR.2006.311851},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cluster/HoarauLHRTC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coregrid/HoarauTRSS06,
author = {William Hoarau and
S{\'{e}}bastien Tixeuil and
Nuno Rodrigues and
D{\'{e}}cio Sousa and
Lu{\'{\i}}s Moura Silva},
editor = {Sergei Gorlatch and
Marian Bubak and
Thierry Priol},
title = {Dependability Evaluation of The Ogsa-Dai Middleware},
booktitle = {Achievements in European Research on Grid Systems: CoreGRID Integration
Workshop 2006, Krakow, Poland, October 19-20, Selected Papers},
pages = {223--236},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-0-387-72812-4\_17},
doi = {10.1007/978-0-387-72812-4\_17},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coregrid/HoarauTRSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/MittonFLST06,
author = {Nathalie Mitton and
Eric Fleury and
Isabelle Gu{\'{e}}rin Lassous and
Bruno Sericola and
S{\'{e}}bastien Tixeuil},
title = {Fast Convergence in Self-Stabilizing Wireless Networks},
booktitle = {12th International Conference on Parallel and Distributed Systems,
{ICPADS} 2006, Minneapolis, Minnesota, USA, July 12-15, 2006},
pages = {31--38},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ICPADS.2006.47},
doi = {10.1109/ICPADS.2006.47},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/MittonFLST06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/HoarauTV06,
author = {William Hoarau and
S{\'{e}}bastien Tixeuil and
Fabien Vauchelles},
title = {Fault injection in distributed Java applications},
booktitle = {20th International Parallel and Distributed Processing Symposium {(IPDPS}
2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/IPDPS.2006.1639507},
doi = {10.1109/IPDPS.2006.1639507},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/HoarauTV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sirocco/NesterenkoT06,
author = {Mikhail Nesterenko and
S{\'{e}}bastien Tixeuil},
editor = {Paola Flocchini and
Leszek Gasieniec},
title = {Discovering Network Topology in the Presence of Byzantine Faults},
booktitle = {Structural Information and Communication Complexity, 13th International
Colloquium, {SIROCCO} 2006, Chester, UK, July 2-5, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4056},
pages = {212--226},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780823\_17},
doi = {10.1007/11780823\_17},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/sirocco/NesterenkoT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/DanturiNT06,
author = {Praveen Danturi and
Mikhail Nesterenko and
S{\'{e}}bastien Tixeuil},
editor = {Ajoy Kumar Datta and
Maria Gradinariu},
title = {Self-stabilizing Philosophers with Generic Conflicts},
booktitle = {Stabilization, Safety, and Security of Distributed Systems, 8th International
Symposium, {SSS} 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4280},
pages = {214--230},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-49823-0\_15},
doi = {10.1007/978-3-540-49823-0\_15},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/sss/DanturiNT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/DasguptaGT06,
author = {Anurag Dasgupta and
Sukumar Ghosh and
S{\'{e}}bastien Tixeuil},
editor = {Ajoy Kumar Datta and
Maria Gradinariu},
title = {Selfish Stabilization},
booktitle = {Stabilization, Safety, and Security of Distributed Systems, 8th International
Symposium, {SSS} 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4280},
pages = {231--243},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-49823-0\_16},
doi = {10.1007/978-3-540-49823-0\_16},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sss/DasguptaGT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/MasuzawaT06,
author = {Toshimitsu Masuzawa and
S{\'{e}}bastien Tixeuil},
editor = {Ajoy Kumar Datta and
Maria Gradinariu},
title = {Bounding the Impact of Unbounded Attacks in Stabilization},
booktitle = {Stabilization, Safety, and Security of Distributed Systems, 8th International
Symposium, {SSS} 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4280},
pages = {440--453},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-49823-0\_31},
doi = {10.1007/978-3-540-49823-0\_31},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sss/MasuzawaT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/MasuzawaT06a,
author = {Toshimitsu Masuzawa and
S{\'{e}}bastien Tixeuil},
editor = {Ajoy Kumar Datta and
Maria Gradinariu},
title = {On Bootstrapping Topology Knowledge in Anonymous Networks},
booktitle = {Stabilization, Safety, and Security of Distributed Systems, 8th International
Symposium, {SSS} 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4280},
pages = {454--468},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-49823-0\_32},
doi = {10.1007/978-3-540-49823-0\_32},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sss/MasuzawaT06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CadilhacHLPT07,
author = {Micha{\"{e}}l Cadilhac and
Thomas H{\'{e}}rault and
Richard Lassaigne and
Sylvain Peyronnet and
S{\'{e}}bastien Tixeuil},
editor = {Stephan Merz and
Tobias Nipkow},
title = {Evaluating Complex {MAC} Protocols for Sensor Networks with {APMC}},
booktitle = {Proceedings of the 6th International Workshop on Automated Verification
of Critical Systems, AVoCS 2006, Nancy, France, September 18-19, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {185},
pages = {33--46},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.05.027},
doi = {10.1016/J.ENTCS.2007.05.027},
timestamp = {Tue, 24 Jan 2023 14:10:03 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CadilhacHLPT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0611116,
author = {Mikhail Nesterenko and
S{\'{e}}bastien Tixeuil},
title = {Discovering Network Topology in the Presence of Byzantine Faults},
journal = {CoRR},
volume = {abs/cs/0611116},
year = {2006},
url = {http://arxiv.org/abs/cs/0611116},
eprinttype = {arXiv},
eprint = {cs/0611116},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0611116.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jhsn/ChenDT05,
author = {Yu Chen and
Ajoy Kumar Datta and
S{\'{e}}bastien Tixeuil},
title = {Stabilizing inter-domain routing in the Internet},
journal = {J. High Speed Networks},
volume = {14},
number = {1},
pages = {21--37},
year = {2005},
url = {http://content.iospress.com/articles/journal-of-high-speed-networks/jhs253},
timestamp = {Mon, 18 May 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jhsn/ChenDT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/grid/HoarauT05,
author = {William Hoarau and
S{\'{e}}bastien Tixeuil},
title = {A language-driven tool for fault injection in distributed systems},
booktitle = {6th {IEEE/ACM} International Conference on Grid Computing {(GRID}
2005), November 13-14, 2005, Seattle, Washington, USA, Proceedings},
pages = {194--201},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/GRID.2005.1542742},
doi = {10.1109/GRID.2005.1542742},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/grid/HoarauT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcsw/MittonFLT05,
author = {Nathalie Mitton and
Eric Fleury and
Isabelle Gu{\'{e}}rin Lassous and
S{\'{e}}bastien Tixeuil},
title = {Self-Stabilization in Self-Organized Multihop Wireless Networks},
booktitle = {25th International Conference on Distributed Computing Systems Workshops
{(ICDCS} 2005 Workshops), 6-10 June 2005, Columbus, OH, {USA}},
pages = {909--915},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICDCSW.2005.122},
doi = {10.1109/ICDCSW.2005.122},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcsw/MittonFLT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/MasuzawaT05,
author = {Toshimitsu Masuzawa and
S{\'{e}}bastien Tixeuil},
editor = {James H. Anderson and
Giuseppe Prencipe and
Roger Wattenhofer},
title = {A Self-stabilizing Link-Coloring Protocol Resilient to Unbounded Byzantine
Faults in Arbitrary Networks},
booktitle = {Principles of Distributed Systems, 9th International Conference, {OPODIS}
2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3974},
pages = {118--129},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11795490\_11},
doi = {10.1007/11795490\_11},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/opodis/MasuzawaT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sirocco/FraigniaudIRT05,
author = {Pierre Fraigniaud and
David Ilcinkas and
Sergio Rajsbaum and
S{\'{e}}bastien Tixeuil},
editor = {Andrzej Pelc and
Michel Raynal},
title = {Space Lower Bounds for Graph Exploration via Reduced Automata},
booktitle = {Structural Information and Communication Complexity, 12th International
Colloquium, {SIROCCO} 2005, Mont Saint-Michel, France, May 24-26,
2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3499},
pages = {140--154},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11429647\_13},
doi = {10.1007/11429647\_13},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/sirocco/FraigniaudIRT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/DelaetDT05,
author = {Sylvie Dela{\"{e}}t and
Bertrand Ducourthial and
S{\'{e}}bastien Tixeuil},
editor = {Ted Herman and
S{\'{e}}bastien Tixeuil},
title = {Self-stabilization with r-Operators Revisited},
booktitle = {Self-Stabilizing Systems, 7th International Symposium, {SSS} 2005,
Barcelona, Spain, October 26-27, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3764},
pages = {68--80},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11577327\_5},
doi = {10.1007/11577327\_5},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/sss/DelaetDT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sss/2005,
editor = {Ted Herman and
S{\'{e}}bastien Tixeuil},
title = {Self-Stabilizing Systems, 7th International Symposium, {SSS} 2005,
Barcelona, Spain, October 26-27, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3764},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11577327},
doi = {10.1007/11577327},
isbn = {3-540-29814-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sss/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/DattaGT04,
author = {Ajoy Kumar Datta and
Maria Gradinariu and
S{\'{e}}bastien Tixeuil},
title = {Self-Stabilizing Mutual Exclusion Under Arbitrary Scheduler},
journal = {Comput. J.},
volume = {47},
number = {3},
pages = {289--298},
year = {2004},
url = {https://doi.org/10.1093/comjnl/47.3.289},
doi = {10.1093/COMJNL/47.3.289},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/DattaGT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/JohnenPT04,
author = {Colette Johnen and
Franck Petit and
S{\'{e}}bastien Tixeuil},
title = {Autostabilisation et protocoles r{\'{e}}seau},
journal = {Tech. Sci. Informatiques},
volume = {23},
number = {8},
pages = {1027--1056},
year = {2004},
url = {https://doi.org/10.3166/tsi.23.1027-1056},
doi = {10.3166/TSI.23.1027-1056},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tsi/JohnenPT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/algosensors/HermanT04,
author = {Ted Herman and
S{\'{e}}bastien Tixeuil},
title = {A Distributed {TDMA} Slot Assignment Algorithm for Wireless Sensor
Networks},
booktitle = {Algorithmic Aspects of Wireless Sensor Networks: First International
Workshop, {ALGOSENSORS} 2004, Turku, Finland, July 16, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3121},
pages = {45--58},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27820-7\_6},
doi = {10.1007/978-3-540-27820-7\_6},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/algosensors/HermanT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/DuchonHT04,
author = {Philippe Duchon and
Nicolas Hanusse and
S{\'{e}}bastien Tixeuil},
editor = {Rachid Guerraoui},
title = {Optimal Randomized Self-stabilizing Mutual Exclusion on Synchronous
Rings},
booktitle = {Distributed Computing, 18th International Conference, {DISC} 2004,
Amsterdam, The Netherlands, October 4-7, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3274},
pages = {216--229},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30186-8\_16},
doi = {10.1007/978-3-540-30186-8\_16},
timestamp = {Wed, 07 Dec 2022 23:11:11 +0100},
biburl = {https://dblp.org/rec/conf/wdag/DuchonHT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DC-0405042,
author = {Ted Herman and
S{\'{e}}bastien Tixeuil},
title = {A Distributed {TDMA} Slot Assignment Algorithm for Wireless Sensor
Networks},
journal = {CoRR},
volume = {cs.DC/0405042},
year = {2004},
url = {http://arxiv.org/abs/cs/0405042},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DC-0405042.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jise/DattaGK03,
author = {Ajoy Kumar Datta and
Maria Gradinariu and
Anthony B. Kenitzki and
S{\'{e}}bastien Tixeuil},
title = {Self-Stabilizing Wormhole Routing on Ring Networks},
journal = {J. Inf. Sci. Eng.},
volume = {19},
number = {3},
pages = {401--414},
year = {2003},
url = {http://www.iis.sinica.edu.tw/page/jise/2003/200305\_01.html},
timestamp = {Fri, 16 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jise/DattaGK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DucourthialT03,
author = {Bertrand Ducourthial and
S{\'{e}}bastien Tixeuil},
title = {Self-stabilization with path algebra},
journal = {Theor. Comput. Sci.},
volume = {293},
number = {1},
pages = {219--236},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(02)00238-4},
doi = {10.1016/S0304-3975(02)00238-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DucourthialT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rivf/DelaetNT03,
author = {Sylvie Dela{\"{e}}t and
Duy{-}So Nguyen and
S{\'{e}}bastien Tixeuil},
title = {Stabilite Et Auto-Stabilisation Du Routage Inter-Domaine Dans Internet},
booktitle = {Actes de la Premi{\`{e}}re Conf{\'{e}}rence Internationale RIVF'03
Rencontres en Informatique Vietnam-France, RIVF'03, Hanoi, Vietnam,
10-13 F{\'{e}}vrier, 2003},
pages = {139--144},
publisher = {Editions Suger, Paris},
year = {2003},
url = {http://www.e-ifi.org/rivf2003/proceedings/p139-144.pdf},
timestamp = {Mon, 06 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rivf/DelaetNT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/JohnenT03,
author = {Colette Johnen and
S{\'{e}}bastien Tixeuil},
editor = {Shing{-}Tsaan Huang and
Ted Herman},
title = {Route Preserving Stabilization},
booktitle = {Self-Stabilizing Systems, 6th International Symposium, {SSS} 2003,
San Francisco, CA, USA, June 24-25, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2704},
pages = {184--198},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45032-7\_14},
doi = {10.1007/3-540-45032-7\_14},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/sss/JohnenT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/DelaetT02,
author = {Sylvie Dela{\"{e}}t and
S{\'{e}}bastien Tixeuil},
title = {Tolerating Transient and Intermittent Failures},
journal = {J. Parallel Distributed Comput.},
volume = {62},
number = {5},
pages = {961--981},
year = {2002},
url = {https://doi.org/10.1006/jpdc.2001.1827},
doi = {10.1006/JPDC.2001.1827},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/DelaetT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/JohnenADT02,
author = {Colette Johnen and
Luc Onana Alima and
Ajoy Kumar Datta and
S{\'{e}}bastien Tixeuil},
title = {Optimal Snap-Stabilizing Neighborhood Synchronizer in Tree Networks},
journal = {Parallel Process. Lett.},
volume = {12},
number = {3-4},
pages = {327--340},
year = {2002},
url = {https://doi.org/10.1142/S0129626402001026},
doi = {10.1142/S0129626402001026},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ppl/JohnenADT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/ChenDT02,
author = {Yu Chen and
Ajoy Kumar Datta and
S{\'{e}}bastien Tixeuil},
editor = {Burkhard Monien and
Rainer Feldmann},
title = {Stabilizing Inter-domain Routing in the Internet (Research Note)},
booktitle = {Euro-Par 2002, Parallel Processing, 8th International Euro-Par Conference
Paderborn, Germany, August 27-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2400},
pages = {749--752},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45706-2\_104},
doi = {10.1007/3-540-45706-2\_104},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/ChenDT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/DattaGKT02,
author = {Ajoy Kumar Datta and
Maria Gradinariu and
Anthony B. Kenitzki and
S{\'{e}}bastien Tixeuil},
title = {Self-Stabilizing Wormhole Routing on Ring Networks},
booktitle = {9th International Conference on Parallel and Distributed Systems,
{ICPADS} 2002, Taiwan, ROC, December 17-20, 2002},
pages = {425--430},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ICPADS.2002.1183434},
doi = {10.1109/ICPADS.2002.1183434},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/DattaGKT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/GenoliniT02,
author = {Christophe Genolini and
S{\'{e}}bastien Tixeuil},
title = {A Lower Bound on Dynamic k-Stabilization in Asynchronous Systems},
booktitle = {21st Symposium on Reliable Distributed Systems {(SRDS} 2002), 13-16
October 2002, Osaka, Japan},
pages = {212},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/RELDIS.2002.1180190},
doi = {10.1109/RELDIS.2002.1180190},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/GenoliniT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/DucourthialT01,
author = {Bertrand Ducourthial and
S{\'{e}}bastien Tixeuil},
title = {Self-stabilization with r-operators},
journal = {Distributed Comput.},
volume = {14},
number = {3},
pages = {147--162},
year = {2001},
url = {https://doi.org/10.1007/PL00008934},
doi = {10.1007/PL00008934},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/DucourthialT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/paapp/DattaT01,
author = {Ajoy Kumar Datta and
S{\'{e}}bastien Tixeuil},
title = {Self-stabilizing distributed sorting in tree networks},
journal = {Parallel Algorithms Appl.},
volume = {16},
number = {1},
pages = {1--15},
year = {2001},
url = {https://doi.org/10.1080/01495730108935263},
doi = {10.1080/01495730108935263},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/paapp/DattaT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/GradinariuT01,
author = {Maria Gradinariu and
S{\'{e}}bastien Tixeuil},
title = {Tight Space Self-Stabilizing Uniform l-Mutual Exclusion},
booktitle = {Proceedings of the 21st International Conference on Distributed Computing
Systems {(ICDCS} 2001), Phoenix, Arizona, USA, April 16-19, 2001},
pages = {83--90},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ICDSC.2001.918936},
doi = {10.1109/ICDSC.2001.918936},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/GradinariuT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wss/Tixeuil01,
author = {S{\'{e}}bastien Tixeuil},
editor = {Ajoy Kumar Datta and
Ted Herman},
title = {On a Space-Optimal Distributed Traversal Algorithm},
booktitle = {Self-Stabilizing Systems, 5th International Workshop, {WSS} 2001,
Lisbon, Portugal, October 1-2, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2194},
pages = {216--228},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45438-1\_15},
doi = {10.1007/3-540-45438-1\_15},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/wss/Tixeuil01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Tixeuil00,
author = {S{\'{e}}bastien Tixeuil},
title = {Auto-stabilisation Efficace. (Efficient Self-stabilization)},
school = {University of Paris-Sud, Orsay, France},
year = {2000},
url = {https://tel.archives-ouvertes.fr/tel-00124843},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Tixeuil00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/join/DattaDLT00,
author = {Ajoy Kumar Datta and
Jerry L. Derby and
James E. Lawrence and
S{\'{e}}bastien Tixeuil},
title = {Stabilizing Hierarchical Routing},
journal = {J. Interconnect. Networks},
volume = {1},
number = {4},
pages = {283--302},
year = {2000},
url = {https://doi.org/10.1142/S0219265900000172},
doi = {10.1142/S0219265900000172},
timestamp = {Fri, 05 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/join/DattaDLT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/DattaGT00,
author = {Ajoy Kumar Datta and
Maria Gradinariu and
S{\'{e}}bastien Tixeuil},
title = {Self-Stabilizing Mutual Exclusion Using Unfair Distributed Scheduler},
booktitle = {Proceedings of the 14th International Parallel {\&} Distributed
Processing Symposium (IPDPS'00), Cancun, Mexico, May 1-5, 2000},
pages = {465--470},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/IPDPS.2000.846023},
doi = {10.1109/IPDPS.2000.846023},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/DattaGT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/DelaetT00,
author = {Sylvie Dela{\"{e}}t and
S{\'{e}}bastien Tixeuil},
editor = {Franck Butelle},
title = {Tolerating Transient and Intermittent Failure},
booktitle = {Procedings of the 4th International Conference on Principles of Distributed
Systems, {OPODIS} 2000, Paris, France, December 20-22, 2000},
series = {Studia Informatica Universalis},
pages = {17--36},
publisher = {Suger, Saint-Denis, rue Catulienne, France},
year = {2000},
timestamp = {Wed, 04 Feb 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/opodis/DelaetT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/GradinariuT00,
author = {Maria Gradinariu and
S{\'{e}}bastien Tixeuil},
editor = {Franck Butelle},
title = {Self-stabilizing Vertex Coloration and Arbitrary Graphs},
booktitle = {Procedings of the 4th International Conference on Principles of Distributed
Systems, {OPODIS} 2000, Paris, France, December 20-22, 2000},
series = {Studia Informatica Universalis},
pages = {55--70},
publisher = {Suger, Saint-Denis, rue Catulienne, France},
year = {2000},
timestamp = {Tue, 20 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/opodis/GradinariuT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sirocco/DucourthialT00,
author = {Bertrand Ducourthial and
S{\'{e}}bastien Tixeuil},
editor = {Michele Flammini and
Enrico Nardelli and
Guido Proietti and
Paul G. Spirakis},
title = {Self-stabilization with path algebra},
booktitle = {{SIROCCO} 7, Proceedings of the 7th International Colloquium on Structural
Information and Communication Complexity, Laquila, Italy, June 20-22,
2000},
pages = {95--109},
publisher = {Carleton Scientific},
year = {2000},
timestamp = {Thu, 05 Feb 2004 10:15:13 +0100},
biburl = {https://dblp.org/rec/conf/sirocco/DucourthialT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/DasDT99,
author = {Sajal K. Das and
Ajoy Kumar Datta and
S{\'{e}}bastien Tixeuil},
title = {Self-Stabilizing Algorithms in {DAG} Structured Networks},
journal = {Parallel Process. Lett.},
volume = {9},
number = {4},
pages = {563--574},
year = {1999},
url = {https://doi.org/10.1142/S0129626499000529},
doi = {10.1142/S0129626499000529},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ppl/DasDT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/JohnenADT99,
author = {Colette Johnen and
Luc Onana Alima and
Ajoy Kumar Datta and
S{\'{e}}bastien Tixeuil},
title = {Self-Stabilizing Neighborhood Synchronizer in Tree Networks},
booktitle = {Proceedings of the 19th International Conference on Distributed Computing
Systems, Austin, TX, USA, May 31 - June 4, 1999},
pages = {487--494},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ICDCS.1999.776551},
doi = {10.1109/ICDCS.1999.776551},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/JohnenADT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispan/DasDT99,
author = {Sajal K. Das and
Ajoy Kumar Datta and
S{\'{e}}bastien Tixeuil},
title = {Self-Stabilizing Algorithms in {DAG} Structured Networks},
booktitle = {1999 International Symposium on Parallel Architectures, Algorithms
and Networks {(ISPAN} '99), 23-25 June 1999, Fremantle, Australia},
pages = {190--197},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ISPAN.1999.778938},
doi = {10.1109/ISPAN.1999.778938},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispan/DasDT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wss/BeauquierDT99,
author = {Joffroy Beauquier and
Ajoy Kumar Datta and
S{\'{e}}bastien Tixeuil},
editor = {Anish Arora},
title = {Self-stabilizing census with cut-through constraint},
booktitle = {1999 {ICDCS} Workshop on Self-stabilizing Systems, Austin, Texas,
USA, June 5, 1999, Proceedings},
pages = {70--77},
publisher = {{IEEE} Computer Society},
year = {1999},
timestamp = {Mon, 18 Jun 2018 20:48:42 +0200},
biburl = {https://dblp.org/rec/conf/wss/BeauquierDT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/AlimaBDT98,
author = {Luc Onana Alima and
Joffroy Beauquier and
Ajoy Kumar Datta and
S{\'{e}}bastien Tixeuil},
title = {Self-Stabilization with Global Rooted Synchronizers},
booktitle = {Proceedings of the 18th International Conference on Distributed Computing
Systems, Amsterdam, The Netherlands, May 26-29, 1998},
pages = {102--109},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICDCS.1998.679492},
doi = {10.1109/ICDCS.1998.679492},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/AlimaBDT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/DucourthialT98,
author = {Bertrand Ducourthial and
S{\'{e}}bastien Tixeuil},
editor = {Alain Bui and
Vincent Villain},
title = {SelfStabilizing Global Computations with rOperators},
booktitle = {Distributed Computing, 2nd International Conference On Principles
Of Distributed Systems. {OPODIS} 98, Amiens, France, December 16-18,
1998},
pages = {99--114},
publisher = {Hermes},
year = {1998},
timestamp = {Tue, 20 Jan 2004 14:29:01 +0100},
biburl = {https://dblp.org/rec/conf/opodis/DucourthialT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/BeauquierDDT98,
author = {Joffroy Beauquier and
Sylvie Dela{\"{e}}t and
Shlomi Dolev and
S{\'{e}}bastien Tixeuil},
editor = {Shay Kutten},
title = {Transient Fault Detectors},
booktitle = {Distributed Computing, 12th International Symposium, {DISC} '98, Andros,
Greece, September 24-26, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1499},
pages = {62--74},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056474},
doi = {10.1007/BFB0056474},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wdag/BeauquierDDT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 01:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
