• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

DEFAGO Xavier  Defago Xavier

ORCIDORCID連携する *注記
… 別表記

DEFAGO Xavier  デファゴ クサヴィエ

デファゴ クサビエ  DEFAGO Xavier

隠す
研究者番号 70333557
その他のID
所属 (現在) 2025年度: 東京科学大学, 情報理工学院, 教授
所属 (過去の研究課題情報に基づく) *注記 2025年度: 東京科学大学, 情報理工学院, 教授
2016年度 – 2023年度: 東京工業大学, 情報理工学院, 教授
2011年度 – 2015年度: 北陸先端科学技術大学院大学, 情報科学研究科, 准教授
2007年度 – 2008年度: 北陸先端科学技術大学院大学, 情報科学研究科, 准教授
2006年度: 北陸先端科学技術大学院大学, 情報科学研究科, 助教授
審査区分/研究分野
研究代表者
計算機システム・ネットワーク / 小区分60010:情報学基礎論関連 / 理工系
研究代表者以外
小区分60010:情報学基礎論関連 / 情報学基礎理論 / 合同審査対象区分:小区分60010:情報学基礎論関連、小区分60020:数理情報学関連 / 小区分60020:数理情報学関連 / 小区分60060:情報ネットワーク関連
キーワード
研究代表者
自己安定 / 分散アルゴリズム / 分散システム / 耐故障性 / モデル検証 / 自律分散ロボット群 / 国際情報交換 / センサーネットワーク / 合意問題 / モデル化 … もっと見る / ロボット群 / アドホック通信 / 群ロボット / グループ通信 / 群ロボットアドホック通信 / 耐故障性グループ通信 / モニタリング / 高信頼性 / 故障検出 / 大規模分散システム … もっと見る
研究代表者以外
耐故障性 / 同期度 / 自律分散ロボット / 計算限界 / ロボットの動作環境 / ランダム性 / LCMモデル / サイバーフィジカルシステム / ITS標準技術 / Multi-Agent Path Finding / 協調計画 / ネットワーク / 協調型自動運転 / V2X / 自動運転 / 情報ネットワーク / 協調型ITS / 無記憶ロボット / メモリ対通信 / ライト付きロボット / LCMサイクル / エネルギー制限ロボット / Cyber Phisical Systems / 形状形成 / 匿名性 / 無記憶 / 非同期 / ライト / 自己安定 / 集合問題 / 非同期度 / CPS / GPU / 並列計算モデル / 分散計算 / MapReduce / PRAM / 組合せ回路 / 並列複雑度 / MapReduce計算 隠す
  • 研究課題

    (9件)
  • 研究成果

    (114件)
  • 共同研究者

    (8人)
  •  自律分散ロボット群の理論モデルの再考察と新機軸の創出

    • 研究代表者
      和田 幸一
    • 研究期間 (年度)
      2025 – 2028
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分60010:情報学基礎論関連
      小区分60020:数理情報学関連
      合同審査対象区分:小区分60010:情報学基礎論関連、小区分60020:数理情報学関連
    • 研究機関
      法政大学
  •  自律分散ロボットアルゴリズムの形式的検証に対する実用的な枠組み研究代表者

    • 研究代表者
      DEFAGO Xavier
    • 研究期間 (年度)
      2021 – 2024
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60010:情報学基礎論関連
    • 研究機関
      東京工業大学
  •  協調型自動運転を包括的に支援するサイバーフィジカルシステム基盤

    • 研究代表者
      塚田 学
    • 研究期間 (年度)
      2021 – 2023
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分60060:情報ネットワーク関連
    • 研究機関
      東京大学
  •  自律分散ロボット群の計算限界ー記憶,通信,同期度が計算能力に及ぼす影響について

    • 研究代表者
      和田 幸一
    • 研究期間 (年度)
      2020 – 2024
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分60010:情報学基礎論関連
    • 研究機関
      法政大学
  •  CPSに基づいた自律分散ロボット群に対する理論的モデル化とその計算限界の解明

    • 研究代表者
      和田 幸一
    • 研究期間 (年度)
      2017 – 2020
    • 研究種目
      基盤研究(C)
    • 研究分野
      情報学基礎理論
    • 研究機関
      法政大学
  •  分散環境における超並列計算に対する計算限界の解明とその計算パラダイムの創出

    • 研究代表者
      和田 幸一
    • 研究期間 (年度)
      2014 – 2016
    • 研究種目
      基盤研究(C)
    • 研究分野
      情報学基礎理論
    • 研究機関
      法政大学
  •  自律分散ロボット群向けの実用的非同期モデルの設計と耐故障分散アルゴリズムの研究研究代表者

    • 研究代表者
      DEFAGO Xavier
    • 研究期間 (年度)
      2011 – 2013
    • 研究種目
      基盤研究(C)
    • 研究分野
      計算機システム・ネットワーク
    • 研究機関
      北陸先端科学技術大学院大学
  •  高信頼性大規模分散システムのための拡張性の高いファジー故障検出フレームワーク研究代表者

    • 研究代表者
      DEFAGO Xavier
    • 研究期間 (年度)
      2006
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      北陸先端科学技術大学院大学
  •  自己組織群ロボット分散制御のための高信頼グループ通信ミドルウェアの構築研究代表者

    • 研究代表者
      デファゴ クサビエ (DEFAGO Xavier)
    • 研究期間 (年度)
      2006 – 2008
    • 研究種目
      若手研究(A)
    • 研究分野
      計算機システム・ネットワーク
    • 研究機関
      北陸先端科学技術大学院大学

すべて 2024 2023 2022 2021 2020 2019 2018 2016 2015 2014 2013 2012 2011 2009 2008 2007 2006 その他

