Xavier Défago

According to our database, Xavier Défago authored at least 112 papers between 1997 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Optimal L-algorithms for rendezvous of asynchronous mobile robots with external-lights.

Takashi Okumura, Koichi Wada, Xavier Défago

Theor. Comput. Sci., November, 2023

Offline Time-Independent Multiagent Path Planning.

Keisuke Okumura, François Bonnet, Yasumasa Tamura, Xavier Défago

IEEE Trans. Robotics, August, 2023

Solving simultaneous target assignment and path planning efficiently with time-independent execution.

Keisuke Okumura, Xavier Défago

Artif. Intell., August, 2023

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

Robotics Auton. Syst., May, 2023

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

Nicholaus D. Yosodipuro, Ehsan Javanmardi, Jin Nakazato, Yasumasa Tamura, Xavier Défago, Manabu Tsukada

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

ToST: Tokyo SUMO Traffic Scenario.

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

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

Quick Multi-Robot Motion Planning by Combining Sampling and Search.

Keisuke Okumura, Xavier Défago

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Message from the DSN 2023 Program Chairs.

Onur Mutlu, Xavier Défago

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Network, 2023

2022

Resilient Real-Valued Consensus in Spite of Mobile Malicious Agents on Directed Graphs.

Yuan Wang, Hideaki Ishii, François Bonnet, Xavier Défago

IEEE Trans. Parallel Distributed Syst., 2022

Resilient Consensus for Multi-Agent Systems Under Adversarial Spreading Processes.

Yuan Wang, Hideaki Ishii, François Bonnet, Xavier Défago

IEEE Trans. Netw. Sci. Eng., 2022

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 Cryptol. ePrint Arch., 2022

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

Keisuke Okumura, Manao Machida, Xavier Défago, Yasumasa Tamura

Artif. Intell., 2022

Offline Time-Independent Multi-Agent Path Planning.

Keisuke Okumura, François Bonnet, Yasumasa Tamura, Xavier Défago

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Self-Triggered Ternary Control for Resilient Consensus against Mobile Adversarial Agents.

Hiroki Matsume, Yuan Wang, Hideaki Ishii, Xavier Défago

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021

Roadside-Assisted Cooperative Planning using Future Path Sharing for Autonomous Driving.

Mai Hirata, Manabu Tsukada, Keisuke Okumura, Yasumasa Tamura, Hideya Ochiai, Xavier Défago

Proceedings of the 94th IEEE Vehicular Technology Conference, 2021

Iterative Refinement for Real-Time Multi-Robot Path Planning.

Keisuke Okumura, Yasumasa Tamura, Xavier Défago

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Active Modular Environment for Robot Navigation.

Shota Kameyama, Keisuke Okumura, Yasumasa Tamura, Xavier Défago

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

Resilient Consensus Against Epidemic Malicious Attacks.

Yuan Wang, Hideaki Ishii, François Bonnet, Xavier Défago

Proceedings of the 2021 European Control Conference, 2021

Time-Independent Planning for Multiple Moving Agents.

Keisuke Okumura, Yasumasa Tamura, Xavier Défago

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Self-stabilizing gathering of mobile robots under crash or Byzantine faults.

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

Distributed Comput., 2020

Communication Efficient Self-Stabilizing Leader Election (Full Version).

Xavier Défago, Yuval Emek, Shay Kutten, Toshimitsu Masuzawa, Yasumasa Tamura

CoRR, 2020

Resilient Consensus Against Mobile Malicious Agents.

Yuan Wang, Hideaki Ishii, François Bonnet, Xavier Défago

CoRR, 2020

Communication Efficient Self-Stabilizing Leader Election.

Xavier Défago, Yuval Emek, Shay Kutten, Toshimitsu Masuzawa, Yasumasa Tamura

Proceedings of the 34th International Symposium on Distributed Computing, 2020

Stateless Distributed Ledgers.

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

Proceedings of the Networked Systems - 8th International Conference, 2020

2019

Fault-Tolerant Mobile Robots.

Xavier Défago, Maria Potop-Butucaru, Sébastien Tixeuil

Proceedings of the Distributed Computing by Mobile Entities, 2019

winPIBT: Expanded Prioritized Algorithm for Iterative Multi-agent Path Finding.

Keisuke Okumura, Yasumasa Tamura, Xavier Défago

CoRR, 2019

Brief Announcement: Model Checking Rendezvous Algorithms for Robots with Lights in Euclidean Space.

Xavier Défago, Adam Heriban, Sébastien Tixeuil, Koichi Wada

Proceedings of the 33rd International Symposium on Distributed Computing, 2019

Approximate QoS Rule Derivation Based on Root Cause Analysis for Cloud Computing.

Satoshi Konno, Xavier Défago

Proceedings of the 24th IEEE Pacific Rim International Symposium on Dependable Computing, 2019

2018

Optimal Rendezvous L-Algorithms for Asynchronous Mobile Robots with External-Lights.

Takashi Okumura, Koichi Wada, Xavier Défago

Proceedings of the 22nd International Conference on Principles of Distributed Systems, 2018

Optimally Gathering Two Robots.

Adam Heriban, Xavier Défago, Sébastien Tixeuil

Proceedings of the 19th International Conference on Distributed Computing and Networking, 2018

Amoeba Exploration: Coordinated Exploration with Distributed Robots.

Keisuke Okumura, Yasumasa Tamura, Xavier Défago

Proceedings of the 9th International Conference on Awareness Science and Technology, 2018

2017

Killing Nodes as a Countermeasure to Virus Expansion.

François Bonnet, Quentin Bramas, Xavier Défago, Thanh Dang Nguyen

Proceedings of the Structural Information and Communication Complexity, 2017

2016

Causal Order, Logical Clocks, State Machine Replication.

Xavier Défago

Encyclopedia of Algorithms, 2016

Atomic Broadcast.

Xavier Défago

Encyclopedia of Algorithms, 2016

Tight bound on mobile Byzantine Agreement.

François Bonnet, Xavier Défago, Thanh Dang Nguyen, Maria Potop-Butucaru

Theor. Comput. Sci., 2016

Fault and Byzantine Tolerant Self-stabilizing Mobile Robots Gathering - Feasibility Study -.

Xavier Défago, Maria Gradinariu Potop-Butucaru, Julien Clément, Stéphane Messika, Philippe Raipin Parvédy

CoRR, 2016

Flocking with Oblivious Robots.

Davide Canepa, Xavier Défago, Taisuke Izumi, Maria Potop-Butucaru

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2016

2015

Reliability prediction for component-based software systems: Dealing with concurrent and propagating errors.

Thanh-Trung Pham, Xavier Défago, Huynh Quyet Thang

Sci. Comput. Program., 2015

Communicating Reliably in Multihop Dynamic Networks Despite Byzantine Failures.

Alexandre Maurer, Sébastien Tixeuil, Xavier Défago

Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems, 2015

2014

Reliability Prediction for Component-based Software Systems with Architectural-level Fault Tolerance Mechanisms (Extended Version).

Thanh-Trung Pham, François Bonnet, Xavier Défago

J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2014

Reliable Communication in a Dynamic Network in the Presence of Byzantine Faults.

Alexandre Maurer, Sébastien Tixeuil, Xavier Défago

CoRR, 2014

Mitigating the Spread of a Virus in the Internet.

Thanh Dang Nguyen, François Bonnet, Xavier Défago

Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems Workshops, 2014

Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols.

François Bonnet, Xavier Défago, Franck Petit, Maria Potop-Butucaru, Sébastien Tixeuil

Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems Workshops, 2014

Understanding the Power of Stigmergy of Anonymous Agents in Discrete Environments.

Gianlorenzo D'Angelo, Xavier Défago, Nicolas Nisse

Proceedings of the Second International Symposium on Computing and Networking, 2014

2013

Preface.

Xavier Défago, Franck Petit, Vincent Villain

Theor. Comput. Sci., 2013

Decreasing the Locks by Isolating the Concurrent Execution in Microprotocol Framework.

Daiki Higashihara, Xavier Défago

Proceedings of the First International Symposium on Computing and Networking, 2013

Reliability Prediction for Component-Based Software Systems with Architectural-Level Fault Tolerance Mechanisms.

