Double Auction Meets Blockchain: Consensus from Scored Bid-Assignment.

Xavier Défago Tokyo Institute of Technology, Japan http://www.jaist.ac.jp/~defago/ https://mathgenealogy.org/id.php?id=118405 https://orcid.org/0000-0002-2377-205X https://www.wikidata.org/entity/Q102320721 Xiangyu Su Xavier Défago Mario Larangeira Kazuyuki Mori Takuya Oda Yasumasa Tamura Keisuke Tanaka Double Auction Meets Blockchain: Consensus from Scored Bid-Assignment. 153-183 2025 ACNS (1) https://doi.org/10.1007/978-3-031-95761-1_6 conf/acns/2025-1 db/conf/acns/acns2025-1.html#SuDLMOTT25 streams/conf/acns François Bonnet 0001 Quentin Bramas Pierre Courtieu Xavier Défago Lionel Rieg Sébastien Tixeuil Xavier Urbain Deterministic Color-Optimal Self-stabilizing Semi-synchronous Gathering: A Certified Algorithm. 127-143 2025 SIROCCO https://doi.org/10.1007/978-3-031-91736-3_8 conf/sirocco/2025 db/conf/sirocco/sirocco2025.html#BonnetBCDRTU25 streams/conf/sirocco Alysson Bessani Xavier Défago Junya Nakamura 0001 Koichi Wada 0001 Yukiko Yamauchi 27th International Conference on Principles of Distributed Systems, OPODIS 2023, Tokyo, Japan, December 6-8, 2023 OPODIS Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024 LIPIcs 286 978-3-95977-308-9 https://www.dagstuhl.de/dagpub/978-3-95977-308-9 db/conf/opodis/opodis2023.html

Keisuke Okumura 0001 Xavier Défago Solving simultaneous target assignment and path planning efficiently with time-independent execution. 103946 2023 August 321 Artif. Intell. https://doi.org/10.1016/j.artint.2023.103946 db/journals/ai/ai321.html#OkumuraD23

Xavier Défago Adam Heriban Sébastien Tixeuil Koichi Wada 0001 Using model checking to formally verify rendezvous algorithms for robots with lights in Euclidean space. 104378 2023 May 163 Robotics Auton. Syst. https://doi.org/10.1016/j.robot.2023.104378 db/journals/ras/ras163.html#DefagoHTW23

Takashi Okumura Koichi Wada 0001 Xavier Défago Optimal L-algorithms for rendezvous of asynchronous mobile robots with external-lights. 114198 2023 November 979 Theor. Comput. Sci. https://doi.org/10.1016/j.tcs.2023.114198 db/journals/tcs/tcs979.html#OkumuraWD23

Keisuke Okumura 0001 François Bonnet 0001 Yasumasa Tamura Xavier Défago Offline Time-Independent Multiagent Path Planning. 2720-2737 2023 August 39 IEEE Trans. Robotics 4 https://doi.org/10.1109/TRO.2023.3258690 db/journals/trob/trob39.html#OkumuraBTD23

Onur Mutlu Xavier Défago Message from the DSN 2023 Program Chairs. xv-xvi 2023 DSN https://doi.org/10.1109/DSN58367.2023.00006 conf/dsn/2023 db/conf/dsn/dsn2023.html#MutluD23 Keisuke Okumura 0001 Xavier Défago Quick Multi-Robot Motion Planning by Combining Sampling and Search. 252-261 2023 IJCAI https://doi.org/10.24963/ijcai.2023/29 conf/ijcai/2023 db/conf/ijcai/ijcai2023.html#0003D23 Nicholaus D. Yosodipuro Ehsan Javanmardi Jin Nakazato Yasumasa Tamura Xavier Défago Manabu Tsukada Mixed-traffic Intersection Management using Traffic-load-responsive Reservation and V2X -enabled Speed Coordination. 1927-1934 2023 ITSC https://doi.org/10.1109/ITSC57777.2023.10422248 conf/itsc/2023 db/conf/itsc/itsc2023.html#YosodipuroJNTDT23 Yuji Yamazaki Yasumasa Tamura Xavier Défago Ehsan Javanmardi Manabu Tsukada ToST: Tokyo SUMO Traffic Scenario. 3597-3604 2023 ITSC https://doi.org/10.1109/ITSC57777.2023.10422517 conf/itsc/2023 db/conf/itsc/itsc2023.html#YamazakiTDJT23

Keisuke Okumura 0001 Manao Machida Xavier Défago Yasumasa Tamura Priority inheritance with backtracking for iterative multi-agent path finding. 103752 2022 310 Artif. Intell. https://doi.org/10.1016/j.artint.2022.103752 db/journals/ai/ai310.html#OkumuraMDT22

Yuan Wang 0040 Hideaki Ishii François Bonnet 0001 Xavier Défago Resilient Consensus for Multi-Agent Systems Under Adversarial Spreading Processes. 3316-3331 2022 9 IEEE Trans. Netw. Sci. Eng. 5 https://doi.org/10.1109/TNSE.2022.3176214 db/journals/tnse/tnse9.html#WangIBD22

Yuan Wang 0040 Hideaki Ishii François Bonnet 0001 Xavier Défago Resilient Real-Valued Consensus in Spite of Mobile Malicious Agents on Directed Graphs. 586-603 2022 33 IEEE Trans. Parallel Distributed Syst. 3 https://doi.org/10.1109/TPDS.2021.3096074 db/journals/tpds/tpds33.html#WangIBD22

Keisuke Okumura 0001 Xavier Défago Solving Simultaneous Target Assignment and Path Planning Efficiently with Time-Independent Execution. 270-278 2022 ICAPS https://ojs.aaai.org/index.php/ICAPS/article/view/19810 conf/aips/2022 db/conf/aips/icaps2022.html#0001D22 Hiroki Matsume Yuan Wang 0040 Hideaki Ishii Xavier Défago Self-Triggered Ternary Control for Resilient Consensus against Mobile Adversarial Agents. 2387-2392 2022 CDC https://doi.org/10.1109/CDC51059.2022.9992614 conf/cdc/2022 db/conf/cdc/cdc2022.html#MatsumeWID22 Keisuke Okumura 0001 François Bonnet 0001 Yasumasa Tamura Xavier Défago Offline Time-Independent Multi-Agent Path Planning. 4649-4656 2022 IJCAI https://doi.org/10.24963/ijcai.2022/645 conf/ijcai/2022 db/conf/ijcai/ijcai2022.html#00010TD22

Keisuke Okumura 0001 Xavier Défago Quick Multi-Robot Motion Planning by Combining Sampling and Search. 2022 abs/2203.00315 CoRR https://doi.org/10.48550/arXiv.2203.00315 db/journals/corr/corr2203.html#abs-2203-00315

Xiangyu Su Xavier Défago Mario Larangeira Kazuyuki Mori Takuya Oda Yuta Okumura Yasumasa Tamura Keisuke Tanaka Bid-Matching Problem and Score-Based Consensus for Peer-to-Peer Energy Trading. 1471 2022 2022 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2022/1471 db/journals/iacr/iacr2022.html#SuDLMOOTT22

Keisuke Okumura 0001 Yasumasa Tamura Xavier Défago Time-Independent Planning for Multiple Moving Agents. 11299-11307 2021 AAAI https://doi.org/10.1609/aaai.v35i13.17347 conf/aaai/2021 db/conf/aaai/aaai2021.html#OkumuraTD21 Yuan Wang 0040 Hideaki Ishii François Bonnet 0001 Xavier Défago Resilient Consensus Against Epidemic Malicious Attacks. 1393-1398 2021 ECC https://doi.org/10.23919/ECC54610.2021.9654845 conf/eucc/2021 db/conf/eucc/eucc2021.html#WangI0D21 Shota Kameyama Keisuke Okumura 0001 Yasumasa Tamura Xavier Défago Active Modular Environment for Robot Navigation. 8636-8642 2021 ICRA https://doi.org/10.1109/ICRA48506.2021.9561111 conf/icra/2021 db/conf/icra/icra2021.html#KameyamaOTD21 Keisuke Okumura 0001 Yasumasa Tamura Xavier Défago Iterative Refinement for Real-Time Multi-Robot Path Planning. 9690-9697 2021 IROS https://doi.org/10.1109/IROS51168.2021.9636071 conf/iros/2021 db/conf/iros/iros2021.html#OkumuraTD21 Mai Hirata Manabu Tsukada Keisuke Okumura 0001 Yasumasa Tamura Hideya Ochiai Xavier Défago Roadside-Assisted Cooperative Planning using Future Path Sharing for Autonomous Driving. 1-7 2021 VTC Fall https://doi.org/10.1109/VTC2021-Fall52928.2021.9625324 conf/vtc/2021f db/conf/vtc/vtc2021f.html#HirataTOTOD21

Keisuke Okumura 0001 Yasumasa Tamura Xavier Défago Iterative Refinement for Real-Time Multi-Robot Path Planning. 2021 abs/2102.12331 CoRR https://arxiv.org/abs/2102.12331 db/journals/corr/corr2102.html#abs-2102-12331

Shota Kameyama Keisuke Okumura 0001 Yasumasa Tamura Xavier Défago Active Modular Environment for Robot Navigation. 2021 abs/2102.12748 CoRR https://arxiv.org/abs/2102.12748 db/journals/corr/corr2102.html#abs-2102-12748

Keisuke Okumura 0001 François Bonnet 0001 Yasumasa Tamura Xavier Défago Offline Time-Independent Multi-Agent Path Planning. 2021 abs/2105.07132 CoRR https://arxiv.org/abs/2105.07132 db/journals/corr/corr2105.html#abs-2105-07132

Mai Hirata Manabu Tsukada Keisuke Okumura 0001 Yasumasa Tamura Hideya Ochiai Xavier Défago Roadside-assisted Cooperative Planning using Future Path Sharing for Autonomous Driving. 2021 abs/2108.04629 CoRR https://arxiv.org/abs/2108.04629 db/journals/corr/corr2108.html#abs-2108-04629

Keisuke Okumura 0001 Xavier Défago Solving Simultaneous Target Assignment and Path Planning Efficiently with Time-Independent Execution. 2021 abs/2109.04264 CoRR https://arxiv.org/abs/2109.04264 db/journals/corr/corr2109.html#abs-2109-04264

Xavier Défago Maria Potop-Butucaru Philippe Raipin Parvédy Self-stabilizing gathering of mobile robots under crash or Byzantine faults. 393-421 2020 33 Distributed Comput. 5 https://doi.org/10.1007/s00446-019-00359-x https://www.wikidata.org/entity/Q127393381 db/journals/dc/dc33.html#DefagoPP20

François Bonnet 0001 Quentin Bramas Xavier Défago Stateless Distributed Ledgers. 349-354 2020 NETYS https://doi.org/10.1007/978-3-030-67087-0_22 conf/netys/2020 db/conf/netys/netys2020.html#BonnetBD20 Xavier Défago Adam Heriban Sébastien Tixeuil Koichi Wada 0001 Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space. 113-122 2020 SRDS https://doi.org/10.1109/SRDS51746.2020.00019 conf/srds/2020 db/conf/srds/srds2020.html#DefagoHTW20 Xavier Défago Yuval Emek Shay Kutten Toshimitsu Masuzawa Yasumasa Tamura Communication Efficient Self-Stabilizing Leader Election. 11:1-11:19 2020 DISC https://doi.org/10.4230/LIPIcs.DISC.2020.11 conf/wdag/2020 db/conf/wdag/disc2020.html#DefagoEKMT20

Keisuke Okumura 0001 Yasumasa Tamura Xavier Défago Time-Independent Planning for Multiple Moving Agents. 2020 abs/2005.13187 CoRR https://arxiv.org/abs/2005.13187 db/journals/corr/corr2005.html#abs-2005-13187

François Bonnet 0001 Quentin Bramas Xavier Défago Stateless Distributed Ledgers. 2020 abs/2006.10985 CoRR https://arxiv.org/abs/2006.10985 db/journals/corr/corr2006.html#abs-2006-10985

Yuan Wang 0040 Hideaki Ishii François Bonnet 0001 Xavier Défago Resilient Consensus Against Mobile Malicious Agents. 2020 abs/2006.11711 CoRR https://arxiv.org/abs/2006.11711 db/journals/corr/corr2006.html#abs-2006-11711

