@book{CTT100862844,
  author = {Xavier Défago and Maria Potop-Butucaru and Sébastien Tixeuil},
  title = {Fault-Tolerant Mobile Robots},
  publisher = {Springer},
  year = 2019,
}

@article{CTT100910220,
  author = {Hiroki Matsume and Yuan Wang and Hideaki Ishii and Xavier Défago},
  title = {Mixed self/event-triggered ternary control for resilient consensus against mobile adversarial agents},
  journal = {Nonlinear Analysis: Hybrid Systems, Special Issue on Event-triggered and Self-triggered Control,},
  year = 2024,
}

@article{CTT100887981,
  author = {Keisuke Okumura and Francois Bonnet and Yasumasa Tamura and Xavier Defago},
  title = {Offline Time-Independent Multiagent Path Planning},
  journal = {IEEE Transactions on Robotics},
  year = 2023,
}

@article{CTT100901517,
  author = {Keisuke Okumura and Xavier Défago},
  title = {Solving simultaneous target assignment and path planning efficiently with time-independent execution},
  journal = {Artif. Intell.},
  year = 2023,
}

@article{CTT100886233,
  author = {Xavier Défago and Adam Heriban and Sébastien Tixeuil and Koichi Wada},
  title = {Using model checking to formally verify rendezvous algorithms for robots with lights in Euclidean space},
  journal = {Robotics and Autonomous Systems},
  year = 2023,
}

@article{CTT100886228,
  author = {Keisuke Okumura and Manao Machida and Xavier Défago and Yasumasa Tamura},
  title = {Priority inheritance with backtracking for iterative multi-agent path finding},
  journal = {Artificial Intelligence},
  year = 2022,
}

@article{CTT100883681,
  author = {Y. Wang and H. Ishii and F. Bonnet and X. Defago},
  title = {Resilient consensus for multi-agent systems under adversarial spreading processes},
  journal = {IEEE Transactions on Network Science and Engineering},
  year = 2022,
}

@article{CTT100860729,
  author = {Y. Wang and H. Ishii and F. Bonnet and X. Defago},
  title = {Resilient real-valued consensus in spite of mobile malicious agents on directed graphs},
  journal = {IEEE Transactions on Parallel and Distributed Systems},
  year = 2022,
}

@article{CTT100858418,
  author = {今野 賢 and デファゴ クサヴィエ and 冨田 尭 and 井口 寧},
  title = {時系列障害原因分析による推論QoS規則導出手法},
  journal = {情報処理学会論文誌デジタルプラクティス（TDP）},
  year = 2021,
}

@article{CTT100803307,
  author = {Xavier Défago and Maria Potop-Butucaru and Philippe Raipin-Parvédy},
  title = {Self-stabilizing gathering of mobile robots under crash or Byzantine faults},
  journal = {Distributed Computing},
  year = 2020,
}

@article{CTT100705175,
  author = {Xavier Défago},
  title = {Atomic Broadcast},
  journal = {Encyclopedia of Algorithms},
  year = 2016,
}

@article{CTT100705176,
  author = {Xavier Défago},
  title = {Causal Order, Logical Clocks, State Machine Replication},
  journal = {Encyclopedia of Algorithms},
  year = 2016,
}

@article{CTT100705174,
  author = {François Bonnet and Xavier Defago and Thanh Dang Nguyen and Maria Potop-Butucaru},
  title = {Tight bound on mobile Byzantine Agreement},
  journal = {Theoretical Computer Science},
  year = 2016,
}

@article{CTT100705173,
  author = {T.-T.Pham and Xavier Defago and Q.-T.Huynh},
  title = {Reliability prediction for component-based software systems: Dealing with concurrent and propagating errors},
  journal = {Sci. Comput. Program.},
  year = 2015,
}

@article{CTT100705171,
  author = {T.-T. Pham and F. Bonnet and Xavier Defago},
  title = {Reliability Prediction for Component-based Software Systems with Architectural-level Fault Tolerance Mechanisms (Extended Version)},
  journal = {Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications},
  year = 2014,
}

@article{CTT100705170,
  author = {Taisuke Izumi and Samia Souissi and Yoshiaki Katayama and Nobuhiro Inuzuka and Xavier Defago and Koichi Wada and Masafumi Yamashita},
  title = {The Gathering Problem for Two Oblivious Robots with Unreliable Compasses},
  journal = {SIAM J. Comput.},
  year = 2012,
}