Thanh-Trung Pham, Xavier Défago

Proceedings of the 2013 International Conference on Availability, Reliability and Security, 2013

2012

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 J. Comput., 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

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012

Reliability Prediction for Component-Based Systems: Incorporating Error Propagation Analysis and Different Execution Models.

Thanh-Trung Pham, Xavier Défago

Proceedings of the 2012 12th International Conference on Quality Software, 2012

A Fast and Robust Optimistic Total Order Broadcast for Online Video Games.

Samuel Bernard, Xavier Défago, Sébastien Tixeuil

Proceedings of the 26th International Conference on Advanced Information Networking and Applications Workshops, 2012

2011

Fault-tolerant flocking for a group of autonomous mobile robots.

Yan Yang, Samia Souissi, Xavier Défago, Makoto Takizawa

J. Syst. Softw., 2011

Emergent velocity agreement in robot networks

Davide Canepa, Xavier Défago, Taisuke Izumi, Maria Potop-Butucaru

CoRR, 2011

Exploration and Surveillance in Multi-robots Networks.

François Bonnet, Xavier Défago

Proceedings of the Second International Conference on Networking and Computing, 2011

2010

The cost of probabilistic agreement in oblivious robot networks.

Julien Clément, Xavier Défago, Maria Gradinariu Potop-Butucaru, Taisuke Izumi, Stéphane Messika

Inf. Process. Lett., 2010

A framework for proving the self-organization of dynamic systems

Emmanuelle Anceaume, Xavier Défago, Maria Potop-Butucaru, Matthieu Roy

CoRR, 2010

2009

Using eventually consistent compasses to gather memory-less mobile robots with limited visibility.

Samia Souissi, Xavier Défago, Masafumi Yamashita

ACM Trans. Auton. Adapt. Syst., 2009

Self-stabilized Flocking of a Group of Mobile Robots under Memory Corruption.

Yan Yang, Xavier Défago, Makoto Takizawa

Proceedings of the NBiS 2009, 2009

Fault-Tolerant Flocking of Mobile Robots with Whole Formation Rotation.

Yan Yang, Samia Souissi, Xavier Défago, Makoto Takizawa

Proceedings of the IEEE 23rd International Conference on Advanced Information Networking and Applications, 2009

2008

Causal Order, Logical Clocks, State Machine Replication.

Xavier Défago

Proceedings of the Encyclopedia of Algorithms - 2008 Edition, 2008

Atomic Broadcast.

Xavier Défago

Proceedings of the Encyclopedia of Algorithms - 2008 Edition, 2008

Non-uniform circle formation algorithm for oblivious mobile robots with convergence toward uniformity.

Xavier Défago, Samia Souissi

Theor. Comput. Sci., 2008

A novel numerical algorithm based on self-tuning controller to support TCP flows.

Naixue Xiong, Laurence Tianruo Yang, Yan Yang, Xavier Défago, Yanxiang He

Math. Comput. Simul., 2008

Dynamic Scheduling Real-Time Task Using Primary-Backup Overloading Strategy for Multiprocessor Systems.

Wei Sun, Chen Yu, Xavier Défago, Yasushi Inoguchi

IEICE Trans. Inf. Syst., 2008

The cost of probabilistic gathering in oblivious robot networks

Julien Clément, Xavier Défago, Maria Gradinariu Potop-Butucaru, Stéphane Messika

CoRR, 2008

Fault-Tolerant Flocking in a k-Bounded Asynchronous System.

Samia Souissi, Yan Yang, Xavier Défago

Proceedings of the Principles of Distributed Systems, 12th International Conference, 2008

An energy efficient routing scheme for mobile wireless sensor networks.

Lan Tien Nguyen, Xavier Défago, Razvan Beuran, Yoichi Shinoda

Proceedings of the 2008 5th International Symposium on Wireless Communication Systems, 2008

A Decentralized and Adaptive Flocking Algorithm for Autonomous Mobile Robots.

Yan Yang, Naixue Xiong, Nak Young Chong, Xavier Défago

Proceedings of the Workshops at the Grid and Pervasive Computing Conference, 2008

2007

Collision Prevention Platform for a Dynamic Group of Asynchronous Cooperative Mobile Robots.

