Defago Xavier ＤＥＦＡＧＯＸａｖｉｅｒ

… Alternative Names

DEFAGO Xavier デファゴクサヴィエ

Less

Researcher Number	70333557
Other IDs
Affiliation (Current)	2025: 東京科学大学, 情報理工学院, 教授
Affiliation (based on the past Project Information) *help	2025: 東京科学大学, 情報理工学院, 教授 2016 – 2023: 東京工業大学, 情報理工学院, 教授 2011 – 2015: 北陸先端科学技術大学院大学, 情報科学研究科, 准教授 2007 – 2008: Japan Advanced Institute of Science and Technology, 情報科学研究科, 准教授 2006: Japan Advanced Institute of Science and Technology, 情報科学研究科, 助教授
Review Section/Research Field	Principal Investigator Computer system/Network / Basic Section 60010:Theory of informatics-related / Science and Engineering Except Principal Investigator Basic Section 60010:Theory of informatics-related / Theory of informatics / Sections That Are Subject to Joint Review: Basic Section60010:Theory of informatics-related , Basic Section60020:Mathematical informatics-related / Basic Section 60020:Mathematical informatics-related / Basic Section 60060:Information network-related
Keywords	Principal Investigator 自己安定 / 分散アルゴリズム / 分散システム / 耐故障性 / モデル検証 / 自律分散ロボット群 / 国際情報交換 / センサーネットワーク / 合意問題 / モデル化 … More / ロボット群 / アドホック通信 / 群ロボット / グループ通信 / 群ロボットアドホック通信 / 耐故障性グループ通信 / モニタリング / 高信頼性 / 故障検出 / 大規模分散システム … More Except Principal Investigator 耐故障性 / 同期度 / 自律分散ロボット / 計算限界 / ロボットの動作環境 / ランダム性 / LCMモデル / サイバーフィジカルシステム / ITS標準技術 / Multi-Agent Path Finding / 協調計画 / ネットワーク / 協調型自動運転 / V2X / 自動運転 / 情報ネットワーク / 協調型ITS / 無記憶ロボット / メモリ対通信 / ライト付きロボット / LCMサイクル / エネルギー制限ロボット / Cyber Phisical Systems / 形状形成 / 匿名性 / 無記憶 / 非同期 / ライト / 自己安定 / 集合問題 / 非同期度 / CPS / GPU / 並列計算モデル / 分散計算 / MapReduce / PRAM / 組合せ回路 / 並列複雑度 / MapReduce計算 Less

A Critical Reassessment of Theoretical Models of Autonomous Mobile Robot Systems and the Creation of Novel Paradigms
- Principal Investigator
  
  和田幸一
- Project Period (FY)
  2025 – 2028
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
  Basic Section 60020:Mathematical informatics-related
  Sections That Are Subject to Joint Review: Basic Section60010:Theory of informatics-related , Basic Section60020:Mathematical informatics-related
- Research Institution
  Hosei University
Practical Framework for the Formal Verification of Cooperative Mobile Robots AlgorithmsPrincipal Investigator
- Principal Investigator
  
  DEFAGO Xavier
- Project Period (FY)
  2021 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Tokyo Institute of Technology
Cyber-Physical System Architecture for Cooperative Driving
- Principal Investigator
  
  Manabu Tsukada
- Project Period (FY)
  2021 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60060:Information network-related
- Research Institution
  The University of Tokyo
On Memory, Communication, and Synchronous Schedulers for Computational Bounds of Autonomous Mobile Robots
- Principal Investigator
  
  和田幸一
- Project Period (FY)
  2020 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Hosei University
A Theoretical Model for Autonomous Mobile Robots based on CPS and Limitations of its Computation
- Principal Investigator
  
  Wada Koichi
- Project Period (FY)
  2017 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Theory of informatics
- Research Institution
  Hosei University
Limitations of Massively Parallel Computation on Distributed Environment
- Principal Investigator
  
  WADA Koichi
- Project Period (FY)
  2014 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Theory of informatics
- Research Institution
  Hosei University
Fault-tolerant distributed algorithms and realistic models for groups of autonomous mobile robotsPrincipal Investigator
- Principal Investigator
  
  DEFAGO Xavier
- Project Period (FY)
  2011 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Computer system/Network
- Research Institution
  Japan Advanced Institute of Science and Technology
高信頼性大規模分散システムのための拡張性の高いファジー故障検出フレームワークPrincipal Investigator
- Principal Investigator
  
  DEFAGO Xavier
- Project Period (FY)
  2006
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Japan Advanced Institute of Science and Technology
Research on dependable group communication middleware for self-organizing groups of distributed mobile robots.Principal Investigator
- Principal Investigator
  
  DEFAGO Xavier
- Project Period (FY)
  2006 – 2008
- Research Category
  
  Grant-in-Aid for Young Scientists (A)
- Research Field
  
  Computer system/Network
- Research Institution
  Japan Advanced Institute of Science and Technology

[Book] Atomic Broadcast (Encyclopedia of Algorithms)2016
- Author(s)
  編者　Ming-Yang Kao, 分担執筆著者　X. Defago
- Total Pages
  2389
- Publisher
  Springer
- Data Source
  KAKENHI-PROJECT-26330020
[Book] Causal Order, Logical Clocks, State Machine Replication (Encyclopedia of Algorithms)2016
- Author(s)
  編者　Ming-Yang Kao, 分担執筆著者 X. Defago
- Total Pages
  2389
- Publisher
  Springer
- Data Source
  KAKENHI-PROJECT-26330020
[Book] In Encyclopedia of Algorithms, Part 1(2008. Springer.)2008
- Author(s)
  X.Defago
- Total Pages
  5
- Publisher
  Atomic Broadcast
- Data Source
  KAKENHI-PROJECT-18680007
[Book] In Encyclopedia of Algorithms, Part 3(2008. Springer.)2008
- Author(s)
  X.Defago, Causal Order, Logical Clocks
- Total Pages
  5
- Publisher
  State Machine Replication
- Data Source
  KAKENHI-PROJECT-18680007
[Journal Article] Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space2023
- Author(s)
  X. Defago, A. Heriban, S. Tixeuil, K. Wada
- Journal Title
  
  Robotics and Autonomous Systems
  
  Volume: 163 Pages: 104378-104378
- DOI
  10.1016/j.robot.2023.104378
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11748, KAKENHI-PROJECT-20K11685
[Journal Article] Quick Multi-Robot Motion Planning by Combining Sampling and Search2023
- Author(s)
  Okumura Keisuke, Defago Xavier
- Journal Title
  
  IJCAI '23: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence
  
  Volume: 29 Pages: 252-261
- DOI
  10.24963/ijcai.2023/29
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K11685, KAKENHI-PROJECT-21K11748
[Journal Article] Solving simultaneous target assignment and path planning efficiently with time-independent execution2023
- Author(s)
  Okumura Keisuke、Defago Xavier
- Journal Title
  
  Artificial Intelligence
  
  Volume: 321 Pages: 103946-103946
- DOI
  10.1016/j.artint.2023.103946
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11748
[Journal Article] Optimal L-algorithms for rendezvous of asynchronous mobile robots with external-lights2023
- Author(s)
  Okumura Takashi、Wada Koichi、Defago Xavier
- Journal Title
  
  Theoretical Computer Science
  
  Volume: 979 Pages: 114198-114198
- DOI
  10.1016/j.tcs.2023.114198
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K11685, KAKENHI-PROJECT-21K11748
[Journal Article] Offline Time-Independent Multiagent Path Planning2023
- Author(s)
  Okumura Keisuke、Bonnet Francois、Tamura Yasumasa、Defago Xavier
- Journal Title
  
  IEEE Transactions on Robotics (T-RO)
  
  Volume: - Issue: 4 Pages: 1-18
- DOI
  10.1109/tro.2023.3258690
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20J23011, KAKENHI-PROJECT-21K11748
[Journal Article] Priority inheritance with backtracking for iterative multi-agent path finding2022
- Author(s)
  Okumura Keisuke、Machida Manao、Defago Xavier、Tamura Yasumasa
- Journal Title
  
  Artificial Intelligence
  
  Volume: 310 Pages: 103752-103752
- DOI
  10.1016/j.artint.2022.103752
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K11685, KAKENHI-PROJECT-21K11748, KAKENHI-PROJECT-21H03423, KAKENHI-PROJECT-20J23011
[Journal Article] Resilient Consensus for Multi-Agent Systems Under Adversarial Spreading Processes2022
- Author(s)
  Wang Yuan、Ishii Hideaki、Bonnet Francois、Defago Xavier
- Journal Title
  
  IEEE Transactions on Network Science and Engineering
  
  Volume: 9 Issue: 5 Pages: 3316-3331
- DOI
  10.1109/tnse.2022.3176214
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20K11685
[Journal Article] Solving Simultaneous Target Assignment and Path Planning Efficiently with Time-Independent Execution2022
- Author(s)
  Okumura Keisuke、Defago Xavier
- Journal Title
  
  Proceedings of the International Conference on Automated Planning and Scheduling
  
  Volume: 32 Pages: 270-278
- DOI
  10.1609/icaps.v32i1.19810
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K11685, KAKENHI-PROJECT-21K11748, KAKENHI-PROJECT-20J23011
[Journal Article] Offline Time-Independent Multi-agent Path Planning2022
- Author(s)
  K. Okumura, F. Bonnet, Y. Tamura, X. Defago
- Journal Title
  
  31st International Conference on Artificial Intelligence (IJCAI)
  
  Volume: n/a Pages: 4649-4656
- DOI
  10.24963/ijcai.2022/645
- NAID
  130008052002
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11748, KAKENHI-PROJECT-20J23011
[Journal Article] Resilient real-valued consensus in spite of mobile malicious agents on directed graphs2022
- Author(s)
  Y. Wang, H. Ishii, F. Bonnet, X. Defago
- Journal Title
  
  IEEE Transactions on Parallel and Distributed Systems
  
  Volume: Vol. 33 No. 3 Issue: 3 Pages: 586-603
- DOI
  10.1109/tpds.2021.3096074
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H01460, KAKENHI-PROJECT-21K11748
[Journal Article] Iterative Refinement for Real-Time Multi-Robot Path Planning2021
- Author(s)
  Keisuke Okumura, Yasumasa Tamura, Xavier Defago
- Journal Title
  
  2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
  
  Volume: None Pages: 9690-9697
- DOI
  10.1109/iros51168.2021.9636071
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K11685, KAKENHI-PROJECT-21K11748, KAKENHI-PROJECT-20J23011
[Journal Article] Time-Independent Planning for Multiple Moving Agents2021
- Author(s)
  Keisuke Okumura, Yasumasa Tamura, Xavier Defago
- Journal Title
  
  Proceedings of the AAAI Conference on Artificial Intelligence
  
  Volume: 35(13) Pages: 11299-11307
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11748
[Journal Article] Roadside-Assisted Cooperative Planning using Future Path Sharing for Autonomous Driving2021
- Author(s)
  Hirata Mai、Tsukada Manabu、Okumura Keisuke、Tamura Yasumasa、Ochiai Hideya、Defago Xavier
- Journal Title
  
  IEEE 94th Vehicular Technology Conference (VTC2021-Fall)
  
  Volume: 1 Pages: 1-7
- DOI
  10.1109/vtc2021-fall52928.2021.9625324
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-21H03423
[Journal Article] Active Modular Environment for Robot Navigation2021
- Author(s)
  Shota Kameyama, Keisuke Okumura, Yasumasa Tamura, Xavier Defago
- Journal Title
  
  CoRR abs/2102.12748
  
  Volume: － Pages: 1-7
- Data Source
  KAKENHI-PROJECT-20K11685
[Journal Article] Active Modular Environment for Robot Navigation2021
- Author(s)
  Shota Kameyama, Keisuke Okumura, Yasumasa Tamura, Xavier Defago
- Journal Title
  
  2021 IEEE International Conference on Robotics and Automation (ICRA)
  
  Volume: None Pages: 8636-8642
- DOI
  10.1109/icra48506.2021.9561111
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K11685, KAKENHI-PROJECT-21K11748, KAKENHI-PROJECT-20J23011
[Journal Article] Time-Independent Planning for Multiple Moving Agents2021
- Author(s)
  Okumura, K., Tamura, Y., Defago, X
- Journal Title
  
  Proceedings of the AAAI Conference on Artificial Intelligence
  
  Volume: 35 Pages: 11299-11307
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20K11685
[Journal Article] Self-stabilizing gathering of mobile robots under crash or Byzantine faults2020
- Author(s)
  Xavier Defago, Maria Potop-Butucaru, Philippe Raipin Parvedy
- Journal Title
  
  Distributed Computing
  
  Volume: 33 Issue: 5 Pages: 393-421
- DOI
  10.1007/s00446-019-00359-x
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00019
[Journal Article] Communication Efficient Self-Stabilizing Leader Election2020
- Author(s)
  Xavier Defago, Yuval Emek, Shay Kutten, Toshimitsu Masuzawa, Yasumasa Tamura
- Journal Title
  
  DISC 2020
  
  Volume: －
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00019
[Journal Article] Time-Independent Planning for Multiple Moving Agents2020
- Author(s)
  Keisuke Okumura, Yasumasa Tamura, Xavier Defago
- Journal Title
  
  CoRR abs/2005.13187
  
  Volume: － Pages: 1-10
- Data Source
  KAKENHI-PROJECT-20K11685
[Journal Article] Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space2020
- Author(s)
  Xavier Defago, Adam Heriban, Sebastien Tixeuil, Koichi Wada
- Journal Title
  
  2020 International Symposium on Reliable Distributed Systems (SRDS), 2020
  
  Volume: － Pages: 113-122
- DOI
  10.1109/srds51746.2020.00019
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K11685
[Journal Article] Priority Inheritance with Backtracking for Iterative Multi-agent Path Finding2019
- Author(s)
  Okumura Keisuke、Machida Manao、Xavier Defago、Tamura Yasumasa
- Journal Title
  
  IJCAI 2019
  
  Volume: - Pages: 535-542
- DOI
  10.24963/ijcai.2019/76
- Data Source
  KAKENHI-PROJECT-17K00019
[Journal Article] Fault-Tolerant Mobile Robots2019
- Author(s)
  Defago Xavier、Potop-Butucaru Maria、Tixeuil Sebastien
- Journal Title
  
  Distributed Computing by Mobile Entities
  
  Volume: none Pages: 234-251
- DOI
  10.1007/978-3-030-11072-7_10
- ISBN
  9783030110710, 9783030110727
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00019
[Journal Article] Brief Announcement: Model Checking Rendezvous Algorithms for Robots with Lights in Euclidean Space2019
- Author(s)
  Xavier Defago and Adam Heriban and Sebastien Tixeuil and Koichi Wada
- Journal Title
  
  Proc. of 33rd International Symposium on Distributed Computing (DISC 2019)
  
  Volume: -
- NAID
  120006766465
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00019
[Journal Article] Amoeba Exploration: Coordinated Exploration with Distributed Robots2018
- Author(s)
  Okumura Keisuke、Tamura Yasumasa、Defago Xavier
- Journal Title
  
  The 9th International Conference on Awareness Science and Technology (iCAST)
  
  Volume: none Pages: 191-195
- DOI
  10.1109/icawst.2018.8517225
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K00019
[Journal Article] Optimal Rendezvous L-Algorithms for Asynchronous Mobile Robots with External-Lights2018
- Author(s)
  T. Okumura, K. Wada, X. Defago
- Journal Title
  
  22nd Internationa Conference on Principles of Distributed Systems (OPODIS 2018), LIPICS
  
  Volume: 125
- DOI
  10.4230/LIPICS.OPODIS.2018.24
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K00019
[Journal Article] Flocking with Oblivious Robots,2016
- Author(s)
  D. Canepa, X. Defago, T. Izumi, M. Potop-Butucaru
- Journal Title
  
  Stabilization, Safety, and Security of Distributed Systems, LNCS
  
  Volume: 10083 Pages: 94-108
- DOI
  10.1007/978-3-319-49259-9_8
- ISBN
  9783319492582, 9783319492599
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330020
[Journal Article] Tight bound on mobile Byzantine Agreement2016
- Author(s)
  F. Bonnet, X. Defago, T. D. Nguyen, M. Potop-Butucaru
- Journal Title
  
  Theoretical Computer Science
  
  Volume: 609 Pages: 361-373
- DOI
  10.1016/j.tcs.2015.10.019
- NAID
  110010061343
- Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330020, KAKENHI-PROJECT-26870228
[Journal Article] Reliability Prediction for Component-based Software Systems with Architectural-level Fault-tolerance Mechanisms (extended version)2014
- Author(s)
  T.-T. Pham, F. Bonnet, X. Defago
- Journal Title
  
  Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications
  
  Volume: 5(1) Pages: 4-36
- URL
  http://isyou.info/jowua/abstracts/jowua-v5n1-1.htm
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500060
[Journal Article] Reliability prediction for component-based software systems2014
- Author(s)
  Thanh-Trung Pham, Xavier Defago, Quyet-Thang Huynh
- Journal Title
  
  Science of Computer Programming Journal
  
  Volume: tbd
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500060
[Journal Article] Reliability prediction for component-based software systems with architectural-level fault tolerance mechanisms (Extended version)2014
- Author(s)
  Thanh-Trung Pham, Francois Bonnet, Xavier Defago
- Journal Title
  
  Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications
  
  Volume: 5(1) Pages: 4-36
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500060
[Journal Article] Mitigating the Spread of a Virus in the Internet2014
- Author(s)
  T. D. Nguyen, F. Bonnet, X. Defago