Xavier Défago Yuval Emek Shay Kutten Toshimitsu Masuzawa Yasumasa Tamura Communication Efficient Self-Stabilizing Leader Election (Full Version). 2020 abs/2008.04252 CoRR https://arxiv.org/abs/2008.04252 db/journals/corr/corr2008.html#abs-2008-04252

Yuan Wang 0040 Hideaki Ishii François Bonnet 0001 Xavier Défago Resilient Consensus Against Epidemic Malicious Attacks. 2020 abs/2012.13757 CoRR https://arxiv.org/abs/2012.13757 db/journals/corr/corr2012.html#abs-2012-13757

Keisuke Okumura 0001 Manao Machida Xavier Défago Yasumasa Tamura Priority Inheritance with Backtracking for Iterative Multi-agent Path Finding. 2019 IJCAI https://doi.org/10.24963/ijcai.2019/76 conf/ijcai/2019 db/conf/ijcai/ijcai2019.html#OkumuraMDT19 535-542 Satoshi Konno Xavier Défago Approximate QoS Rule Derivation Based on Root Cause Analysis for Cloud Computing. 33-42 2019 PRDC https://doi.org/10.1109/PRDC47002.2019.00020 conf/prdc/2019 db/conf/prdc/prdc2019.html#KonnoD19 Xavier Défago Adam Heriban Sébastien Tixeuil Koichi Wada 0001 Brief Announcement: Model Checking Rendezvous Algorithms for Robots with Lights in Euclidean Space. 41:1-41:3 2019 DISC https://doi.org/10.4230/LIPIcs.DISC.2019.41 conf/wdag/2019 db/conf/wdag/disc2019.html#DefagoHTW19 Xavier Défago Maria Potop-Butucaru Sébastien Tixeuil Fault-Tolerant Mobile Robots. 234-251 2019 Distributed Computing by Mobile Entities https://doi.org/10.1007/978-3-030-11072-7_10 series/lncs/11340 db/series/lncs/lncs11340.html#DefagoPT19

Keisuke Okumura 0001 Manao Machida Xavier Défago Yasumasa Tamura Priority Inheritance with Backtracking for Iterative Multi-agent Path Finding. 2019 abs/1901.11282 CoRR http://arxiv.org/abs/1901.11282 db/journals/corr/corr1901.html#abs-1901-11282

Keisuke Okumura 0001 Yasumasa Tamura Xavier Défago winPIBT: Expanded Prioritized Algorithm for Iterative Multi-agent Path Finding. 2019 abs/1905.10149 CoRR http://arxiv.org/abs/1905.10149 db/journals/corr/corr1905.html#abs-1905-10149

Xavier Défago Adam Heriban Sébastien Tixeuil Koichi Wada 0001 Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space. 2019 abs/1907.09871 CoRR http://arxiv.org/abs/1907.09871 db/journals/corr/corr1907.html#abs-1907-09871

Keisuke Okumura 0001 Yasumasa Tamura Xavier Défago Amoeba Exploration: Coordinated Exploration with Distributed Robots. 191-195 2018 iCAST https://doi.org/10.1109/ICAwST.2018.8517225 conf/icawst/2018 db/conf/icawst/icawst2018.html#OkumuraTD18 Adam Heriban Xavier Défago Sébastien Tixeuil Optimally Gathering Two Robots. 3:1-3:10 2018 ICDCN https://doi.org/10.1145/3154273.3154323 conf/icdcn/2018 db/conf/icdcn/icdcn2018.html#HeribanDT18 Takashi Okumura Koichi Wada 0001 Xavier Défago Optimal Rendezvous L-Algorithms for Asynchronous Mobile Robots with External-Lights. 24:1-24:16 2018 OPODIS https://doi.org/10.4230/LIPIcs.OPODIS.2018.24 conf/opodis/2018 db/conf/opodis/opodis2018.html#OkumuraWD18

Takashi Okumura Koichi Wada 0001 Xavier Défago Optimal Rendezvous L-Algorithms for Asynchronous Mobile Robots with External-Lights. 2018 abs/1804.01368 CoRR http://arxiv.org/abs/1804.01368 db/journals/corr/corr1804.html#abs-1804-01368

François Bonnet 0001 Quentin Bramas Xavier Défago Thanh Dang Nguyen Killing Nodes as a Countermeasure to Virus Expansion. 227-243 2017 SIROCCO https://doi.org/10.1007/978-3-319-72050-0_14 conf/sirocco/2017 db/conf/sirocco/sirocco2017.html#0001BDN17

Adam Heriban Xavier Défago Sébastien Tixeuil Optimally Gathering Two Robots. 2017 abs/1708.06183 CoRR http://arxiv.org/abs/1708.06183 db/journals/corr/corr1708.html#abs-1708-06183

François Bonnet 0001 Xavier Défago Thanh Dang Nguyen Maria Potop-Butucaru Tight bound on mobile Byzantine Agreement. 361-373 2016 609 Theor. Comput. Sci. https://doi.org/10.1016/j.tcs.2015.10.019 db/journals/tcs/tcs609.html#BonnetDNP16

Davide Canepa Xavier Défago Taisuke Izumi Maria Potop-Butucaru Flocking with Oblivious Robots. 94-108 2016 SSS https://doi.org/10.1007/978-3-319-49259-9_8 conf/sss/2016 db/conf/sss/sss2016.html#CanepaDIP16 Xavier Défago Atomic Broadcast. 155-160 2016 Encyclopedia of Algorithms https://doi.org/10.1007/978-1-4939-2864-4_37 db/reference/algo/algo2016.html#Defago16 Xavier Défago Causal Order, Logical Clocks, State Machine Replication. 283-286 2016 Encyclopedia of Algorithms https://doi.org/10.1007/978-1-4939-2864-4_65 db/reference/algo/algo2016.html#Defago16a

Xavier Défago Maria Gradinariu Potop-Butucaru Julien Clément 0002 Stéphane Messika Philippe Raipin Parvédy Fault and Byzantine Tolerant Self-stabilizing Mobile Robots Gathering - Feasibility Study -. 2016 abs/1602.05546 CoRR http://arxiv.org/abs/1602.05546 db/journals/corr/corr1602.html#DefagoP0MPP16

Thanh-Trung Pham Xavier Défago Huynh Quyet Thang Reliability prediction for component-based software systems: Dealing with concurrent and propagating errors. 426-457 2015 97 Sci. Comput. Program. https://doi.org/10.1016/j.scico.2014.03.016 db/journals/scp/scp97.html#PhamDH15

Alexandre Maurer Sébastien Tixeuil Xavier Défago Communicating Reliably in Multihop Dynamic Networks Despite Byzantine Failures. 238-245 2015 SRDS https://doi.org/10.1109/SRDS.2015.10 https://doi.ieeecomputersociety.org/10.1109/SRDS.2015.10 conf/srds/2015 db/conf/srds/srds2015.html#MaurerTD15

Thanh-Trung Pham François Bonnet 0001 Xavier Défago Reliability Prediction for Component-based Software Systems with Architectural-level Fault Tolerance Mechanisms (Extended Version). 4-36 2014 5 J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 1 https://doi.org/10.22667/JOWUA.2014.03.31.004 db/journals/jowua/jowua5.html#PhamBD14

Gianlorenzo D'Angelo Xavier Défago Nicolas Nisse Understanding the Power of Stigmergy of Anonymous Agents in Discrete Environments. 50-59 2014 CANDAR https://doi.org/10.1109/CANDAR.2014.95 https://doi.ieeecomputersociety.org/10.1109/CANDAR.2014.95 conf/ic-nc/2014 db/conf/ic-nc/candar2014.html#DAngeloDN14 Thanh Dang Nguyen François Bonnet 0001 Xavier Défago Mitigating the Spread of a Virus in the Internet. 14-19 2014 SRDS Workshops https://doi.org/10.1109/SRDSW.2014.26 https://doi.ieeecomputersociety.org/10.1109/SRDSW.2014.26 conf/srds/2014w db/conf/srds/srds2014w.html#NguyenBD14 François Bonnet 0001 Xavier Défago Franck Petit Maria Potop-Butucaru Sébastien Tixeuil Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols. 50-59 2014 SRDS Workshops https://doi.org/10.1109/SRDSW.2014.34 https://doi.ieeecomputersociety.org/10.1109/SRDSW.2014.34 conf/srds/2014w db/conf/srds/srds2014w.html#BonnetDPPT14 François Bonnet 0001 Xavier Défago Thanh Dang Nguyen Maria Potop-Butucaru Tight Bound on Mobile Byzantine Agreement. 76-90 2014 DISC https://doi.org/10.1007/978-3-662-45174-8_6 conf/wdag/2014 db/conf/wdag/disc2014.html#BonnetDNP14

Alexandre Maurer Sébastien Tixeuil Xavier Défago Reliable Communication in a Dynamic Network in the Presence of Byzantine Faults. 2014 abs/1402.0121 CoRR http://arxiv.org/abs/1402.0121 db/journals/corr/corr1402.html#MaurerTD14

Xavier Défago Franck Petit Vincent Villain Preface. 1 2013 512 Theor. Comput. Sci. https://doi.org/10.1016/j.tcs.2013.10.027 db/journals/tcs/tcs512.html#DefagoPV13

Thanh-Trung Pham Xavier Défago Reliability Prediction for Component-Based Software Systems with Architectural-Level Fault Tolerance Mechanisms. 11-20 2013 ARES https://doi.org/10.1109/ARES.2013.8 https://doi.ieeecomputersociety.org/10.1109/ARES.2013.8 conf/IEEEares/2013 db/conf/IEEEares/ares2013.html#PhamD13 Daiki Higashihara Xavier Défago Decreasing the Locks by Isolating the Concurrent Execution in Microprotocol Framework. 247-251 2013 CANDAR https://doi.org/10.1109/CANDAR.2013.43 https://doi.ieeecomputersociety.org/10.1109/CANDAR.2013.43 conf/ic-nc/2013 db/conf/ic-nc/candar2013.html#HigashiharaD13

Taisuke Izumi Samia Souissi Yoshiaki Katayama Nobuhiro Inuzuka Xavier Défago Koichi Wada 0001 Masafumi Yamashita The Gathering Problem for Two Oblivious Robots with Unreliable Compasses. 26-46 2012 41 SIAM J. Comput. 1 https://doi.org/10.1137/100797916 db/journals/siamcomp/siamcomp41.html#IzumiSKIDWY12

Samuel Bernard Xavier Défago Sébastien Tixeuil A Fast and Robust Optimistic Total Order Broadcast for Online Video Games. 189-196 2012 AINA Workshops https://doi.org/10.1109/WAINA.2012.105 https://doi.ieeecomputersociety.org/10.1109/WAINA.2012.105 conf/aina/2012w db/conf/aina/ainaw2012.html#BernardDT12 Thanh-Trung Pham Xavier Défago Reliability Prediction for Component-Based Systems: Incorporating Error Propagation Analysis and Different Execution Models. 106-115 2012 QSIC https://doi.org/10.1109/QSIC.2012.20 conf/qsic/2012 db/conf/qsic/qsic2012.html#PhamD12 François Bonnet 0001 Xavier Défago Franck Petit Maria Gradinariu Potop-Butucaru Sébastien Tixeuil Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols. 282-284 2012 SSS https://doi.org/10.1007/978-3-642-33536-5_28 conf/sss/2012 db/conf/sss/sss2012.html#BonnetDPPT12

Yan Yang 0001 Samia Souissi Xavier Défago Makoto Takizawa 0001 Fault-tolerant flocking for a group of autonomous mobile robots. 29-36 2011 84 J. Syst. Softw. 1 https://doi.org/10.1016/j.jss.2010.08.026 db/journals/jss/jss84.html#YangSDT11

François Bonnet 0001 Xavier Défago Exploration and Surveillance in Multi-robots Networks. 342-344 2011 ICNC https://doi.org/10.1109/ICNC.2011.66 https://doi.ieeecomputersociety.org/10.1109/ICNC.2011.66 conf/ic-nc/2011 db/conf/ic-nc/ic-nc2011.html#BonnetD11 Xavier Défago Franck Petit Vincent Villain Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings 6976 2011 Springer Lecture Notes in Computer Science https://doi.org/10.1007/978-3-642-24550-3 978-3-642-24549-7 SSS db/conf/sss/sss2011.html

Davide Canepa Xavier Défago Taisuke Izumi Maria Potop-Butucaru Emergent velocity agreement in robot networks http://arxiv.org/abs/1105.4082 2011 CoRR abs/1105.4082 db/journals/corr/corr1105.html#abs-1105-4082

Taisuke Izumi Samia Souissi Yoshiaki Katayama Nobuhiro Inuzuka Xavier Défago Koichi Wada 0001 Masafumi Yamashita The Gathering Problem for Two Oblivious Robots with Unreliable Compasses http://arxiv.org/abs/1111.1492 2011 CoRR abs/1111.1492 db/journals/corr/corr1111.html#abs-1111-1492

Julien Clément 0002 Xavier Défago Maria Gradinariu Potop-Butucaru Taisuke Izumi Stéphane Messika The cost of probabilistic agreement in oblivious robot networks. 431-438 2010 110 Inf. Process. Lett. 11 https://doi.org/10.1016/j.ipl.2010.04.006 db/journals/ipl/ipl110.html#ClementDPIM10

Emmanuelle Anceaume Xavier Défago Maria Potop-Butucaru Matthieu Roy A framework for proving the self-organization of dynamic systems http://arxiv.org/abs/1011.2312 2010 CoRR abs/1011.2312 db/journals/corr/corr1011.html#abs-1011-2312

Samia Souissi Xavier Défago Masafumi Yamashita Using eventually consistent compasses to gather memory-less mobile robots with limited visibility. 2009 4 ACM Trans. Auton. Adapt. Syst. 1 https://doi.org/10.1145/1462187.1462196 db/journals/taas/taas4.html#SouissiDY09 9:1-9:27

Yan Yang 0001 Samia Souissi Xavier Défago Makoto Takizawa 0001 Fault-Tolerant Flocking of Mobile Robots with Whole Formation Rotation. 830-837 2009 AINA https://doi.org/10.1109/AINA.2009.104 https://doi.ieeecomputersociety.org/10.1109/AINA.2009.104 conf/aina/2009 db/conf/aina/aina2009.html#YangSDT09 Yan Yang 0001 Xavier Défago Makoto Takizawa 0001 Self-stabilized Flocking of a Group of Mobile Robots under Memory Corruption. 532-538 2009 NBiS https://doi.org/10.1109/NBiS.2009.60 https://doi.ieeecomputersociety.org/10.1109/NBiS.2009.60 conf/nbis/2009 db/conf/nbis/nbis2009.html#YangDT09

Wei Sun 0004 Chen Yu Xavier Défago Yasushi Inoguchi Dynamic Scheduling Real-Time Task Using Primary-Backup Overloading Strategy for Multiprocessor Systems. 796-806 2008 91-D IEICE Trans. Inf. Syst. 3 https://doi.org/10.1093/ietisy/e91-d.3.796 db/journals/ieicet/ieicet91d.html#SunYDI08

Naixue Xiong Laurence Tianruo Yang Yan Yang 0001 Xavier Défago Yanxiang He A novel numerical algorithm based on self-tuning controller to support TCP flows. 1178-1188 2008 79 Math. Comput. Simul. 4 https://doi.org/10.1016/j.matcom.2007.10.001 db/journals/mcs/mcs79.html#XiongYYDH08

Xavier Défago Samia Souissi Non-uniform circle formation algorithm for oblivious mobile robots with convergence toward uniformity. 97-112 2008 396 Theor. Comput. Sci. 1-3 https://doi.org/10.1016/j.tcs.2008.01.050 db/journals/tcs/tcs396.html#DefagoS08

Yan Yang 0001 Naixue Xiong Nak Young Chong Xavier Défago A Decentralized and Adaptive Flocking Algorithm for Autonomous Mobile Robots. 262-268 2008 GPC Workshops https://doi.org/10.1109/GPC.WORKSHOPS.2008.18 https://doi.ieeecomputersociety.org/10.1109/GPC.WORKSHOPS.2008.18 conf/gpc/2008w db/conf/gpc/gpc2008w.html#YangXCD08 Lan Tien Nguyen Xavier Défago Razvan Beuran Yoichi Shinoda An energy efficient routing scheme for mobile wireless sensor networks. 568-572 2008 ISWCS https://doi.org/10.1109/ISWCS.2008.4726120 conf/iswcs/2008 db/conf/iswcs/iswcs2008.html#NguyenDBS08 Samia Souissi Yan Yang 0001 Xavier Défago Fault-Tolerant Flocking in a k-Bounded Asynchronous System. 145-163 2008 OPODIS https://doi.org/10.1007/978-3-540-92221-6_11 conf/opodis/2008 db/conf/opodis/opodis2008.html#SouissiYD08 Xavier Défago Atomic Broadcast. 2008 Encyclopedia of Algorithms https://doi.org/10.1007/978-0-387-30162-4_37 reference/algo/2008 db/reference/algo/algo2008.html#Defago08 Xavier Défago Causal Order, Logical Clocks, State Machine Replication. 2008 Encyclopedia of Algorithms https://doi.org/10.1007/978-0-387-30162-4_65 reference/algo/2008 db/reference/algo/algo2008.html#Defago08a

Julien Clément 0002 Xavier Défago Maria Gradinariu Potop-Butucaru Stéphane Messika The cost of probabilistic gathering in oblivious robot networks http://arxiv.org/abs/0807.1753 2008 CoRR abs/0807.1753 db/journals/corr/corr0807.html#abs-0807-1753

Rami Yared Xavier Défago Julien Iguchi-Cartigny Matthias Wiesmann Collision Prevention Platform for a Dynamic Group of Asynchronous Cooperative Mobile Robots. 28-39 2007 2 J. Networks 4 https://doi.org/10.4304/jnw.2.4.28-39 db/journals/jnw/jnw2.html#YaredDIW07

Rami Yared Xavier Défago Matthias Wiesmann Collision prevention using group communication for asynchronous cooperative mobile robots. 244-249 2007 conf/aina/2007 AINA https://doi.org/10.1109/AINA.2007.44 https://doi.ieeecomputersociety.org/10.1109/AINA.2007.44 db/conf/aina/aina2007.html#YaredDW07 Matthias Wiesmann Xavier Défago Anonymous Stabilizing Leader Election using a Network Sequencer. 673-678 2007 conf/aina/2007 AINA https://doi.org/10.1109/AINA.2007.38 https://doi.ieeecomputersociety.org/10.1109/AINA.2007.38 db/conf/aina/aina2007.html#WiesmannD07 Wei Sun 0004 Chen Yu Yuanyuan Zhang 0012 Xavier Défago Yasushi Inoguchi Real-time Task Scheduling Using Extended Overloading Technique for Multiprocessor Systems. 95-102 2007 DS-RT https://doi.org/10.1109/DS-RT.2007.12 https://doi.ieeecomputersociety.org/10.1109/DS-RT.2007.12 conf/dsrt/2007 db/conf/dsrt/dsrt2007.html#0004YZDI07 Rami Yared Julien Cartigny Xavier Défago Matthias Wiesmann Locality-preserving distributed path reservation protocol for asynchronous cooperative mobile robots. 188-195 2007 ISADS https://doi.org/10.1109/ISADS.2007.44 https://doi.ieeecomputersociety.org/10.1109/ISADS.2007.44 conf/isads/2007 db/conf/isads/isads2007.html#YaredCDW07 Naixue Xiong Yan Yang 0001 Xavier Défago Comparative Analysis of QoS and Memory Usage of Adaptive Failure Detectors. 27-34 2007 PRDC https://doi.org/10.1109/PRDC.2007.60 https://doi.ieeecomputersociety.org/10.1109/PRDC.2007.60 conf/prdc/2007 db/conf/prdc/prdc2007.html#XiongYD07 Geunho Lee 0001 Nak Young Chong Xavier Défago Robust Self-Deployment for a Swarm of Autonomous Mobile Robots with Limited Visibility Range. 925-930 2007 RO-MAN https://doi.org/10.1109/ROMAN.2007.4415216 conf/ro-man/2007 db/conf/ro-man/ro-man2007.html#LeeCD07 Masafumi Yamashita Samia Souissi Xavier Défago Gathering two stateless mobile robots using very inaccurate compasses in finite time. 48 2007 ROBOCOMM https://doi.org/10.4108/ICST.ROBOCOMM2007.2199 https://dl.acm.org/citation.cfm?id=1377927 conf/robocomm/2007 db/conf/robocomm/robocomm2007.html#YamashitaSD07 Wei Sun 0004 Yuanyuan Zhang 0012 Chen Yu Xavier Défago Yasushi Inoguchi Hybrid Overloading and Stochastic Analysis for Redundant Real-time Multiprocessor Systems. 265-274 2007 SRDS https://doi.org/10.1109/SRDS.2007.11 https://doi.ieeecomputersociety.org/10.1109/SRDS.2007.11 conf/srds/2007 db/conf/srds/srds2007.html#SunZYDI07 Naixue Xiong Xavier Défago Xiaohua Jia Yan Yang 0001 Yanxiang He Design and Analysis of a Self-Tuning Proportional and Integral Controller for Active Queue Management Routers to Support TCP Flows. 2006 conf/infocom/2006 INFOCOM https://doi.org/10.1109/INFOCOM.2006.189 https://www.wikidata.org/entity/Q60402780 db/conf/infocom/infocom2006.html#XiongDJYH06 Samia Souissi Xavier Défago Masafumi Yamashita Gathering Asynchronous Mobile Robots with Inaccurate Compasses. 333-349 2006 conf/opodis/2006 OPODIS https://doi.org/10.1007/11945529_24 db/conf/opodis/opodis2006.html#SouissiDY06 Matthias Wiesmann Xavier Défago End-to-end consensus using end-to-end channels. 341-350 2006 conf/prdc/2006 PRDC https://doi.org/10.1109/PRDC.2006.32 https://doi.ieeecomputersociety.org/10.1109/PRDC.2006.32 db/conf/prdc/prdc2006.html#WiesmannD06 Matthias Wiesmann Péter Urbán Xavier Défago An SNMP based failure detection service. 365-376 2006 conf/srds/2006 SRDS https://doi.org/10.1109/SRDS.2006.9 https://doi.ieeecomputersociety.org/10.1109/SRDS.2006.9 db/conf/srds/srds2006.html#WiesmannUD06 Samia Souissi Xavier Défago Masafumi Yamashita Using Eventually Consistent Compasses to Gather Oblivious Mobile Robots with Limited Visibility. 484-500 2006 conf/sss/2006 SSS https://doi.org/10.1007/978-3-540-49823-0_34 db/conf/sss/sss2006.html#SouissiDY06 Xavier Défago Maria Gradinariu Stéphane Messika Philippe Raipin Parvédy Fault-Tolerant and Self-stabilizing Mobile Robots Gathering. 46-60 2006 conf/wdag/2006 DISC https://doi.org/10.1007/11864219_4 db/conf/wdag/disc2006.html#DefagoGMP06 Xavier Défago Agreement-related problems: from semi-passive replication to totally ordered broadcast. 2005 École Polytechnique Fédérale de Lausanne, Écublens, Vaud, Switzerland https://doi.org/10.5075/epfl-thesis-2229 https://infoscience.epfl.ch/handle/20.500.14299/210970 https://hdl.handle.net/20.500.14299/210970 https://www.base-search.net/Record/87abcc47dbc5f2aec4d463955a3ad16b612f8b798e090d68adfcc60911c7a5e5 base-search.net (ftinfoscience:oai:infoscience.tind.io:32705) Rami Yared Xavier Défago Takuya Katayama Fault-Tolerant Group Membership Protocols Using Physical Robot Messengers. 921-926 2005 conf/aina/2005 AINA https://doi.org/10.1109/AINA.2005.187 https://doi.ieeecomputersociety.org/10.1109/AINA.2005.187 db/conf/aina/aina2005.html#YaredDK05 Naohiro Hayashibara Xavier Défago Makoto Takizawa 0001 Takuya Katayama Information Propagation on the phi Failure Detector. 72-76 2005 conf/dexaw/2005 DEXA Workshops https://doi.org/10.1109/DEXA.2005.119 https://doi.ieeecomputersociety.org/10.1109/DEXA.2005.119 db/conf/dexaw/dexaw2005.html#HayashibaraDTK05 Xavier Défago Péter Urbán Naohiro Hayashibara Takuya Katayama Definition and Specification of Accrual Failure Detectors. 206-215 2005 conf/dsn/2005 DSN https://doi.org/10.1109/DSN.2005.37 https://doi.ieeecomputersociety.org/10.1109/DSN.2005.37 db/conf/dsn/dsn2005.html#DefagoUHK05 Yanxiang He Naixue Xiong Xavier Défago Yan Yang 0001 Jing He 0001 A Single-Pass Online Data Mining Algorithm Combined with Control Theory with Limited Memory in Dynamic Data Streams. 1119-1130 2005 conf/gcc/2005 GCC https://doi.org/10.1007/11590354_134 db/conf/gcc/gcc2005.html#HeXDYH05 Naixue Xiong Xavier Défago Yanxiang He Yan Yang 0001 A Resource-Based Server Performance Control for Grid Computing Systems. 56-64 2005 conf/npc/2005 NPC https://doi.org/10.1007/11577188_8 db/conf/npc/npc2005.html#XiongDHY05 Emmanuelle Anceaume Xavier Défago Maria Gradinariu Matthieu Roy Towards a Theory of Self-organization. 191-205 2005 conf/opodis/2005 OPODIS https://doi.org/10.1007/11795490_16 db/conf/opodis/opodis2005.html#AnceaumeDGR05 Wenyu Qu Hong Shen 0001 Xavier Défago A Survey of Mobile Agent-Based Fault-Tolerant Technology. 446-450 2005 conf/pdcat/2005 PDCAT https://doi.org/10.1109/PDCAT.2005.53 https://doi.ieeecomputersociety.org/10.1109/PDCAT.2005.53 db/conf/pdcat/pdcat2005.html#QuSD05 Zonghua Zhang Hong Shen 0001 Xavier Défago Yingpeng Sang A Brief Comparative Study on Analytical Models of Computer System Dependability and Security. 493-497 2005 conf/pdcat/2005 PDCAT https://doi.org/10.1109/PDCAT.2005.1 https://doi.ieeecomputersociety.org/10.1109/PDCAT.2005.1 db/conf/pdcat/pdcat2005.html#ZhangSDS05 Naixue Xiong Yan Yang 0001 Xavier Défago Yanxiang He LRC-RED: A Self-tuning Robust and Adaptive AQM Scheme. 655-659 2005 conf/pdcat/2005 PDCAT https://doi.org/10.1109/PDCAT.2005.165 https://doi.ieeecomputersociety.org/10.1109/PDCAT.2005.165 db/conf/pdcat/pdcat2005.html#XiongYDH05 Emmanuelle Anceaume Xavier Défago Maria Gradinariu Matthieu Roy Towards a Theory of Self-organization. 505-506 2005 conf/wdag/2005 DISC https://doi.org/10.1007/11561927_43 db/conf/wdag/disc2005.html#AnceaumeDGR05

Xavier Défago André Schiper Péter Urbán Total order broadcast and multicast algorithms: Taxonomy and survey. 372-421 2004 36 ACM Comput. Surv. 4 https://doi.org/10.1145/1041680.1041682 https://www.wikidata.org/entity/Q29308126 db/journals/csur/csur36.html#DefagoSU04

Xavier Défago André Schiper Semi-passive replication and Lazy Consensus. 1380-1398 2004 64 J. Parallel Distributed Comput. 12 https://doi.org/10.1016/j.jpdc.2004.08.006 db/journals/jpdc/jpdc64.html#DefagoS04

Ahlem Ben Hassine Xavier Défago Tu Bao Ho Agent-Based Approach to Dynamic Meeting Scheduling Problems. 1132-1139 2004 conf/atal/2004 AAMAS https://doi.ieeecomputersociety.org/10.1109/AAMAS.2004.10268 http://dl.acm.org/citation.cfm?id=1018882 db/conf/atal/aamas2004.html#HassineDH04 Samia Souissi Xavier Défago Takuya Katayama Decomposition of Fundamental Problems for Cooperative Autonomous Mobile Systems. 554-560 2004 conf/icdcsw/2004 ICDCS Workshops https://doi.org/10.1109/ICDCSW.2004.1284087 https://doi.ieeecomputersociety.org/10.1109/ICDCSW.2004.1284087 db/conf/icdcsw/icdcsw2004.html#SouissiDK04 Kenji Satou Yasuhiko Nakashima Shin'ichi Tsuji Xavier Défago Akihiko Konagaya An Integrated System for Distributed Bioinformatics Environment on Grids. 8-19 https://doi.org/10.1007/978-3-540-32251-1_2 2004 conf/lsgrid/2004 LSGRID db/conf/lsgrid/lsgrid2004.html#SatouNTDK04 Naohiro Hayashibara Xavier Défago Rami Yared Takuya Katayama The Φ Accrual Failure Detector. 66-78 2004 conf/srds/2004 SRDS https://doi.org/10.1109/RELDIS.2004.1353004 https://doi.ieeecomputersociety.org/10.1109/RELDIS.2004.1353004 db/conf/srds/srds2004.html#HayashibaraDYK04 Matthias Wiesmann Xavier Défago André Schiper Group Communication based on Standard Interfaces. 140-147 2003 conf/nca/2003 NCA https://doi.org/10.1109/NCA.2003.1201148 https://doi.ieeecomputersociety.org/10.1109/NCA.2003.1201148 db/conf/nca/nca2003.html#WiesmannDS03

Péter Urbán Xavier Défago André Schiper Neko: A Single Environment to Simulate and Prototype Distributed Algorithms. 981-997 2002 18 J. Inf. Sci. Eng. 6 http://www.iis.sinica.edu.tw/page/jise/2002/200211_07.html db/journals/jise/jise18.html#UrbanDS02

Xavier Défago Akihiko Konagaya Circle formation for oblivious anonymous mobile robots with no common sense of orientation. 97-104 2002 conf/pomc/2002 POMC https://doi.org/10.1145/584490.584509 db/conf/pomc/pomc2002.html#DefagoK02 Bernadette Charron-Bost Xavier Défago André Schiper Broadcasting Messages in Fault-Tolerant Distributed Systems: The Benefit of Handling Input-Triggered and Output-Triggered Suspicions Differently. 244-249 2002 conf/srds/2002 SRDS https://doi.org/10.1109/RELDIS.2002.1180193 https://doi.ieeecomputersociety.org/10.1109/RELDIS.2002.1180193 db/conf/srds/srds2002.html#Charron-BostDS02 Xavier Défago Fernando Pedone Message from the RCDS Co-Chairs. 370- 2002 conf/srds/2002 SRDS db/conf/srds/srds2002.html#DefagoP02 Péter Urbán Xavier Défago André Schiper Neko: A Single Environment to Simulate and Prototype Distributed Algorithms. 503-511 2001 conf/icoin/2001 ICOIN https://doi.org/10.1109/ICOIN.2001.905471 https://doi.ieeecomputersociety.org/10.1109/ICOIN.2001.905471 db/conf/icoin/icoin2001.html#UrbanDS01 Nicole Sergent Xavier Défago André Schiper Impact of a Failure Detection Mechanism on the Performance of Consensus. 137-145 2001 conf/prdc/2001 PRDC https://doi.org/10.1109/PRDC.2001.992690 https://doi.ieeecomputersociety.org/10.1109/PRDC.2001.992690 db/conf/prdc/prdc2001.html#SergentDS01 Péter Urbán Xavier Défago André Schiper Chasing the FLP Impossibility Result in a LAN or How Robust Can a Fault Tolerant Server Be?. 190-193 2001 conf/srds/2001 SRDS https://doi.org/10.1109/RELDIS.2001.970767 https://doi.ieeecomputersociety.org/10.1109/RELDIS.2001.970767 db/conf/srds/srds2001.html#UrbanDS01 Bernadette Charron-Bost Xavier Défago André Schiper Time vs. Space in Fault-Tolerant Distributed Systems. 21-27 2001 conf/words/2001 WORDS https://doi.org/10.1109/WORDS.2001.945109 https://doi.ieeecomputersociety.org/10.1109/WORDS.2001.945109 db/conf/words/words2001.html#Charron-BostDS01 Péter Urbán Xavier Défago André Schiper Contention-aware metrics for distributed algorithms: comparison of atomic broadcast algorithms. 582-589 2000 ICCCN https://doi.org/10.1109/ICCCN.2000.885548 conf/icccn/2000 db/conf/icccn/icccn2000.html#UrbanDS00 Pascal Felber Xavier Défago Patrick Th. Eugster André Schiper Replicating CORBA objects: a marriage between active and passive replication. 1999 conf/dais/1999 DAIS 375-388 db/conf/dais/dais1999.html#FelberDES99 Pascal Felber Xavier Défago Rachid Guerraoui Philipp Oser Failure Detectors as First Class Objects. 132-141 1999 conf/doa/1999 DOA https://doi.org/10.1109/DOA.1999.794001 https://doi.ieeecomputersociety.org/10.1109/DOA.1999.794001 db/conf/doa/doa1999.html#FelberDGO99 Xavier Défago Pascal Felber André Schiper Optimization techniques for replicating CORBA objects. 2-8 1999 WORDS (Jan.) https://doi.org/10.1109/WORDS.1999.806554 https://doi.ieeecomputersociety.org/10.1109/WORDS.1999.806554 conf/words/1999 db/conf/words/words1999.html#DefagoFS99 Xavier Défago André Schiper Nicole Sergent Semi-Passive Replication. 43-50 1998 conf/srds/1998 SRDS db/conf/srds/srds98.html#DefagoSS98 https://doi.org/10.1109/RELDIS.1998.740473 https://doi.ieeecomputersociety.org/10.1109/RELDIS.1998.740473 Xavier Défago Pascal Felber Benoît Garbinato Rachid Guerraoui Reliability with CORBA Event Channels. 237-240 1997 conf/coots/1997 COOTS db/conf/coots/coots1997.html#DefagoFGG97 Emmanuelle Anceaume Samuel Bernard Alysson Neves BessaniAlysson Bessani Razvan Beuran François Bonnet 0001 Quentin Bramas Davide Canepa Bernadette Charron-Bost Nak Young Chong Julien Clément 0002 Pierre Courtieu Gianlorenzo D'Angelo Yuval Emek Patrick EugsterPatrick Th. Eugster Pascal Felber Benoît Garbinato Rachid Guerraoui Ahlem Ben Hassine Naohiro Hayashibara Selena HeJing He 0001 Yanxiang He Adam Heriban Daiki Higashihara Mai Hirata Tu Bao Ho Julien Iguchi-CartignyJulien Cartigny Yasushi Inoguchi Nobuhiro Inuzuka Hideaki Ishii Taisuke Izumi Ehsan Javanmardi Xiaohua Jia Shota Kameyama Takuya Katayama Yoshiaki Katayama Akihiko Konagaya Satoshi Konno Shay Kutten Mario Larangeira Geunho Lee 0001 Manao Machida Toshimitsu Masuzawa Hiroki Matsume Alexandre Maurer Stéphane Messika Kazuyuki Mori Onur Mutlu Junya Nakamura 0001 Yasuhiko Nakashima Jin Nakazato Lan Tien Nguyen Thanh Dang Nguyen Nicolas Nisse Hideya Ochiai Takuya Oda Keisuke Okumura 0001 Takashi Okumura Yuta Okumura Philipp Oser Philippe Raipin Parvédy Fernando Pedone Franck Petit Thanh-Trung Pham Maria Potop-ButucaruMaria Gradinariu Potop-ButucaruMaria Gradinariu Wenyu Qu Lionel Rieg Matthieu Roy Yingpeng Sang Kenji Satou André Schiper Nicole Sergent Hong Shen 0001 Yoichi Shinoda Samia Souissi Xiangyu Su Daniel Sun 0004Wei Sun 0004 Makoto Takizawa 0001 Yasumasa Tamura Keisuke Tanaka Huynh Quyet Thang Sébastien Tixeuil Shin'ichi Tsuji Manabu Tsukada Xavier Urbain Péter Urbán Vincent Villain Koichi Wada 0001 Yuan Wang 0040 Matthias Wiesmann Naixue Xiong Masafumi Yamashita Yukiko Yamauchi Yuji Yamazaki Laurence T. YangLaurence Tianruo Yang Yan Yang 0001 Rami Yared Nicholaus D. Yosodipuro Chen Yu Yuanyuan Zhang 0012 Zonghua Zhang