Rami Yared, Xavier Défago, Julien Iguchi-Cartigny, Matthias Wiesmann

J. Networks, 2007

Hybrid Overloading and Stochastic Analysis for Redundant Real-time Multiprocessor Systems.

Wei Sun, Yuanyuan Zhang, Chen Yu, Xavier Défago, Yasushi Inoguchi

Proceedings of the 26th IEEE Symposium on Reliable Distributed Systems (SRDS 2007), 2007

Gathering two stateless mobile robots using very inaccurate compasses in finite time.

Masafumi Yamashita, Samia Souissi, Xavier Défago

Proceedings of the 1st International Conference on Robot Communication and Coordination, 2007

Robust Self-Deployment for a Swarm of Autonomous Mobile Robots with Limited Visibility Range.

Geunho Lee, Nak Young Chong, Xavier Défago

Proceedings of the IEEE RO-MAN 2007, 2007

Comparative Analysis of QoS and Memory Usage of Adaptive Failure Detectors.

Naixue Xiong, Yan Yang, Xavier Défago

Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 2007

Locality-preserving distributed path reservation protocol for asynchronous cooperative mobile robots.

Rami Yared, Julien Cartigny, Xavier Défago, Matthias Wiesmann

Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2007), 2007

Real-time Task Scheduling Using Extended Overloading Technique for Multiprocessor Systems.

Wei Sun, Chen Yu, Yuanyuan Zhang, Xavier Défago, Yasushi Inoguchi

Proceedings of the 11th IEEE International Symposium on Distributed Simulation and Real-Time Applications, 2007

Collision prevention using group communication for asynchronous cooperative mobile robots.

Rami Yared, Xavier Défago, Matthias Wiesmann

Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

Anonymous Stabilizing Leader Election using a Network Sequencer.

Matthias Wiesmann, Xavier Défago

Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

2006

Fault-Tolerant and Self-stabilizing Mobile Robots Gathering.

Xavier Défago, Maria Gradinariu, Stéphane Messika, Philippe Raipin Parvédy

Proceedings of the Distributed Computing, 20th International Symposium, 2006

Using Eventually Consistent Compasses to Gather Oblivious Mobile Robots with Limited Visibility.

Samia Souissi, Xavier Défago, Masafumi Yamashita

Proceedings of the Stabilization, 2006

An SNMP based failure detection service.

Matthias Wiesmann, Péter Urbán, Xavier Défago

Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), 2006

End-to-end consensus using end-to-end channels.

Matthias Wiesmann, Xavier Défago

Proceedings of the 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 2006

Gathering Asynchronous Mobile Robots with Inaccurate Compasses.

Samia Souissi, Xavier Défago, Masafumi Yamashita

Proceedings of the Principles of Distributed Systems, 10th International Conference, 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, Yan Yang, Yanxiang He

Proceedings of the INFOCOM 2006. 25th IEEE International Conference on Computer Communications, 2006

2005

Towards a Theory of Self-organization.

Emmanuelle Anceaume, Xavier Défago, Maria Gradinariu, Matthieu Roy

Proceedings of the Distributed Computing, 19th International Conference, 2005

A Brief Comparative Study on Analytical Models of Computer System Dependability and Security.

Zonghua Zhang, Hong Shen, Xavier Défago, Yingpeng Sang

Proceedings of the Sixth International Conference on Parallel and Distributed Computing, 2005

LRC-RED: A Self-tuning Robust and Adaptive AQM Scheme.

Naixue Xiong, Yan Yang, Xavier Défago, Yanxiang He

Proceedings of the Sixth International Conference on Parallel and Distributed Computing, 2005

A Survey of Mobile Agent-Based Fault-Tolerant Technology.

Wenyu Qu, Hong Shen, Xavier Défago

Proceedings of the Sixth International Conference on Parallel and Distributed Computing, 2005

A Resource-Based Server Performance Control for Grid Computing Systems.

Naixue Xiong, Xavier Défago, Yanxiang He, Yan Yang

Proceedings of the Network and Parallel Computing, IFIP International Conference, 2005

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

Proceedings of the Grid and Cooperative Computing - GCC 2005, 4th International Conference, Beijing, China, November 30, 2005

