Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Xavier Défago
@proceedings{DBLP:conf/opodis/2023,
editor = {Alysson Bessani and
Xavier D{\'{e}}fago and
Junya Nakamura and
Koichi Wada and
Yukiko Yamauchi},
title = {27th International Conference on Principles of Distributed Systems,
{OPODIS} 2023, December 6-8, 2023, Tokyo, Japan},
series = {LIPIcs},
volume = {286},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-308-9},
isbn = {978-3-95977-308-9},
timestamp = {Fri, 19 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/opodis/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/OkumuraD23,
author = {Keisuke Okumura and
Xavier D{\'{e}}fago},
title = {Solving simultaneous target assignment and path planning efficiently
with time-independent execution},
journal = {Artif. Intell.},
volume = {321},
pages = {103946},
year = {2023},
url = {https://doi.org/10.1016/j.artint.2023.103946},
doi = {10.1016/J.ARTINT.2023.103946},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/OkumuraD23.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/OkumuraWD23,
author = {Takashi Okumura and
Koichi Wada and
Xavier D{\'{e}}fago},
title = {Optimal L-algorithms for rendezvous of asynchronous mobile robots
with external-lights},
journal = {Theor. Comput. Sci.},
volume = {979},
pages = {114198},
year = {2023},
url = {https://doi.org/10.1016/j.tcs.2023.114198},
doi = {10.1016/J.TCS.2023.114198},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/OkumuraWD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trob/OkumuraBTD23,
author = {Keisuke Okumura and
Fran{\c{c}}ois Bonnet and
Yasumasa Tamura and
Xavier D{\'{e}}fago},
title = {Offline Time-Independent Multiagent Path Planning},
journal = {{IEEE} Trans. Robotics},
volume = {39},
number = {4},
pages = {2720--2737},
year = {2023},
url = {https://doi.org/10.1109/TRO.2023.3258690},
doi = {10.1109/TRO.2023.3258690},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/trob/OkumuraBTD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/MutluD23,
author = {Onur Mutlu and
Xavier D{\'{e}}fago},
title = {Message from the {DSN} 2023 Program Chairs},
booktitle = {53rd Annual {IEEE/IFIP} International Conference on Dependable Systems
and Network, {DSN} 2023, Porto, Portugal, June 27-30, 2023},
pages = {xv--xvi},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/DSN58367.2023.00006},
doi = {10.1109/DSN58367.2023.00006},
timestamp = {Tue, 15 Aug 2023 11:43:57 +0200},
biburl = {https://dblp.org/rec/conf/dsn/MutluD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/0003D23,
author = {Keisuke Okumura and
Xavier D{\'{e}}fago},
title = {Quick Multi-Robot Motion Planning by Combining Sampling and Search},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {252--261},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/29},
doi = {10.24963/IJCAI.2023/29},
timestamp = {Mon, 25 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/0003D23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/YosodipuroJNTDT23,
author = {Nicholaus D. Yosodipuro and
Ehsan Javanmardi and
Jin Nakazato and
Yasumasa Tamura and
Xavier D{\'{e}}fago and
Manabu Tsukada},
title = {Mixed-traffic Intersection Management using Traffic-load-responsive
Reservation and {V2X} -enabled Speed Coordination},
booktitle = {25th {IEEE} International Conference on Intelligent Transportation
Systems, {ITSC} 2022, Macau, China, October 8-12, 2022},
pages = {1927--1934},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ITSC57777.2023.10422248},
doi = {10.1109/ITSC57777.2023.10422248},
timestamp = {Thu, 22 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itsc/YosodipuroJNTDT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/YamazakiTDJT23,
author = {Yuji Yamazaki and
Yasumasa Tamura and
Xavier D{\'{e}}fago and
Ehsan Javanmardi and
Manabu Tsukada},
title = {ToST: Tokyo {SUMO} Traffic Scenario},
booktitle = {25th {IEEE} International Conference on Intelligent Transportation
Systems, {ITSC} 2022, Macau, China, October 8-12, 2022},
pages = {3597--3604},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ITSC57777.2023.10422517},
doi = {10.1109/ITSC57777.2023.10422517},
timestamp = {Thu, 22 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itsc/YamazakiTDJT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/OkumuraMDT22,
author = {Keisuke Okumura and
Manao Machida and
Xavier D{\'{e}}fago and
Yasumasa Tamura},
title = {Priority inheritance with backtracking for iterative multi-agent path
finding},
journal = {Artif. Intell.},
volume = {310},
pages = {103752},
year = {2022},
url = {https://doi.org/10.1016/j.artint.2022.103752},
doi = {10.1016/J.ARTINT.2022.103752},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/OkumuraMDT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tnse/WangIBD22,
author = {Yuan Wang and
Hideaki Ishii and
Fran{\c{c}}ois Bonnet and
Xavier D{\'{e}}fago},
title = {Resilient Consensus for Multi-Agent Systems Under Adversarial Spreading
Processes},
journal = {{IEEE} Trans. Netw. Sci. Eng.},
volume = {9},
number = {5},
pages = {3316--3331},
year = {2022},
url = {https://doi.org/10.1109/TNSE.2022.3176214},
doi = {10.1109/TNSE.2022.3176214},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tnse/WangIBD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/WangIBD22,
author = {Yuan Wang and
Hideaki Ishii and
Fran{\c{c}}ois Bonnet and
Xavier D{\'{e}}fago},
title = {Resilient Real-Valued Consensus in Spite of Mobile Malicious Agents
on Directed Graphs},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {33},
number = {3},
pages = {586--603},
year = {2022},
url = {https://doi.org/10.1109/TPDS.2021.3096074},
doi = {10.1109/TPDS.2021.3096074},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/WangIBD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/0001D22,
author = {Keisuke Okumura and
Xavier D{\'{e}}fago},
editor = {Akshat Kumar and
Sylvie Thi{\'{e}}baux and
Pradeep Varakantham and
William Yeoh},
title = {Solving Simultaneous Target Assignment and Path Planning Efficiently
with Time-Independent Execution},
booktitle = {Proceedings of the Thirty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2022, Singapore (virtual), June 13-24,
2022},
pages = {270--278},
publisher = {{AAAI} Press},
year = {2022},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/19810},
timestamp = {Wed, 20 Jul 2022 14:27:38 +0200},
biburl = {https://dblp.org/rec/conf/aips/0001D22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/MatsumeWID22,
author = {Hiroki Matsume and
Yuan Wang and
Hideaki Ishii and
Xavier D{\'{e}}fago},
title = {Self-Triggered Ternary Control for Resilient Consensus against Mobile
Adversarial Agents},
booktitle = {61st {IEEE} Conference on Decision and Control, {CDC} 2022, Cancun,
Mexico, December 6-9, 2022},
pages = {2387--2392},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CDC51059.2022.9992614},
doi = {10.1109/CDC51059.2022.9992614},
timestamp = {Wed, 18 Jan 2023 15:37:37 +0100},
biburl = {https://dblp.org/rec/conf/cdc/MatsumeWID22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/00010TD22,
author = {Keisuke Okumura and
Fran{\c{c}}ois Bonnet and
Yasumasa Tamura and
Xavier D{\'{e}}fago},
editor = {Luc De Raedt},
title = {Offline Time-Independent Multi-Agent Path Planning},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {4649--4656},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/645},
doi = {10.24963/IJCAI.2022/645},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/00010TD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-00315,
author = {Keisuke Okumura and
Xavier D{\'{e}}fago},
title = {Quick Multi-Robot Motion Planning by Combining Sampling and Search},
journal = {CoRR},
volume = {abs/2203.00315},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.00315},
doi = {10.48550/ARXIV.2203.00315},
eprinttype = {arXiv},
eprint = {2203.00315},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-00315.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/SuDLMOOTT22,
author = {Xiangyu Su and
Xavier D{\'{e}}fago and
Mario Larangeira and
Kazuyuki Mori and
Takuya Oda and
Yuta Okumura and
Yasumasa Tamura and
Keisuke Tanaka},
title = {Bid-Matching Problem and Score-Based Consensus for Peer-to-Peer Energy
Trading},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {1471},
year = {2022},
url = {https://eprint.iacr.org/2022/1471},
timestamp = {Wed, 23 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iacr/SuDLMOOTT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/OkumuraTD21,
author = {Keisuke Okumura and
Yasumasa Tamura and
Xavier D{\'{e}}fago},
title = {Time-Independent Planning for Multiple Moving Agents},
booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
2021, Thirty-Third Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
2021},
pages = {11299--11307},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i13.17347},
doi = {10.1609/AAAI.V35I13.17347},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/OkumuraTD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/WangI0D21,
author = {Yuan Wang and
Hideaki Ishii and
Fran{\c{c}}ois Bonnet and
Xavier D{\'{e}}fago},
title = {Resilient Consensus Against Epidemic Malicious Attacks},
booktitle = {2021 European Control Conference, {ECC} 2021, Virtual Event / Delft,
The Netherlands, June 29 - July 2, 2021},
pages = {1393--1398},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.23919/ECC54610.2021.9654845},
doi = {10.23919/ECC54610.2021.9654845},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eucc/WangI0D21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/KameyamaOTD21,
author = {Shota Kameyama and
Keisuke Okumura and
Yasumasa Tamura and
Xavier D{\'{e}}fago},
title = {Active Modular Environment for Robot Navigation},
booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2021, Xi'an, China, May 30 - June 5, 2021},
pages = {8636--8642},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICRA48506.2021.9561111},
doi = {10.1109/ICRA48506.2021.9561111},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/KameyamaOTD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/OkumuraTD21,
author = {Keisuke Okumura and
Yasumasa Tamura and
Xavier D{\'{e}}fago},
title = {Iterative Refinement for Real-Time Multi-Robot Path Planning},
booktitle = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,
{IROS} 2021, Prague, Czech Republic, September 27 - Oct. 1, 2021},
pages = {9690--9697},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/IROS51168.2021.9636071},
doi = {10.1109/IROS51168.2021.9636071},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iros/OkumuraTD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/HirataTOTOD21,
author = {Mai Hirata and
Manabu Tsukada and
Keisuke Okumura and
Yasumasa Tamura and
Hideya Ochiai and
Xavier D{\'{e}}fago},
title = {Roadside-Assisted Cooperative Planning using Future Path Sharing for
Autonomous Driving},
booktitle = {94th {IEEE} Vehicular Technology Conference, {VTC} Fall 2021, Norman,
OK, USA, September 27-30, 2021},
pages = {1--7},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/VTC2021-Fall52928.2021.9625324},
doi = {10.1109/VTC2021-FALL52928.2021.9625324},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vtc/HirataTOTOD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-12331,
author = {Keisuke Okumura and
Yasumasa Tamura and
Xavier D{\'{e}}fago},
title = {Iterative Refinement for Real-Time Multi-Robot Path Planning},
journal = {CoRR},
volume = {abs/2102.12331},
year = {2021},
url = {https://arxiv.org/abs/2102.12331},
eprinttype = {arXiv},
eprint = {2102.12331},
timestamp = {Thu, 03 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-12331.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-12748,
author = {Shota Kameyama and
Keisuke Okumura and
Yasumasa Tamura and
Xavier D{\'{e}}fago},
title = {Active Modular Environment for Robot Navigation},
journal = {CoRR},
volume = {abs/2102.12748},
year = {2021},
url = {https://arxiv.org/abs/2102.12748},
eprinttype = {arXiv},
eprint = {2102.12748},
timestamp = {Thu, 03 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-12748.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-07132,
author = {Keisuke Okumura and
Fran{\c{c}}ois Bonnet and
Yasumasa Tamura and
Xavier D{\'{e}}fago},
title = {Offline Time-Independent Multi-Agent Path Planning},
journal = {CoRR},
volume = {abs/2105.07132},
year = {2021},
url = {https://arxiv.org/abs/2105.07132},
eprinttype = {arXiv},
eprint = {2105.07132},
timestamp = {Thu, 03 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-07132.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-04629,
author = {Mai Hirata and
Manabu Tsukada and
Keisuke Okumura and
Yasumasa Tamura and
Hideya Ochiai and
Xavier D{\'{e}}fago},
title = {Roadside-assisted Cooperative Planning using Future Path Sharing for
Autonomous Driving},
journal = {CoRR},
volume = {abs/2108.04629},
year = {2021},
url = {https://arxiv.org/abs/2108.04629},
eprinttype = {arXiv},
eprint = {2108.04629},
timestamp = {Thu, 03 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-04629.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-04264,
author = {Keisuke Okumura and
Xavier D{\'{e}}fago},
title = {Solving Simultaneous Target Assignment and Path Planning Efficiently
with Time-Independent Execution},
journal = {CoRR},
volume = {abs/2109.04264},
year = {2021},
url = {https://arxiv.org/abs/2109.04264},
eprinttype = {arXiv},
eprint = {2109.04264},
timestamp = {Thu, 03 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-04264.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/DefagoPP20,
author = {Xavier D{\'{e}}fago and
Maria Potop{-}Butucaru and
Philippe Raipin Parv{\'{e}}dy},
title = {Self-stabilizing gathering of mobile robots under crash or Byzantine
faults},
journal = {Distributed Comput.},
volume = {33},
number = {5},
pages = {393--421},
year = {2020},
url = {https://doi.org/10.1007/s00446-019-00359-x},
doi = {10.1007/S00446-019-00359-X},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dc/DefagoPP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BonnetBD20,
author = {Fran{\c{c}}ois Bonnet and
Quentin Bramas and
Xavier D{\'{e}}fago},
editor = {Chryssis Georgiou and
Rupak Majumdar},
title = {Stateless Distributed Ledgers},
booktitle = {Networked Systems - 8th International Conference, {NETYS} 2020, Marrakech,
Morocco, June 3-5, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12129},
pages = {349--354},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67087-0\_22},
doi = {10.1007/978-3-030-67087-0\_22},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BonnetBD20.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/wdag/DefagoEKMT20,
author = {Xavier D{\'{e}}fago and
Yuval Emek and
Shay Kutten and
Toshimitsu Masuzawa and
Yasumasa Tamura},
editor = {Hagit Attiya},
title = {Communication Efficient Self-Stabilizing Leader Election},
booktitle = {34th International Symposium on Distributed Computing, {DISC} 2020,
October 12-16, 2020, Virtual Conference},
series = {LIPIcs},
volume = {179},
pages = {11:1--11:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.DISC.2020.11},
doi = {10.4230/LIPICS.DISC.2020.11},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wdag/DefagoEKMT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-13187,
author = {Keisuke Okumura and
Yasumasa Tamura and
Xavier D{\'{e}}fago},
title = {Time-Independent Planning for Multiple Moving Agents},
journal = {CoRR},
volume = {abs/2005.13187},
year = {2020},
url = {https://arxiv.org/abs/2005.13187},
eprinttype = {arXiv},
eprint = {2005.13187},
timestamp = {Thu, 03 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-13187.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-10985,
author = {Fran{\c{c}}ois Bonnet and
Quentin Bramas and
Xavier D{\'{e}}fago},
title = {Stateless Distributed Ledgers},
journal = {CoRR},
volume = {abs/2006.10985},
year = {2020},
url = {https://arxiv.org/abs/2006.10985},
eprinttype = {arXiv},
eprint = {2006.10985},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-10985.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-11711,
author = {Yuan Wang and
Hideaki Ishii and
Fran{\c{c}}ois Bonnet and
Xavier D{\'{e}}fago},
title = {Resilient Consensus Against Mobile Malicious Agents},
journal = {CoRR},
volume = {abs/2006.11711},
year = {2020},
url = {https://arxiv.org/abs/2006.11711},
eprinttype = {arXiv},
eprint = {2006.11711},
timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-11711.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-04252,
author = {Xavier D{\'{e}}fago and
Yuval Emek and
Shay Kutten and
Toshimitsu Masuzawa and
Yasumasa Tamura},
title = {Communication Efficient Self-Stabilizing Leader Election (Full Version)},
journal = {CoRR},
volume = {abs/2008.04252},
year = {2020},
url = {https://arxiv.org/abs/2008.04252},
eprinttype = {arXiv},
eprint = {2008.04252},
timestamp = {Fri, 14 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-04252.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-13757,
author = {Yuan Wang and
Hideaki Ishii and
Fran{\c{c}}ois Bonnet and
Xavier D{\'{e}}fago},
title = {Resilient Consensus Against Epidemic Malicious Attacks},
journal = {CoRR},
volume = {abs/2012.13757},
year = {2020},
url = {https://arxiv.org/abs/2012.13757},
eprinttype = {arXiv},
eprint = {2012.13757},
timestamp = {Wed, 06 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-13757.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/OkumuraMDT19,
author = {Keisuke Okumura and
Manao Machida and
Xavier D{\'{e}}fago and
Yasumasa Tamura},
editor = {Sarit Kraus},
title = {Priority Inheritance with Backtracking for Iterative Multi-agent Path
Finding},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {535--542},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/76},
doi = {10.24963/IJCAI.2019/76},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/OkumuraMDT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/KonnoD19,
author = {Satoshi Konno and
Xavier D{\'{e}}fago},
title = {Approximate QoS Rule Derivation Based on Root Cause Analysis for Cloud
Computing},
booktitle = {24th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2019, Kyoto, Japan, December 1-3, 2019},
pages = {33--42},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/PRDC47002.2019.00020},
doi = {10.1109/PRDC47002.2019.00020},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/KonnoD19.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}
}
@article{DBLP:journals/corr/abs-1901-11282,
author = {Keisuke Okumura and
Manao Machida and
Xavier D{\'{e}}fago and
Yasumasa Tamura},
title = {Priority Inheritance with Backtracking for Iterative Multi-agent Path
Finding},
journal = {CoRR},
volume = {abs/1901.11282},
year = {2019},
url = {http://arxiv.org/abs/1901.11282},
eprinttype = {arXiv},
eprint = {1901.11282},
timestamp = {Thu, 03 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-11282.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-10149,
author = {Keisuke Okumura and
Yasumasa Tamura and
Xavier D{\'{e}}fago},
title = {winPIBT: Expanded Prioritized Algorithm for Iterative Multi-agent
Path Finding},
journal = {CoRR},
volume = {abs/1905.10149},
year = {2019},
url = {http://arxiv.org/abs/1905.10149},
eprinttype = {arXiv},
eprint = {1905.10149},
timestamp = {Thu, 03 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-10149.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}
}
@inproceedings{DBLP:conf/icawst/OkumuraTD18,
author = {Keisuke Okumura and
Yasumasa Tamura and
Xavier D{\'{e}}fago},
title = {Amoeba Exploration: Coordinated Exploration with Distributed Robots},
booktitle = {9th International Conference on Awareness Science and Technology,
iCAST 2018, Fukuoka, Japan, September 19-21, 2018},
pages = {191--195},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ICAwST.2018.8517225},
doi = {10.1109/ICAWST.2018.8517225},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icawst/OkumuraTD18.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/opodis/OkumuraWD18,
author = {Takashi Okumura and
Koichi Wada and
Xavier D{\'{e}}fago},
editor = {Jiannong Cao and
Faith Ellen and
Lu{\'{\i}}s Rodrigues and
Bernardo Ferreira},
title = {Optimal Rendezvous L-Algorithms for Asynchronous Mobile Robots with
External-Lights},
booktitle = {22nd International Conference on Principles of Distributed Systems,
{OPODIS} 2018, December 17-19, 2018, Hong Kong, China},
series = {LIPIcs},
volume = {125},
pages = {24:1--24:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2018.24},
doi = {10.4230/LIPICS.OPODIS.2018.24},
timestamp = {Mon, 22 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/opodis/OkumuraWD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-01368,
author = {Takashi Okumura and
Koichi Wada and
Xavier D{\'{e}}fago},
title = {Optimal Rendezvous L-Algorithms for Asynchronous Mobile Robots with
External-Lights},
journal = {CoRR},
volume = {abs/1804.01368},
year = {2018},
url = {http://arxiv.org/abs/1804.01368},
eprinttype = {arXiv},
eprint = {1804.01368},
timestamp = {Mon, 22 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-01368.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sirocco/0001BDN17,
author = {Fran{\c{c}}ois Bonnet and
Quentin Bramas and
Xavier D{\'{e}}fago and
Thanh Dang Nguyen},
editor = {Shantanu Das and
S{\'{e}}bastien Tixeuil},
title = {Killing Nodes as a Countermeasure to Virus Expansion},
booktitle = {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},
pages = {227--243},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72050-0\_14},
doi = {10.1007/978-3-319-72050-0\_14},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sirocco/0001BDN17.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/tcs/BonnetDNP16,
author = {Fran{\c{c}}ois Bonnet and
Xavier D{\'{e}}fago and
Thanh Dang Nguyen and
Maria Potop{-}Butucaru},
title = {Tight bound on mobile Byzantine Agreement},
journal = {Theor. Comput. Sci.},
volume = {609},
pages = {361--373},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2015.10.019},
doi = {10.1016/J.TCS.2015.10.019},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BonnetDNP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/CanepaDIP16,
author = {Davide Canepa and
Xavier D{\'{e}}fago and
Taisuke Izumi and
Maria Potop{-}Butucaru},
editor = {Borzoo Bonakdarpour and
Franck Petit},
title = {Flocking with Oblivious Robots},
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 = {94--108},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49259-9\_8},
doi = {10.1007/978-3-319-49259-9\_8},
timestamp = {Sun, 25 Oct 2020 22:45:03 +0100},
biburl = {https://dblp.org/rec/conf/sss/CanepaDIP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/algo/Defago16,
author = {Xavier D{\'{e}}fago},
title = {Atomic Broadcast},
booktitle = {Encyclopedia of Algorithms},
pages = {155--160},
year = {2016},
url = {https://doi.org/10.1007/978-1-4939-2864-4\_37},
doi = {10.1007/978-1-4939-2864-4\_37},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/algo/Defago16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/algo/Defago16a,
author = {Xavier D{\'{e}}fago},
title = {Causal Order, Logical Clocks, State Machine Replication},
booktitle = {Encyclopedia of Algorithms},
pages = {283--286},
year = {2016},
url = {https://doi.org/10.1007/978-1-4939-2864-4\_65},
doi = {10.1007/978-1-4939-2864-4\_65},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/algo/Defago16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DefagoP0MPP16,
author = {Xavier D{\'{e}}fago and
Maria Gradinariu Potop{-}Butucaru and
Julien Cl{\'{e}}ment and
St{\'{e}}phane Messika and
Philippe Raipin Parv{\'{e}}dy},
title = {Fault and Byzantine Tolerant Self-stabilizing Mobile Robots Gathering
- Feasibility Study -},
journal = {CoRR},
volume = {abs/1602.05546},
year = {2016},
url = {http://arxiv.org/abs/1602.05546},
eprinttype = {arXiv},
eprint = {1602.05546},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DefagoP0MPP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PhamDH15,
author = {Thanh{-}Trung Pham and
Xavier D{\'{e}}fago and
Huynh Quyet Thang},
title = {Reliability prediction for component-based software systems: Dealing
with concurrent and propagating errors},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {426--457},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.03.016},
doi = {10.1016/J.SCICO.2014.03.016},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/PhamDH15.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}
}
@article{DBLP:journals/jowua/PhamBD14,
author = {Thanh{-}Trung Pham and
Fran{\c{c}}ois Bonnet and
Xavier D{\'{e}}fago},
title = {Reliability Prediction for Component-based Software Systems with Architectural-level
Fault Tolerance Mechanisms (Extended Version)},
journal = {J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.},
volume = {5},
number = {1},
pages = {4--36},
year = {2014},
url = {https://doi.org/10.22667/JOWUA.2014.03.31.004},
doi = {10.22667/JOWUA.2014.03.31.004},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jowua/PhamBD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic-nc/DAngeloDN14,
author = {Gianlorenzo D'Angelo and
Xavier D{\'{e}}fago and
Nicolas Nisse},
title = {Understanding the Power of Stigmergy of Anonymous Agents in Discrete
Environments},
booktitle = {Second International Symposium on Computing and Networking, {CANDAR}
2014, Shizuoka, Japan, December 10-12, 2014},
pages = {50--59},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CANDAR.2014.95},
doi = {10.1109/CANDAR.2014.95},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ic-nc/DAngeloDN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/NguyenBD14,
author = {Thanh Dang Nguyen and
Fran{\c{c}}ois Bonnet and
Xavier D{\'{e}}fago},
title = {Mitigating the Spread of a Virus in the Internet},
booktitle = {33rd {IEEE} International Symposium on Reliable Distributed Systems
Workshops, {SRDS} Workshops 2014, Nara, Japan, October 6-9, 2014},
pages = {14--19},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SRDSW.2014.26},
doi = {10.1109/SRDSW.2014.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/NguyenBD14.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/wdag/BonnetDNP14,
author = {Fran{\c{c}}ois Bonnet and
Xavier D{\'{e}}fago and
Thanh Dang Nguyen and
Maria Potop{-}Butucaru},
editor = {Fabian Kuhn},
title = {Tight Bound on Mobile Byzantine Agreement},
booktitle = {Distributed Computing - 28th International Symposium, {DISC} 2014,
Austin, TX, USA, October 12-15, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8784},
pages = {76--90},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45174-8\_6},
doi = {10.1007/978-3-662-45174-8\_6},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/BonnetDNP14.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/tcs/DefagoPV13,
author = {Xavier D{\'{e}}fago and
Franck Petit and
Vincent Villain},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {512},
pages = {1},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2013.10.027},
doi = {10.1016/J.TCS.2013.10.027},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DefagoPV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/PhamD13,
author = {Thanh{-}Trung Pham and
Xavier D{\'{e}}fago},
title = {Reliability Prediction for Component-Based Software Systems with Architectural-Level
Fault Tolerance Mechanisms},
booktitle = {2013 International Conference on Availability, Reliability and Security,
{ARES} 2013, Regensburg, Germany, September 2-6, 2013},
pages = {11--20},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ARES.2013.8},
doi = {10.1109/ARES.2013.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEares/PhamD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic-nc/HigashiharaD13,
author = {Daiki Higashihara and
Xavier D{\'{e}}fago},
editor = {Juan E. Guerrero},
title = {Decreasing the Locks by Isolating the Concurrent Execution in Microprotocol
Framework},
booktitle = {The First International Symposium on Computing and Networking - Across
Practical Development and Theoretical Research, Dogo {SPA} Resort,
Matsuyama, Japan, December 4-6, 2013},
pages = {247--251},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CANDAR.2013.43},
doi = {10.1109/CANDAR.2013.43},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ic-nc/HigashiharaD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/IzumiSKIDWY12,
author = {Taisuke Izumi and
Samia Souissi and
Yoshiaki Katayama and
Nobuhiro Inuzuka and
Xavier D{\'{e}}fago and
Koichi Wada and
Masafumi Yamashita},
title = {The Gathering Problem for Two Oblivious Robots with Unreliable Compasses},
journal = {{SIAM} J. Comput.},
volume = {41},
number = {1},
pages = {26--46},
year = {2012},
url = {https://doi.org/10.1137/100797916},
doi = {10.1137/100797916},
timestamp = {Fri, 19 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamcomp/IzumiSKIDWY12.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/qsic/PhamD12,
author = {Thanh{-}Trung Pham and
Xavier D{\'{e}}fago},
editor = {Antony Tang and
Henry Muccini},
title = {Reliability Prediction for Component-Based Systems: Incorporating
Error Propagation Analysis and Different Execution Models},
booktitle = {2012 12th International Conference on Quality Software, Xi'an, Shaanxi,
China, August 27-29, 2012},
pages = {106--115},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/QSIC.2012.20},
doi = {10.1109/QSIC.2012.20},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/qsic/PhamD12.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 = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/sss/BonnetDPPT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/YangSDT11,
author = {Yan Yang and
Samia Souissi and
Xavier D{\'{e}}fago and
Makoto Takizawa},
title = {Fault-tolerant flocking for a group of autonomous mobile robots},
journal = {J. Syst. Softw.},
volume = {84},
number = {1},
pages = {29--36},
year = {2011},
url = {https://doi.org/10.1016/j.jss.2010.08.026},
doi = {10.1016/J.JSS.2010.08.026},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/YangSDT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic-nc/BonnetD11,
author = {Fran{\c{c}}ois Bonnet and
Xavier D{\'{e}}fago},
title = {Exploration and Surveillance in Multi-robots Networks},
booktitle = {Second International Conference on Networking and Computing, {ICNC}
2011, November 30 - December 2, 2011, Osaka, Japan},
pages = {342--344},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICNC.2011.66},
doi = {10.1109/ICNC.2011.66},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ic-nc/BonnetD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sss/2011,
editor = {Xavier D{\'{e}}fago and
Franck Petit and
Vincent Villain},
title = {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},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24550-3},
doi = {10.1007/978-3-642-24550-3},
isbn = {978-3-642-24549-7},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sss/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1105-4082,
author = {Davide Canepa and
Xavier D{\'{e}}fago and
Taisuke Izumi and
Maria Potop{-}Butucaru},
title = {Emergent velocity agreement in robot networks},
journal = {CoRR},
volume = {abs/1105.4082},
year = {2011},
url = {http://arxiv.org/abs/1105.4082},
eprinttype = {arXiv},
eprint = {1105.4082},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1105-4082.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1111-1492,
author = {Taisuke Izumi and
Samia Souissi and
Yoshiaki Katayama and
Nobuhiro Inuzuka and
Xavier D{\'{e}}fago and
Koichi Wada and
Masafumi Yamashita},
title = {The Gathering Problem for Two Oblivious Robots with Unreliable Compasses},
journal = {CoRR},
volume = {abs/1111.1492},
year = {2011},
url = {http://arxiv.org/abs/1111.1492},
eprinttype = {arXiv},
eprint = {1111.1492},
timestamp = {Fri, 19 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-1492.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/ClementDPIM10,
author = {Julien Cl{\'{e}}ment and
Xavier D{\'{e}}fago and
Maria Gradinariu Potop{-}Butucaru and
Taisuke Izumi and
St{\'{e}}phane Messika},
title = {The cost of probabilistic agreement in oblivious robot networks},
journal = {Inf. Process. Lett.},
volume = {110},
number = {11},
pages = {431--438},
year = {2010},
url = {https://doi.org/10.1016/j.ipl.2010.04.006},
doi = {10.1016/J.IPL.2010.04.006},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/ClementDPIM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-2312,
author = {Emmanuelle Anceaume and
Xavier D{\'{e}}fago and
Maria Potop{-}Butucaru and
Matthieu Roy},
title = {A framework for proving the self-organization of dynamic systems},
journal = {CoRR},
volume = {abs/1011.2312},
year = {2010},
url = {http://arxiv.org/abs/1011.2312},
eprinttype = {arXiv},
eprint = {1011.2312},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-2312.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taas/SouissiDY09,
author = {Samia Souissi and
Xavier D{\'{e}}fago and
Masafumi Yamashita},
title = {Using eventually consistent compasses to gather memory-less mobile
robots with limited visibility},
journal = {{ACM} Trans. Auton. Adapt. Syst.},
volume = {4},
number = {1},
pages = {9:1--9:27},
year = {2009},
url = {https://doi.org/10.1145/1462187.1462196},
doi = {10.1145/1462187.1462196},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/taas/SouissiDY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/YangSDT09,
author = {Yan Yang and
Samia Souissi and
Xavier D{\'{e}}fago and
Makoto Takizawa},
editor = {Irfan Awan and
Muhammad Younas and
Takahiro Hara and
Arjan Durresi},
title = {Fault-Tolerant Flocking of Mobile Robots with Whole Formation Rotation},
booktitle = {The {IEEE} 23rd International Conference on Advanced Information Networking
and Applications, {AINA} 2009, Bradford, United Kingdom, May 26-29,
2009},
pages = {830--837},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/AINA.2009.104},
doi = {10.1109/AINA.2009.104},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/YangSDT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nbis/YangDT09,
author = {Yan Yang and
Xavier D{\'{e}}fago and
Makoto Takizawa},
editor = {Arjan Durresi and
Leonard Barolli and
Tomoya Enokido and
Minoru Uehara and
Elhadi M. Shakshuki and
Makoto Takizawa},
title = {Self-stabilized Flocking of a Group of Mobile Robots under Memory
Corruption},
booktitle = {NBiS 2009, 12th International Conference on Network-Based Information
Systems, Indianapolis, Indiana, USA, 19-21 August 2009},
pages = {532--538},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/NBiS.2009.60},
doi = {10.1109/NBIS.2009.60},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nbis/YangDT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/SunYDI08,
author = {Wei Sun and
Chen Yu and
Xavier D{\'{e}}fago and
Yasushi Inoguchi},
title = {Dynamic Scheduling Real-Time Task Using Primary-Backup Overloading
Strategy for Multiprocessor Systems},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {91-D},
number = {3},
pages = {796--806},
year = {2008},
url = {https://doi.org/10.1093/ietisy/e91-d.3.796},
doi = {10.1093/IETISY/E91-D.3.796},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/SunYDI08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mcs/XiongYYDH08,
author = {Naixue Xiong and
Laurence Tianruo Yang and
Yan Yang and
Xavier D{\'{e}}fago and
Yanxiang He},
title = {A novel numerical algorithm based on self-tuning controller to support
{TCP} flows},
journal = {Math. Comput. Simul.},
volume = {79},
number = {4},
pages = {1178--1188},
year = {2008},
url = {https://doi.org/10.1016/j.matcom.2007.10.001},
doi = {10.1016/J.MATCOM.2007.10.001},
timestamp = {Wed, 04 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mcs/XiongYYDH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DefagoS08,
author = {Xavier D{\'{e}}fago and
Samia Souissi},
title = {Non-uniform circle formation algorithm for oblivious mobile robots
with convergence toward uniformity},
journal = {Theor. Comput. Sci.},
volume = {396},
number = {1-3},
pages = {97--112},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.01.050},
doi = {10.1016/J.TCS.2008.01.050},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DefagoS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpc/YangXCD08,
author = {Yan Yang and
Naixue Xiong and
Nak Young Chong and
Xavier D{\'{e}}fago},
title = {A Decentralized and Adaptive Flocking Algorithm for Autonomous Mobile
Robots},
booktitle = {Workshops at the Grid and Pervasive Computing Conference, {GPC} 2008,
Kunming, China, May 25-28, 2008},
pages = {262--268},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/GPC.WORKSHOPS.2008.18},
doi = {10.1109/GPC.WORKSHOPS.2008.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gpc/YangXCD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iswcs/NguyenDBS08,
author = {Lan Tien Nguyen and
Xavier D{\'{e}}fago and
Razvan Beuran and
Yoichi Shinoda},
title = {An energy efficient routing scheme for mobile wireless sensor networks},
booktitle = {Proceedings of the 2008 5th International Symposium on Wireless Communication
Systems, {ISWCS} 2008, 21-24 October 2008, Reykjav{\'{\i}}k,
Iceland},
pages = {568--572},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/ISWCS.2008.4726120},
doi = {10.1109/ISWCS.2008.4726120},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iswcs/NguyenDBS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/SouissiYD08,
author = {Samia Souissi and
Yan Yang and
Xavier D{\'{e}}fago},
editor = {Theodore P. Baker and
Alain Bui and
S{\'{e}}bastien Tixeuil},
title = {Fault-Tolerant Flocking in a k-Bounded Asynchronous System},
booktitle = {Principles of Distributed Systems, 12th International Conference,
{OPODIS} 2008, Luxor, Egypt, December 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5401},
pages = {145--163},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-92221-6\_11},
doi = {10.1007/978-3-540-92221-6\_11},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/opodis/SouissiYD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/algo/Defago08,
author = {Xavier D{\'{e}}fago},
editor = {Ming{-}Yang Kao},
title = {Atomic Broadcast},
booktitle = {Encyclopedia of Algorithms - 2008 Edition},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-0-387-30162-4\_37},
doi = {10.1007/978-0-387-30162-4\_37},
timestamp = {Thu, 27 Jun 2019 16:25:31 +0200},
biburl = {https://dblp.org/rec/reference/algo/Defago08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/algo/Defago08a,
author = {Xavier D{\'{e}}fago},
editor = {Ming{-}Yang Kao},
title = {Causal Order, Logical Clocks, State Machine Replication},
booktitle = {Encyclopedia of Algorithms - 2008 Edition},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-0-387-30162-4\_65},
doi = {10.1007/978-0-387-30162-4\_65},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/algo/Defago08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0807-1753,
author = {Julien Cl{\'{e}}ment and
Xavier D{\'{e}}fago and
Maria Gradinariu Potop{-}Butucaru and
St{\'{e}}phane Messika},
title = {The cost of probabilistic gathering in oblivious robot networks},
journal = {CoRR},
volume = {abs/0807.1753},
year = {2008},
url = {http://arxiv.org/abs/0807.1753},
eprinttype = {arXiv},
eprint = {0807.1753},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0807-1753.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jnw/YaredDIW07,
author = {Rami Yared and
Xavier D{\'{e}}fago and
Julien Iguchi{-}Cartigny and
Matthias Wiesmann},
title = {Collision Prevention Platform for a Dynamic Group of Asynchronous
Cooperative Mobile Robots},
journal = {J. Networks},
volume = {2},
number = {4},
pages = {28--39},
year = {2007},
url = {https://doi.org/10.4304/jnw.2.4.28-39},
doi = {10.4304/JNW.2.4.28-39},
timestamp = {Tue, 15 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jnw/YaredDIW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/YaredDW07,
author = {Rami Yared and
Xavier D{\'{e}}fago and
Matthias Wiesmann},
title = {Collision prevention using group communication for asynchronous cooperative
mobile robots},
booktitle = {21st International Conference on Advanced Information Networking and
Applications {(AINA} 2007), May 21-23, 2007, Niagara Falls, Canada},
pages = {244--249},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/AINA.2007.44},
doi = {10.1109/AINA.2007.44},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/YaredDW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/WiesmannD07,
author = {Matthias Wiesmann and
Xavier D{\'{e}}fago},
title = {Anonymous Stabilizing Leader Election using a Network Sequencer},
booktitle = {21st International Conference on Advanced Information Networking and
Applications {(AINA} 2007), May 21-23, 2007, Niagara Falls, Canada},
pages = {673--678},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/AINA.2007.38},
doi = {10.1109/AINA.2007.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/WiesmannD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/0004YZDI07,
author = {Wei Sun and
Chen Yu and
Yuanyuan Zhang and
Xavier D{\'{e}}fago and
Yasushi Inoguchi},
editor = {David J. Roberts and
Georgios Theodoropoulos and
Abdulmotaleb El{-}Saddik},
title = {Real-time Task Scheduling Using Extended Overloading Technique for
Multiprocessor Systems},
booktitle = {11th {IEEE} International Symposium on Distributed Simulation and
Real-Time Applications, {DS-RT} 2007, Chania, Greece, 22-24 October
2007},
pages = {95--102},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/DS-RT.2007.12},
doi = {10.1109/DS-RT.2007.12},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsrt/0004YZDI07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isads/YaredCDW07,
author = {Rami Yared and
Julien Cartigny and
Xavier D{\'{e}}fago and
Matthias Wiesmann},
title = {Locality-preserving distributed path reservation protocol for asynchronous
cooperative mobile robots},
booktitle = {International Symposium on Autonomous Decentralized Systems {(ISADS}
2007), 21-23 March 2007, Sedona, AZ, {USA}},
pages = {188--195},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ISADS.2007.44},
doi = {10.1109/ISADS.2007.44},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isads/YaredCDW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/XiongYD07,
author = {Naixue Xiong and
Yan Yang and
Xavier D{\'{e}}fago},
title = {Comparative Analysis of QoS and Memory Usage of Adaptive Failure Detectors},
booktitle = {13th {IEEE} Pacific Rim International Symposium on Dependable Computing
{(PRDC} 2007), 17-19 December, 2007, Melbourne, Victoria, Australia},
pages = {27--34},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/PRDC.2007.60},
doi = {10.1109/PRDC.2007.60},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/XiongYD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ro-man/LeeCD07,
author = {Geunho Lee and
Nak Young Chong and
Xavier D{\'{e}}fago},
title = {Robust Self-Deployment for a Swarm of Autonomous Mobile Robots with
Limited Visibility Range},
booktitle = {{IEEE} {RO-MAN} 2007, 16th {IEEE} International Symposium on Robot
{\&} Human Interactive Communication, August 26-29, 2007, Jeju
Island, South Korea, Proceedings},
pages = {925--930},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/ROMAN.2007.4415216},
doi = {10.1109/ROMAN.2007.4415216},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ro-man/LeeCD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robocomm/YamashitaSD07,
author = {Masafumi Yamashita and
Samia Souissi and
Xavier D{\'{e}}fago},
editor = {Alan F. T. Winfield and
Jason Redi},
title = {Gathering two stateless mobile robots using very inaccurate compasses
in finite time},
booktitle = {Proceedings of the 1st International Conference on Robot Communication
and Coordination, {ROBOCOMM} 2007, Athens, Greece, October 15-17,
2007},
series = {{ACM} International Conference Proceeding Series},
volume = {318},
pages = {48},
publisher = {{ICST/ACM}},
year = {2007},
url = {https://doi.org/10.4108/ICST.ROBOCOMM2007.2199},
doi = {10.4108/ICST.ROBOCOMM2007.2199},
timestamp = {Tue, 27 Nov 2018 10:40:37 +0100},
biburl = {https://dblp.org/rec/conf/robocomm/YamashitaSD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/SunZYDI07,
author = {Wei Sun and
Yuanyuan Zhang and
Chen Yu and
Xavier D{\'{e}}fago and
Yasushi Inoguchi},
title = {Hybrid Overloading and Stochastic Analysis for Redundant Real-time
Multiprocessor Systems},
booktitle = {26th {IEEE} Symposium on Reliable Distributed Systems {(SRDS} 2007),
Beijing, China, October 10-12, 2007},
pages = {265--274},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SRDS.2007.11},
doi = {10.1109/SRDS.2007.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/SunZYDI07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/XiongDJYH06,
author = {Naixue Xiong and
Xavier D{\'{e}}fago and
Xiaohua Jia and
Yan Yang and
Yanxiang He},
title = {Design and Analysis of a Self-Tuning Proportional and Integral Controller
for Active Queue Management Routers to Support {TCP} Flows},
booktitle = {{INFOCOM} 2006. 25th {IEEE} International Conference on Computer Communications,
Joint Conference of the {IEEE} Computer and Communications Societies,
23-29 April 2006, Barcelona, Catalunya, Spain},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/INFOCOM.2006.189},
doi = {10.1109/INFOCOM.2006.189},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/infocom/XiongDJYH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/SouissiDY06,
author = {Samia Souissi and
Xavier D{\'{e}}fago and
Masafumi Yamashita},
editor = {Alexander A. Shvartsman},
title = {Gathering Asynchronous Mobile Robots with Inaccurate Compasses},
booktitle = {Principles of Distributed Systems, 10th International Conference,
{OPODIS} 2006, Bordeaux, France, December 12-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4305},
pages = {333--349},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11945529\_24},
doi = {10.1007/11945529\_24},
timestamp = {Mon, 03 Jan 2022 22:35:20 +0100},
biburl = {https://dblp.org/rec/conf/opodis/SouissiDY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/WiesmannD06,
author = {Matthias Wiesmann and
Xavier D{\'{e}}fago},
title = {End-to-end consensus using end-to-end channels},
booktitle = {12th {IEEE} Pacific Rim International Symposium on Dependable Computing
{(PRDC} 2006), 18-20 December, 2006, University of California, Riverside,
{USA}},
pages = {341--350},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/PRDC.2006.32},
doi = {10.1109/PRDC.2006.32},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/WiesmannD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/WiesmannUD06,
author = {Matthias Wiesmann and
P{\'{e}}ter Urb{\'{a}}n and
Xavier D{\'{e}}fago},
title = {An {SNMP} based failure detection service},
booktitle = {25th {IEEE} Symposium on Reliable Distributed Systems {(SRDS} 2006),2-4
October 2006, Leeds, {UK}},
pages = {365--376},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SRDS.2006.9},
doi = {10.1109/SRDS.2006.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/WiesmannUD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/SouissiDY06,
author = {Samia Souissi and
Xavier D{\'{e}}fago and
Masafumi Yamashita},
editor = {Ajoy Kumar Datta and
Maria Gradinariu},
title = {Using Eventually Consistent Compasses to Gather Oblivious Mobile Robots
with Limited Visibility},
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 = {484--500},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-49823-0\_34},
doi = {10.1007/978-3-540-49823-0\_34},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/sss/SouissiDY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/DefagoGMP06,
author = {Xavier D{\'{e}}fago and
Maria Gradinariu and
St{\'{e}}phane Messika and
Philippe Raipin Parv{\'{e}}dy},
editor = {Shlomi Dolev},
title = {Fault-Tolerant and Self-stabilizing Mobile Robots Gathering},
booktitle = {Distributed Computing, 20th International Symposium, {DISC} 2006,
Stockholm, Sweden, September 18-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4167},
pages = {46--60},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11864219\_4},
doi = {10.1007/11864219\_4},
timestamp = {Sat, 19 Oct 2019 20:32:37 +0200},
biburl = {https://dblp.org/rec/conf/wdag/DefagoGMP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/YaredDK05,
author = {Rami Yared and
Xavier D{\'{e}}fago and
Takuya Katayama},
title = {Fault-Tolerant Group Membership Protocols Using Physical Robot Messengers},
booktitle = {19th International Conference on Advanced Information Networking and
Applications {(AINA} 2005), 28-30 March 2005, Taipei, Taiwan},
pages = {921--926},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/AINA.2005.187},
doi = {10.1109/AINA.2005.187},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aina/YaredDK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexaw/HayashibaraDTK05,
author = {Naohiro Hayashibara and
Xavier D{\'{e}}fago and
Makoto Takizawa and
Takuya Katayama},
title = {Information Propagation on the phi Failure Detector},
booktitle = {16th International Workshop on Database and Expert Systems Applications
{(DEXA} 2005), 22-26 August 2005, Copenhagen, Denmark},
pages = {72--76},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/DEXA.2005.119},
doi = {10.1109/DEXA.2005.119},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dexaw/HayashibaraDTK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/DefagoUHK05,
author = {Xavier D{\'{e}}fago and
P{\'{e}}ter Urb{\'{a}}n and
Naohiro Hayashibara and
Takuya Katayama},
title = {Definition and Specification of Accrual Failure Detectors},
booktitle = {2005 International Conference on Dependable Systems and Networks {(DSN}
2005), 28 June - 1 July 2005, Yokohama, Japan, Proceedings},
pages = {206--215},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/DSN.2005.37},
doi = {10.1109/DSN.2005.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/DefagoUHK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcc/HeXDYH05,
author = {Yanxiang He and
Naixue Xiong and
Xavier D{\'{e}}fago and
Yan Yang and
Jing He},
editor = {Hai Zhuge and
Geoffrey C. Fox},
title = {A Single-Pass Online Data Mining Algorithm Combined with Control Theory
with Limited Memory in Dynamic Data Streams},
booktitle = {Grid and Cooperative Computing - {GCC} 2005, 4th International Conference,
Beijing, China, November 30 - December 3, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3795},
pages = {1119--1130},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11590354\_134},
doi = {10.1007/11590354\_134},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/gcc/HeXDYH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/npc/XiongDHY05,
author = {Naixue Xiong and
Xavier D{\'{e}}fago and
Yanxiang He and
Yan Yang},
editor = {Hai Jin and
Daniel A. Reed and
Wenbin Jiang},
title = {A Resource-Based Server Performance Control for Grid Computing Systems},
booktitle = {Network and Parallel Computing, {IFIP} International Conference, {NPC}
2005, Beijing, China, November 30 - December 3, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3779},
pages = {56--64},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11577188\_8},
doi = {10.1007/11577188\_8},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/npc/XiongDHY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/AnceaumeDGR05,
author = {Emmanuelle Anceaume and
Xavier D{\'{e}}fago and
Maria Gradinariu and
Matthieu Roy},
editor = {James H. Anderson and
Giuseppe Prencipe and
Roger Wattenhofer},
title = {Towards a Theory of Self-organization},
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 = {191--205},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11795490\_16},
doi = {10.1007/11795490\_16},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/opodis/AnceaumeDGR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdcat/QuSD05,
author = {Wenyu Qu and
Hong Shen and
Xavier D{\'{e}}fago},
title = {A Survey of Mobile Agent-Based Fault-Tolerant Technology},
booktitle = {Sixth International Conference on Parallel and Distributed Computing,
Applications and Technologies {(PDCAT} 2005), 5-8 December 2005, Dalian,
China},
pages = {446--450},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/PDCAT.2005.53},
doi = {10.1109/PDCAT.2005.53},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdcat/QuSD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdcat/ZhangSDS05,
author = {Zonghua Zhang and
Hong Shen and
Xavier D{\'{e}}fago and
Yingpeng Sang},
title = {A Brief Comparative Study on Analytical Models of Computer System
Dependability and Security},
booktitle = {Sixth International Conference on Parallel and Distributed Computing,
Applications and Technologies {(PDCAT} 2005), 5-8 December 2005, Dalian,
China},
pages = {493--497},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/PDCAT.2005.1},
doi = {10.1109/PDCAT.2005.1},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdcat/ZhangSDS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdcat/XiongYDH05,
author = {Naixue Xiong and
Yan Yang and
Xavier D{\'{e}}fago and
Yanxiang He},
title = {{LRC-RED:} {A} Self-tuning Robust and Adaptive {AQM} Scheme},
booktitle = {Sixth International Conference on Parallel and Distributed Computing,
Applications and Technologies {(PDCAT} 2005), 5-8 December 2005, Dalian,
China},
pages = {655--659},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/PDCAT.2005.165},
doi = {10.1109/PDCAT.2005.165},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdcat/XiongYDH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/AnceaumeDGR05,
author = {Emmanuelle Anceaume and
Xavier D{\'{e}}fago and
Maria Gradinariu and
Matthieu Roy},
editor = {Pierre Fraigniaud},
title = {Towards a Theory of Self-organization},
booktitle = {Distributed Computing, 19th International Conference, {DISC} 2005,
Cracow, Poland, September 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3724},
pages = {505--506},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11561927\_43},
doi = {10.1007/11561927\_43},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/AnceaumeDGR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/DefagoSU04,
author = {Xavier D{\'{e}}fago and
Andr{\'{e}} Schiper and
P{\'{e}}ter Urb{\'{a}}n},
title = {Total order broadcast and multicast algorithms: Taxonomy and survey},
journal = {{ACM} Comput. Surv.},
volume = {36},
number = {4},
pages = {372--421},
year = {2004},
url = {https://doi.org/10.1145/1041680.1041682},
doi = {10.1145/1041680.1041682},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/DefagoSU04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/DefagoS04,
author = {Xavier D{\'{e}}fago and
Andr{\'{e}} Schiper},
title = {Semi-passive replication and Lazy Consensus},
journal = {J. Parallel Distributed Comput.},
volume = {64},
number = {12},
pages = {1380--1398},
year = {2004},
url = {https://doi.org/10.1016/j.jpdc.2004.08.006},
doi = {10.1016/J.JPDC.2004.08.006},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/DefagoS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/HassineDH04,
author = {Ahlem Ben Hassine and
Xavier D{\'{e}}fago and
Tu Bao Ho},
title = {Agent-Based Approach to Dynamic Meeting Scheduling Problems},
booktitle = {3rd International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2004), 19-23 August 2004, New York, NY, {USA}},
pages = {1132--1139},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/AAMAS.2004.10268},
doi = {10.1109/AAMAS.2004.10268},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/HassineDH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcsw/SouissiDK04,
author = {Samia Souissi and
Xavier D{\'{e}}fago and
Takuya Katayama},
title = {Decomposition of Fundamental Problems for Cooperative Autonomous Mobile
Systems},
booktitle = {24th International Conference on Distributed Computing Systems Workshops
{(ICDCS} 2004 Workshops), 23-24 March 2004, Hachioji, Tokyo, Japan},
pages = {554--560},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICDCSW.2004.1284087},
doi = {10.1109/ICDCSW.2004.1284087},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcsw/SouissiDK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lsgrid/SatouNTDK04,
author = {Kenji Satou and
Yasuhiko Nakashima and
Shin'ichi Tsuji and
Xavier D{\'{e}}fago and
Akihiko Konagaya},
editor = {Akihiko Konagaya and
Kenji Satou},
title = {An Integrated System for Distributed Bioinformatics Environment on
Grids},
booktitle = {Grid Computing in Life Science, First International Workshop on Life
Science Grid, {LSGRID} 2004, Kanazawa, Japan, May 31 - June 1, 2004,
Revised Selected andInvited Papers},
series = {Lecture Notes in Computer Science},
volume = {3370},
pages = {8--19},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-32251-1\_2},
doi = {10.1007/978-3-540-32251-1\_2},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/lsgrid/SatouNTDK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/HayashibaraDYK04,
author = {Naohiro Hayashibara and
Xavier D{\'{e}}fago and
Rami Yared and
Takuya Katayama},
title = {The {\(\Phi\)} Accrual Failure Detector},
booktitle = {23rd International Symposium on Reliable Distributed Systems {(SRDS}
2004), 18-20 October 2004, Florianpolis, Brazil},
pages = {66--78},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/RELDIS.2004.1353004},
doi = {10.1109/RELDIS.2004.1353004},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/HayashibaraDYK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nca/WiesmannDS03,
author = {Matthias Wiesmann and
Xavier D{\'{e}}fago and
Andr{\'{e}} Schiper},
title = {Group Communication based on Standard Interfaces},
booktitle = {2nd {IEEE} International Symposium on Network Computing and Applications
{(NCA} 2003), 16-18 April 2003, Cambridge, MA, {USA}},
pages = {140--147},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/NCA.2003.1201148},
doi = {10.1109/NCA.2003.1201148},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nca/WiesmannDS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jise/UrbanDS02,
author = {P{\'{e}}ter Urb{\'{a}}n and
Xavier D{\'{e}}fago and
Andr{\'{e}} Schiper},
title = {Neko: {A} Single Environment to Simulate and Prototype Distributed
Algorithms},
journal = {J. Inf. Sci. Eng.},
volume = {18},
number = {6},
pages = {981--997},
year = {2002},
url = {http://www.iis.sinica.edu.tw/page/jise/2002/200211\_07.html},
timestamp = {Fri, 16 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jise/UrbanDS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pomc/DefagoK02,
author = {Xavier D{\'{e}}fago and
Akihiko Konagaya},
title = {Circle formation for oblivious anonymous mobile robots with no common
sense of orientation},
booktitle = {Proceedings of the 2002 Workshop on Principles of Mobile Computing,
{POMC} 2002, October 30-31, 2002, Toulouse, France},
pages = {97--104},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/584490.584509},
doi = {10.1145/584490.584509},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pomc/DefagoK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/Charron-BostDS02,
author = {Bernadette Charron{-}Bost and
Xavier D{\'{e}}fago and
Andr{\'{e}} Schiper},
title = {Broadcasting Messages in Fault-Tolerant Distributed Systems: The Benefit
of Handling Input-Triggered and Output-Triggered Suspicions Differently},
booktitle = {21st Symposium on Reliable Distributed Systems {(SRDS} 2002), 13-16
October 2002, Osaka, Japan},
pages = {244--249},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/RELDIS.2002.1180193},
doi = {10.1109/RELDIS.2002.1180193},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/Charron-BostDS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/DefagoP02,
author = {Xavier D{\'{e}}fago and
Fernando Pedone},
title = {Message from the {RCDS} Co-Chairs},
booktitle = {21st Symposium on Reliable Distributed Systems {(SRDS} 2002), 13-16
October 2002, Osaka, Japan},
pages = {370},
publisher = {{IEEE} Computer Society},
year = {2002},
timestamp = {Fri, 09 Jan 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/DefagoP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icoin/UrbanDS01,
author = {P{\'{e}}ter Urb{\'{a}}n and
Xavier D{\'{e}}fago and
Andr{\'{e}} Schiper},
title = {Neko: {A} Single Environment to Simulate and Prototype Distributed
Algorithms},
booktitle = {The 15th International Conference on Information Networking, {ICOIN}
2001, Beppu City, Oita, Japan, January 31 - February 2, 2001},
pages = {503--511},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ICOIN.2001.905471},
doi = {10.1109/ICOIN.2001.905471},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icoin/UrbanDS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/SergentDS01,
author = {Nicole Sergent and
Xavier D{\'{e}}fago and
Andr{\'{e}} Schiper},
title = {Impact of a Failure Detection Mechanism on the Performance of Consensus},
booktitle = {8th Pacific Rim International Symposium on Dependable Computing {(PRDC}
2001), 17-19 December 2001, Seoul, Korea},
pages = {137--145},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/PRDC.2001.992690},
doi = {10.1109/PRDC.2001.992690},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/SergentDS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/UrbanDS01,
author = {P{\'{e}}ter Urb{\'{a}}n and
Xavier D{\'{e}}fago and
Andr{\'{e}} Schiper},
title = {Chasing the {FLP} Impossibility Result in a {LAN} or How Robust Can
a Fault Tolerant Server Be?},
booktitle = {20th Symposium on Reliable Distributed Systems {(SRDS} 2001), 28-31
October 2001, New Orleans, LA, {USA}},
pages = {190--193},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/RELDIS.2001.970767},
doi = {10.1109/RELDIS.2001.970767},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/UrbanDS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/Charron-BostDS01,
author = {Bernadette Charron{-}Bost and
Xavier D{\'{e}}fago and
Andr{\'{e}} Schiper},
title = {Time vs. Space in Fault-Tolerant Distributed Systems},
booktitle = {6th Workshop on Object-Oriented Real-Time Dependable Systems {(WORDS}
2001), 8-10 January 2001, Rome, Italy},
pages = {21--27},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/WORDS.2001.945109},
doi = {10.1109/WORDS.2001.945109},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/words/Charron-BostDS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icccn/UrbanDS00,
author = {P{\'{e}}ter Urb{\'{a}}n and
Xavier D{\'{e}}fago and
Andr{\'{e}} Schiper},
editor = {Ton Engbersen and
E. K. Park},
title = {Contention-aware metrics for distributed algorithms: comparison of
atomic broadcast algorithms},
booktitle = {Proceedings Ninth International Conference on Computer Communications
and Networks, {ICCCN} 2000, 16-18 October 2000, Las Vegas, Nevada,
{USA}},
pages = {582--589},
publisher = {{IEEE}},
year = {2000},
url = {https://doi.org/10.1109/ICCCN.2000.885548},
doi = {10.1109/ICCCN.2000.885548},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/icccn/UrbanDS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dais/FelberDES99,
author = {Pascal Felber and
Xavier D{\'{e}}fago and
Patrick Th. Eugster and
Andr{\'{e}} Schiper},
editor = {Lea Kutvonen and
Hartmut K{\"{o}}nig and
Martti Tienari},
title = {Replicating {CORBA} objects: a marriage between active and passive
replication},
booktitle = {Distributed Applications and Interoperable Systems II, Second {IFIP}
{WG} 6.1 International Working Conference on Distributed Applications
and Interoperable Systems, June 28 - July 1, 1999, Helsinki, Finland},
series = {{IFIP} Conference Proceedings},
volume = {143},
pages = {375--388},
publisher = {Kluwer},
year = {1999},
timestamp = {Wed, 30 Apr 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dais/FelberDES99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/doa/FelberDGO99,
author = {Pascal Felber and
Xavier D{\'{e}}fago and
Rachid Guerraoui and
Philipp Oser},
title = {Failure Detectors as First Class Objects},
booktitle = {International Symposium on Distributed Objects and Applications, {DOA}
1999, Edinburgh, United Kingdom, September 5-7, 1999},
pages = {132--141},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/DOA.1999.794001},
doi = {10.1109/DOA.1999.794001},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/doa/FelberDGO99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/DefagoFS99,
author = {Xavier D{\'{e}}fago and
Pascal Felber and
Andr{\'{e}} Schiper},
title = {Optimization techniques for replicating {CORBA} objects},
booktitle = {Fourth International Workshop on Object-Oriented Real-Time Dependable
Systems, Santa Barbara, California, USA, January 27-29, 1999. Proceedings},
pages = {2--8},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/WORDS.1999.806554},
doi = {10.1109/WORDS.1999.806554},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/words/DefagoFS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/DefagoSS98,
author = {Xavier D{\'{e}}fago and
Andr{\'{e}} Schiper and
Nicole Sergent},
title = {Semi-Passive Replication},
booktitle = {The Seventeenth Symposium on Reliable Distributed Systems, {SRDS}
1998, West Lafayette, Indiana, USA, October 20-22, 1998, Proceedings},
pages = {43--50},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/RELDIS.1998.740473},
doi = {10.1109/RELDIS.1998.740473},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/DefagoSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coots/DefagoFGG97,
author = {Xavier D{\'{e}}fago and
Pascal Felber and
Beno{\^{\i}}t Garbinato and
Rachid Guerraoui},
editor = {Steve Vinoski},
title = {Reliability with {CORBA} Event Channels},
booktitle = {Proceedings of the Third {USENIX} Conference on Object-Oriented Technologies
(COOTS), June 16-20, 1997, Portland, Oregon, {USA}},
pages = {237--240},
publisher = {{USENIX}},
year = {1997},
timestamp = {Thu, 15 May 2014 18:36:22 +0200},
biburl = {https://dblp.org/rec/conf/coots/DefagoFGG97.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-05-03 00:12 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:
