Swiss Federal Institute of Technology, Lausanne (EPFL)   Department of Computer Science   Assistant

1996.9 - 2000.8

Priority inheritance with backtracking for iterative multi-agent path finding. Reviewed

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. Reviewed

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 Reviewed

Xavier Défago, Maria Potop-Butucaru, Philippe Raipin-Parvédy

Distributed Computing   33   393 - 421   2020

Tight bound on mobile Byzantine Agreement Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

Xavier Défago, Samia Souissi

Theoretical Computer Science   396 ( 1-3 )   97 - 112   2008.5

Definition and specification of accrual failure detectors Reviewed

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 Reviewed

Xavier Défago, André Schiper, Péter Urban

ACM Computing Surveys   36 ( 4 )   372 - 421   2004.12

The φ accrual failure detector Reviewed

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. Reviewed

Yuji Yamazaki, Yasumasa Tamura, Xavier Défago, Ehsan Javanmardi, Manabu Tsukada

25th IEEE International Conference on Intelligent Transportation Systems(ITSC)   3597 - 3604   2023

Mixed-traffic Intersection Management using Traffic-load-responsive Reservation and V2X -enabled Speed Coordination. Reviewed

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. Reviewed

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

Solving Simultaneous Target Assignment and Path Planning Efficiently with Time-Independent Execution. Reviewed

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. Reviewed

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. Reviewed

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. Reviewed

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. Reviewed

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. Reviewed

Keisuke Okumura, Yasumasa Tamura, Xavier Défago

Proc. AAAI Conf. on Artificial Intelligence (AAAI-21)   11299 - 11307   2021

Time-Independent Planning for Multiple Moving Agents. Reviewed

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. Reviewed

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. Reviewed

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. Reviewed

François Bonnet, Quentin Bramas, Xavier Défago

Proc. International Conference on Networked Systems (NETYS)   349 - 354   2020

Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space. Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

Takashi Okumura, Koichi Wada, Xavier Défago

Leibniz International Proceedings in Informatics, LIPIcs   125   24 - 16   2019.1

Fault-tolerant mobile Robots Invited

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

Alexandre Maurer, Sebastien Tixeuil, Xavier Defago

Proc. IEEE Symposium on Reliable Distributed Systems (SRDS)   238 - 245   2016.1

Flocking with oblivious robots Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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) Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

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

GI   13   484 - 485   2002

Neko: A single environment to simulate and prototype distributed algorithms Reviewed

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 Reviewed

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? Reviewed

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 Reviewed

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 Reviewed

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 Reviewed

Xavier Defago, Pascal Felber, Andre Schiper

Proceedings of the Workshop on Object-Oriented Real-Time Dependable Systems (WORDS)   2 - 8   1999

Semi-passive replication Reviewed

Xavier Defago, Andre Schiper, Nicole Sergent

Proceedings of the IEEE Symposium on Reliable Distributed Systems   43 - 50   1998

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 Invited

Xavier Défago

Encyclopedia of Algorithms   283 - 286   2016

Atomic Broadcast Invited

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 Degree of Formation Shape Convergence in Swarm Robots : Let Equilateral Triangle Formation Be an Example(Swarm Robotics)

SHINNOH Atsushi, DEFAGO Xavier, CHONG NakYoung, LEE Geunho

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

Motion reservation system with looking a head for multiple mobile robots

2007 ( 9 )   231 - 236   2007.10

The study of moving path reservation system for distributed autonomous mobile robot

HIGASHIHARA DAIKI, YARED RAMI, DEFAGO XAVIER, WIESMAN MATTHIAS

IPSJ SIG Notes   2006 ( 121 )   59 - 64   2006.11

Information Propagation on the varphi Failure Detector

HAYASHIBARA NAOHIRO, DEFAGO XAVIER, TAKIZAWA MAKOTO, KATAYAMA TAKUYA

IPSJ SIG Notes   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

Limitations of Massively Parallel Computation on Distributed Environment

Grant number：26330020  2014.4 - 2017.3

Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (C)  Grant-in-Aid for Scientific Research (C)

WADA Koichi

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

Grant number：23500060  2011 - 2013

Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research Grant-in-Aid for Scientific Research (C)  Grant-in-Aid for Scientific Research (C)

DEFAGO Xavier

複数の環境に適応可能な移動ロボット群向けの分散アルゴリズム設計

Grant number：10F00720  2010 - 2012

日本学術振興会  科学研究費助成事業 特別研究員奨励費  特別研究員奨励費

DEFAGO Xavier, BONNET Francois

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 

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

Grant number：18680007  2006 - 2008

Japan Society for the Promotion of Science  Grants-in-Aid for Scientific Research Grant-in-Aid for Young Scientists (A)  Grant-in-Aid for Young Scientists (A)

DEFAGO Xavier

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

Grant number：18049032  2006

日本学術振興会  科学研究費助成事業 特定領域研究  特定領域研究

DEFAGO Xavier, 林原 尚浩

大規模モバイルアドホックネットワークのための省電力耐故障全順序放送プロトコルに関する研究

Grant number：04F04786  2004 - 2005

日本学術振興会  科学研究費助成事業 特別研究員奨励費  特別研究員奨励費

DEFAGO Xavier, CARTIGNY Julien

大規模分散アルゴリズム開発及び性能評価のツール構築

2002 - 2006

JST Basic Research Programs (Precursory Research for Embryonic Science and Technology :PRESTO) 

Distributed Systems

2009.4 - 2016.3 Institution：Japan Advanced Institute of Science and Technology

Computer Systems Performance Evaluation

2009.4 - 2014.3 Institution：Japan Advanced Institute of Science and Technology

Operating Systems

2008.4 - 2016.3 Institution：Japan Advanced Institute of Science and Technology

Fault-tolerant distributed systems and group communication

2005.4 - 2007.3 Institution：Japan Advanced Institute of Science and Technology

Distributed Algorithms

2004.4 - 2006.3 Institution：Japan Advanced Institute of Science and Technology

Object-Oriented Programming

1998.10 - 1999.6 Institution：Swiss Federal Institute of Technology, Lausanne (EPFL)