@article{CTT100705167,
  author = {Yan Yang and Samia Souissi and Xavier Defago and Makoto Takizawa},
  title = {Fault-tolerant flocking for a group of autonomous mobile robots},
  journal = {Journal of Systems and Software},
  year = 2011,
}

@article{CTT100705169,
  author = {Julien Clément and Xavier Defago and Maria Potop-Butucaru and Taisuke Izumi and Stéphane Messika},
  title = {The cost of probabilistic agreement in oblivious robot networks},
  journal = {Inf. Process. Lett.},
  year = 2010,
}

@article{CTT100705168,
  author = {Samia Souissi and Xavier Defago and Masafumi Yamashita},
  title = {Using eventually consistent compasses to gather memory-less mobile robots with limited visibility},
  journal = {ACM Trans. Autonomous and Adaptive Systems},
  year = 2009,
}

@article{CTT100705164,
  author = {Xavier Defago and Samia Souissi},
  title = {Non-uniform circle formation algorithm for oblivious mobile robots with convergence toward uniformity},
  journal = {Theor. Comput. Sci.},
  year = 2008,
}

@article{CTT100705165,
  author = {Wei Sun and Chen Yu and Xavier Defago and Yasushi Inoguchi},
  title = {Dynamic Scheduling Real-Time Task Using Primary-Backup Overloading Strategy for Multiprocessor Systems},
  journal = {IEICE Transactions},
  year = 2008,
}

@article{CTT100705163,
  author = {Rami Yared and Xavier Defago and Julien Iguchi-Cartigny and Matthias Wiesmann},
  title = {Collision Prevention Platform for a Dynamic Group of Asynchronous Cooperative Mobile Robots},
  journal = {J. Networks},
  year = 2007,
}

@article{CTT100705161,
  author = {Xavier Defago and A. Schiper and P. Urbán},
  title = {Total order broadcast and multicast algorithms: Taxonomy and survey},
  journal = {ACM Comput. Surv.},
  year = 2004,
}

@article{CTT100705162,
  author = {Xavier Defago and A. Schiper},
  title = {Semi-passive replication and Lazy Consensus},
  journal = {J. Parallel Distrib. Comput.},
  year = 2004,
}

@article{CTT100705160,
  author = {P. Urbán and Xavier Defago and A. Schiper},
  title = {Neko: A Single Environment to Simulate and Prototype Distributed Algorithms},
  journal = {J. Inf. Sci. Eng.},
  year = 2002,
}

@inproceedings{CTT100901964,
  author = {Yuji Yamazaki and Yasumasa Tamura and Xavier Défago and Ehsan Javanmardi and Manabu Tsukada},
  title = {ToST: Tokyo SUMO traffic  scenario},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100901963,
  author = {由井亮 and 田村康将 and DefagoXavier},
  title = {協調配送問題のための分散ナビゲーション},
  booktitle = {},
  year = 2023,
}

@inproceedings{CTT100883685,
  author = {H. Matsume and Y. Wang and H. Ishii and X. Defago},
  title = {Self-triggered ternary control for resilient consensus against mobile adversarial agents},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100887982,
  author = {Keisuke Okumura and Francois Bonnet and Yasumasa Tamura and Xavier Defago},
  title = {Offline Time-Independent Multi-agent Path Planning},
  booktitle = {},
  year = 2022,
}

@inproceedings{CTT100863040,
  author = {Mai Hirata and Manabu Tsukada and Keisuke Okumura and Yasumasa Tamura and Hideya Ochiai and Xavier Defago},
  title = {Roadside-assisted Cooperative Planning using Future Path Sharing for Autonomous Driving},
  booktitle = {Proceedings of 94th Vehiclar Technology Conference (VTC2021-Fall)},
  year = 2021,
}

@inproceedings{CTT100863039,
  author = {Keisuke Okumura and Yasumasa Tamura and Xavier Defago},
  title = {Iterative Refinement for Real-Time Multi-Robot Path Planning},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100849090,
  author = {Shota Kameyama and Keisuke Okumura and Yasumasa Tamura and Xavier Défago},
  title = {Active Modular Environment for Robot Navigation},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100863038,
  author = {Keisuke Okumura and Yasumasa Tamura and Xavier Defago},
  title = {Offline Time-Independent Multi-Agent Path Planning},
  booktitle = {人工知能学会全国大会論文週},
  year = 2021,
}

@inproceedings{CTT100846934,
  author = {Y. Wang and H. Ishii and Francois Bonnet and X. Defago},
  title = {Resilient consensus against epidemic malicious attacks},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100845105,
  author = {Keisuke Okumura and Yasumasa Tamura and Xavier Défago},
  title = {Time-Independent Planning for Multiple Moving Agents},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100843331,
  author = {Y. Wang and H. Ishii and Francois Bonnet and X. Defago},
  title = {Resilient Consensus Against Epidemic Malicious Attacks},
  booktitle = {},
  year = 2021,
}

@inproceedings{CTT100833336,
  author = {Xavier Défago and Yuval Emek and Shay Kutten and Toshimitsu Masuzawa and Yasumasa Tamura},
  title = {Communication Efficient Self-Stabilizing LeaderElection},
  booktitle = {34th International Symposium on Distributed Computing (DISC 2020)},
  year = 2020,
}

@inproceedings{CTT100834800,
  author = {Xavier Défago and Adam Heriban and Sébastien Tixeuil and Koichi Wada},
  title = {Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space},
  booktitle = {Proc. 39th IEEE Symp. on Reliable Distributed Systems (SRDS)},
  year = 2020,
}

@inproceedings{CTT100862843,
  author = {Francois Bonnet and Quentin Bramas and Xavier Défago},
  title = {Stateless Distributed Ledgers},
  booktitle = {Networked Systems},
  year = 2020,
}

@inproceedings{CTT100822438,
  author = {Yuan Wang and Hideaki Ishii and Francois Bonnet and Xavier Défago},
  title = {Resilient Consensus against Mobile Malicious Agents},
  booktitle = {},
  year = 2020,
}

@inproceedings{CTT100820166,
  author = {木野田渉 and 田村康将 and DefagoXavier},
  title = {Tangleにおけるチップ選択アルゴリズムの比較},
  booktitle = {第19回 複雑系マイクロシンポジウム 講演論文集},
  year = 2020,
}

@inproceedings{CTT100820167,
  author = {片平遥香 and 田村康将 and DefagoXavier},
  title = {耐タンパ性マルチホップ通信のための自己安定なグラフ構築アルゴリズム},
  booktitle = {第19回 複雑系マイクロシンポジウム 講演論文集},
  year = 2020,
}

@inproceedings{CTT100810696,
  author = {Xavier Défago},
  title = {[Keynote] Dependability and Fault-Tolerance of Cooperative Mobile Robots: The Gap Between Theory and Pragmatism},
  booktitle = {},
  year = 2019,
}

@inproceedings{CTT100810695,
  author = {Satoshi Konno and Xavier Défago},
  title = {Approximate QoS Rule Derivation Based on Root Cause Analysis for Cloud Computing},
  booktitle = {},
  year = 2019,
}

@inproceedings{CTT100807035,
  author = {Xavier Défago and Adam Heriban and Sébastien Tixeuil and Koichi Wada},
  title = {Brief Announcement: Model Checking Rendezvous Algorithms for Robots with Lights in Euclidean Space},
  booktitle = {33rd International Symposium on Distributed Computing (DISC 2019)},
  year = 2019,
}

@inproceedings{CTT100803088,
  author = {Keisuke Okumura and Manao Machida and Xavier Défago and Yasumasa Tamura},
  title = {Priority Inheritance with Backtracking for Iterative Multi-agent Path Finding},
  booktitle = {Proceedings of the 28th International Joint Conference on Artificial Intelligence (Main Track)},
  year = 2019,
}

@inproceedings{CTT100781166,
  author = {Takashi Okumura and Koichi Wada and Xavier Défago},
  title = {Optimal Rendezvous L-Algorithms for Asynchronous Mobile Robots with External-Lights},
  booktitle = {},
  year = 2018,
}

@inproceedings{CTT100800955,
  author = {Keisuke Okumura and Yasumasa Tamura and Xavier Défago},
  title = {Amoeba Exploration: Coordinated Exploration with Distributed Robots},
  booktitle = {Proceedings of the 9th International Conference on Awareness Science and Technology (iCAST 2018)},
  year = 2018,
}

@inproceedings{CTT100760902,
  author = {亀山聖太 and 田村康将 and Xavier Défago},
  title = {KameLoid: 動的にプログラムを書き換え可能なモバイルロボット},
  booktitle = {},
  year = 2018,
}