すべて 雑誌論文 学会発表 図書

  • [図書] Atomic Broadcast (Encyclopedia of Algorithms)2016

    • 著者名/発表者名
      編者 Ming-Yang Kao, 分担執筆著者 X. Defago
    • 総ページ数
      2389
    • 出版者
      Springer
    • データソース
      KAKENHI-PROJECT-26330020
  • [図書] Causal Order, Logical Clocks, State Machine Replication (Encyclopedia of Algorithms)2016

    • 著者名/発表者名
      編者 Ming-Yang Kao, 分担執筆著者 X. Defago
    • 総ページ数
      2389
    • 出版者
      Springer
    • データソース
      KAKENHI-PROJECT-26330020
  • [図書] In Encyclopedia of Algorithms, Part 1(2008. Springer.)2008

    • 著者名/発表者名
      X.Defago
    • 総ページ数
      5
    • 出版者
      Atomic Broadcast
    • データソース
      KAKENHI-PROJECT-18680007
  • [図書] In Encyclopedia of Algorithms, Part 3(2008. Springer.)2008

    • 著者名/発表者名
      X.Defago, Causal Order, Logical Clocks
    • 総ページ数
      5
    • 出版者
      State Machine Replication
    • データソース
      KAKENHI-PROJECT-18680007
  • [雑誌論文] Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space2023

    • 著者名/発表者名
      X. Defago, A. Heriban, S. Tixeuil, K. Wada
    • 雑誌名

      Robotics and Autonomous Systems

      巻: 163 ページ: 104378-104378

    • DOI

      10.1016/j.robot.2023.104378

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K11748, KAKENHI-PROJECT-20K11685
  • [雑誌論文] Quick Multi-Robot Motion Planning by Combining Sampling and Search2023

    • 著者名/発表者名
      Okumura Keisuke, Defago Xavier
    • 雑誌名

      IJCAI '23: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence

      巻: 29 ページ: 252-261

    • DOI

      10.24963/ijcai.2023/29

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20K11685, KAKENHI-PROJECT-21K11748
  • [雑誌論文] Solving simultaneous target assignment and path planning efficiently with time-independent execution2023

    • 著者名/発表者名
      Okumura Keisuke、Defago Xavier
    • 雑誌名

      Artificial Intelligence

      巻: 321 ページ: 103946-103946

    • DOI

      10.1016/j.artint.2023.103946

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K11748
  • [雑誌論文] Optimal L-algorithms for rendezvous of asynchronous mobile robots with external-lights2023

    • 著者名/発表者名
      Okumura Takashi、Wada Koichi、Defago Xavier
    • 雑誌名

      Theoretical Computer Science

      巻: 979 ページ: 114198-114198

    • DOI

      10.1016/j.tcs.2023.114198

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20K11685, KAKENHI-PROJECT-21K11748
  • [雑誌論文] Offline Time-Independent Multiagent Path Planning2023

    • 著者名/発表者名
      Okumura Keisuke、Bonnet Francois、Tamura Yasumasa、Defago Xavier
    • 雑誌名

      IEEE Transactions on Robotics (T-RO)

      巻: - 号: 4 ページ: 1-18

    • DOI

      10.1109/tro.2023.3258690

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20J23011, KAKENHI-PROJECT-21K11748
  • [雑誌論文] Priority inheritance with backtracking for iterative multi-agent path finding2022

    • 著者名/発表者名
      Okumura Keisuke、Machida Manao、Defago Xavier、Tamura Yasumasa
    • 雑誌名

      Artificial Intelligence

      巻: 310 ページ: 103752-103752

    • DOI

      10.1016/j.artint.2022.103752

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20K11685, KAKENHI-PROJECT-21K11748, KAKENHI-PROJECT-21H03423, KAKENHI-PROJECT-20J23011
  • [雑誌論文] Resilient Consensus for Multi-Agent Systems Under Adversarial Spreading Processes2022

    • 著者名/発表者名
      Wang Yuan、Ishii Hideaki、Bonnet Francois、Defago Xavier
    • 雑誌名

      IEEE Transactions on Network Science and Engineering

      巻: 9 号: 5 ページ: 3316-3331

    • DOI

      10.1109/tnse.2022.3176214

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-20K11685
  • [雑誌論文] Solving Simultaneous Target Assignment and Path Planning Efficiently with Time-Independent Execution2022

    • 著者名/発表者名
      Okumura Keisuke、Defago Xavier
    • 雑誌名

      Proceedings of the International Conference on Automated Planning and Scheduling

      巻: 32 ページ: 270-278

    • DOI

      10.1609/icaps.v32i1.19810

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20K11685, KAKENHI-PROJECT-21K11748, KAKENHI-PROJECT-20J23011
  • [雑誌論文] Offline Time-Independent Multi-agent Path Planning2022

    • 著者名/発表者名
      K. Okumura, F. Bonnet, Y. Tamura, X. Defago
    • 雑誌名

      31st International Conference on Artificial Intelligence (IJCAI)

      巻: n/a ページ: 4649-4656

    • DOI

      10.24963/ijcai.2022/645

    • NAID

      130008052002

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K11748, KAKENHI-PROJECT-20J23011
  • [雑誌論文] Resilient real-valued consensus in spite of mobile malicious agents on directed graphs2022

    • 著者名/発表者名
      Y. Wang, H. Ishii, F. Bonnet, X. Defago
    • 雑誌名

      IEEE Transactions on Parallel and Distributed Systems

      巻: Vol. 33 No. 3 号: 3 ページ: 586-603

    • DOI

      10.1109/tpds.2021.3096074

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18H01460, KAKENHI-PROJECT-21K11748
  • [雑誌論文] Iterative Refinement for Real-Time Multi-Robot Path Planning2021

    • 著者名/発表者名
      Keisuke Okumura, Yasumasa Tamura, Xavier Defago
    • 雑誌名

      2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)

      巻: None ページ: 9690-9697

    • DOI

      10.1109/iros51168.2021.9636071

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20K11685, KAKENHI-PROJECT-21K11748, KAKENHI-PROJECT-20J23011
  • [雑誌論文] Time-Independent Planning for Multiple Moving Agents2021

    • 著者名/発表者名
      Keisuke Okumura, Yasumasa Tamura, Xavier Defago
    • 雑誌名

      Proceedings of the AAAI Conference on Artificial Intelligence

      巻: 35(13) ページ: 11299-11307

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K11748
  • [雑誌論文] Roadside-Assisted Cooperative Planning using Future Path Sharing for Autonomous Driving2021

    • 著者名/発表者名
      Hirata Mai、Tsukada Manabu、Okumura Keisuke、Tamura Yasumasa、Ochiai Hideya、Defago Xavier
    • 雑誌名

      IEEE 94th Vehicular Technology Conference (VTC2021-Fall)

      巻: 1 ページ: 1-7

    • DOI

      10.1109/vtc2021-fall52928.2021.9625324

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-21H03423
  • [雑誌論文] Active Modular Environment for Robot Navigation2021

    • 著者名/発表者名
      Shota Kameyama, Keisuke Okumura, Yasumasa Tamura, Xavier Defago
    • 雑誌名

      CoRR abs/2102.12748

      巻: - ページ: 1-7

    • データソース
      KAKENHI-PROJECT-20K11685
  • [雑誌論文] Active Modular Environment for Robot Navigation2021

    • 著者名/発表者名
      Shota Kameyama, Keisuke Okumura, Yasumasa Tamura, Xavier Defago
    • 雑誌名

      2021 IEEE International Conference on Robotics and Automation (ICRA)

      巻: None ページ: 8636-8642

    • DOI

      10.1109/icra48506.2021.9561111

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20K11685, KAKENHI-PROJECT-21K11748, KAKENHI-PROJECT-20J23011
  • [雑誌論文] Time-Independent Planning for Multiple Moving Agents2021

    • 著者名/発表者名
      Okumura, K., Tamura, Y., Defago, X
    • 雑誌名

      Proceedings of the AAAI Conference on Artificial Intelligence

      巻: 35 ページ: 11299-11307

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-20K11685
  • [雑誌論文] Self-stabilizing gathering of mobile robots under crash or Byzantine faults2020

    • 著者名/発表者名
      Xavier Defago, Maria Potop-Butucaru, Philippe Raipin Parvedy
    • 雑誌名

      Distributed Computing

      巻: 33 号: 5 ページ: 393-421

    • DOI

      10.1007/s00446-019-00359-x

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17K00019
  • [雑誌論文] Communication Efficient Self-Stabilizing Leader Election2020

    • 著者名/発表者名
      Xavier Defago, Yuval Emek, Shay Kutten, Toshimitsu Masuzawa, Yasumasa Tamura
    • 雑誌名

      DISC 2020

      巻: -

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17K00019
  • [雑誌論文] Time-Independent Planning for Multiple Moving Agents2020

    • 著者名/発表者名
      Keisuke Okumura, Yasumasa Tamura, Xavier Defago
    • 雑誌名

      CoRR abs/2005.13187

      巻: - ページ: 1-10

    • データソース
      KAKENHI-PROJECT-20K11685
  • [雑誌論文] Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space2020

    • 著者名/発表者名
      Xavier Defago, Adam Heriban, Sebastien Tixeuil, Koichi Wada
    • 雑誌名

      2020 International Symposium on Reliable Distributed Systems (SRDS), 2020

      巻: - ページ: 113-122

    • DOI

      10.1109/srds51746.2020.00019

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20K11685
  • [雑誌論文] Priority Inheritance with Backtracking for Iterative Multi-agent Path Finding2019

    • 著者名/発表者名
      Okumura Keisuke、Machida Manao、Xavier Defago、Tamura Yasumasa
    • 雑誌名

      IJCAI 2019

      巻: - ページ: 535-542

    • DOI

      10.24963/ijcai.2019/76

    • データソース
      KAKENHI-PROJECT-17K00019
  • [雑誌論文] Fault-Tolerant Mobile Robots2019

    • 著者名/発表者名
      Defago Xavier、Potop-Butucaru Maria、Tixeuil Sebastien
    • 雑誌名

      Distributed Computing by Mobile Entities

      巻: none ページ: 234-251

    • DOI

      10.1007/978-3-030-11072-7_10

    • ISBN
      9783030110710, 9783030110727
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17K00019
  • [雑誌論文] Brief Announcement: Model Checking Rendezvous Algorithms for Robots with Lights in Euclidean Space2019

    • 著者名/発表者名
      Xavier Defago and Adam Heriban and Sebastien Tixeuil and Koichi Wada
    • 雑誌名

      Proc. of 33rd International Symposium on Distributed Computing (DISC 2019)

      巻: -

    • NAID

      120006766465

    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17K00019
  • [雑誌論文] Amoeba Exploration: Coordinated Exploration with Distributed Robots2018

    • 著者名/発表者名
      Okumura Keisuke、Tamura Yasumasa、Defago Xavier
    • 雑誌名

      The 9th International Conference on Awareness Science and Technology (iCAST)

      巻: none ページ: 191-195

    • DOI

      10.1109/icawst.2018.8517225

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17K00019
  • [雑誌論文] Optimal Rendezvous L-Algorithms for Asynchronous Mobile Robots with External-Lights2018

    • 著者名/発表者名
      T. Okumura, K. Wada, X. Defago
    • 雑誌名

      22nd Internationa Conference on Principles of Distributed Systems (OPODIS 2018), LIPICS

      巻: 125

    • DOI

      10.4230/LIPICS.OPODIS.2018.24

    • 査読あり
    • データソース
      KAKENHI-PROJECT-17K00019
  • [雑誌論文] Flocking with Oblivious Robots,2016

    • 著者名/発表者名
      D. Canepa, X. Defago, T. Izumi, M. Potop-Butucaru
    • 雑誌名

      Stabilization, Safety, and Security of Distributed Systems, LNCS

      巻: 10083 ページ: 94-108

    • DOI

      10.1007/978-3-319-49259-9_8

    • ISBN
      9783319492582, 9783319492599
    • 査読あり / 謝辞記載あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26330020
  • [雑誌論文] Tight bound on mobile Byzantine Agreement2016

    • 著者名/発表者名
      F. Bonnet, X. Defago, T. D. Nguyen, M. Potop-Butucaru
    • 雑誌名

      Theoretical Computer Science

      巻: 609 ページ: 361-373

    • DOI

      10.1016/j.tcs.2015.10.019

    • NAID

      110010061343

    • 査読あり / 謝辞記載あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26330020, KAKENHI-PROJECT-26870228
  • [雑誌論文] Reliability Prediction for Component-based Software Systems with Architectural-level Fault-tolerance Mechanisms (extended version)2014

    • 著者名/発表者名
      T.-T. Pham, F. Bonnet, X. Defago
    • 雑誌名

      Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications

      巻: 5(1) ページ: 4-36

    • URL

      http://isyou.info/jowua/abstracts/jowua-v5n1-1.htm

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500060
  • [雑誌論文] Reliability prediction for component-based software systems2014

    • 著者名/発表者名
      Thanh-Trung Pham, Xavier Defago, Quyet-Thang Huynh
    • 雑誌名

      Science of Computer Programming Journal

      巻: tbd

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500060
  • [雑誌論文] Reliability prediction for component-based software systems with architectural-level fault tolerance mechanisms (Extended version)2014

    • 著者名/発表者名
      Thanh-Trung Pham, Francois Bonnet, Xavier Defago
    • 雑誌名

      Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications

      巻: 5(1) ページ: 4-36

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500060
  • [雑誌論文] Mitigating the Spread of a Virus in the Internet2014

    • 著者名/発表者名
      T. D. Nguyen, F. Bonnet, X. Defago
    • 雑誌名

      2014 IEEE 33rd International Symposium on Reliable Distributed Systems Workshops (SRDSW)

      巻: none ページ: 14-19

    • DOI

      10.1109/srdsw.2014.26

    • NAID

      120006675658

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-26330020, KAKENHI-PROJECT-26870228
  • [雑誌論文] Tight Bound on Mobile Byzantine Agreement2014

    • 著者名/発表者名
      F. Bonnet, X. Defago, T. D. Nguyen, M. Potop-Butucaru
    • 雑誌名

      Lecture Notes in Computer Science

      巻: 8784 ページ: 76-90

    • DOI

      10.1007/978-3-662-45174-8_6

    • NAID

      110010061343

    • ISBN
      9783662451731, 9783662451748
    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-26330020, KAKENHI-PROJECT-26870228
  • [雑誌論文] Understanding the Power of Stigmergy of Anonymous Agents in Discrete Environments2014

    • 著者名/発表者名
      G. D'Angelo, X. Defago, N. Nisse
    • 雑誌名

      2014 Second International Symposium on Computing and Networking (CANDAR)

      巻: none ページ: 50-59

    • DOI

      10.1109/candar.2014.95

    • 査読あり / 謝辞記載あり
    • データソース
      KAKENHI-PROJECT-26330020
  • [雑誌論文] Reliability prediction for component-based software systems with architectural-level fault tolerance mechanisms2013

    • 著者名/発表者名
      Thanh-Trung Pham, Xavier Defago
    • 雑誌名

      In Proc. 8th Intl Conf on Availability, Reliability and Security

      巻: ARES'13 ページ: 11-20

    • DOI

      10.1109/ares.2013.8

    • NAID

      120006675659

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500060
  • [雑誌論文] A Taxonomy of Congestion Control Techniques for TCP in Wired and Wireless Networks2013

    • 著者名/発表者名
      K.C. Lee, X. Defago, Y. Tan, A.O. Lim
    • 雑誌名

      IEEE Symp. on Wireless Technology & Applications (ISWTA)

      ページ: 147-152

    • DOI

      10.1109/iswta.2013.6688758

    • NAID

      120006675653

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500060
  • [雑誌論文] A Fast and Robust Optimistic Total Order Broadcast for Online Video Games2012

    • 著者名/発表者名
      S. Bernard, X. Defago, S. Tixeuil
    • 雑誌名

      In Proc. 26th Intl. Conf. on Advanced Information Networking and Applications Workshops, WAINA 2012

      ページ: 189-196

    • DOI

      10.1109/waina.2012.105

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500060
  • [雑誌論文] Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols (brief announcement)2012

    • 著者名/発表者名
      F.Bonnet, x.Defago, F.Petit, M.Potop-Butucaru, S.Tixeuil
    • 雑誌名

      Stabilization, Safety, and Security of Distributed Systems. Lecture Notes in Computer Science

      巻: 7596 ページ: 282-284

    • DOI

      10.1007/978-3-642-33536-5_28

    • ISBN
      9783642335358, 9783642335365
    • 査読あり
    • データソース
      KAKENHI-PROJECT-10F00720, KAKENHI-PROJECT-23500060
  • [雑誌論文] The Gathering Problem for Two Oblivious Robots with Unreliable Compasses2012

    • 著者名/発表者名
      Taisuke Izumi
    • 雑誌名

      SIAM Journal on Computing

      巻: 41(1) 号: 1 ページ: 26-46

    • DOI

      10.1137/100797916

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21500012, KAKENHI-PROJECT-22240001, KAKENHI-PROJECT-22300004, KAKENHI-PROJECT-22700010, KAKENHI-PROJECT-23500060
  • [雑誌論文] Reliability Prediction for Component-Based Systems: Incorporating Error Propagation Analysis and Different Execution Models2012

    • 著者名/発表者名
      T.-T. Pham, X. Defago
    • 雑誌名

      In Proc. 12th International Conference on Quality Software (QSIC-12)

      ページ: 106-115

    • DOI

      10.1109/qsic.2012.20

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500060
  • [雑誌論文] Exploration and Surveillance in Multi-robots Networks2011

    • 著者名/発表者名
      F.Bonnet, X.Defago
    • 雑誌名

      Proc.2nd Intl.Conf.on Networking and Computing (ICNC 2011), Workshop on Frontiers of Distributed Computing

      巻: 1 ページ: 342-344

    • DOI

      10.1109/icnc.2011.66

    • データソース
      KAKENHI-PROJECT-10F00720, KAKENHI-PROJECT-23500060
  • [雑誌論文] Fault-tolerant Flocking of Mobile Robots with whole Formation Rotation2009

    • 著者名/発表者名
      Y.Yang, S.Souissi, X.Defago, M.Takizawa
    • 雑誌名

      Proc. 21st Int. Conf. Adv. Inform. Netw. & Appl.

      ページ: 830-837

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18680007
  • [雑誌論文] Using eventually consistent compasses to gather memory-less mobile robots with limited visibility2009

    • 著者名/発表者名
      Samia Souissi, Xavier Defago, Masafumi Yamashita
    • 雑誌名

      ACM Transactions on Autonomous and Adaptive Systems 4

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18680007
  • [雑誌論文] Using eventually consistent compasses to gather memory-less mobile robots with limited visibility.2009

    • 著者名/発表者名
      S.Souissi, X.Defago, M.Yamashita
    • 雑誌名

      ACM Trans. Autonomous and Adaptive Systems 4(1)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18680007
  • [雑誌論文] Non-uniform circle formation algorithm for oblivious mobile robots with convergence toward uniformity2008

    • 著者名/発表者名
      Xavier Defago, Samia Souissi
    • 雑誌名

      Theoretical Computer Science 396

      ページ: 97-112

    • NAID

      120000861676

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18680007
  • [雑誌論文] Dynamic scheduling real-time task using primary-backup overloading strategy for multiprocessor systems2008

    • 著者名/発表者名
      Wei Sun, Chen Yu, Xavier Defago, Yasushi Inoguchi
    • 雑誌名

      IEICE Transactions on Information & Systems 91-D

      ページ: 796-806

    • NAID

      10026802255

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18680007
  • [雑誌論文] Fault-tolerant flocking in a k-bounded asynchronous system2008

    • 著者名/発表者名
      Samia Souissi, Yan Yang, Xavier Defago
    • 雑誌名

      Principles of Distributed Systems, 12th International Conference, OPODIS 2008 LNCS 5401

      ページ: 145-163

    • NAID

      110007110872

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18680007
  • [雑誌論文] Fault-Tolerant Flocking in a k-Bounded Asynchronous System.2008

    • 著者名/発表者名
      S.Souissi, Y.Yang, X.Defago
    • 雑誌名

      Proc. 12th Int. Conf. Principles of Distributed Systems LNCS 5401

      ページ: 145-163

    • NAID

      110007110872

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18680007
  • [雑誌論文] Dynamic Scheduling Real-Time Task Using Primary-Backup Overloading Strategy for Multiprocessor Systems.2008

    • 著者名/発表者名
      W.Sun, C.Yu, X.Defago, Y.Inoguchi
    • 雑誌名

      IEICE Trans. on Inf. and Syst. 91-D(3)

      ページ: 796-806

    • NAID

      10026802255

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18680007
  • [雑誌論文] Dynamic scheduling real-time task using primary-backup overloading strategy for multiprocessor systems2008

    • 著者名/発表者名
      Wei Sun, Chen Yu, Xavier Defago, Yasushi Inoguchi
    • 雑誌名

      IEICE Trans. Inf. & Syst. E91-D,no.3

      ページ: 796-806

    • NAID

      10026802255

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18680007
  • [雑誌論文] Non-uniform circle formation algorithm for oblivious mobile robots with convergence toward uniformity.2008

    • 著者名/発表者名
      X.Defago, S.Souissi
    • 雑誌名

      Theoretical Computer Science 396(1-3)

      ページ: 97-112

    • NAID

      120000861676

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18680007
  • [雑誌論文] Colhsion prevention platform for a dynamic group of asynchronous cooperative mobile robots2007

    • 著者名/発表者名
      Rami Yared, Xavier Defago, Julien Iguchi-Cartigny, M. Wiesmann
    • 雑誌名

      Journal of Networks 2・4

      ページ: 28-39

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18680007
  • [雑誌論文] Robust self-deployment for a swarm of autonomous mobile robots with limited visibility range.2007

    • 著者名/発表者名
      G.Lee, N.Y.Chong, X.Defago.
    • 雑誌名

      Proc. 16th Intl. Symp. on Robot and Human Interactive Commmunication

      ページ: 925-930

    • NAID

      120007005670

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18680007
  • [雑誌論文] Collision prevention platform for a dynamic group of asynchronous cooperative mobile robots2007

    • 著者名/発表者名
      Rami Yared, Xavier, Defago, Julien Iguchi-Cartigny, Matthias Wiesmann
    • 雑誌名

      Journal of Networks 2・4

      ページ: 28-39

    • NAID

      120001009648

    • データソース
      KAKENHI-PROJECT-18680007
  • [雑誌論文] Robst self-deployment for a swarm of autonomous mobile robots with limited visibility range2007

    • 著者名/発表者名
      Geunho Lee, Nak Young Chong, Xavier Defago
    • 雑誌名

      Proc. 16th Intl. Symp. on Robot and human Interactive Communication (ROMAN)

      ページ: 925-930

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18680007
  • [雑誌論文] Collision prevention using group communication for asynchronous cooperative mobile robots2007

    • 著者名/発表者名
      Rami Yared, Xavier Defago, Matthias Wiesmann
    • 雑誌名

      Proc. 21st IEEE Conf. on Advanced Information Networking and Applications (AINA-07)

      ページ: 244-249

    • NAID

      110006386794

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18680007
  • [雑誌論文] Anonymous stabilizing leader election using a network sequencer2007

    • 著者名/発表者名
      Matthias Wiesmann、Xavier Defago
    • 雑誌名

      Proc. 21st IEEE Conf. on Advanced Information Networking and Applications (AINA-07)

      ページ: 673-678

    • NAID

      110004847504

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18680007
  • [雑誌論文] Gathering two stateless mobile robots using very inaccurate compasses in finite time2007

    • 著者名/発表者名
      Masafumi Yamashita, Samia Souissi, Xavier Defago
    • 雑誌名

      Proc. 1st Intl. Conference on Robot Communication ahd Coordination (ROBOCOM)

      ページ: 6-6

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18680007
  • [雑誌論文] Collision Prevention Platform for a Dynamic Group of Asynchronous Cooperative Mobile Robots.2007

    • 著者名/発表者名
      R.Yared, X.Defago, J.Iguchi, M.Wiesmann
    • 雑誌名

      J. Networks 2(4)

      ページ: 28-39

    • NAID

      120001009648

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18680007
  • [雑誌論文] Collision prevention using group communication for asynchronous cooperative mobile robots2007

    • 著者名/発表者名
      Rami Yared, Xavier Defago, Matthias Wiesmann
    • 雑誌名

      Proc. 21st Intl Conf. on Advanced Information Networking and Applications(AINA-07)

      ページ: 244-249

    • NAID

      110006386794

    • データソース
      KAKENHI-PROJECT-18680007
  • [雑誌論文] Hybrid overloading and stochastic analysis for redundant real-time multiprocessor systems2007

    • 著者名/発表者名
      Wei Sun, Yuanyuan Zhang, Chen Yu, Xavier Defago, Y. Inoguchi
    • 雑誌名

      Proc. 26th IEEE Symp. on Reliable Distributed Systems (SRDS'07)

      ページ: 265-274

    • NAID

      120007005665

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18680007
  • [雑誌論文] Locality-preserving distributed path reservation protocol for asynchronous cooperative mobile robots2007

    • 著者名/発表者名
      Rami Yared, Julien Cartigny, Xavier Defago, Matthias Wiesmann
    • 雑誌名

      Proc. 8th Intl. Symp. on Autonomous Decentralized Systems(ISADS'2007)

      ページ: 188-195

    • NAID

      110004840536

    • データソース
      KAKENHI-PROJECT-18680007
  • [雑誌論文] Anonymous Stabilizing Leader Election using a Network Sequencer.2007

    • 著者名/発表者名
      M.Wiesmann, X.Defago.
    • 雑誌名

      Proc. 21st Int. Conf. Adv. Inform. Netw. & Appl.

      ページ: 673-678

    • NAID

      110004847504

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18680007
  • [雑誌論文] Collision prevention using group communication for asynchronous cooperative mobile robots.2007

    • 著者名/発表者名
      R.Yared, X.Defago, M.Wiesmann
    • 雑誌名

      Proc. 21st Int. Conf. Adv. Inform. Netw. & Appl.

      ページ: 244-249

    • NAID

      110006386794

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18680007
  • [雑誌論文] Hybrid overloading and stochastic analysis for redundant real-time multiprocessor systems.2007

    • 著者名/発表者名
      W.Sun, Y.Zhang, C.Yu, X.Defago, Y.Inoguchi
    • 雑誌名

      Proc. 26th Intl. Symp. Reliable Distributed Systems

      ページ: 265-274

    • NAID

      120007005665

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18680007
  • [雑誌論文] Using eventually consistent compasses to gather oblivious mobile robots with limited visibility2006

    • 著者名/発表者名
      Samia Souissi, Xavier Defago, Masafumi Yamashita
    • 雑誌名

      Proc. 8th Intl. Symp. on Stabilization, Safety, and Security of Distributed Systems(SSS2006) LNCS4280

      ページ: 471-487

    • データソース
      KAKENHI-PROJECT-18680007
  • [雑誌論文] End-to-end consensus using end-to-end channels2006

    • 著者名/発表者名
      Matthias Wiesmann, Xavier Defago
    • 雑誌名

      Proc. 12^<th> Intl. Symp. Pacific Rim Dependable Computing (PRDC' 06)

      ページ: 341-350

    • データソース
      KAKENHI-PROJECT-18049032
  • [雑誌論文] Using eventually consistent compasses to gather oblivious mobile robots with limited visibility2006

    • 著者名/発表者名
      S.Souissi, X.Defago, M.Yamashita
    • 雑誌名

      Proc. 8th Intl. Symp. on Stabilization, Safety, Security of Distrib. Sys. LNCS 4280

      ページ: 471-487

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18680007
  • [雑誌論文] An SNMP based Failure Detection Service2006

    • 著者名/発表者名
      Matthias Wiesmann, Xavier Defago, Peter Urban
    • 雑誌名

      Proc. 25^<th> Intl Symp. on Reliable Distributed Systems (SRDS'06)

      ページ: 365-374

    • NAID

      110004840136

    • データソース
      KAKENHI-PROJECT-18049032
  • [雑誌論文] Fault-tolerant and self-stabilizing mobile robots gathering2006

    • 著者名/発表者名
      Xavier Defago, Maria Gradinariu, Stephane Messika, Philippe Raipin-Parvedy
    • 雑誌名

      Proc. 20th Intl. Symp. on Distributed Computing(DISC2006) LNCS4167

      ページ: 46-60

    • データソース
      KAKENHI-PROJECT-18680007
  • [雑誌論文] End-to-end consensus using end-to-end channels.2006

    • 著者名/発表者名
      M.Wiesmann, X.Defago
    • 雑誌名

      Proc. 12th Intl. Symp. Pacific-Rim Dependable Computing

      ページ: 341-350

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18680007
  • [雑誌論文] Gathering asynchronous mobile robots with inaccurate compasses2006

    • 著者名/発表者名
      Samia Souissi, Xavier Defago, Masafumi Yamashita
    • 雑誌名

      Proc. 10th Intl. Conf. on Principles of Distributed Systems(OPODIS2006) LNCS4305

      ページ: 333-349

    • データソース
      KAKENHI-PROJECT-18680007
  • [雑誌論文] Fault-Tolerant and Self-stabilizing Mobile Robots Gathering.2006

    • 著者名/発表者名
      X.Defago, M.Gradinariu, S.Messika, P.Raipin
    • 雑誌名

      Proc. 20th Int. Symp. Distributed Computing LNCS 4167

      ページ: 46-60

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18680007
  • [雑誌論文] Gathering Asynchronous Mobile Robots with Inaccurate Compasses.2006

    • 著者名/発表者名
      S.Souissi, X.Defago, M.Yamashita.
    • 雑誌名

      Proc. 10th Int. Conf. Principles of Distributed Systems LNCS 4305

      ページ: 333-349

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18680007
  • [雑誌論文] Fault-tolerant flocking in a k-bounded semi-synchronous system with flock rotation

    • 著者名/発表者名
      Yan Yang, Samia Souissi, Xavier Defago, Makoto Takizawa
    • 雑誌名

      IEEE 23rd Intl. Conf. on Adv. Inform. Networking and Applications (印刷中)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18680007
  • [学会発表] ToST: Tokyo SUMO traffic scenario2024

    • 著者名/発表者名
      Yuji Yamazaki and Yasumasa Tamura and Xavier Defago and Ehsan Javanmardi and Manabu Tsukada
    • 学会等名
      The 26th edition of the IEEE International Conference on Intelligent Transportation Systems (ITSC 2023)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21H03423
  • [学会発表] Mixed-traffic Intersection Management using Traffic-load-responsive Reservation and V2X-enabled Speed Coordination2024

    • 著者名/発表者名
      Nicholaus Danispadmanaba Yosodipuro and Ehsan Javanmardi and Jin Nakazato and Yasumasa Tamura and Xavier Defago and Manabu Tsukada
    • 学会等名
      The 26th edition of the IEEE International Conference on Intelligent Transportation Systems (ITSC 2023)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21H03423
  • [学会発表] Verification and Synthesis of Rendezvous Algorithms for Luminous Robots2022

    • 著者名/発表者名
      Xavier Defago
    • 学会等名
      Research Meeting and School on Distributed Computing by Mobile Robots
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21K11748
  • [学会発表] Verification and Synthesis of Rendezvous Algorithms for Luminous Robots2022

    • 著者名/発表者名
      Xavier Defago
    • 学会等名
      Research Meeting and School on Distributed Computing by Mobile Robots
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20K11685
  • [学会発表] Offline Time-Independent Multi-agent Path Planning2022

    • 著者名/発表者名
      Keisuke Okumura, Francois Bonnet, Yasumasa Tamura, Xavier Defago
    • 学会等名
      The 31st International Conference on Artificial Intelligence
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21H03423
  • [学会発表] Solving Simultaneous Target Assignment and Path Planning Efficiently with TIme-Independent Execution2022

    • 著者名/発表者名
      Keisuke Okumura, Xavier Defago
    • 学会等名
      International Conference on Automated Planning and Scheduling
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21H03423
  • [学会発表] 自動運転を支援する時空間予測を用いた路側の協調経路計画システム2021

    • 著者名/発表者名
      辻尾康平, 平田真唯, 奥村圭祐, 田村康将, 塚田学, デファゴ クサヴィエ,
    • 学会等名
      マルチメディア,分散,協調とモバイル(DICOMO2021)シンポジウ
    • データソース
      KAKENHI-PROJECT-21H03423
  • [学会発表] Distributed Algorithms for Robot Systems2019

    • 著者名/発表者名
      Xavier Defago
    • 学会等名
      149th NII Shonan Meeting
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17K00019
  • [学会発表] Model Checking Robot Algorithms in Euclidean Space2019

    • 著者名/発表者名
      Xavier Defago
    • 学会等名
      第15回情報科学ワークショップ
    • 招待講演
    • データソース
      KAKENHI-PROJECT-17K00019
  • [学会発表] Self-Stabilizing Gathering of Mobile Robots under Crash or Byzantine Faults2019

    • 著者名/発表者名
      Xavier Defago
    • 学会等名
      2nd Japan-Taiwan Joint Workshop, Taipei, Taiwan
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17K00019
  • [学会発表] Distributed Agreement and Robot Coordination2019

    • 著者名/発表者名
      Xavier Defago
    • 学会等名
      JFLI-Tokyo Tech Workshop
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17K00019
  • [学会発表] Dependability and Fault-Tolerance of Cooperative Mobile Robots: The Gap Between Theory and Pragmatism2019

    • 著者名/発表者名
      Xavier Defago
    • 学会等名
      Pacific-Rim Intl. Symp. on Dependable Computing
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-17K00019
  • [学会発表] Decentralized Route Planning and Exploration in Multi-Robot Systems2018

    • 著者名/発表者名
      DEFAGO Xavier
    • 学会等名
      3rd Taiwan-Japan workshop on secure and dependable IoT systems, Tokyo
    • 招待講演
    • データソース
      KAKENHI-PROJECT-17K00019
  • [学会発表] Intrusion-Tolerance and Dynamic Faults in Distributed Systems2016

    • 著者名/発表者名
      X. Defago
    • 学会等名
      Japan-Taiwan Workshop on Secure and Dependable IoT Systems
    • 発表場所
      Tokyo, Japan
    • 年月日
      2016-07-24
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26330020
  • [学会発表] Intrusion-tolerance and dynamic faults in the internet of things2016

    • 著者名/発表者名
      X. Defago
    • 学会等名
      AEARU Web Technology and Computer Science Workshop 2016 (WTCS2016),
    • 発表場所
      Sendai, Japan
    • 年月日
      2016-09-20
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26330020
  • [学会発表] Communicating Reliably in Multihop Dynamic Networks Despite Byzantine Failures2015

    • 著者名/発表者名
      A. Maurer, S. Tixeuil, X. Defago
    • 学会等名
      SRDS 2015
    • 発表場所
      Montreal, Canada
    • 年月日
      2015-09-28
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26330020
  • [学会発表] Bridging the Chasm between Theory and Practice of Multi-Robots Systems2014

    • 著者名/発表者名
      X. Defago
    • 学会等名
      JAIST-LORIA Workshop
    • 発表場所
      Kanazawa, Ishikawa, Japan
    • 招待講演
    • データソース
      KAKENHI-PROJECT-23500060
  • [学会発表] Bridging the Chasm Between Theory and Practice of Multi-Robot Systems2014

    • 著者名/発表者名
      Xavier Defago
    • 学会等名
      JAIST-LORIA Workshop
    • 発表場所
      Kanazawa, Japan
    • 招待講演
    • データソース
      KAKENHI-PROJECT-23500060
  • [学会発表] Self-stabilizing crash tolerant gathering with daemons and dice2013

    • 著者名/発表者名
      Xavier Defago
    • 学会等名
      Research Meeting on Distributed Computing by Mobile Robots (MAC 2013)
    • 発表場所
      Ischia, Italy
    • 招待講演
    • データソース
      KAKENHI-PROJECT-23500060
  • [学会発表] Reaching Group Agreement in Spite of Faulty Robots2013

    • 著者名/発表者名
      X. Defago
    • 学会等名
      Research Seminar at Research into Artefacts, Center for Engineering (RACE), Univ. Tokyo
    • 発表場所
      Kashiwa, Chiba, Japan
    • 年月日
      2013-05-31
    • データソース
      KAKENHI-PROJECT-23500060
  • [学会発表] Self-stabilizing crash tolerant gathering with daemons and dice2013

    • 著者名/発表者名
      X. Defago
    • 学会等名
      Research meeting on Distributed Computing by Mobile Robots (MAC 2013)
    • 発表場所
      Ischia, Italy
    • 招待講演
    • データソース
      KAKENHI-PROJECT-23500060
  • [学会発表] Cooperative Mobile Robots in a Planar Environment2012

    • 著者名/発表者名
      X. Defago
    • 学会等名
      INRIA Sophia-Antipolis
    • 発表場所
      Sophia-Antipolis, France
    • 年月日
      2012-03-13
    • データソース
      KAKENHI-PROJECT-23500060
  • [学会発表] Reliable Micro-protocols Composition and Combination (fast abstract)2012

    • 著者名/発表者名
      D. Higashihara and X. Defago
    • 学会等名
      18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012)
    • 発表場所
      Niigata, Japan
    • データソース
      KAKENHI-PROJECT-23500060
  • [学会発表] Making Reliability Modeling ofComponent-based Systems Usable in Practice (fast abstract)2012

    • 著者名/発表者名
      Thanh-Trung Pham, Quyet-Thang Huynh and X. Defago
    • 学会等名
      18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012)
    • 発表場所
      Niigata, Japan
    • データソース
      KAKENHI-PROJECT-23500060
  • [学会発表] Byzantine Fault Tolerant Protocols for TaskManagement in Mobile Robots2012

    • 著者名/発表者名
      T. D. Nguyen, F. Bonnet, X. Defago
    • 学会等名
      18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012)
    • 発表場所
      Niigata, Japan
    • データソース
      KAKENHI-PROJECT-23500060
  • [学会発表] Cooperative Mobile Robots in a Planar Environment2012

    • 著者名/発表者名
      Xavier Defago
    • 学会等名
      INRIA Sophia-Antipolis
    • 発表場所
      Nice, France
    • データソース
      KAKENHI-PROJECT-23500060
  • [学会発表] Reliable Micro-protocols Composition and Combination2012

    • 著者名/発表者名
      D. Higashihara, X. Defago
    • 学会等名
      18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012)
    • 発表場所
      Niigata, Japan
    • データソース
      KAKENHI-PROJECT-23500060
  • [学会発表] Making Reliability Modeling of Component-based Systems Usable in Practice2012

    • 著者名/発表者名
      T.-T. Pham, Q.-T. Huynh, X. Defago
    • 学会等名
      18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012)
    • 発表場所
      Niigata, Japan
    • データソース
      KAKENHI-PROJECT-23500060
  • [学会発表] A Fast and Robust Optimistic Total Order Broadcast for Online Video Games2012

    • 著者名/発表者名
      S. Bernard, X. Defago, S. Tixeuil
    • 学会等名
      26th Intl. Conf. on Advanced Information Networking and Applications Workshops, WAINA 2012
    • 発表場所
      Fukuoka, Japan
    • 年月日
      2012-03-24
    • データソース
      KAKENHI-PROJECT-23500060
  • [学会発表] Byzantine Fault Tolerant Protocols for TaskManagement in Mobile Robots (fast abstract)2012

    • 著者名/発表者名
      Thanh Dang Nguyen, F. Bonnet and X. Defago
    • 学会等名
      18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012)
    • 発表場所
      Niigata, Japan
    • データソース
      KAKENHI-PROJECT-23500060
  • [学会発表] Exploration and Surveillance in Multi-robots Networks (invited paper)2011

    • 著者名/発表者名
      Francois Bonnet, Xavier Defago
    • 学会等名
      2nd Intl. Conf. on Networking and Computing, ICNC 2011, Workshop on Frontiers of Distributed Computing(招待講演)
    • 発表場所
      Osaka, Japan
    • データソース
      KAKENHI-PROJECT-23500060
  • [学会発表] Gathering two stateless mobile robots using very inaccurate compasses in finite time. Proc. Int. Conf. on Robot Communication and Coordination2007

    • 著者名/発表者名
      M.Yamashita, S.Souissi, X.Defago
    • 学会等名
      ROBOCOM
    • 発表場所
      Greece
    • 年月日
      2007-10-16
    • データソース
      KAKENHI-PROJECT-18680007
  • [学会発表] Fault-Tolerant Group Communication Cooperative Mobile Robots (invited talk)2007

    • 著者名/発表者名
      Xavier Defago
    • 学会等名
      Japan-Vietnam Workshop on Software Engineering 2007 (JVSE'07)
    • 発表場所
      Hanoi, Vietnam
    • 年月日
      2007-09-27
    • データソース
      KAKENHI-PROJECT-18680007
  • [学会発表] モバイルロボット間における先読み機能を有した経路予約システムの提案2007

    • 著者名/発表者名
      東原大記, Rami Yared, Xavier Defago
    • 学会等名
      第15回マルチメディア通信と分散処理ワークショップ
    • 発表場所
      石川県加賀市
    • 年月日
      2007-11-02
    • データソース
      KAKENHI-PROJECT-18680007
  • [学会発表] Locality-preserving distributed path reservation protocol for asynchronous cooperative mobile robots2007

    • 著者名/発表者名
      R.Yared, J.Cartigny, X.Defago, M.Wiesmann
    • 学会等名
      Proc. 8th Intl. Symp. on Autonomous Decentralized Systems(p.188-195)
    • 発表場所
      USA
    • 年月日
      2007-03-22
    • データソース
      KAKENHI-PROJECT-18680007
  • [学会発表] Reaching group agreement in spite of faulty robots

    • 著者名/発表者名
      Xavier Defago
    • 学会等名
      Research seminar at Research into Artifacts, Center for Engineering, U. Tokyo
    • 発表場所
      Kashiwa, Japan
    • 招待講演
    • データソース
      KAKENHI-PROJECT-23500060
  • 1.  和田 幸一 (90167198)
    共同の研究課題数: 5件
    共同の研究成果数: 5件
  • 2.  田村 康将 (50773701)
    共同の研究課題数: 2件
    共同の研究成果数: 7件
  • 3.  塚田 学 (90724352)
    共同の研究課題数: 1件
    共同の研究成果数: 4件
  • 4.  林原 尚浩 (20397227)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 5.  金 鎔煥 (50756773)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 6.  首藤 裕一 (50643665)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 7.  BONNET Francois
    共同の研究課題数: 0件
    共同の研究成果数: 6件
  • 8.  石井 秀明
    共同の研究課題数: 0件
    共同の研究成果数: 1件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi