学位
-
PhD （ Swiss Federal Institute of Technology in Lausanne (EPFL) ）
研究キーワード
-
ブロックチェーン
-
耐故障性
-
自律移動ロボット群
-
分散アルゴリズム
-
分散システム
研究分野
-
情報通信 / 情報学基礎論
-
情報通信 / ソフトウェア
-
情報通信 / 情報ネットワーク
-
情報通信 / 計算科学
学歴
-
スイス連邦工科大学・ロザーンヌ校 (EPFL) 情報科学研究科 博士(Computer Science)
1996年 - 2000年
国名： スイス連邦
-
スイス連邦工科大学・ロザーンヌ校 (EPFL) 情報科学
1990年 - 1995年
国名： スイス連邦
経歴
-
東京科学大学 情報理工学院 教授
2024年10月 - 現在
国名：日本国
-
東京工業大学 情報理工学院 教授
2016年4月 - 2024年9月
国名：日本国
-
北陸先端科学技術大学院大学 情報科学研究科 准教授
2006年5月 - 2016年3月
国名：日本国
-
北陸先端科学技術大学院大学 情報科学研究科 特任助教授
2003年2月 - 2006年4月
国名：日本国
-
北陸先端科学技術大学院大学 知識科学研究科 助教
2000年9月 - 2003年1月
国名：日本国
-
スイス連邦工科大学・ローザンヌ校(EPFL) Department of Computer Science 助手
1996年9月 - 2000年8月
国名：スイス連邦
所属学協会
-
2013年 - 現在
-
IFIP WG 10.4 on Dependable Computing and Fault Tolerance
2007年 - 現在
-
ACM: Association for Computer Machinery
1994年 - 現在
-
1993年 - 現在
論文
-
Double Auction Meets Blockchain: Consensus from Scored Bid-Assignment. 査読
Xiangyu Su, Xavier Défago, Mario Larangeira, Kazuyuki Mori, Takuya Oda, Yasumasa Tamura, Keisuke Tanaka
Applied Cryptography and Network Security - 23rd International Conference 15825 153 - 183 2025年
-
Deterministic Color-Optimal Self-stabilizing Semi-synchronous Gathering: A Certified Algorithm. 査読
François Bonnet 0001, Quentin Bramas, Pierre Courtieu, Xavier Défago, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
Structural Information and Communication Complexity - 32nd International Colloquium(SIROCCO) 15671 127 - 143 2025年
-
Optimal L-algorithms for rendezvous of asynchronous mobile robots with external-lights. 査読
Takashi Okumura, Koichi Wada 0001, Xavier Défago
Theoretical Computer Science 979 114198 - 114198 2023年11月
-
Offline Time-Independent Multiagent Path Planning. 査読
Keisuke Okumura 0001, François Bonnet 0001, Yasumasa Tamura, Xavier Défago
IEEE Transactions on Robotics 39 ( 4 ) 2720 - 2737 2023年8月
-
Xavier Défago, Adam Heriban, Sébastien Tixeuil, Koichi Wada 0001
Robotics and Autonomous Systems 163 104378 - 104378 2023年5月
-
Priority inheritance with backtracking for iterative multi-agent path finding. 査読
Keisuke Okumura 0001, Manao Machida, Xavier Défago, Yasumasa Tamura
Artif. Intell. 310 103752 - 103752 2022年
-
Resilient Real-Valued Consensus in Spite of Mobile Malicious Agents on Directed Graphs. 査読
Yuan Wang, Hideaki Ishii, François Bonnet 0001, Xavier Défago
IEEE Trans. Parallel Distributed Syst. 33 ( 3 ) 586 - 603 2022年
-
Self-stabilizing gathering of mobile robots under crash or Byzantine faults 査読
Xavier Défago, Maria Potop-Butucaru, Philippe Raipin-Parvédy
Distributed Computing 33 393 - 421 2020年
-
Tight bound on mobile Byzantine Agreement 査読
François Bonnet, Xavier Défago, Thanh Dang Nguyen, Maria Potop-Butucaru
Theoretical Computer Science 609 361 - 373 2016年1月
-
The gathering problem for two oblivious robots with unreliable compasses 査読
Taisuke Izumi, Samia Souissi, Yoshiaki Katayama, Nobuhiro Inuzuka, Xavier Défago, Koichi Wada, Masafumi Yamashita
SIAM Journal on Computing 41 ( 1 ) 26 - 46 2012年
-
Using eventually consistent compasses to gather memory-less mobile robots with limited visibility 査読
Samia Souissi, Xavier Défago, Masafumi Yamashita
ACM Transactions on Autonomous and Adaptive Systems 4 ( 1 ) 9:1-27 2009年1月
-
Non-uniform circle formation algorithm for oblivious mobile robots with convergence toward uniformity 査読
Xavier Défago, Samia Souissi
Theoretical Computer Science 396 ( 1-3 ) 97 - 112 2008年5月
-
Definition and specification of accrual failure detectors 査読
Xavier Défago, Péter Urbán, Naohiro Hayashibara, Takuya Katayama
Proc. International Conference on Dependable Systems and Networks (DSN) 206 - 215 2005年
-
Total order broadcast and multicast algorithms: Taxonomy and survey 査読
Xavier Défago, André Schiper, Péter Urban
ACM Computing Surveys 36 ( 4 ) 372 - 421 2004年12月
-
The φ accrual failure detector 査読
Naohiro Hayashibara, Xavier Défago, Rami Yared, Takuya Katayama
Proc. IEEE Symposium on Reliable Distributed Systems (SRDS) 66 - 78 2004年
-
ToST: Tokyo SUMO Traffic Scenario. 査読
Yuji Yamazaki, Yasumasa Tamura, Xavier Défago, Ehsan Javanmardi, Manabu Tsukada
25th IEEE International Conference on Intelligent Transportation Systems(ITSC) 3597 - 3604 2023年
-
Nicholaus D. Yosodipuro, Ehsan Javanmardi, Jin Nakazato, Yasumasa Tamura, Xavier Défago, Manabu Tsukada
25th IEEE International Conference on Intelligent Transportation Systems(ITSC) 1927 - 1934 2023年
-
Quick Multi-Robot Motion Planning by Combining Sampling and Search. 査読
Keisuke Okumura 0001, Xavier Défago
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence(IJCAI) 252 - 261 2023年
-
Bid-Matching Problem and Score-Based Consensus for Peer-to-Peer Energy Trading.
Xiangyu Su, Xavier Défago, Mario Larangeira, Kazuyuki Mori, Takuya Oda, Yuta Okumura, Yasumasa Tamura, Keisuke Tanaka
IACR Cryptology ePrint Archive 2022 1471 - 1471 2022年
-
Keisuke Okumura 0001, Xavier Défago
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling(ICAPS) 270 - 278 2022年
-
Offline Time-Independent Multi-Agent Path Planning. 査読
Keisuke Okumura 0001, François Bonnet 0001, Yasumasa Tamura, Xavier Défago
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence(IJCAI) 4649 - 4656 2022年
-
Self-Triggered Ternary Control for Resilient Consensus against Mobile Adversarial Agents. 査読
Hiroki Matsume, Yuan Wang 0040, Hideaki Ishii, Xavier Défago
61st IEEE Conference on Decision and Control(CDC) 2387 - 2392 2022年
-
Resilient Consensus for Multi-Agent Systems Under Adversarial Spreading Processes. 査読
Yuan Wang 0040, Hideaki Ishii, François Bonnet 0001, Xavier Défago
IEEE Transactions on Network Science and Engineering 9 ( 5 ) 3316 - 3331 2022年
-
Offline Time-Independent Multi-Agent Path Planning.
Keisuke Okumura 0001, François Bonnet 0001, Yasumasa Tamura, Xavier Défago
CoRR abs/2105.07132 2021年
-
Roadside-assisted Cooperative Planning using Future Path Sharing for Autonomous Driving. 査読
Mai Hirata, Manabu Tsukada, Keisuke Okumura 0001, Yasumasa Tamura, Hideya Ochiai, Xavier Défago
CoRR abs/2108.04629 2021年
-
Time-Independent Planning for Multiple Moving Agents. 査読
Proc. AAAI Conf. on Artificial Intelligence (AAAI-21) 11299 - 11307 2021年
-
Time-Independent Planning for Multiple Moving Agents. 査読
Keisuke Okumura 0001, Yasumasa Tamura, Xavier Défago
Thirty-Fifth AAAI Conference on Artificial Intelligence(AAAI) 11299 - 11307 2021年
-
Roadside-Assisted Cooperative Planning using Future Path Sharing for Autonomous Driving. 査読
Mai Hirata, Manabu Tsukada, Keisuke Okumura 0001, Yasumasa Tamura, Hideya Ochiai, Xavier Défago
94th IEEE Vehicular Technology Conference 1 - 7 2021年
-
Communication Efficient Self-Stabilizing Leader Election. 査読
Xavier Défago, Yuval Emek, Shay Kutten, Toshimitsu Masuzawa, Yasumasa Tamura
Proc. 34th International Symposium on Distributed Computing (DISC) 179 11 - 19 2020年
-
Stateless Distributed Ledgers. 査読
François Bonnet, Quentin Bramas, Xavier Défago
Proc. International Conference on Networked Systems (NETYS) 349 - 354 2020年
-
Xavier Défago, Adam Heriban, Sébastien Tixeuil, Koichi Wada
Proc. IEEE Symposium on Reliable Distributed Systems (SRDS) 113 - 122 2020年
-
Approximate QoS Rule Derivation Based on Root Cause Analysis for Cloud Computing 査読
Satoshi Konno, Xavier Defago
2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC) 2019年12月
-
Brief announcement: Model checking rendezvous algorithms for robots with lights in Euclidean space 査読
Xavier Défago, Adam Heriban, Sébastien Tixeuil, Koichi Wada
Leibniz International Proceedings in Informatics, LIPIcs 146 41 - 3 2019年10月
-
Optimal rendezvous l-algorithms for asynchronous mobile robots with external-lights 査読
Takashi Okumura, Koichi Wada, Xavier Défago
Leibniz International Proceedings in Informatics, LIPIcs 125 24 - 16 2019年1月
-
Fault-tolerant mobile Robots 招待
Xavier Défago, Maria Potop-Butucaru, Sébastien Tixeuil
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11340 LNCS 234 - 251 2019年
-
Priority inheritance with backtracking for iterative multi-agent path finding 査読
Keisuke Okumura, Manao M. Machida, Xavier Défago, Yasumasa Tamura
IJCAI International Joint Conference on Artificial Intelligence (IJCAI) 2019-August 535 - 542 2019年
-
Amoeba Exploration: Coordinated Exploration with Distributed Robots 査読
Keisuke Okumura, Yasumasa Tamura, Xavier Défago
2018 9th International Conference on Awareness Science and Technology, iCAST 2018 191 - 195 2018年10月
-
Optimally gathering two robots 査読
Adam Heriban, Xavier Défago, Sébastien Tixeuil
ACM International Conference Proceeding Series 3 - 10 2018年1月
-
Killing nodes as a countermeasure to virus expansion 査読
François Bonnet, Quentin Bramas, Xavier Défago, Thanh Dang Nguyen
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10641 LNCS 227 - 243 2017年
-
Communicating Reliably in Multihop Dynamic Networks Despite Byzantine Failures 査読
Alexandre Maurer, Sebastien Tixeuil, Xavier Defago
Proc. IEEE Symposium on Reliable Distributed Systems (SRDS) 238 - 245 2016年1月
-
Flocking with oblivious robots 査読
Davide Canepa, Xavier Defago, Taisuke Izumi, Maria Potop-Butucaru
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10083 LNCS 94 - 108 2016年
-
Understanding the power of stigmergy of anonymous agents in discrete environments 査読
Gianlorenzo D'Angelo, Xavier Defago, Nicolas Nisse
Proceedings - 2014 2nd International Symposium on Computing and Networking, CANDAR 2014 50 - 59 2015年2月
-
A survey of congestion detection and avoidance techniques for TCP congestion control
Lee Chin Kho, Xavier Défago, Yasuo Tan, Yuto Lim
Journal of Theoretical and Applied Information Technology 75 81 - 90 2015年1月
-
Reliability prediction for component-based software systems: Dealing with concurrent and propagating errors 査読
Thanh Trung Pham, Xavier Défago, Quyet Thang Huynh
Science of Computer Programming 97 ( P4 ) 426 - 457 2015年1月
-
Discovering and assessing fine-grained metrics in robot networks protocols 査読
Francois Bonnet, Xavier Defago, Franck Petit, Maria Potop-Butucaru, Sebastien Tixeuil
Proceedings of the IEEE Symposium on Reliable Distributed Systems 50 - 59 2014年12月
-
Mitigating the spread of a virus in the internet 査読
Thanh Dang Nguyen, Francois Bonnet, Xavier Defago
Proc. IEEE Symposium on Reliable Distributed Systems Workshops (SRDSW) 14 - 19 2014年12月
-
Reliability prediction for component-based software systems with architectural-level fault tolerance mechanisms (Extended version) 査読
Thanh Trung Pham, François Bonnet, Xavier Défago
Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications 5 ( 1 ) 4 - 36 2014年3月
-
Tight bound on mobile byzantine agreement 査読
François Bonnet, Xavier Défago, Thanh Dang Nguyen, Maria Potop-Butucaru
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8784 76 - 90 2014年
-
A taxonomy of congestion control techniques for TCP in wired and wireless networks 査読
Lee Chin Kho, Xavier Defago, Azman Osman Lim, Yasuo Tan
IEEE Symposium on Wireless Technology and Applications, ISWTA 147 - 152 2013年
-
Decreasing the locks by isolating the concurrent execution in microprotocol framework 査読
Daiki Higashihata, Xavier Defago
Proceedings - 2013 1st International Symposium on Computing and Networking, CANDAR 2013 247 - 251 2013年
-
Reliability prediction for component-based software systems with architectural-level fault tolerance mechanisms 査読
Thanh Trung Pham, Xavier Defago
Proceedings - 2013 International Conference on Availability, Reliability and Security, ARES 2013 11 - 20 2013年
-
Preface
Défago Xavier
Theor. Comput. Sci. 2013年
-
A fast and robust optimistic total order broadcast for online video games 査読
Samuel Bernard, Xavier Défago, Sébastien Tixeuil
Proceedings - 26th IEEE International Conference on Advanced Information Networking and Applications Workshops, WAINA 2012 189 - 196 2012年
-
Reliability prediction for component-based systems: Incorporating error propagation analysis and different execution models 査読
Thanh Trung Pham, Xavier Défago
Proceedings - International Conference on Quality Software 106 - 115 2012年
-
Brief announcement: Discovering and assessing fine-grained metrics in robot networks protocols 査読
François Bonnet, Xavier Défago, Franck Petit, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7596 LNCS 282 - 284 2012年
-
Fault-tolerant flocking for a group of autonomous mobile robots 査読
Yan Yang, Samia Souissi, Xavier Défago, Makoto Takizawa
Journal of Systems and Software 84 ( 1 ) 29 - 36 2011年1月
-
Exploration and surveillance in multi-robots networks 査読
François Bonnet, Xavier Défago
Proceedings - 2011 2nd International Conference on Networking and Computing, ICNC 2011 342 - 344 2011年
-
The cost of probabilistic agreement in oblivious robot networks 査読
Julien Clement, Xavier Défago, Maria Gradinariu Potop-Butucaru, Taisuke Izumi, Stephane Messika
Information Processing Letters 110 ( 11 ) 431 - 438 2010年5月
-
Fault-tolerant flocking of mobile robots with whole formation rotation 査読
Yan Yang, Samia Souissi, Xavier Défago, Mokoto Takizawa
Proceedings - International Conference on Advanced Information Networking and Applications, AINA 830 - 837 2009年
-
Self-stabilized flocking of a group of mobile robots under memory corruption 査読
Yan Yang, Xavier Défago, Mokoto Takizawa
NBiS 2009 - 12th International Conference on Network-Based Information Systems 532 - 538 2009年
-
A novel numerical algorithm based on self-tuning controller to support TCP flows 査読
N. Xiong, L. T. Yang, Y. Yang, X. Défago, Y. He
Mathematics and Computers in Simulation 79 ( 4 ) 1178 - 1188 2008年12月
-
Dynamic scheduling real-time task using primary-backup overloading strategy for multiprocessor systems 査読
Wei Sun, Chen Yu, Xavier Défago, Yasushi Inoguchi
IEICE Transactions on Information and Systems E91-D ( 3 ) 796 - 806 2008年3月
-
A decentralized and adaptive flocking algorithm for autonomous mobile robots 査読
Yan Yang, Naixue Xiong, Young Chong Nak, Xavier Défago
Proceedings - 3rd International Conference on Grid and Pervasive Computing Symposia/Workshops, GPC 2008 262 - 268 2008年
-
Fault-tolerant flocking in a k-bounded asynchronous system 査読
Samia Souissi, Yan Yang, Xavier Défago
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5401 LNCS 145 - 163 2008年
-
An energy efficient routing scheme for mobile wireless sensor networks 査読
Lan Tien Nguyen, Xavier Defago, Razvan Beuran, Yoichi Shinoda
ISWCS'08 - Proceedings of the 2008 IEEE International Symposium on Wireless Communication Systems 568 - 572 2008年
-
Causal Order, Logical Clocks, State Machine Replication
Défago Xavier
Encyclopedia of Algorithms 2008年
-
Atomic Broadcast
Défago Xavier
Encyclopedia of Algorithms 2008年
-
Collision prevention using group communication for asynchronous cooperative mobile robots 査読
Rami Yared, Xavier Défago, Matthias Wiesmann
Proceedings - International Conference on Advanced Information Networking and Applications, AINA 244 - 249 2007年
-
Locality-preserving distributed path reservation protocol for asynchronous cooperative mobile robots 査読
Rami Yared, Julien Cartigny, Xavier Défago, Matthias Wiesmann
Proceedings - Eighth International Symposium on Autonomous Decentralized Systems, ISADS 2007 188 - 195 2007年
-
Comparative analysis of QoS and memory usage of adaptive failure detectors 査読
Naixue Xiong, Y. Yang, Xavier Défago
Proceedings - 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007 27 - 34 2007年
-
Robust self-deployment for a swarm of autonomous mobile robots with limited visibility range 査読
Geunho Lee, Nak Young Chong, Xavier Defago
Proceedings - IEEE International Workshop on Robot and Human Interactive Communication 925 - 930 2007年
-
Hybrid overloading and stochastic analysis for redundant scheduling in real-time multiprocessor systems 査読
Wei Sun, Yuanyuan Zhang, Chen Yu, Xavier Defago, Yasushi Inoguchi
Proceedings of the IEEE Symposium on Reliable Distributed Systems 265 - 274 2007年
-
Real-time task scheduling using extended overloading technique for multiprocessor systems 査読
Wei Sun, Chen Yu, Yuanyuan Zhang, Xavier Defago, Yasushi Inoguchi
Proceedings - IEEE International Symposium on Distributed Simulation and Real-Time Applications, DS-RT 95 - 102 2007年
-
Anonymous stabilizing leader election using a network sequencer 査読
Matthias Wiesmann, Xavier Défago
Proceedings - International Conference on Advanced Information Networking and Applications, AINA 673 - 678 2007年
-
Collision prevention platform for a dynamic group of asynchronous cooperative mobile robots 査読
Rami Yared, Xavier Défago, Julien Iguchi-Cartigny, Matthias Wiesmann
Journal of Networks 2 ( 4 ) 28 - 39 2007年
-
Fault-tolerant and self-stabilizing mobile robots gathering 査読
Xavier Défago, Maria Gradinariu, Stéphane Messika, Philippe Raipin-Parvédy
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4167 LNCS 46 - 60 2006年
-
Gathering asynchronous mobile robots with inaccurate compasses 査読
Samia Souissi, Xavier Défago, Masafumi Yamashita
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4305 LNCS 333 - 349 2006年
-
End-to-end consensus using end-to-end channels 査読
Matthias Wiesmann, Xavier Défago
Proceedings - 12th Pacific Rim International Symposium on Dependable Computing, PRDC 2006 341 - 350 2006年
-
An SNMP based failure detection service 査読
Matthias Wiesmann, Péter Urbán, Xavier Défago
Proceedings of the IEEE Symposium on Reliable Distributed Systems 365 - 374 2006年
-
Using eventually consistent compasses to gather oblivious mobile robots with limited visibility
Sami Souissi, Xavier Defago, Masafumi Yamashita
STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, PROCEEDINGS 4280 484 - + 2006年
-
Design and analysis of a self-tuning proportional and integral controller for active queue management routers to support TCP flows 査読
Naixue Xiong, Xavier Défago, Xiaohua Jia, G. Yan, Yanxiang He
Proceedings - IEEE INFOCOM 2006年
-
A single-pass online data mining algorithm combined with control theory with limited memory in dynamic data streams 査読
Yanxiang He, Naixue Xiong, Xavier Défago, Yan Yang, Jing He
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3795 1119 - 1130 2005年
-
A brief comparative study on analytical models of computer system dependability and security 査読
Zonghua Zhang, Hong Shen, Xavier Defago, Yingpeng Sang
Parallel and Distributed Computing, Applications and Technologies, PDCAT Proceedings 2005 493 - 497 2005年
-
LRC-RED: A self-tuning robust and adaptive AQM scheme 査読
Naixue Xiong, Yan Yang, Xavier Défago, Yanxiang He
Parallel and Distributed Computing, Applications and Technologies, PDCAT Proceedings 2005 655 - 659 2005年
-
A resource-based server performance control for grid computing systems 査読
Naixue Xiong, Xavier Défago, Yanxiang He, Yan Yang
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3779 56 - 64 2005年
-
Towards a theory of self-organization 査読
E. Anceaume, X. Defago, M. Gradinariu, M. Roy
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3724 LNCS 505 - 506 2005年
-
Fault-tolerant group membership protocols using physical robot messengers 査読
Rami Yared, Xavier Défago, Takuya Katayama
Proceedings - International Conference on Advanced Information Networking and Applications, AINA 1 921 - 926 2005年
-
Information propagation on the φ failure detector 査読
Naohiro Hayashibara, Xavier Défago, Makoto Takizawa, Takuya Katayama
Proceedings - International Workshop on Database and Expert Systems Applications, DEXA 2006 72 - 76 2005年
-
An integrated system for distributed bioinformatics environment on Grids 査読
Kenji Satou, Yasuhiko Nakashima, Shin'ichi Tsuji, Xavier Defago, Akihiko Konagaya
Lecture Notes in Bioinformatics (Subseries of Lecture Notes in Computer Science) 3370 8 - 19 2005年
-
A survey of mobile agent-based fault-tolerant technology
Wenyu Qu, Hong Shen, Xavier Defago
Parallel and Distributed Computing, Applications and Technologies, PDCAT Proceedings 2005 446 - 450 2005年
-
Semi-passive replication and Lazy Consensus 査読
Xavier Défago, André Schiper
Journal of Parallel and Distributed Computing 64 ( 12 ) 1380 - 1398 2004年12月
-
Agent-based approach to dynamic meeting scheduling problems 査読
Ahlem Ben Hassine, Xavier Défago, Tu Bao Ho
Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004 3 1132 - 1139 2004年
-
Decomposition of fundamental problems for cooperative autonomous mobile systems 査読
Samia Souissi, Xavier D́fago, Takuya Katayama
Proceedings - International Conference on Distributed Computing Systems 24 554 - 560 2004年
-
Comparative performance analysis of ordering strategies in atomic broadcast algorithms
Defago, X, A Schiper, P Urban
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS E86D ( 12 ) 2698 - 2709 2003年12月
-
Asynchronous peer-to-peer communication for failure resilient distributed genetic algorithms 査読
José Carlos Clemente Litrán, Xavier Défago, Kenji Satou
Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Systems 15 ( 2 ) 769 - 773 2003年
-
Group communication based on standard interfaces 査読
M. Wiesmann, X. Défago, A. Schiper
Proceedings - 2nd IEEE International Symposium on Network Computing and Applications, NCA 2003 140 - 147 2003年
-
Neko: A single environment to simulate and prototype distributed algorithms 査読
Péter Urbán, Xavier Défago, André Schiper
Journal of Information Science and Engineering 18 ( 6 ) 981 - 997 2002年11月
-
Circle Formation for Oblivious Anonymous Mobile Robots with no Common Sense of Orientation 査読
Xavier Défago, Akihiko Konagaya
Proceedings of the ACM International Workshop on Principles of Mobile Commerce 97 - 104 2002年
-
Broadcasting messages in fault-tolerant distributed systems: The benefit of handling input-triggered and output-triggered suspicions differently 査読
Bernadette Charron-Bost, Xavier Défago, André Schiper
Proceedings of the IEEE Symposium on Reliable Distributed Systems 244 - 249 2002年
-
International workshop on self-repairing and self-configurable distributed systems 査読
Xavier Défago, Fernando Pedone
Proceedings of the IEEE Symposium on Reliable Distributed Systems 370 2002年
-
OBIGrid: A New Computing Platform for Bioinformatics
Konishi Fumikazu, Fukuzaki Akinobu, Satou Kenji, Yamamoto Tomoyuki, Defago Xavier, Konagaya Akihiko
Genome Informatics 13 484 - 485 2002年
-
Neko: A single environment to simulate and prototype distributed algorithms 査読
P. Urbán, X. Défago, A. Schiper
International Conference on Information Networking 2001-January 503 - 511 2001年
-
Impact of a failure detection mechanism on the performance of consensus 査読
Nicole Sergent, Xavier Défago, André Schiper
Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2001-January 137 - 145 2001年
-
Chasing the FLP impossibility result in a LAN or how robust can a fault tolerant server be? 査読
P. Urbán, X. Défago, A. Schiper
Proceedings of the IEEE Symposium on Reliable Distributed Systems 190 - 193 2001年
-
Time vs. space in fault-tolerant distributed systems 査読
B. Charron-Bost, X. Défago, A. Schiper
Proceedings of the Workshop on Object-Oriented Real-Time Dependable Systems (WORDS) 21 - 27 2001年
-
Failure detectors as first class objects 査読
Pascal Felber, Xavier Défago, Rachid Guerraoui, Philipp Oser
Proceedings of the International Symposium on Distributed Objects and Applications, DOA 1999 132 - 141 1999年
-
Optimization techniques for replicating CORBA objects 査読
Xavier Defago, Pascal Felber, Andre Schiper
Proceedings of the Workshop on Object-Oriented Real-Time Dependable Systems (WORDS) 2 - 8 1999年
-
Semi-passive replication 査読
Xavier Defago, Andre Schiper, Nicole Sergent
Proceedings of the IEEE Symposium on Reliable Distributed Systems 43 - 50 1998年
MISC
-
Active Modular Environment for Robot Navigation 査読
Shota Kameyama, Keisuke Okumura, Yasumasa Tamura, Xavier Défago
IEEE International Conference on Robotics and Automation(ICRA) 8636 - 8642 2021年2月
-
Iterative Refinement for Real-Time Multi-Robot Path Planning 査読
Keisuke Okumura, Yasumasa Tamura, Xavier Defago
IEEE/RSJ International Conference on Intelligent Robots and Systems(IROS) 9690 - 9697 2021年2月
-
時系列障害原因分析による推論QoS規則導出手法
今野賢, 今野賢, DEFAGO Xavier, 冨田尭, 井口寧
情報処理学会デジタルプラクティス(Web) 12 ( 3 ) 2021年
-
Resilient Consensus Against Epidemic Malicious Attacks
Yuan Wang, Hideaki Ishii, François Bonnet, Xavier Défago
2020年12月
-
Resilient Consensus Against Mobile Malicious Agents.
Yuan Wang, Hideaki Ishii, François Bonnet 0001, Xavier Défago
CoRR abs/2006.11711 2020年
-
Time-Independent Planning for Multiple Moving Agents.
Keisuke Okumura, Yasumasa Tamura, Xavier Défago
CoRR abs/2005.13187 2020年
-
Stateless Distributed Ledgers.
François Bonnet 0001, Quentin Bramas, Xavier Défago
CoRR abs/2006.10985 2020年
-
Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space.
Xavier Défago, Adam Heriban, Sébastien Tixeuil, Koichi Wada
CoRR abs/1907.09871 2019年
-
Priority Inheritance with Backtracking for Iterative Multi-agent Path Finding.
Keisuke Okumura, Manao Machida, Xavier Défago, Yasumasa Tamura
CoRR abs/1901.11282 2019年
-
winPIBT: Expanded Prioritized Algorithm for Iterative Multi-agent Path Finding.
Keisuke Okumura, Yasumasa Tamura, Xavier Défago
CoRR abs/1905.10149 2019年
-
Optimal Rendezvous L-Algorithms for Asynchronous Mobile Robots with External-Lights.
Takashi Okumura, Koichi Wada, Xavier Défago
CoRR abs/1804.01368 2018年
-
Optimally Gathering Two Robots.
Adam Heriban, Xavier Défago, Sébastien Tixeuil
CoRR abs/1708.06183 2017年
-
Causal Order, Logical Clocks, State Machine Replication 招待
Xavier Défago
Encyclopedia of Algorithms 283 - 286 2016年
-
Xavier Défago
Encyclopedia of Algorithms 155 - 160 2016年
-
Fault and Byzantine tolerant self-stabilizing mobile robots gathering : a feasibility study
Défago Xavier, Potop-Butucaru Maria Gradinariu, Clémente Julien, Messika Stéphane, Raipin-Parvédy Philippe
Research report 2015 1 - 24 2015年2月
-
2A2-J01 群ロボットの目標形状への収束度の評価手法 : 正三角形格子を例として(スワームロボティクス)
神ノ尾 淳, デファゴ クサビエ, 丁 洛榮, 李 根浩
ロボティクス・メカトロニクス講演会講演概要集 2014 "2A2 - J01(1)"-"2A2-J01(4)" 2014年5月
-
A framework for proving the self-organization of dynamic systems
Emmanuelle Anceaume, Xavier Défago, Maria Potop-Butucaru, Matthieu Roy
2010年11月
-
モバイルロボット群向け eventual leader election の提案
東原大記, MarinBertier, XavierDefago, 林原尚浩, MichelRaynal, 滝沢誠
マルチメディア通信と分散処理ワークショップ2007論文集 2007 ( 9 ) 87 - 88 2007年10月
-
モバイルロボット間における先読み機能を有した経路予約システムの提案
東原 大記, Rami Yared, Xavier Defago
マルチメディア通信と分散処理ワークショップ2007論文集 2007 ( 9 ) 231 - 236 2007年10月
-
東原 大記, Rami Yared, Xavier Defago, Matthias Wiesman
情報処理学会研究報告マルチメディア通信と分散処理（DPS） 2006 ( 121 ) 59 - 64 2006年11月
-
Information Propagation on the varphi Failure Detector
Naohiro Hayashibara, Xavier Defago, Makito Takizawa, Takuya Katayama
情報処理学会研究報告マルチメディア通信と分散処理（DPS） 2005 ( 58 ) 25 - 30 2005年6月
-
On Accrual Failure Detectors
Defago Xavier, Urban Peter, Hayashibara Naohiro, Katayama Takuya
Research report 2004 1 - 14 2004年5月
-
The φ Accrual Failure Detector
Hayashibara Naohiro, Defago Xavier, Yared Rami, Katayama Takuya
Research report 2004 1 - 15 2004年5月
-
Flexible Failure Detection with к-FD
Hayashibara Naohiro, Defago Xavier, Katayama Takuya
Research report 2004 1 - 12 2004年2月
-
Implementation and Performance Analysis of the φ-Failure Detector
Hayashibara Naohiro, Defago Xavier, Katayama Takuya
Research report 2003 1 - 14 2003年10月
共同研究・競争的資金等の研究課題
-
自律分散ロボット群の理論モデルの再考察と新機軸の創出
研究課題/領域番号：25K03079 2025年4月 - 2029年3月
日本学術振興会 科学研究費助成事業 基盤研究(B)
和田 幸一, DEFAGO Xavier, 金 鎔煥, 首藤 裕一
配分額：18720000円 （ 直接経費：14400000円 、 間接経費：4320000円 ）
-
協調型自動運転を包括的に支援するサイバーフィジカルシステム基盤
研究課題/領域番号：21H03423 2021年4月 - 2024年3月
日本学術振興会 科学研究費助成事業 基盤研究(B) 基盤研究(B)
塚田 学, 田村 康将, DEFAGO Xavier
配分額：17290000円 （ 直接経費：13300000円 、 間接経費：3990000円 ）
本研究では、協調型自動運転を支援するサイバーフィジカルシステム基盤の構築に取り組んだ。ゼロ知識証明を用いた車両識別プロトコル、適応型ポテンシャル場とクロソイド曲線を組み合わせた緊急停止経路計画手法、V2X通信と路側知覚ユニットの統合、ブロックチェーンとフェデレーテッド・ラーニングを用いたデータ共有手法、決定論的かつプライバシー保護型の相互検証メカニズムを開発した。これらの技術は、協調型自動運転の実現に向けた重要な基盤となることが期待される。
-
自律分散ロボットアルゴリズムの形式的検証に対する実用的な枠組み
研究課題/領域番号：21K11748 2021年4月 - 2024年3月
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C)
DEFAGO Xavier, 和田 幸一, 田村 康将
配分額：4030000円 （ 直接経費：3100000円 、 間接経費：930000円 ）
The project aims at applying model checking to automatically verify the correctness of multi-robot algorithms and the problem of rendezvous in particular. Based on several important theorems that we have proved, we have developed a verification model that allows us to automatically verify the correctness of a given rendezvous algorithm in a model-checker (SPIN). Our model is designed to be conservative in the sense that, if an algorithm A passes the verification in the model, then this algorithm is correct in the real-world but the reverse is not true (A could be correct in the real-world even if it fails in the model).
<BR>
During this year, we have been able to extend the verification model by proving some important theorems that allow us to extend the model to verify additional properties of self-stabilization.
In addition, we have also used the model to develop algorithm synthesis. In short, this is a program which, given the description of a model (type of lights, number of colors, level of synchrony), will generate all possible algorithms, filter them to keep only those that are viable, and use the model-checker to find if they are correct. As long as the number of algorithms that remain after the filtering is not too high (about 100,000 or less), the exhaustive search is feasible. -
自律分散ロボット群の計算限界ー記憶，通信，同期度が計算能力に及ぼす影響について
研究課題/領域番号：20K11685 2020年4月 - 2023年3月
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C)
和田 幸一, DEFAGO Xavier
配分額：4290000円 （ 直接経費：3300000円 、 間接経費：990000円 ）
本研究は，ロボットが記憶できる能力，ロボット間の通信能力，ロボットを動作させる同期度がロボット群の計算能力に及ぼす影響を解明することを目的としている．ロボットに搭載するライトは自身も他のロボットも認識できるモデル（LUMI)，自身のライトのみを認識するモデル（FSTA)，他のロボットのみが認識できるモデル（FCOM)がある．FSTAモデルにおいては，定数有限状態を持つだけで通信不可であると考える．また，FCOMロボットモデルにおいては，ライトの色を見せることによって他のロボットと直接通信可能となるが，自身のライトの色は見えないため，次のサイクルでは通信内容を忘れてしまう，すなわち，ロボットは通信可能だが無記憶であると考える．それぞれのモデルの計算能力を同期度と合わせて明らかにすることが本研究の目的である．この目的に対して，令和2年度では，持続性メモリと直接的通信が動作スケジュールに対してどのように影響するかを明らかにした．まず全同期(Fsynch)と半同期(Ssynch)におけるこれまでの結果をもとに，Ssynch とFsynchにおける持続性メモリと直接的通信による能力の限界を明らかにした．令和3年度では，これらの結果を拡張し，ロボットが持つ機能を限定しても同様の結果が成り立つことを示した．また，FsynchとSsynchの中間に位置するクラス(Rsynch)と呼ばれるクラスを導入し，Fsynch，Rsynch，Ssynchの相互関係を完全に解明した．また，Rsynchはエネルギーを制限したロボット群の能力と一致することを示し，エネルギーの制限されたロボット群の計算能力を議論できる枠組みを与え，エネルギー無制限のロボット群との能力の差を明らかにした．
-
CPSに基づいた自律分散ロボット群に対する理論的モデル化とその計算限界の解明
研究課題/領域番号：17K00019 2017年4月 - 2020年3月
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C)
和田 幸一, DEFAGO Xavier
配分額：4420000円 （ 直接経費：3400000円 、 間接経費：1020000円 ）
従来の自律分散ロボット群モデルにロボットがライト（状態）を搭載することによる計算能力の限界を明らかにした．特に，ライトが自身と他のロボットがともに認識できる場合（full-light)，他のロボットのみが認識できる場合(external-light)に対して，ライトの色数最小のランデブーアルゴリズムを開発した．また，ロボットの動作仮定に関して，移動位置まで必ず到達する場合(rigid)，必ずしも移動位置まで到達しない場合(non-rigid)を考慮している．non-rigidの場合は全く移動しないと問題が解けなくなるため，最小移動距離(δ>0)は移動するものと仮定している．このδの値をロボットが知っている場合(non-rigid+δ)も考察している．具体的に得られた成果は以下の通りである．
<BR>
(1) ロボットが非同期に動作する(ASYNC)とき，ランデブーはnon-rigid+δを仮定した場合，2色のfull-lightで解ける．非同期を少し制限したモデル(LCatomicASUNC)の場合，ランデブーはnon-rigidの下で2色のfull-lightで解ける．
<BR>
(2) アルゴリズムの動作をライトの状態だけで決定するアルゴリズムをL-アルゴリズムと呼ぶ．L-アルゴリズムを用いた場合は，ASYNCにおいては任意の色数を持つexternal-lightを用いてもランデブーは解けないことが示されていた．ここでは，LC-atomic ASYNCにおいて，external-lightにおける色数最適なL-アルゴリズムが構成できることを示した．特に，非自己安定，擬似自己安定，自己安定のそれぞれの場合について，色数が最適なL-アルゴリズムを示した． -
分散環境における超並列計算に対する計算限界の解明とその計算パラダイムの創出
研究課題/領域番号：26330020 2014年4月 - 2017年3月
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C)
和田 幸一, DEFAGO Xavier
配分額：4810000円 （ 直接経費：3700000円 、 間接経費：1110000円 ）
本研究は，ビッグデータ処理に適した新しい超大規模並列計算モデルの創出を目指し，MapReduce計算における理論モデルを確立し，その計算限界を解明することを目的としている．(1)従来のモデルと並列アルゴリズムの整理と検討，(2)MapReduce理論モデルの確立とその基本演算の実現，(3)MapReduce計算に対する計算限界の解明，(4)ビッグデータの特徴と耐故障計算とモデルとの関係の解明などを行った．
-
自律分散ロボット群向けの実用的非同期モデルの設計と耐故障分散アルゴリズムの研究
研究課題/領域番号：23500060 2011年 - 2013年
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C)
DEFAGO Xavier
配分額：3900000円 （ 直接経費：3000000円 、 間接経費：900000円 ）
本研究では、フォールトトレラントで信頼性の高いマルチロボットシステムの開発を改善することを目指しています。そのため、移動ロボット群、フォールトトレラント分散システム、アルゴリズム等の分野の関連を研究します。特に、理論的なモデルと問題でも、その実用さを考え直す事が必要です。
本研究では、以下の結果も含む：①一部のロボットが故障しても全体が進めるアルゴリズム、②グラフ探検、③行動計画作成、④カスケード接続の障害。 -
複数の環境に適応可能な移動ロボット群向けの分散アルゴリズム設計
研究課題/領域番号：10F00720 2010年 - 2012年
日本学術振興会 科学研究費助成事業 特別研究員奨励費 特別研究員奨励費
DEFAGO Xavier, BONNET Francois
配分額：1600000円 （ 直接経費：1600000円 ）
本プロジェクトでは、自律移動ロボット群向けの協調および合意問題に対する研究を行う。
平成24年度は、自律エージェントのグループがグラフを描くために協調するという拡張問題についての成果を主に得た。研究代表者らは以下の2つのソフトウェアツールを開発した。
1つ目のプログラムは、環境の抽象的表現を入力情報としてとり、あらゆる探索アルゴリズムを生成する。本ツールにより、逆に、不能問題にはアルゴリズムが存在しないということを証明することができた。本成果は、他の研究者による既存論文の誤りの指摘に役立っている。
2つ目のプログラムは、専門的なモデルチェックツールである。探索プログラムの正確性を自動的にチェックする。環境サイズ、ロボット数といった特定のパラメーターにより、本ツールは(1)アルゴリズムが構文的に正しいか、(2)アルゴリズムが安全か(たとえば、衝突の回避が保証できるか)、そして(3)アルゴリズムが正確か(たとえば、探索が必ず成功するか)を示す。現在のところ、本ツールはリングトポロジーのみで動作する。
予備的な研究結果はSSS国際会議(SSS2012:14th International Symposium on Stabilization, Safety, and Security of Distributed Systems)で発表済みであり、最終的な成果は今後発表予定である。 -
Failure Detection Service as a First-Class Citizen in Distributed Systems
2007年 - 2009年
The Other Research Programs
資金種別：競争的資金
-
自己組織群ロボット分散制御のための高信頼グループ通信ミドルウェアの構築
2006年 - 2009年
Grant-in-Aid for Scientific Research
資金種別：競争的資金
-
自己組織群ロボット分散制御のための高信頼グループ通信ミドルウェアの構築
研究課題/領域番号：18680007 2006年 - 2008年
日本学術振興会 科学研究費助成事業 若手研究(A) 若手研究(A)
デファゴ クサビエ
配分額：28080000円 （ 直接経費：21600000円 、 間接経費：6480000円 ）
The main results of the research project are as follows;
- We have designed and developed a mobility platform to avoid collisions between robots moving independently.
- We have identified several coordination problems for robot self-organization and proposed robust algorithms to solve them.
- We have found several impossibility results and proposed for the first time to use randomized algorithms for robot cooperation in the presence of faulty robots (crash and Byzantine). -
高信頼性大規模分散システムのための拡張性の高いファジー故障検出フレームワーク
研究課題/領域番号：18049032 2006年
日本学術振興会 科学研究費助成事業 特定領域研究 特定領域研究
DEFAGO Xavier, 林原 尚浩
配分額：3500000円 （ 直接経費：3500000円 ）
本プロジェクトでは拡張性の高いファジー故障検出フレームワークの実現のために,既存のアドホックな実装とは異なり,故障検出器の形式的なモデルであるaccrual failure detectorsモデルに基づいた故障検出器を実装し,その性能評価,ネットワークトラフィックの変動への適応性に関して評価を行った.これによって,この故障検出器が,適切なパラメータのチューニングを行うことによって,高い精度で故障検出を行うことを確認した.
次に,トラフィック情報や故障検出器同士の協調動作を行うために,SNMP(Simple Network Management Protocol)を用いた故障監視プロトコルと故障検出器用のMIB(Management Information Base)を実装し,評価を行った.SNMPを用いた故障監視プロトコルは,非常に軽量で,全ての設定をSNMPを用いて容易に行うことができ,ポータビリティに優れていることを実証した.
さらに,故障検出器が検出した故障情報をシステム全体に伝搬するプロトコルを提案した.この故障情報伝搬プロトコルは,自律的に故障検出器同士が伝搬に必要なネットワークを構成し,故障検出器の傷害が起こった場合には,再構成を行うことができる.
故障検出器の応用事例として,提案した故障検出機構を用いたアノニマス・リーダ選択プロトコルを実装し,その評価を行った. -
大規模モバイルアドホックネットワークのための省電力耐故障全順序放送プロトコルに関する研究
研究課題/領域番号：04F04786 2004年 - 2005年
日本学術振興会 科学研究費助成事業 特別研究員奨励費 特別研究員奨励費
DEFAGO Xavier, CARTIGNY Julien
配分額：1100000円 （ 直接経費：1100000円 ）
1年の研究期間で、大規模なモバイルアドホックネットワークのための新しいルーティング・アルゴリズムを開発した。我々は、モバイルシステムのために、この新しいアルゴリズムと既存のルーティング・アルゴリズムとを比較した。実験の結果は、エネルギー消費と成功率のみならず、拡張性に関してもかなりの改善があることを示した。特に、この新しいアルゴリズムは、既存の方法よりも一桁制御メッセージが少ないものを使用しており、よりよい拡張性を備えている。すなわち、複雑なメッセージが他のプロトコルよりも少ない。加えて、このプロトコルは、局所計算などは要求しない。我々は、その結果をネットワークに関する国際学会の一つであるIEEE INFOCOM 2006に提出した。
さらに、我々は以前より、モバイルロボット群のためのモバイルアドホックコミュニケーションにも取り組み始めており、モバイルロボットが目指す、アドホックネットワーク上での全順序放送のために、プロトコルを開発している。そのプロトコルは、移動ロボットが互いに衝突するのを防ぐリザベーションプラットホームの中心部分である。原稿は準備中で、分散型コンピューターシステムの国際学会であるIEEE ICDCS 2006に提出する予定である。 -
2002年 - 2006年
科学技術振興機構 戦略的な研究開発の推進 戦略的創造研究推進事業 さきがけ
Defago Xavier
担当区分：研究代表者 資金種別：競争的資金
大規模分散アルゴリズムの設計は非常に活発で有望な研究分野ですが、既存のアルゴリズムのスケーラビリティを実際に評価する研究はこれまであまり見られませんでした。本研究では、この問題に対応するため、LANまたはStarBedを用いて、プログラムのシミュレーションや実行のための通信プラットフォームを研究開発します。更に、耐故障分散アルゴリズムの性能比較を行い、このアプローチの評価を行ないます。
担当経験のある科目（授業）
-
フォールトトレラント分散アルゴリズム
2019年9月 - 現在 機関名：東京工業大学
科目区分：大学院専門科目 国名：日本国
-
分散アルゴリズム
2017年4月 - 現在 機関名：東京工業大学
科目区分：大学院専門科目 国名：日本国
-
情報リテラシー I,II
2016年4月 - 現在 機関名：東京工業大学
科目区分：学部教養科目 国名：日本国
-
コンピュター・サイエス I,II
2016年4月 - 現在 機関名：東京工業大学
科目区分：学部教養科目 国名：日本国
-
ソフトウェアプロジェクト管理(国際PBL)
2018年2月 - 2021年3月 機関名：東京工業大学
科目区分：大学院教養科目 国名：日本国
-
分散システム
2009年4月 - 2016年3月 機関名：北陸先端科学技術大学院大学
科目区分：大学院教養科目 国名：日本国
-
コンピュターシステム性能評価
2009年4月 - 2014年3月 機関名：北陸先端科学技術大学院大学
科目区分：大学院教養科目 国名：日本国
-
オペレーティング・システム
2008年4月 - 2016年3月 機関名：北陸先端科学技術大学院大学
科目区分：学部専門科目 国名：日本国
-
Fault-tolerant distributed systems and group communication
2005年4月 - 2007年3月 機関名：北陸先端科学技術大学院大学
科目区分：大学院専門科目 国名：日本国
-
分散アルゴリズム
2004年4月 - 2006年3月 機関名：北陸先端科学技術大学院大学
科目区分：大学院専門科目 国名：日本国
-
オブジェクト指向プログラミング
1998年10月 - 1999年6月 機関名：スイス連邦工科大学・ローザンヌ校
科目区分：学部専門科目 国名：スイス連邦