- Journal Title
  
  2014 IEEE 33rd International Symposium on Reliable Distributed Systems Workshops (SRDSW)
  
  Volume: none Pages: 14-19
- DOI
  10.1109/srdsw.2014.26
- NAID
  120006675658
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26330020, KAKENHI-PROJECT-26870228
[Journal Article] Tight Bound on Mobile Byzantine Agreement2014
- Author(s)
  F. Bonnet, X. Defago, T. D. Nguyen, M. Potop-Butucaru
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 8784 Pages: 76-90
- DOI
  10.1007/978-3-662-45174-8_6
- NAID
  110010061343
- ISBN
  9783662451731, 9783662451748
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26330020, KAKENHI-PROJECT-26870228
[Journal Article] Understanding the Power of Stigmergy of Anonymous Agents in Discrete Environments2014
- Author(s)
  G. D'Angelo, X. Defago, N. Nisse
- Journal Title
  
  2014 Second International Symposium on Computing and Networking (CANDAR)
  
  Volume: none Pages: 50-59
- DOI
  10.1109/candar.2014.95
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26330020
[Journal Article] Reliability prediction for component-based software systems with architectural-level fault tolerance mechanisms2013
- Author(s)
  Thanh-Trung Pham, Xavier Defago
- Journal Title
  
  In Proc. 8th Intl Conf on Availability, Reliability and Security
  
  Volume: ARES'13 Pages: 11-20
- DOI
  10.1109/ares.2013.8
- NAID
  120006675659
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500060
[Journal Article] A Taxonomy of Congestion Control Techniques for TCP in Wired and Wireless Networks2013
- Author(s)
  K.C. Lee, X. Defago, Y. Tan, A.O. Lim
- Journal Title
  
  IEEE Symp. on Wireless Technology & Applications (ISWTA)
  
  Pages: 147-152
- DOI
  10.1109/iswta.2013.6688758
- NAID
  120006675653
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500060
[Journal Article] A Fast and Robust Optimistic Total Order Broadcast for Online Video Games2012
- Author(s)
  S. Bernard, X. Defago, S. Tixeuil
- Journal Title
  
  In Proc. 26th Intl. Conf. on Advanced Information Networking and Applications Workshops, WAINA 2012
  
  Pages: 189-196
- DOI
  10.1109/waina.2012.105
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500060
[Journal Article] Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols (brief announcement)2012
- Author(s)
  F.Bonnet, x.Defago, F.Petit, M.Potop-Butucaru, S.Tixeuil
- Journal Title
  
  Stabilization, Safety, and Security of Distributed Systems. Lecture Notes in Computer Science
  
  Volume: 7596 Pages: 282-284
- DOI
  10.1007/978-3-642-33536-5_28
- ISBN
  9783642335358, 9783642335365
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-10F00720, KAKENHI-PROJECT-23500060
[Journal Article] The Gathering Problem for Two Oblivious Robots with Unreliable Compasses2012
- Author(s)
  Taisuke Izumi
- Journal Title
  
  SIAM Journal on Computing
  
  Volume: 41(1) Issue: 1 Pages: 26-46
- DOI
  10.1137/100797916
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500012, KAKENHI-PROJECT-22240001, KAKENHI-PROJECT-22300004, KAKENHI-PROJECT-22700010, KAKENHI-PROJECT-23500060
[Journal Article] Reliability Prediction for Component-Based Systems: Incorporating Error Propagation Analysis and Different Execution Models2012
- Author(s)
  T.-T. Pham, X. Defago
- Journal Title
  
  In Proc. 12th International Conference on Quality Software (QSIC-12)
  
  Pages: 106-115
- DOI
  10.1109/qsic.2012.20
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23500060
[Journal Article] Exploration and Surveillance in Multi-robots Networks2011
- Author(s)
  F.Bonnet, X.Defago
- Journal Title
  
  Proc.2nd Intl.Conf.on Networking and Computing (ICNC 2011), Workshop on Frontiers of Distributed Computing
  
  Volume: 1 Pages: 342-344
- DOI
  10.1109/icnc.2011.66
- Data Source
  KAKENHI-PROJECT-10F00720, KAKENHI-PROJECT-23500060
[Journal Article] Fault-tolerant Flocking of Mobile Robots with whole Formation Rotation2009
- Author(s)
  Y.Yang, S.Souissi, X.Defago, M.Takizawa
- Journal Title
  
  Proc. 21st Int. Conf. Adv. Inform. Netw. & Appl.
  
  Pages: 830-837
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680007
[Journal Article] Using eventually consistent compasses to gather memory-less mobile robots with limited visibility2009
- Author(s)
  Samia Souissi, Xavier Defago, Masafumi Yamashita
- Journal Title
  
  ACM Transactions on Autonomous and Adaptive Systems 4
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680007
[Journal Article] Using eventually consistent compasses to gather memory-less mobile robots with limited visibility.2009
- Author(s)
  S.Souissi, X.Defago, M.Yamashita
- Journal Title
  
  ACM Trans. Autonomous and Adaptive Systems 4(1)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680007
[Journal Article] Non-uniform circle formation algorithm for oblivious mobile robots with convergence toward uniformity2008
- Author(s)
  Xavier Defago, Samia Souissi
- Journal Title
  
  Theoretical Computer Science 396
  
  Pages: 97-112
- NAID
  120000861676
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680007
[Journal Article] Dynamic scheduling real-time task using primary-backup overloading strategy for multiprocessor systems2008
- Author(s)
  Wei Sun, Chen Yu, Xavier Defago, Yasushi Inoguchi
- Journal Title
  
  IEICE Transactions on Information & Systems 91-D
  
  Pages: 796-806
- NAID
  10026802255
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680007
[Journal Article] Fault-tolerant flocking in a k-bounded asynchronous system2008
- Author(s)
  Samia Souissi, Yan Yang, Xavier Defago
