"富田龍,石井将大,小田拓也,田中圭介,田村康将,Xavier Defago,仲琢矢,中井敦子,森一之","IoT向けブロックチェーンTree-Chainの問題点について","2025年暗号と情報セキュリティシンポジウム (SCIS2025)",,,,,,2025,Jan.
"Hiroki Matsume,Yuan Wang,Hideaki Ishii,Xavier D?fago","Mixed self/event-triggered ternary control for resilient consensus against mobile adversarial agents",,"Nonlinear Analysis: Hybrid Systems, Special Issue on Event-triggered and Self-triggered Control,",,"Vol. 52","No. 101473",,2024,Feb.
"Yuji Yamazaki,Yasumasa Tamura,Xavier D?fago,Ehsan Javanmardi,Manabu Tsukada","ToST: Tokyo SUMO traffic  scenario","The 26th IEEE International Conference on Intelligent Transportation Systems (ITSC 2023)",,,,,,2023,Sept.
"Keisuke Okumura,Francois Bonnet,Yasumasa Tamura,Xavier Defago","Offline Time-Independent Multiagent Path Planning",,"IEEE Transactions on Robotics",,"Vol. 39","No. 4","pp. 2720-2737",2023,Aug.
"Keisuke Okumura,Xavier D?fago","Solving simultaneous target assignment and path planning efficiently with time-independent execution",,"Artif. Intell.",,"Vol. 321",,,2023,Aug.
"由井亮,田村康将,DefagoXavier","協調配送問題のための分散ナビゲーション","ロボティクス・メカトロニクス 講演会 2023 in Nagoya",,,,,,2023,June
"Xavier D?fago,Adam Heriban,S?bastien Tixeuil,Koichi Wada","Using model checking to formally verify rendezvous algorithms for robots with lights in Euclidean space",,"Robotics and Autonomous Systems","Elsevier","Vol. 163",,,2023,Feb.
"H. Matsume,Y. Wang,H. Ishii,X. Defago","Self-triggered ternary control for resilient consensus against mobile adversarial agents","Proc. 61st IEEE Conference on Decision and Control",,,,,,2022,Dec.
"Keisuke Okumura,Manao Machida,Xavier D?fago,Yasumasa Tamura","Priority inheritance with backtracking for iterative multi-agent path finding",,"Artificial Intelligence",,"Vol. 310",,,2022,Sept.
"Keisuke Okumura,Francois Bonnet,Yasumasa Tamura,Xavier Defago","Offline Time-Independent Multi-agent Path Planning","The 31st International Joint Conference on Artificial Intelligence (IJCAI-ECAI2022)",,,,,"pp. 4649--4656",2022,July
"Y. Wang,H. Ishii,F. Bonnet,X. Defago","Resilient consensus for multi-agent systems under adversarial spreading processes",,"IEEE Transactions on Network Science and Engineering",,"Vol. 9","No. 5","pp. 3316-3331",2022,
"Y. Wang,H. Ishii,F. Bonnet,X. Defago","Resilient real-valued consensus in spite of mobile malicious agents on directed graphs",,"IEEE Transactions on Parallel and Distributed Systems",,"Vol. 33","No. 3","pp. 586-603",2022,
"Mai Hirata,Manabu Tsukada,Keisuke Okumura,Yasumasa Tamura,Hideya Ochiai,Xavier Defago","Roadside-assisted Cooperative Planning using Future Path Sharing for Autonomous Driving","94th Vehiclar Technology Conference","Proceedings of 94th Vehiclar Technology Conference (VTC2021-Fall)",,,,,2021,Sept.
"Keisuke Okumura,Yasumasa Tamura,Xavier Defago","Iterative Refinement for Real-Time Multi-Robot Path Planning","2021 IEEE/RSJ International Conference on Intelligent Robotics and Systems",,,,,,2021,Sept.
"今野 賢,デファゴ クサヴィエ,冨田 尭,井口 寧","時系列障害原因分析による推論QoS規則導出手法",,"情報処理学会論文誌デジタルプラクティス（TDP）",,"Vol. 2","No. 3","pp. 11-26",2021,July
"Y. Wang,H. Ishii,Francois Bonnet,X. Defago","Resilient consensus against epidemic malicious attacks","Proc. European Control Conference",,,,,"pp. 1387-1392",2021,June
"Keisuke Okumura,Yasumasa Tamura,Xavier Defago","Offline Time-Independent Multi-Agent Path Planning","第35回 人工知能学会全国大会","人工知能学会全国大会論文週",,,,,2021,June
"Shota Kameyama,Keisuke Okumura,Yasumasa Tamura,Xavier D?fago","Active Modular Environment for Robot Navigation","IEEE  Intl. Conf. on Robotics and Automation (ICRA)",,,,,"pp. 8636-8642",2021,June
"Keisuke Okumura,Yasumasa Tamura,Xavier D?fago","Time-Independent Planning for Multiple Moving Agents","35th AAAI Conference on Artificial Intelligence",,,"Vol. 35","No. 13","pp. 11299-11307",2021,May
"Y. Wang,H. Ishii,Francois Bonnet,X. Defago","Resilient Consensus Against Epidemic Malicious Attacks","第8回計測自動制御学会制御部門マルチシンポジウム",,,,,,2021,Mar.
"Xavier D?fago,Yuval Emek,Shay Kutten,Toshimitsu Masuzawa,Yasumasa Tamura","Communication Efficient Self-Stabilizing LeaderElection","34th International Symposium on Distributed Computing (DISC 2020)","34th International Symposium on Distributed Computing (DISC 2020)",,"Vol. LIPICS 179",,"pp. 1-19",2020,Oct.
"Xavier D?fago,Adam Heriban,S?bastien Tixeuil,Koichi Wada","Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space","IEEE Symp. on Reliable Distributed Systems (SRDS)","Proc. 39th IEEE Symp. on Reliable Distributed Systems (SRDS)",,,,"pp. 113-122",2020,Sept.
"Xavier D?fago,Maria Potop-Butucaru,Philippe Raipin-Parv?dy","Self-stabilizing gathering of mobile robots under crash or Byzantine faults",,"Distributed Computing","Springer","  33",,"pp. 393-421",2020,Aug.
"Francois Bonnet,Quentin Bramas,Xavier D?fago","Stateless Distributed Ledgers","Proc. 7th Intl. Conf. on Networked Systems (NETYS)","Networked Systems",,,,"pp. 349-354",2020,June
"Yuan Wang,Hideaki Ishii,Francois Bonnet,Xavier D?fago","Resilient Consensus against Mobile Malicious Agents","SICE International Symposium on Control Systems",,,,,,2020,Mar.
"片平遥香,田村康将,DefagoXavier","耐タンパ性マルチホップ通信のための自己安定なグラフ構築アルゴリズム","第19回 複雑系マイクロシンポジウム","第19回 複雑系マイクロシンポジウム 講演論文集",,,,"pp. 81--86",2020,Mar.
"木野田渉,田村康将,DefagoXavier","Tangleにおけるチップ選択アルゴリズムの比較","第19回 複雑系マイクロシンポジウム","第19回 複雑系マイクロシンポジウム 講演論文集",,,,"pp. 77--80",2020,Mar.
"Xavier D?fago","[Keynote] Dependability and Fault-Tolerance of Cooperative Mobile Robots: The Gap Between Theory and Pragmatism","24th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2019)",,,,,,2019,Dec.
"Satoshi Konno,Xavier D?fago","Approximate QoS Rule Derivation Based on Root Cause Analysis for Cloud Computing","24th IEEE Pacific Rim International Symposium on Dependable Computing",,"IEEE",,,"pp. 33-42",2019,Dec.
"Xavier D?fago,Adam Heriban,S?bastien Tixeuil,Koichi Wada","Brief Announcement: Model Checking Rendezvous Algorithms for Robots with Lights in Euclidean Space","33rd International Symposium on Distributed Computing (DISC 2019)","33rd International Symposium on Distributed Computing (DISC 2019)","Leibniz International Proceedings in Informatics","Vol. 146",,"pp. 1-3",2019,Oct.
"Keisuke Okumura,Manao Machida,Xavier D?fago,Yasumasa Tamura","Priority Inheritance with Backtracking for Iterative Multi-agent Path Finding","The 28th International Joint Conference on Artificial Intelligence","Proceedings of the 28th International Joint Conference on Artificial Intelligence (Main Track)",,,,"pp. 535--542",2019,Aug.
"Xavier D?fago,Maria Potop-Butucaru,S?bastien Tixeuil","Fault-Tolerant Mobile Robots",,"Distributed Computing by Mobile Entities","Springer","Vol. LNCS 11340",,"pp. 234-251",2019,Jan.
"Takashi Okumura,Koichi Wada,Xavier D?fago","Optimal Rendezvous L-Algorithms for Asynchronous Mobile Robots with External-Lights","22nd International Conference on Principles of Distributed Systems (OPODIS)",,"LIPIcs",,,,2018,Dec.
"Keisuke Okumura,Yasumasa Tamura,Xavier D?fago","Amoeba Exploration: Coordinated Exploration with Distributed Robots","The 9th International Conference on Awareness Science and Technology (iCAST 2018)","Proceedings of the 9th International Conference on Awareness Science and Technology (iCAST 2018)","IEEE",,,"pp. 191 -- 195",2018,Nov.
"亀山聖太,田村康将,Xavier D?fago","KameLoid: 動的にプログラムを書き換え可能なモバイルロボット","第17回複雑系マイクロシンポジウム",,,,,,2018,Mar.
"Adam Heriban,Xavier D?fago,S?bastien Tixeuil","Optimally Gathering Two Robots","19th Intl Conf. Distributed Computing and Networking (ICDCN)",,,,,,2018,Jan.
"Yasumasa Tamura,Xavier D?fago","Collective Learning with Deep Neural Networks","The 2nd International Symposium on Swarm Behavior and Bio-Inspired Robotics (SWARM2017)","Proceedings of the 2nd International Symposium on Swarm Behavior and Bio-Inspired Robotics (SWARM2017)",,,,"pp. 167 -- 168",2017,Oct.
"亀山聖太,田村康将,DefagoXavier","分散アルゴリズムの実環境での実験のためのロボット開発","第13回情報科学ワークショップ",,,,,,2017,Sept.
"奥村圭祐,田村康将,DefagoXavier","未知環境における動的アンカーを使った移動ロボット群の協調探索","第13回情報科学ワークショップ",,,,,,2017,Sept.
"木下崇央,田村康将,DefagoXavier","ブロックチェーンにおけるPoWの代替となるアルゴリズムのサーベイ","第13回情報科学ワークショップ",,,,,,2017,Sept.
"Jerome Bailet,Yasumasa Tamura,Xavier D?fago","Collective Learning for Swarm Robots","第13回情報科学ワークショップ",,,,,,2017,Sept.
"田村康将,DefagoXavier","群知能に基づく深層学習アルゴリズムの検討","第13回情報科学ワークショップ",,,,,,2017,Sept.
"Fran?ois Bonnet,Quentin Bramas,Xavier D?fago,Thanh Dang Nguyen","Killing Nodes as a Countermeasure to Virus Expansion","24th International Colloquium on Structural Information and Communication Complexity (SIROCCO)","Lecture Notes in Computer Science (LNCS)","Springer",,,,2017,June
"Davide Canepa,Xavier D?fago,Taisuke Izumi,Maria Potop-Butucaru","Flocking with Oblivious Robots","International Symposium on Stabilization, Safety, and Security of Distributed Systems","Lecture notes in computer science, LNCS","Springer","Vol. 10083",,"pp. 94-108",2016,Nov.
"Xavier D?fago","Atomic Broadcast",,"Encyclopedia of Algorithms","Springer",,,"pp. 155-160",2016,Apr.
"Xavier D?fago","Causal Order, Logical Clocks, State Machine Replication",,"Encyclopedia of Algorithms","Springer",,,"pp. 283-286",2016,Apr.
"Fran?ois Bonnet,Xavier Defago,Thanh Dang Nguyen,Maria Potop-Butucaru","Tight bound on mobile Byzantine Agreement",,"Theoretical Computer Science",,"Vol. 609","No. 2","pp. 361-373",2016,Jan.
"Alexandre Maurer,S?bastien Tixeuil,Xavier Defago","Communicating Reliably in Multihop Dynamic Networks Despite Byzantine Failures","IEEE Symp. on Reliable Distributed Systems (SRDS)","Proc. 34th IEEE Symp. on Reliable Distributed Systems, (SRDS)",,,,"pp. 238-245",2015,Sept.
"T.-T.Pham,Xavier Defago,Q.-T.Huynh","Reliability prediction for component-based software systems: Dealing with concurrent and propagating errors",,"Sci. Comput. Program.",,"Vol. 97","No. 4","pp. 426-457",2015,Jan.
"Gianlorenzo D'Angelo,Xavier D?fago,Nicolas Nisse:","Understanding the Power of Stigmergy of Anonymous Agents in Discrete Environments","Proc. 2nd Intl. Symp. on Computing and Networking (CANDAR)","Proc. 2nd Intl. Symp. on Computing and Networking (CANDAR)",,,,"pp. 50-59",2014,Dec.
"Fran?ois Bonnet,Xavier D?fago,Thanh Dang Nguyen,Maria Potop-Butucaru:","Tight Bound on Mobile Byzantine Agreement","Distributed Computing - 28th International Symposium, DISC","Proc. 28th Intl. Symp. on Distributed Computing (DISC)","Springer, LNCS",,,"pp. 76-90",2014,Oct.
"T.-T. Pham,F. Bonnet,Xavier Defago","Reliability Prediction for Component-based Software Systems with Architectural-level Fault Tolerance Mechanisms (Extended Version)",,"Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications",,"Vol. 5","No. 1","pp. 4?36",2014,Mar.
"Taisuke Izumi,Samia Souissi,Yoshiaki Katayama,Nobuhiro Inuzuka,Xavier Defago,Koichi Wada,Masafumi Yamashita","The Gathering Problem for Two Oblivious Robots with Unreliable Compasses",,"SIAM J. Comput.",,"Vol. 41","No. 1","pp. 26-46",2012,Jan.
"Yan Yang,Samia Souissi,Xavier Defago,Makoto Takizawa","Fault-tolerant flocking for a group of autonomous mobile robots",,"Journal of Systems and Software",,"Vol. 84","No. 1","pp. 29-36",2011,Jan.
"Julien Cl?ment,Xavier Defago,Maria Potop-Butucaru,Taisuke Izumi,St?phane Messika","The cost of probabilistic agreement in oblivious robot networks",,"Inf. Process. Lett.",,"Vol. 110","No. 11","pp. 431-438",2010,May
"Samia Souissi,Xavier Defago,Masafumi Yamashita","Using eventually consistent compasses to gather memory-less mobile robots with limited visibility",,"ACM Trans. Autonomous and Adaptive Systems",,"Vol. 4","No. 1","pp. 1-27",2009,Jan.
"Xavier Defago,Samia Souissi","Non-uniform circle formation algorithm for oblivious mobile robots with convergence toward uniformity",,"Theor. Comput. Sci.",,"Vol. 396","No. 1-3","pp. 97-112",2008,May
"Wei Sun,Chen Yu,Xavier Defago,Yasushi Inoguchi","Dynamic Scheduling Real-Time Task Using Primary-Backup Overloading Strategy for Multiprocessor Systems",,"IEICE Transactions",,"Vol. 91-D","No. 3","pp. 796-806",2008,Mar.
"Rami Yared,Xavier Defago,Julien Iguchi-Cartigny,Matthias Wiesmann","Collision Prevention Platform for a Dynamic Group of Asynchronous Cooperative Mobile Robots",,"J. Networks",,"Vol. 2","No. 4","pp. 28-39",2007,Aug.
"Satou, K.,Nakashima, Y.,Tsuji, S,Defago, X.,Konagaya, A","An Integrated System for Distributed Bioinformatics Environment on Grids","Grid Computing in Life Science (LSGRID2004)","LNBI Springer",,,,"pp. 8-19",2005,Apr.
"Xavier Defago,A. Schiper,P. Urb?n","Total order broadcast and multicast algorithms: Taxonomy and survey",,"ACM Comput. Surv.",,"Vol. 36","No. 4","pp. 372-421",2004,Dec.
"Xavier Defago,A. Schiper","Semi-passive replication and Lazy Consensus",,"J. Parallel Distrib. Comput.",,"Vol. 64","No. 12","pp. 1380-1398",2004,Dec.
"P. Urb?n,Xavier Defago,A. Schiper","Neko: A Single Environment to Simulate and Prototype Distributed Algorithms",,"J. Inf. Sci. Eng.",,"Vol. 18","No. 6","pp. 981-997",2002,Nov.