Xavier Défago

ORCID

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 52

Top Venues

Publications

Keisuke Okumura, Xavier Défago
Solving simultaneous target assignment and path planning efficiently with time-independent execution. Artif. Intell. 321 (2023)
Takashi Okumura, Koichi Wada, Xavier Défago
Optimal L-algorithms for rendezvous of asynchronous mobile robots with external-lights. Theor. Comput. Sci. 979 (2023)
Onur Mutlu, Xavier Défago
Message from the DSN 2023 Program Chairs. DSN (2023)
Xavier Défago, Adam Heriban, Sébastien Tixeuil, Koichi Wada
Using model checking to formally verify rendezvous algorithms for robots with lights in Euclidean space. Robotics Auton. Syst. 163 (2023)
Keisuke Okumura, François Bonnet, Yasumasa Tamura, Xavier Défago
Offline Time-Independent Multiagent Path Planning. IEEE Trans. Robotics 39 (4) (2023)
Keisuke Okumura, Xavier Défago
Quick Multi-Robot Motion Planning by Combining Sampling and Search. IJCAI (2023)
Nicholaus D. Yosodipuro, Ehsan Javanmardi, Jin Nakazato, Yasumasa Tamura, Xavier Défago, Manabu Tsukada
Mixed-traffic Intersection Management using Traffic-load-responsive Reservation and V2X -enabled Speed Coordination. ITSC (2023)
Yuji Yamazaki, Yasumasa Tamura, Xavier Défago, Ehsan Javanmardi, Manabu Tsukada
ToST: Tokyo SUMO Traffic Scenario. ITSC (2023)
Keisuke Okumura, Manao Machida, Xavier Défago, Yasumasa Tamura
Priority inheritance with backtracking for iterative multi-agent path finding. Artif. Intell. 310 (2022)
Keisuke Okumura, François Bonnet, Yasumasa Tamura, Xavier Défago
Offline Time-Independent Multi-Agent Path Planning. IJCAI (2022)
Xiangyu Su, Xavier Défago, Mario Larangeira, Kazuyuki Mori, Takuya Oda, Yuta Okumura, Yasumasa Tamura, Keisuke Tanaka
Bid-Matching Problem and Score-Based Consensus for Peer-to-Peer Energy Trading. IACR Cryptol. ePrint Arch. 2022 (2022)
Yuan Wang, Hideaki Ishii, François Bonnet, Xavier Défago
Resilient Real-Valued Consensus in Spite of Mobile Malicious Agents on Directed Graphs. IEEE Trans. Parallel Distributed Syst. 33 (3) (2022)
Keisuke Okumura, Xavier Défago
Quick Multi-Robot Motion Planning by Combining Sampling and Search. CoRR (2022)
Hiroki Matsume, Yuan Wang, Hideaki Ishii, Xavier Défago
Self-Triggered Ternary Control for Resilient Consensus against Mobile Adversarial Agents. CDC (2022)
Keisuke Okumura, Xavier Défago
Solving Simultaneous Target Assignment and Path Planning Efficiently with Time-Independent Execution. ICAPS (2022)
Yuan Wang, Hideaki Ishii, François Bonnet, Xavier Défago
Resilient Consensus for Multi-Agent Systems Under Adversarial Spreading Processes. IEEE Trans. Netw. Sci. Eng. 9 (5) (2022)
Keisuke Okumura, Yasumasa Tamura, Xavier Défago
Iterative Refinement for Real-Time Multi-Robot Path Planning. CoRR (2021)
Shota Kameyama, Keisuke Okumura, Yasumasa Tamura, Xavier Défago
Active Modular Environment for Robot Navigation. ICRA (2021)
Keisuke Okumura, François Bonnet, Yasumasa Tamura, Xavier Défago
Offline Time-Independent Multi-Agent Path Planning. CoRR (2021)
Mai Hirata, Manabu Tsukada, Keisuke Okumura, Yasumasa Tamura, Hideya Ochiai, Xavier Défago
Roadside-assisted Cooperative Planning using Future Path Sharing for Autonomous Driving. CoRR (2021)
Keisuke Okumura, Yasumasa Tamura, Xavier Défago
Iterative Refinement for Real-Time Multi-Robot Path Planning. IROS (2021)
Yuan Wang, Hideaki Ishii, François Bonnet, Xavier Défago
Resilient Consensus Against Epidemic Malicious Attacks. ECC (2021)
Keisuke Okumura, Yasumasa Tamura, Xavier Défago
Time-Independent Planning for Multiple Moving Agents. AAAI (2021)
Mai Hirata, Manabu Tsukada, Keisuke Okumura, Yasumasa Tamura, Hideya Ochiai, Xavier Défago
Roadside-Assisted Cooperative Planning using Future Path Sharing for Autonomous Driving. VTC Fall (2021)
Keisuke Okumura, Xavier Défago
Solving Simultaneous Target Assignment and Path Planning Efficiently with Time-Independent Execution. CoRR (2021)
Shota Kameyama, Keisuke Okumura, Yasumasa Tamura, Xavier Défago
Active Modular Environment for Robot Navigation. CoRR (2021)
Yuan Wang, Hideaki Ishii, François Bonnet, Xavier Défago
Resilient Consensus Against Epidemic Malicious Attacks. CoRR (2020)
Keisuke Okumura, Yasumasa Tamura, Xavier Défago
Time-Independent Planning for Multiple Moving Agents. CoRR (2020)
Xavier Défago, Maria Potop-Butucaru, Philippe Raipin Parvédy
Self-stabilizing gathering of mobile robots under crash or Byzantine faults. Distributed Comput. 33 (5) (2020)
Xavier Défago, Adam Heriban, Sébastien Tixeuil, Koichi Wada
Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space. SRDS (2020)
Yuan Wang, Hideaki Ishii, François Bonnet, Xavier Défago
Resilient Consensus Against Mobile Malicious Agents. CoRR (2020)
Xavier Défago, Yuval Emek, Shay Kutten, Toshimitsu Masuzawa, Yasumasa Tamura
Communication Efficient Self-Stabilizing Leader Election. DISC (2020)
François Bonnet, Quentin Bramas, Xavier Défago
Stateless Distributed Ledgers. NETYS (2020)
François Bonnet, Quentin Bramas, Xavier Défago
Stateless Distributed Ledgers. CoRR (2020)
Xavier Défago, Yuval Emek, Shay Kutten, Toshimitsu Masuzawa, Yasumasa Tamura
Communication Efficient Self-Stabilizing Leader Election (Full Version). CoRR (2020)
Keisuke Okumura, Yasumasa Tamura, Xavier Défago
winPIBT: Expanded Prioritized Algorithm for Iterative Multi-agent Path Finding. CoRR (2019)
Keisuke Okumura, Manao Machida, Xavier Défago, Yasumasa Tamura
Priority Inheritance with Backtracking for Iterative Multi-agent Path Finding. CoRR (2019)
Xavier Défago, Adam Heriban, Sébastien Tixeuil, Koichi Wada
Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space. CoRR (2019)
Keisuke Okumura, Manao Machida, Xavier Défago, Yasumasa Tamura
Priority Inheritance with Backtracking for Iterative Multi-agent Path Finding. IJCAI (2019)
Satoshi Konno, Xavier Défago
Approximate QoS Rule Derivation Based on Root Cause Analysis for Cloud Computing. PRDC (2019)
Xavier Défago, Adam Heriban, Sébastien Tixeuil, Koichi Wada
Brief Announcement: Model Checking Rendezvous Algorithms for Robots with Lights in Euclidean Space. DISC (2019)
Adam Heriban, Xavier Défago, Sébastien Tixeuil
Optimally Gathering Two Robots. ICDCN (2018)
Takashi Okumura, Koichi Wada, Xavier Défago
Optimal Rendezvous L-Algorithms for Asynchronous Mobile Robots with External-Lights. CoRR (2018)
Keisuke Okumura, Yasumasa Tamura, Xavier Défago
Amoeba Exploration: Coordinated Exploration with Distributed Robots. iCAST (2018)
Takashi Okumura, Koichi Wada, Xavier Défago
Optimal Rendezvous L-Algorithms for Asynchronous Mobile Robots with External-Lights. OPODIS (2018)
François Bonnet, Quentin Bramas, Xavier Défago, Thanh Dang Nguyen
Killing Nodes as a Countermeasure to Virus Expansion. SIROCCO (2017)
Adam Heriban, Xavier Défago, Sébastien Tixeuil
Optimally Gathering Two Robots. CoRR (2017)
François Bonnet, Xavier Défago, Thanh Dang Nguyen, Maria Potop-Butucaru
Tight bound on mobile Byzantine Agreement. Theor. Comput. Sci. 609 (2016)
Xavier Défago, Maria Gradinariu Potop-Butucaru, Julien Clément, Stéphane Messika, Philippe Raipin Parvédy
Fault and Byzantine Tolerant Self-stabilizing Mobile Robots Gathering - Feasibility Study -. CoRR (2016)
Davide Canepa, Xavier Défago, Taisuke Izumi, Maria Potop-Butucaru
Flocking with Oblivious Robots. SSS (2016)
Thanh-Trung Pham, Xavier Défago, Huynh Quyet Thang
Reliability prediction for component-based software systems: Dealing with concurrent and propagating errors. Sci. Comput. Program. 97 (2015)
Alexandre Maurer, Sébastien Tixeuil, Xavier Défago
Communicating Reliably in Multihop Dynamic Networks Despite Byzantine Failures. SRDS (2015)
Gianlorenzo D'Angelo, Xavier Défago, Nicolas Nisse
Understanding the Power of Stigmergy of Anonymous Agents in Discrete Environments. CANDAR (2014)
François Bonnet, Xavier Défago, Thanh Dang Nguyen, Maria Potop-Butucaru
Tight Bound on Mobile Byzantine Agreement. DISC (2014)
Alexandre Maurer, Sébastien Tixeuil, Xavier Défago
Reliable Communication in a Dynamic Network in the Presence of Byzantine Faults. CoRR (2014)
François Bonnet, Xavier Défago, Franck Petit, Maria Potop-Butucaru, Sébastien Tixeuil
Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols. SRDS Workshops (2014)
Thanh-Trung Pham, François Bonnet, Xavier Défago
Reliability Prediction for Component-based Software Systems with Architectural-level Fault Tolerance Mechanisms (Extended Version). J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 5 (1) (2014)
Thanh Dang Nguyen, François Bonnet, Xavier Défago
Mitigating the Spread of a Virus in the Internet. SRDS Workshops (2014)
Xavier Défago, Franck Petit, Vincent Villain
Preface. Theor. Comput. Sci. 512 (2013)
Daiki Higashihara, Xavier Défago
Decreasing the Locks by Isolating the Concurrent Execution in Microprotocol Framework. CANDAR (2013)
Thanh-Trung Pham, Xavier Défago
Reliability Prediction for Component-Based Software Systems with Architectural-Level Fault Tolerance Mechanisms. ARES (2013)
Thanh-Trung Pham, Xavier Défago
Reliability Prediction for Component-Based Systems: Incorporating Error Propagation Analysis and Different Execution Models. QSIC (2012)
Samuel Bernard, Xavier Défago, Sébastien Tixeuil
A Fast and Robust Optimistic Total Order Broadcast for Online Video Games. AINA Workshops (2012)
Taisuke Izumi, Samia Souissi, Yoshiaki Katayama, Nobuhiro Inuzuka, Xavier Défago, Koichi Wada, Masafumi Yamashita
The Gathering Problem for Two Oblivious Robots with Unreliable Compasses. SIAM J. Comput. 41 (1) (2012)
François Bonnet, Xavier Défago, Franck Petit, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil
Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols. SSS (2012)
Yan Yang, Samia Souissi, Xavier Défago, Makoto Takizawa
Fault-tolerant flocking for a group of autonomous mobile robots. J. Syst. Softw. 84 (1) (2011)
Taisuke Izumi, Samia Souissi, Yoshiaki Katayama, Nobuhiro Inuzuka, Xavier Défago, Koichi Wada, Masafumi Yamashita
The Gathering Problem for Two Oblivious Robots with Unreliable Compasses CoRR (2011)
François Bonnet, Xavier Défago
Exploration and Surveillance in Multi-robots Networks. ICNC (2011)
Davide Canepa, Xavier Défago, Taisuke Izumi, Maria Potop-Butucaru
Emergent velocity agreement in robot networks CoRR (2011)
Emmanuelle Anceaume, Xavier Défago, Maria Potop-Butucaru, Matthieu Roy
A framework for proving the self-organization of dynamic systems CoRR (2010)
Julien Clément, Xavier Défago, Maria Gradinariu Potop-Butucaru, Taisuke Izumi, Stéphane Messika
The cost of probabilistic agreement in oblivious robot networks. Inf. Process. Lett. 110 (11) (2010)
Yan Yang, Xavier Défago, Makoto Takizawa
Self-stabilized Flocking of a Group of Mobile Robots under Memory Corruption. NBiS (2009)
Samia Souissi, Xavier Défago, Masafumi Yamashita
Using eventually consistent compasses to gather memory-less mobile robots with limited visibility. ACM Trans. Auton. Adapt. Syst. 4 (1) (2009)
Yan Yang, Samia Souissi, Xavier Défago, Makoto Takizawa
Fault-Tolerant Flocking of Mobile Robots with Whole Formation Rotation. AINA (2009)
Samia Souissi, Yan Yang, Xavier Défago
Fault-Tolerant Flocking in a k-Bounded Asynchronous System. OPODIS (2008)
Xavier Défago, Samia Souissi
Non-uniform circle formation algorithm for oblivious mobile robots with convergence toward uniformity. Theor. Comput. Sci. 396 (1-3) (2008)
Lan Tien Nguyen, Xavier Défago, Razvan Beuran, Yoichi Shinoda
An energy efficient routing scheme for mobile wireless sensor networks. ISWCS (2008)
Wei Sun, Chen Yu, Xavier Défago, Yasushi Inoguchi
Dynamic Scheduling Real-Time Task Using Primary-Backup Overloading Strategy for Multiprocessor Systems. IEICE Trans. Inf. Syst. (3) (2008)
Yan Yang, Naixue Xiong, Nak Young Chong, Xavier Défago
A Decentralized and Adaptive Flocking Algorithm for Autonomous Mobile Robots. GPC Workshops (2008)
Naixue Xiong, Laurence Tianruo Yang, Yan Yang, Xavier Défago, Yanxiang He
A novel numerical algorithm based on self-tuning controller to support TCP flows. Math. Comput. Simul. 79 (4) (2008)
Julien Clément, Xavier Défago, Maria Gradinariu Potop-Butucaru, Stéphane Messika
The cost of probabilistic gathering in oblivious robot networks CoRR (2008)
Masafumi Yamashita, Samia Souissi, Xavier Défago
Gathering two stateless mobile robots using very inaccurate compasses in finite time. ROBOCOMM (2007)
Matthias Wiesmann, Xavier Défago
Anonymous Stabilizing Leader Election using a Network Sequencer. AINA (2007)
Rami Yared, Xavier Défago, Matthias Wiesmann
Collision prevention using group communication for asynchronous cooperative mobile robots. AINA (2007)
Wei Sun, Chen Yu, Yuanyuan Zhang, Xavier Défago, Yasushi Inoguchi
Real-time Task Scheduling Using Extended Overloading Technique for Multiprocessor Systems. DS-RT (2007)
Naixue Xiong, Yan Yang, Xavier Défago
Comparative Analysis of QoS and Memory Usage of Adaptive Failure Detectors. PRDC (2007)
Rami Yared, Xavier Défago, Julien Iguchi-Cartigny, Matthias Wiesmann
Collision Prevention Platform for a Dynamic Group of Asynchronous Cooperative Mobile Robots. J. Networks 2 (4) (2007)
Geunho Lee, Nak Young Chong, Xavier Défago
Robust Self-Deployment for a Swarm of Autonomous Mobile Robots with Limited Visibility Range. RO-MAN (2007)
Wei Sun, Yuanyuan Zhang, Chen Yu, Xavier Défago, Yasushi Inoguchi
Hybrid Overloading and Stochastic Analysis for Redundant Real-time Multiprocessor Systems. SRDS (2007)
Rami Yared, Julien Cartigny, Xavier Défago, Matthias Wiesmann
Locality-preserving distributed path reservation protocol for asynchronous cooperative mobile robots. ISADS (2007)
Naixue Xiong, Xavier Défago, Xiaohua Jia, Yan Yang, Yanxiang He
Design and Analysis of a Self-Tuning Proportional and Integral Controller for Active Queue Management Routers to Support TCP Flows. INFOCOM (2006)
Samia Souissi, Xavier Défago, Masafumi Yamashita
Using Eventually Consistent Compasses to Gather Oblivious Mobile Robots with Limited Visibility. SSS (2006)
Xavier Défago, Maria Gradinariu, Stéphane Messika, Philippe Raipin Parvédy
Fault-Tolerant and Self-stabilizing Mobile Robots Gathering. DISC (2006)
Matthias Wiesmann, Xavier Défago
End-to-end consensus using end-to-end channels. PRDC (2006)
Matthias Wiesmann, Péter Urbán, Xavier Défago
An SNMP based failure detection service. SRDS (2006)
Samia Souissi, Xavier Défago, Masafumi Yamashita
Gathering Asynchronous Mobile Robots with Inaccurate Compasses. OPODIS (2006)
Rami Yared, Xavier Défago, Takuya Katayama
Fault-Tolerant Group Membership Protocols Using Physical Robot Messengers. AINA (2005)
Xavier Défago, Péter Urbán, Naohiro Hayashibara, Takuya Katayama
Definition and Specification of Accrual Failure Detectors. DSN (2005)
Zonghua Zhang, Hong Shen, Xavier Défago, Yingpeng Sang
A Brief Comparative Study on Analytical Models of Computer System Dependability and Security. PDCAT (2005)
Naixue Xiong, Yan Yang, Xavier Défago, Yanxiang He
LRC-RED: A Self-tuning Robust and Adaptive AQM Scheme. PDCAT (2005)

Xavier Défago.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Xavier Défago