- Journal Title
  
  Principles of Distributed Systems, 12th International Conference, OPODIS 2008 LNCS 5401
  
  Pages: 145-163
- NAID
  110007110872
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680007
[Journal Article] Fault-Tolerant Flocking in a k-Bounded Asynchronous System.2008
- Author(s)
  S.Souissi, Y.Yang, X.Defago
- Journal Title
  
  Proc. 12th Int. Conf. Principles of Distributed Systems LNCS 5401
  
  Pages: 145-163
- NAID
  110007110872
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680007
[Journal Article] Dynamic Scheduling Real-Time Task Using Primary-Backup Overloading Strategy for Multiprocessor Systems.2008
- Author(s)
  W.Sun, C.Yu, X.Defago, Y.Inoguchi
- Journal Title
  
  IEICE Trans. on Inf. and Syst. 91-D(3)
  
  Pages: 796-806
- NAID
  10026802255
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680007
[Journal Article] Dynamic scheduling real-time task using primary-backup overloading strategy for multiprocessor systems2008
- Author(s)
  Wei Sun, Chen Yu, Xavier Defago, Yasushi Inoguchi
- Journal Title
  
  IEICE Trans. Inf. & Syst. E91-D,no.3
  
  Pages: 796-806
- NAID
  10026802255
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680007
[Journal Article] Non-uniform circle formation algorithm for oblivious mobile robots with convergence toward uniformity.2008
- Author(s)
  X.Defago, S.Souissi
- Journal Title
  
  Theoretical Computer Science 396(1-3)
  
  Pages: 97-112
- NAID
  120000861676
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680007
[Journal Article] Colhsion prevention platform for a dynamic group of asynchronous cooperative mobile robots2007
- Author(s)
  Rami Yared, Xavier Defago, Julien Iguchi-Cartigny, M. Wiesmann
- Journal Title
  
  Journal of Networks 2・4
  
  Pages: 28-39
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680007
[Journal Article] Robust self-deployment for a swarm of autonomous mobile robots with limited visibility range.2007
- Author(s)
  G.Lee, N.Y.Chong, X.Defago.
- Journal Title
  
  Proc. 16th Intl. Symp. on Robot and Human Interactive Commmunication
  
  Pages: 925-930
- NAID
  120007005670
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680007
[Journal Article] Collision prevention platform for a dynamic group of asynchronous cooperative mobile robots2007
- Author(s)
  Rami Yared, Xavier, Defago, Julien Iguchi-Cartigny, Matthias Wiesmann
- Journal Title
  
  Journal of Networks 2・4
  
  Pages: 28-39
- NAID
  120001009648
- Data Source
  KAKENHI-PROJECT-18680007
[Journal Article] Robst self-deployment for a swarm of autonomous mobile robots with limited visibility range2007
- Author(s)
  Geunho Lee, Nak Young Chong, Xavier Defago
- Journal Title
  
  Proc. 16th Intl. Symp. on Robot and human Interactive Communication (ROMAN)
  
  Pages: 925-930
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680007
[Journal Article] Collision prevention using group communication for asynchronous cooperative mobile robots2007
- Author(s)
  Rami Yared, Xavier Defago, Matthias Wiesmann
- Journal Title
  
  Proc. 21st IEEE Conf. on Advanced Information Networking and Applications (AINA-07)
  
  Pages: 244-249
- NAID
  110006386794
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680007
[Journal Article] Anonymous stabilizing leader election using a network sequencer2007
- Author(s)
  Matthias Wiesmann、Xavier Defago
- Journal Title
  
  Proc. 21st IEEE Conf. on Advanced Information Networking and Applications (AINA-07)
  
  Pages: 673-678
- NAID
  110004847504
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680007
[Journal Article] Gathering two stateless mobile robots using very inaccurate compasses in finite time2007
- Author(s)
  Masafumi Yamashita, Samia Souissi, Xavier Defago
- Journal Title
  
  Proc. 1st Intl. Conference on Robot Communication ahd Coordination (ROBOCOM)
  
  Pages: 6-6
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680007
[Journal Article] Collision Prevention Platform for a Dynamic Group of Asynchronous Cooperative Mobile Robots.2007
- Author(s)
  R.Yared, X.Defago, J.Iguchi, M.Wiesmann
- Journal Title
  
  J. Networks 2(4)
  
  Pages: 28-39
- NAID
  120001009648
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680007
[Journal Article] Collision prevention using group communication for asynchronous cooperative mobile robots2007
- Author(s)
  Rami Yared, Xavier Defago, Matthias Wiesmann
- Journal Title
  
  Proc. 21st Intl Conf. on Advanced Information Networking and Applications(AINA-07)
  
  Pages: 244-249
- NAID
  110006386794
- Data Source
  KAKENHI-PROJECT-18680007
[Journal Article] Hybrid overloading and stochastic analysis for redundant real-time multiprocessor systems2007
- Author(s)
  Wei Sun, Yuanyuan Zhang, Chen Yu, Xavier Defago, Y. Inoguchi