Definition and Specification of Accrual Failure Detectors.

Xavier Défago, Péter Urbán, Naohiro Hayashibara, Takuya Katayama

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

Information Propagation on the phi Failure Detector.

Naohiro Hayashibara, Xavier Défago, Makoto Takizawa, Takuya Katayama

Proceedings of the 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 2005

Fault-Tolerant Group Membership Protocols Using Physical Robot Messengers.

Rami Yared, Xavier Défago, Takuya Katayama

Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA 2005), 2005

2004

Semi-passive replication and Lazy Consensus.

Xavier Défago, André Schiper

J. Parallel Distributed Comput., 2004

Total order broadcast and multicast algorithms: Taxonomy and survey.

Xavier Défago, André Schiper, Péter Urbán

ACM Comput. Surv., 2004

The Φ Accrual Failure Detector.

Naohiro Hayashibara, Xavier Défago, Rami Yared, Takuya Katayama

Proceedings of the 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 2004

An Integrated System for Distributed Bioinformatics Environment on Grids.

Kenji Satou, Yasuhiko Nakashima, Shin'ichi Tsuji, Xavier Défago, Akihiko Konagaya

Proceedings of the Grid Computing in Life Science, 2004

Decomposition of Fundamental Problems for Cooperative Autonomous Mobile Systems.

Samia Souissi, Xavier Défago, Takuya Katayama

Proceedings of the 24th International Conference on Distributed Computing Systems Workshops (ICDCS 2004 Workshops), 2004

Agent-Based Approach to Dynamic Meeting Scheduling Problems.

Ahlem Ben Hassine, Xavier Défago, Tu Bao Ho

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

2003

Group Communication based on Standard Interfaces.

Matthias Wiesmann, Xavier Défago, André Schiper

Proceedings of the 2nd IEEE International Symposium on Network Computing and Applications (NCA 2003), 2003

2002

Neko: A Single Environment to Simulate and Prototype Distributed Algorithms.

Péter Urbán, Xavier Défago, André Schiper

J. Inf. Sci. Eng., 2002

Message from the RCDS Co-Chairs.

Xavier Défago, Fernando Pedone

Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS 2002), 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 21st Symposium on Reliable Distributed Systems (SRDS 2002), 2002

Circle formation for oblivious anonymous mobile robots with no common sense of orientation.

Xavier Défago, Akihiko Konagaya

Proceedings of the 2002 Workshop on Principles of Mobile Computing, 2002

2001

Time vs. Space in Fault-Tolerant Distributed Systems.

Bernadette Charron-Bost, Xavier Défago, André Schiper

Proceedings of the 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 2001

Chasing the FLP Impossibility Result in a LAN or How Robust Can a Fault Tolerant Server Be?.

Péter Urbán, Xavier Défago, André Schiper

Proceedings of the 20th Symposium on Reliable Distributed Systems (SRDS 2001), 2001

Impact of a Failure Detection Mechanism on the Performance of Consensus.

Nicole Sergent, Xavier Défago, André Schiper

Proceedings of the 8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 2001

2000

Contention-aware metrics for distributed algorithms: comparison of atomic broadcast algorithms.

Péter Urbán, Xavier Défago, André Schiper

Proceedings of the Proceedings Ninth International Conference on Computer Communications and Networks, 2000

1999

Optimization techniques for replicating CORBA objects.

Xavier Défago, Pascal Felber, André Schiper

Proceedings of the Fourth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999

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, 1999

Replicating CORBA objects: a marriage between active and passive replication.

Pascal Felber, Xavier Défago, Patrick Th. Eugster, André Schiper

Proceedings of the Distributed Applications and Interoperable Systems II, Second IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems, June 28, 1999

1998

Semi-Passive Replication.

Xavier Défago, André Schiper, Nicole Sergent

Proceedings of the Seventeenth Symposium on Reliable Distributed Systems, 1998

1997

Reliability with CORBA Event Channels.

Xavier Défago, Pascal Felber, Benoît Garbinato, Rachid Guerraoui

Proceedings of the Third USENIX Conference on Object-Oriented Technologies (COOTS), 1997