論文

• 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, Feb. 2024.
• 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, Aug. 2023.  公式リンク  
  
• Keisuke Okumura, Xavier Défago. Solving simultaneous target assignment and path planning efficiently with time-independent execution, Artif. Intell., Vol. 321, Aug. 2023.
• 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, Feb. 2023.  公式リンク  
  
• Keisuke Okumura, Manao Machida, Xavier Défago, Yasumasa Tamura. Priority inheritance with backtracking for iterative multi-agent path finding, Artificial Intelligence, Vol. 310, Sept. 2022.  公式リンク  
  
• 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.
• 今野 賢, デファゴ クサヴィエ, 冨田 尭, 井口 寧. 時系列障害原因分析による推論QoS規則導出手法, 情報処理学会論文誌デジタルプラクティス（TDP）, Vol. 2, No. 3, pp. 11-26, July 2021.  公式リンク  
  
• 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, Aug. 2020.  公式リンク  
  
• Xavier Défago. Atomic Broadcast, Encyclopedia of Algorithms, Springer, pp. 155-160, Apr. 2016.
• Xavier Défago. Causal Order, Logical Clocks, State Machine Replication, Encyclopedia of Algorithms, Springer, pp. 283-286, Apr. 2016.
• 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, Jan. 2016.
• 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, Jan. 2015.  公式リンク  
  
• 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, Mar. 2014.  公式リンク  
  
• 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, Jan. 2012.  公式リンク  
  
• 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, Jan. 2011.  公式リンク  
  
• 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, May 2010.  公式リンク  
  
• 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, Jan. 2009.  公式リンク  
  
• 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, May 2008.  公式リンク  
  
• 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, Mar. 2008.  公式リンク  
  
• 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, Aug. 2007.  公式リンク  
  
• 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, Dec. 2004.  公式リンク  
  
• Xavier Defago, A. Schiper. Semi-passive replication and Lazy Consensus, J. Parallel Distrib. Comput., Vol. 64, No. 12, pp. 1380-1398, Dec. 2004.  公式リンク  
  
• 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, Nov. 2002.  公式リンク  
  

著書

• 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, Jan. 2019.  公式リンク  

国際会議発表 (査読有り)

• 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), Sept. 2023.
• 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, Dec. 2022.
• 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, July 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), Sept. 2021.
• 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, Sept. 2021.
• 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, June 2021.
• Y. Wang, H. Ishii, Francois Bonnet, X. Defago. Resilient consensus against epidemic malicious attacks, Proc. European Control Conference, pp. 1387-1392, June 2021.
• 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, May 2021.  公式リンク  
  
• 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, Oct. 2020.  公式リンク  
  
• 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, Sept. 2020.
• Francois Bonnet, Quentin Bramas, Xavier Défago. Stateless Distributed Ledgers, Proc. 7th Intl. Conf. on Networked Systems (NETYS), Networked Systems, pp. 349-354, June 2020.  公式リンク  
  
• 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, Dec. 2019.
• 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, Oct. 2019.  公式リンク  
  
• 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, Aug. 2019.
• 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, Dec. 2018.
• 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, Nov. 2018.
• Adam Heriban, Xavier Défago, Sébastien Tixeuil. Optimally Gathering Two Robots, 19th Intl Conf. Distributed Computing and Networking (ICDCN), Jan. 2018.
• 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, Oct. 2017.
• 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, June 2017.
• 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, Nov. 2016.  公式リンク  
  
• 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, Sept. 2015.  公式リンク  
  
• 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, Dec. 2014.  公式リンク  
  
• 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, Oct. 2014.  公式リンク  
  
• 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, Apr. 2005.

国際会議発表 (査読なし・不明)

• Yuan Wang, Hideaki Ishii, Francois Bonnet, Xavier Défago. Resilient Consensus against Mobile Malicious Agents, SICE International Symposium on Control Systems, Mar. 2020.
• 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), Dec. 2019.

国内会議発表 (査読なし・不明)

• 由井亮, 田村康将, DefagoXavier. 協調配送問題のための分散ナビゲーション, ロボティクス・メカトロニクス 講演会 2023 in Nagoya, June 2023.  公式リンク  
  
• Keisuke Okumura, Yasumasa Tamura, Xavier Defago. Offline Time-Independent Multi-Agent Path Planning, 第35回 人工知能学会全国大会, 人工知能学会全国大会論文週, June 2021.
• Y. Wang, H. Ishii, Francois Bonnet, X. Defago. Resilient Consensus Against Epidemic Malicious Attacks, 第8回計測自動制御学会制御部門マルチシンポジウム, Mar. 2021.
• 木野田渉, 田村康将, DefagoXavier. Tangleにおけるチップ選択アルゴリズムの比較, 第19回 複雑系マイクロシンポジウム, 第19回 複雑系マイクロシンポジウム 講演論文集, pp. 77--80, Mar. 2020.
• 片平遥香, 田村康将, DefagoXavier. 耐タンパ性マルチホップ通信のための自己安定なグラフ構築アルゴリズム, 第19回 複雑系マイクロシンポジウム, 第19回 複雑系マイクロシンポジウム 講演論文集, pp. 81--86, Mar. 2020.
• 亀山聖太, 田村康将, Xavier Défago. KameLoid: 動的にプログラムを書き換え可能なモバイルロボット, 第17回複雑系マイクロシンポジウム, Mar. 2018.
• 田村康将, DefagoXavier. 群知能に基づく深層学習アルゴリズムの検討, 第13回情報科学ワークショップ, Sept. 2017.
• Jerome Bailet, Yasumasa Tamura, Xavier Défago. Collective Learning for Swarm Robots, 第13回情報科学ワークショップ, Sept. 2017.
• 木下崇央, 田村康将, DefagoXavier. ブロックチェーンにおけるPoWの代替となるアルゴリズムのサーベイ, 第13回情報科学ワークショップ, Sept. 2017.
• 亀山聖太, 田村康将, DefagoXavier. 分散アルゴリズムの実環境での実験のためのロボット開発, 第13回情報科学ワークショップ, Sept. 2017.
• 奥村圭祐, 田村康将, DefagoXavier. 未知環境における動的アンカーを使った移動ロボット群の協調探索, 第13回情報科学ワークショップ, Sept. 2017.

特許など

• 小田拓也, 梶川裕矢, 田中圭介, DefagoXavier, 奥村　悠太. ピアツーピア端末及び約定取引システム. 特許. 公開. 国立大学法人東京工業大学, 三菱電機株式会社. 2020/01/30. PCT/JP2020/003410. 2021/08/05. WO 2021/152769. 2021.
• DefagoXavier, 田村康将, 亀山聖太, 奥村圭祐, 森将真. 管理システム. 特許. 登録. 国立大学法人東京工業大学. 2019/12/26. 特願2019-236546. 2021/07/26. 特開2021-106321. 特許第7397469号. 2023/12/05 2023.

[ BibTeX 形式で保存 ]    [ 論文・著書をCSV形式で保存 ]    [ 特許をCSV形式で保存 ]