- Journal Title
  
  Proc. 26th IEEE Symp. on Reliable Distributed Systems (SRDS'07)
  
  Pages: 265-274
- NAID
  120007005665
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680007
[Journal Article] Locality-preserving distributed path reservation protocol for asynchronous cooperative mobile robots2007
- Author(s)
  Rami Yared, Julien Cartigny, Xavier Defago, Matthias Wiesmann
- Journal Title
  
  Proc. 8th Intl. Symp. on Autonomous Decentralized Systems(ISADS'2007)
  
  Pages: 188-195
- NAID
  110004840536
- Data Source
  KAKENHI-PROJECT-18680007
[Journal Article] Anonymous Stabilizing Leader Election using a Network Sequencer.2007
- Author(s)
  M.Wiesmann, X.Defago.
- Journal Title
  
  Proc. 21st Int. Conf. Adv. Inform. Netw. & Appl.
  
  Pages: 673-678
- NAID
  110004847504
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680007
[Journal Article] Collision prevention using group communication for asynchronous cooperative mobile robots.2007
- Author(s)
  R.Yared, X.Defago, M.Wiesmann
- Journal Title
  
  Proc. 21st Int. Conf. Adv. Inform. Netw. & Appl.
  
  Pages: 244-249
- NAID
  110006386794
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680007
[Journal Article] Hybrid overloading and stochastic analysis for redundant real-time multiprocessor systems.2007
- Author(s)
  W.Sun, Y.Zhang, C.Yu, X.Defago, Y.Inoguchi
- Journal Title
  
  Proc. 26th Intl. Symp. Reliable Distributed Systems
  
  Pages: 265-274
- NAID
  120007005665
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680007
[Journal Article] Using eventually consistent compasses to gather oblivious mobile robots with limited visibility2006
- Author(s)
  Samia Souissi, Xavier Defago, Masafumi Yamashita
- Journal Title
  
  Proc. 8th Intl. Symp. on Stabilization, Safety, and Security of Distributed Systems(SSS2006) LNCS4280
  
  Pages: 471-487
- Data Source
  KAKENHI-PROJECT-18680007
[Journal Article] End-to-end consensus using end-to-end channels2006
- Author(s)
  Matthias Wiesmann, Xavier Defago
- Journal Title
  
  Proc. 12^<th> Intl. Symp. Pacific Rim Dependable Computing (PRDC' 06)
  
  Pages: 341-350
- Data Source
  KAKENHI-PROJECT-18049032
[Journal Article] Using eventually consistent compasses to gather oblivious mobile robots with limited visibility2006
- Author(s)
  S.Souissi, X.Defago, M.Yamashita
- Journal Title
  
  Proc. 8th Intl. Symp. on Stabilization, Safety, Security of Distrib. Sys. LNCS 4280
  
  Pages: 471-487
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680007
[Journal Article] An SNMP based Failure Detection Service2006
- Author(s)
  Matthias Wiesmann, Xavier Defago, Peter Urban
- Journal Title
  
  Proc. 25^<th> Intl Symp. on Reliable Distributed Systems (SRDS'06)
  
  Pages: 365-374
- NAID
  110004840136
- Data Source
  KAKENHI-PROJECT-18049032
[Journal Article] Fault-tolerant and self-stabilizing mobile robots gathering2006
- Author(s)
  Xavier Defago, Maria Gradinariu, Stephane Messika, Philippe Raipin-Parvedy
- Journal Title
  
  Proc. 20th Intl. Symp. on Distributed Computing(DISC2006) LNCS4167
  
  Pages: 46-60
- Data Source
  KAKENHI-PROJECT-18680007
[Journal Article] End-to-end consensus using end-to-end channels.2006
- Author(s)
  M.Wiesmann, X.Defago
- Journal Title
  
  Proc. 12th Intl. Symp. Pacific-Rim Dependable Computing
  
  Pages: 341-350
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680007
[Journal Article] Gathering asynchronous mobile robots with inaccurate compasses2006
- Author(s)
  Samia Souissi, Xavier Defago, Masafumi Yamashita
- Journal Title
  
  Proc. 10th Intl. Conf. on Principles of Distributed Systems(OPODIS2006) LNCS4305
  
  Pages: 333-349
- Data Source
  KAKENHI-PROJECT-18680007
[Journal Article] Fault-Tolerant and Self-stabilizing Mobile Robots Gathering.2006
- Author(s)
  X.Defago, M.Gradinariu, S.Messika, P.Raipin
- Journal Title
  
  Proc. 20th Int. Symp. Distributed Computing LNCS 4167
  
  Pages: 46-60
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680007
[Journal Article] Gathering Asynchronous Mobile Robots with Inaccurate Compasses.2006
- Author(s)
  S.Souissi, X.Defago, M.Yamashita.
- Journal Title
  
  Proc. 10th Int. Conf. Principles of Distributed Systems LNCS 4305
  
  Pages: 333-349
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680007
[Journal Article] Fault-tolerant flocking in a k-bounded semi-synchronous system with flock rotation
- Author(s)
  Yan Yang, Samia Souissi, Xavier Defago, Makoto Takizawa
- Journal Title
  
  IEEE 23rd Intl. Conf. on Adv. Inform. Networking and Applications (印刷中)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18680007
[Presentation] ToST: Tokyo SUMO traffic scenario2024
- Author(s)
  Yuji Yamazaki and Yasumasa Tamura and Xavier Defago and Ehsan Javanmardi and Manabu Tsukada
- Organizer
  The 26th edition of the IEEE International Conference on Intelligent Transportation Systems (ITSC 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H03423
[Presentation] Mixed-traffic Intersection Management using Traffic-load-responsive Reservation and V2X-enabled Speed Coordination2024
- Author(s)
  Nicholaus Danispadmanaba Yosodipuro and Ehsan Javanmardi and Jin Nakazato and Yasumasa Tamura and Xavier Defago and Manabu Tsukada
- Organizer
  The 26th edition of the IEEE International Conference on Intelligent Transportation Systems (ITSC 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H03423
[Presentation] Verification and Synthesis of Rendezvous Algorithms for Luminous Robots2022
- Author(s)
  Xavier Defago
- Organizer
  Research Meeting and School on Distributed Computing by Mobile Robots
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21K11748
[Presentation] Verification and Synthesis of Rendezvous Algorithms for Luminous Robots2022
- Author(s)
  Xavier Defago
- Organizer
  Research Meeting and School on Distributed Computing by Mobile Robots
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K11685
[Presentation] Offline Time-Independent Multi-agent Path Planning2022
- Author(s)
  Keisuke Okumura, Francois Bonnet, Yasumasa Tamura, Xavier Defago
- Organizer
  The 31st International Conference on Artificial Intelligence
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H03423
[Presentation] Solving Simultaneous Target Assignment and Path Planning Efficiently with TIme-Independent Execution2022
- Author(s)
  Keisuke Okumura, Xavier Defago
- Organizer
  International Conference on Automated Planning and Scheduling
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H03423
[Presentation] 自動運転を支援する時空間予測を用いた路側の協調経路計画システム2021
- Author(s)
  辻尾康平, 平田真唯, 奥村圭祐, 田村康将, 塚田学, デファゴクサヴィエ,
- Organizer
  マルチメディア，分散，協調とモバイル（DICOMO2021）シンポジウ
- Data Source
  KAKENHI-PROJECT-21H03423
[Presentation] Distributed Algorithms for Robot Systems2019
- Author(s)
  Xavier Defago
- Organizer
  149th NII Shonan Meeting
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00019
[Presentation] Model Checking Robot Algorithms in Euclidean Space2019
- Author(s)
  Xavier Defago
- Organizer
  第15回情報科学ワークショップ
- Invited
- Data Source
  KAKENHI-PROJECT-17K00019
[Presentation] Self-Stabilizing Gathering of Mobile Robots under Crash or Byzantine Faults2019
- Author(s)
  Xavier Defago
- Organizer
  2nd Japan-Taiwan Joint Workshop, Taipei, Taiwan
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00019
[Presentation] Distributed Agreement and Robot Coordination2019
- Author(s)
  Xavier Defago
- Organizer
  JFLI-Tokyo Tech Workshop
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00019
[Presentation] Dependability and Fault-Tolerance of Cooperative Mobile Robots: The Gap Between Theory and Pragmatism2019
- Author(s)
  Xavier Defago
- Organizer
  Pacific-Rim Intl. Symp. on Dependable Computing
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00019
[Presentation] Decentralized Route Planning and Exploration in Multi-Robot Systems2018
- Author(s)
  DEFAGO Xavier
- Organizer
  3rd Taiwan-Japan workshop on secure and dependable IoT systems, Tokyo
- Invited
- Data Source
  KAKENHI-PROJECT-17K00019
[Presentation] Intrusion-Tolerance and Dynamic Faults in Distributed Systems2016
- Author(s)
  X. Defago
- Organizer
  Japan-Taiwan Workshop on Secure and Dependable IoT Systems
- Place of Presentation
  Tokyo, Japan
- Year and Date
  2016-07-24
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330020
[Presentation] Intrusion-tolerance and dynamic faults in the internet of things2016
- Author(s)
  X. Defago
- Organizer
  AEARU Web Technology and Computer Science Workshop 2016 (WTCS2016),
- Place of Presentation
  Sendai, Japan
- Year and Date
  2016-09-20
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330020
[Presentation] Communicating Reliably in Multihop Dynamic Networks Despite Byzantine Failures2015
- Author(s)
  A. Maurer, S. Tixeuil, X. Defago
- Organizer
  SRDS 2015
- Place of Presentation
  Montreal, Canada
- Year and Date
  2015-09-28
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330020
[Presentation] Bridging the Chasm between Theory and Practice of Multi-Robots Systems2014
- Author(s)
  X. Defago
- Organizer
  JAIST-LORIA Workshop
- Place of Presentation
  Kanazawa, Ishikawa, Japan
- Invited
- Data Source
  KAKENHI-PROJECT-23500060
[Presentation] Bridging the Chasm Between Theory and Practice of Multi-Robot Systems2014
- Author(s)
  Xavier Defago
- Organizer
  JAIST-LORIA Workshop
- Place of Presentation
  Kanazawa, Japan
- Invited
- Data Source
  KAKENHI-PROJECT-23500060
[Presentation] Self-stabilizing crash tolerant gathering with daemons and dice2013
- Author(s)
  Xavier Defago
- Organizer
  Research Meeting on Distributed Computing by Mobile Robots (MAC 2013)
- Place of Presentation
  Ischia, Italy
- Invited
- Data Source
  KAKENHI-PROJECT-23500060
[Presentation] Reaching Group Agreement in Spite of Faulty Robots2013
- Author(s)
  X. Defago
- Organizer
  Research Seminar at Research into Artefacts, Center for Engineering (RACE), Univ. Tokyo
- Place of Presentation
  Kashiwa, Chiba, Japan
- Year and Date
  2013-05-31
- Data Source
  KAKENHI-PROJECT-23500060
[Presentation] Self-stabilizing crash tolerant gathering with daemons and dice2013
- Author(s)
  X. Defago
- Organizer
  Research meeting on Distributed Computing by Mobile Robots (MAC 2013)
- Place of Presentation
  Ischia, Italy
- Invited
- Data Source
  KAKENHI-PROJECT-23500060
[Presentation] Cooperative Mobile Robots in a Planar Environment2012
- Author(s)
  X. Defago
- Organizer
  INRIA Sophia-Antipolis
- Place of Presentation
  Sophia-Antipolis, France
- Year and Date
  2012-03-13
- Data Source
  KAKENHI-PROJECT-23500060
[Presentation] Reliable Micro-protocols Composition and Combination (fast abstract)2012
- Author(s)
  D. Higashihara and X. Defago
- Organizer
  18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012)
- Place of Presentation
  Niigata, Japan
- Data Source
  KAKENHI-PROJECT-23500060
[Presentation] Making Reliability Modeling ofComponent-based Systems Usable in Practice (fast abstract)2012
- Author(s)
  Thanh-Trung Pham, Quyet-Thang Huynh and X. Defago
- Organizer
  18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012)
- Place of Presentation
  Niigata, Japan
- Data Source
  KAKENHI-PROJECT-23500060
[Presentation] Byzantine Fault Tolerant Protocols for TaskManagement in Mobile Robots2012
- Author(s)
  T. D. Nguyen, F. Bonnet, X. Defago
- Organizer
  18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012)
- Place of Presentation
  Niigata, Japan
- Data Source
  KAKENHI-PROJECT-23500060
[Presentation] Cooperative Mobile Robots in a Planar Environment2012
- Author(s)
  Xavier Defago
- Organizer
  INRIA Sophia-Antipolis
- Place of Presentation
  Nice, France
- Data Source
  KAKENHI-PROJECT-23500060
[Presentation] Reliable Micro-protocols Composition and Combination2012
- Author(s)
  D. Higashihara, X. Defago
- Organizer
  18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012)
- Place of Presentation
  Niigata, Japan
- Data Source
  KAKENHI-PROJECT-23500060
[Presentation] Making Reliability Modeling of Component-based Systems Usable in Practice2012
- Author(s)
  T.-T. Pham, Q.-T. Huynh, X. Defago
- Organizer
  18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012)
- Place of Presentation
  Niigata, Japan
- Data Source
  KAKENHI-PROJECT-23500060
[Presentation] A Fast and Robust Optimistic Total Order Broadcast for Online Video Games2012
- Author(s)
  S. Bernard, X. Defago, S. Tixeuil
- Organizer
  26th Intl. Conf. on Advanced Information Networking and Applications Workshops, WAINA 2012
- Place of Presentation
  Fukuoka, Japan
- Year and Date
  2012-03-24
- Data Source
  KAKENHI-PROJECT-23500060
[Presentation] Byzantine Fault Tolerant Protocols for TaskManagement in Mobile Robots (fast abstract)2012
- Author(s)
  Thanh Dang Nguyen, F. Bonnet and X. Defago
- Organizer
  18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012)