@inproceedings{CTT100766881,
  author = {Adam Heriban and Xavier Défago and Sébastien Tixeuil},
  title = {Optimally Gathering Two Robots},
  booktitle = {},
  year = 2018,
}

@inproceedings{CTT100755343,
  author = {Yasumasa Tamura and Xavier Défago},
  title = {Collective Learning with Deep Neural Networks},
  booktitle = {Proceedings of the 2nd International Symposium on Swarm Behavior and Bio-Inspired Robotics (SWARM2017)},
  year = 2017,
}

@inproceedings{CTT100755351,
  author = {田村康将 and DefagoXavier},
  title = {群知能に基づく深層学習アルゴリズムの検討},
  booktitle = {},
  year = 2017,
}

@inproceedings{CTT100755352,
  author = {Jerome Bailet and Yasumasa Tamura and Xavier Défago},
  title = {Collective Learning for Swarm Robots},
  booktitle = {},
  year = 2017,
}

@inproceedings{CTT100755353,
  author = {木下崇央 and 田村康将 and DefagoXavier},
  title = {ブロックチェーンにおけるPoWの代替となるアルゴリズムのサーベイ},
  booktitle = {},
  year = 2017,
}

@inproceedings{CTT100755355,
  author = {亀山聖太 and 田村康将 and DefagoXavier},
  title = {分散アルゴリズムの実環境での実験のためのロボット開発},
  booktitle = {},
  year = 2017,
}

@inproceedings{CTT100755357,
  author = {奥村圭祐 and 田村康将 and DefagoXavier},
  title = {未知環境における動的アンカーを使った移動ロボット群の協調探索},
  booktitle = {},
  year = 2017,
}

@inproceedings{CTT100747666,
  author = {François Bonnet and Quentin Bramas and Xavier Défago and Thanh Dang Nguyen},
  title = {Killing Nodes as a Countermeasure to Virus Expansion},
  booktitle = {Lecture Notes in Computer Science (LNCS)},
  year = 2017,
}

@inproceedings{CTT100741347,
  author = {Davide Canepa and Xavier Défago and Taisuke Izumi and Maria Potop-Butucaru},
  title = {Flocking with Oblivious Robots},
  booktitle = {Lecture notes in computer science, LNCS},
  year = 2016,
}

@inproceedings{CTT100705178,
  author = {Alexandre Maurer and Sébastien Tixeuil and Xavier Defago},
  title = {Communicating Reliably in Multihop Dynamic Networks Despite Byzantine Failures},
  booktitle = {Proc. 34th IEEE Symp. on Reliable Distributed Systems, (SRDS)},
  year = 2015,
}

@inproceedings{CTT100705179,
  author = {Gianlorenzo D'Angelo and Xavier Défago and Nicolas Nisse:},
  title = {Understanding the Power of Stigmergy of Anonymous Agents in Discrete Environments},
  booktitle = {Proc. 2nd Intl. Symp. on Computing and Networking (CANDAR)},
  year = 2014,
}

@inproceedings{CTT100705182,
  author = {François Bonnet and Xavier Défago and Thanh Dang Nguyen and Maria Potop-Butucaru:},
  title = {Tight Bound on Mobile Byzantine Agreement},
  booktitle = {Proc. 28th Intl. Symp. on Distributed Computing (DISC)},
  year = 2014,
}

@inproceedings{CTT100747580,
  author = {Satou, K. and Nakashima, Y. and Tsuji, S and Defago, X. and Konagaya, A},
  title = {An Integrated System for Distributed Bioinformatics Environment on Grids},
  booktitle = {LNBI Springer},
  year = 2005,
}

@misc{CTT100869605,
  author = {小田拓也 and 梶川裕矢 and 田中圭介 and DefagoXavier and 奥村　悠太},
  title = {ピアツーピア端末及び約定取引システム},
  howpublished = {公開特許},
  year = 2021,
  month  = {},
  note   = {PCT/JP2020/003410(2020/01/30), WO 2021/152769(2021/08/05)}
}


@misc{CTT100862926,
  author = {DefagoXavier and 田村康将 and 亀山聖太 and 奥村圭祐 and 森将真},
  title = {管理システム},
  howpublished = {登録特許},
  year = 2023,
  month  = {},
  note   = {特願2019-236546(2019/12/26), 特開2021-106321(2021/07/26), 特許第7397469号(2023/12/05)}
}