- Place of Presentation
  Niigata, Japan
- Data Source
  KAKENHI-PROJECT-23500060
[Presentation] Exploration and Surveillance in Multi-robots Networks (invited paper)2011
- Author(s)
  Francois Bonnet, Xavier Defago
- Organizer
  2nd Intl. Conf. on Networking and Computing, ICNC 2011, Workshop on Frontiers of Distributed Computing(招待講演)
- Place of Presentation
  Osaka, Japan
- Data Source
  KAKENHI-PROJECT-23500060
[Presentation] Gathering two stateless mobile robots using very inaccurate compasses in finite time. Proc. Int. Conf. on Robot Communication and Coordination2007
- Author(s)
  M.Yamashita, S.Souissi, X.Defago
- Organizer
  ROBOCOM
- Place of Presentation
  Greece
- Year and Date
  2007-10-16
- Data Source
  KAKENHI-PROJECT-18680007
[Presentation] Fault-Tolerant Group Communication Cooperative Mobile Robots (invited talk)2007
- Author(s)
  Xavier Defago
- Organizer
  Japan-Vietnam Workshop on Software Engineering 2007 (JVSE'07)
- Place of Presentation
  Hanoi, Vietnam
- Year and Date
  2007-09-27
- Data Source
  KAKENHI-PROJECT-18680007
[Presentation] モバイルロボット間における先読み機能を有した経路予約システムの提案2007
- Author(s)
  東原大記, Rami Yared, Xavier Defago
- Organizer
  第15回マルチメディア通信と分散処理ワークショップ
- Place of Presentation
  石川県加賀市
- Year and Date
  2007-11-02
- Data Source
  KAKENHI-PROJECT-18680007
[Presentation] Locality-preserving distributed path reservation protocol for asynchronous cooperative mobile robots2007
- Author(s)
  R.Yared, J.Cartigny, X.Defago, M.Wiesmann
- Organizer
  Proc. 8th Intl. Symp. on Autonomous Decentralized Systems(p.188-195)
- Place of Presentation
  USA
- Year and Date
  2007-03-22
- Data Source
  KAKENHI-PROJECT-18680007
[Presentation] Reaching group agreement in spite of faulty robots
- Author(s)
  Xavier Defago
- Organizer
  Research seminar at Research into Artifacts, Center for Engineering, U. Tokyo
- Place of Presentation
  Kashiwa, Japan
- Invited
- Data Source
  KAKENHI-PROJECT-23500060

1. WADA Koichi (90167198)

# of Collaborated Projects: 5 results

# of Collaborated Products: 5 results
2. 田村康将 (50773701)

# of Collaborated Projects: 2 results

# of Collaborated Products: 7 results
3. Manabu Tsukada (90724352)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
4. 林原尚浩 (20397227)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. 金鎔煥 (50756773)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. 首藤裕一 (50643665)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. BONNET Francois

# of Collaborated Projects: 0 results

# of Collaborated Products: 6 results
8. 石井秀明

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

Defago Xavier ＤＥＦＡＧＯ Ｘａｖｉｅｒ

DEFAGO Xavier デファゴ クサヴィエ

Research Projects

Research Products

Co-Researchers

A Critical Reassessment of Theoretical Models of Autonomous Mobile Robot Systems and the Creation of Novel Paradigms

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Practical Framework for the Formal Verification of Cooperative Mobile Robots AlgorithmsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Cyber-Physical System Architecture for Cooperative Driving

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

On Memory, Communication, and Synchronous Schedulers for Computational Bounds of Autonomous Mobile Robots

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

A Theoretical Model for Autonomous Mobile Robots based on CPS and Limitations of its Computation

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Limitations of Massively Parallel Computation on Distributed Environment

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Fault-tolerant distributed algorithms and realistic models for groups of autonomous mobile robotsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

高信頼性大規模分散システムのための拡張性の高いファジー故障検出フレームワークPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Research on dependable group communication middleware for self-organizing groups of distributed mobile robots.Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] Atomic Broadcast (Encyclopedia of Algorithms)2016

Author(s)

Total Pages

Publisher

Data Source

[Book] Causal Order, Logical Clocks, State Machine Replication (Encyclopedia of Algorithms)2016

Author(s)

Total Pages

Publisher

Data Source

[Book] In Encyclopedia of Algorithms, Part 1(2008. Springer.)2008

Author(s)

Total Pages

Publisher

Data Source

[Book] In Encyclopedia of Algorithms, Part 3(2008. Springer.)2008

Author(s)

Total Pages

Publisher

Data Source

[Journal Article] Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space2023

Defago Xavier ＤＥＦＡＧＯＸａｖｉｅｒ

DEFAGO Xavier デファゴクサヴィエ