Xavier Défago
Person information
- affiliation: Tokyo Institute of Technology, Japan
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2019
- [p1]Xavier Défago, Maria Potop-Butucaru, Sébastien Tixeuil:
Fault-Tolerant Mobile Robots. Distributed Computing by Mobile Entities 2019: 234-251 - [i9]Keisuke Okumura, Manao Machida, Xavier Défago, Yasumasa Tamura:
Priority Inheritance with Backtracking for Iterative Multi-agent Path Finding. CoRR abs/1901.11282 (2019) - 2018
- [c61]Adam Heriban, Xavier Défago, Sébastien Tixeuil:
Optimally Gathering Two Robots. ICDCN 2018: 3:1-3:10 - [c60]Takashi Okumura, Koichi Wada, Xavier Défago:
Optimal Rendezvous L-Algorithms for Asynchronous Mobile Robots with External-Lights. OPODIS 2018: 24:1-24:16 - [i8]Takashi Okumura, Koichi Wada, Xavier Défago:
Optimal Rendezvous L-Algorithms for Asynchronous Mobile Robots with External-Lights. CoRR abs/1804.01368 (2018) - 2017
- [c59]François Bonnet, Quentin Bramas, Xavier Défago, Thanh Dang Nguyen:
Killing Nodes as a Countermeasure to Virus Expansion. SIROCCO 2017: 227-243 - [i7]Adam Heriban, Xavier Défago, Sébastien Tixeuil:
Optimally Gathering Two Robots. CoRR abs/1708.06183 (2017) - 2016
- [j15]François Bonnet, Xavier Défago, Thanh Dang Nguyen, Maria Potop-Butucaru:
Tight bound on mobile Byzantine Agreement. Theor. Comput. Sci. 609: 361-373 (2016) - [c58]Davide Canepa, Xavier Défago, Taisuke Izumi, Maria Potop-Butucaru:
Flocking with Oblivious Robots. SSS 2016: 94-108 - [r4]
- [r3]Xavier Défago:
Causal Order, Logical Clocks, State Machine Replication. Encyclopedia of Algorithms 2016: 283-286 - [i6]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 abs/1602.05546 (2016) - 2015
- [j14]Thanh-Trung Pham, Xavier Défago, Quyet-Thang Huynh:
Reliability prediction for component-based software systems: Dealing with concurrent and propagating errors. Sci. Comput. Program. 97: 426-457 (2015) - [c57]Alexandre Maurer, Sébastien Tixeuil, Xavier Défago:
Communicating Reliably in Multihop Dynamic Networks Despite Byzantine Failures. SRDS 2015: 238-245 - 2014
- [j13]Thanh-Trung Pham, François Bonnet, Xavier Défago:
Reliability Prediction for Component-based Software Systems with Architectural-level Fault Tolerance Mechanisms (Extended Version). JoWUA 5(1): 4-36 (2014) - [c56]Gianlorenzo D'Angelo, Xavier Défago, Nicolas Nisse:
Understanding the Power of Stigmergy of Anonymous Agents in Discrete Environments. CANDAR 2014: 50-59 - [c55]Thanh Dang Nguyen, François Bonnet, Xavier Défago:
Mitigating the Spread of a Virus in the Internet. SRDS Workshops 2014: 14-19 - [c54]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: 50-59 - [c53]François Bonnet, Xavier Défago, Thanh Dang Nguyen, Maria Potop-Butucaru:
Tight Bound on Mobile Byzantine Agreement. DISC 2014: 76-90 - [i5]Alexandre Maurer, Sébastien Tixeuil, Xavier Défago:
Reliable Communication in a Dynamic Network in the Presence of Byzantine Faults. CoRR abs/1402.0121 (2014) - 2013
- [j12]
- [c52]Thanh-Trung Pham, Xavier Défago:
Reliability Prediction for Component-Based Software Systems with Architectural-Level Fault Tolerance Mechanisms. ARES 2013: 11-20 - [c51]Daiki Higashihara, Xavier Défago:
Decreasing the Locks by Isolating the Concurrent Execution in Microprotocol Framework. CANDAR 2013: 247-251 - 2012
- [j11]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): 26-46 (2012) - [c50]Samuel Bernard, Xavier Défago, Sébastien Tixeuil:
A Fast and Robust Optimistic Total Order Broadcast for Online Video Games. AINA Workshops 2012: 189-196 - [c49]Thanh-Trung Pham, Xavier Défago:
Reliability Prediction for Component-Based Systems: Incorporating Error Propagation Analysis and Different Execution Models. QSIC 2012: 106-115 - [c48]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: 282-284 - 2011
- [j10]Yan Yang, Samia Souissi, Xavier Défago, Makoto Takizawa:
Fault-tolerant flocking for a group of autonomous mobile robots. Journal of Systems and Software 84(1): 29-36 (2011) - [c47]François Bonnet, Xavier Défago:
Exploration and Surveillance in Multi-robots Networks. ICNC 2011: 342-344 - [e1]Xavier Défago, Franck Petit, Vincent Villain:
Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings. Lecture Notes in Computer Science 6976, Springer 2011, ISBN 978-3-642-24549-7 [contents] - [i4]Davide Canepa, Xavier Défago, Taisuke Izumi, Maria Potop-Butucaru:
Emergent velocity agreement in robot networks. CoRR abs/1105.4082 (2011) - [i3]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 abs/1111.1492 (2011) - 2010
- [j9]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): 431-438 (2010) - [i2]Emmanuelle Anceaume, Xavier Défago, Maria Potop-Butucaru, Matthieu Roy:
A framework for proving the self-organization of dynamic systems. CoRR abs/1011.2312 (2010)
2000 – 2009
- 2009
- [j8]Samia Souissi, Xavier Défago, Masafumi Yamashita:
Using eventually consistent compasses to gather memory-less mobile robots with limited visibility. TAAS 4(1): 9:1-9:27 (2009) - [c46]Yan Yang, Samia Souissi, Xavier Défago, Makoto Takizawa:
Fault-Tolerant Flocking of Mobile Robots with Whole Formation Rotation. AINA 2009: 830-837 - [c45]Yan Yang, Xavier Défago, Makoto Takizawa:
Self-stabilized Flocking of a Group of Mobile Robots under Memory Corruption. NBiS 2009: 532-538 - 2008
- [j7]Wei Sun, Chen Yu, Xavier Défago, Yasushi Inoguchi:
Dynamic Scheduling Real-Time Task Using Primary-Backup Overloading Strategy for Multiprocessor Systems. IEICE Transactions 91-D(3): 796-806 (2008) - [j6]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. Mathematics and Computers in Simulation 79(4): 1178-1188 (2008) - [j5]Xavier Défago, Samia Souissi:
Non-uniform circle formation algorithm for oblivious mobile robots with convergence toward uniformity. Theor. Comput. Sci. 396(1-3): 97-112 (2008) - [c44]Yan Yang, Naixue Xiong, Nak Young Chong, Xavier Défago:
A Decentralized and Adaptive Flocking Algorithm for Autonomous Mobile Robots. GPC Workshops 2008: 262-268 - [c43]Samia Souissi, Yan Yang, Xavier Défago:
Fault-Tolerant Flocking in a k-Bounded Asynchronous System. OPODIS 2008: 145-163 - [r2]
- [r1]Xavier Défago:
Causal Order, Logical Clocks, State Machine Replication. Encyclopedia of Algorithms 2008 - [i1]Julien Clément, Xavier Défago, Maria Gradinariu Potop-Butucaru, Stéphane Messika:
The cost of probabilistic gathering in oblivious robot networks. CoRR abs/0807.1753 (2008) - 2007
- [j4]Rami Yared, Xavier Défago, Julien Iguchi-Cartigny, Matthias Wiesmann:
Collision Prevention Platform for a Dynamic Group of Asynchronous Cooperative Mobile Robots. JNW 2(4): 28-39 (2007) - [c42]Rami Yared, Xavier Défago, Matthias Wiesmann:
Collision prevention using group communication for asynchronous cooperative mobile robots. AINA 2007: 244-249 - [c41]Matthias Wiesmann, Xavier Défago:
Anonymous Stabilizing Leader Election using a Network Sequencer. AINA 2007: 673-678 - [c40]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: 95-102 - [c39]Rami Yared, Julien Cartigny, Xavier Défago, Matthias Wiesmann:
Locality-preserving distributed path reservation protocol for asynchronous cooperative mobile robots. ISADS 2007: 188-195 - [c38]Naixue Xiong, Yan Yang, Xavier Défago:
Comparative Analysis of QoS and Memory Usage of Adaptive Failure Detectors. PRDC 2007: 27-34 - [c37]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: 925-930 - [c36]Masafumi Yamashita, Samia Souissi, Xavier Défago:
Gathering two stateless mobile robots using very inaccurate compasses in finite time. ROBOCOMM 2007: 48 - [c35]Wei Sun, Yuanyuan Zhang, Chen Yu, Xavier Défago, Yasushi Inoguchi:
Hybrid Overloading and Stochastic Analysis for Redundant Real-time Multiprocessor Systems. SRDS 2007: 265-274 - 2006
- [c34]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 - [c33]Samia Souissi, Xavier Défago, Masafumi Yamashita:
Gathering Asynchronous Mobile Robots with Inaccurate Compasses. OPODIS 2006: 333-349 - [c32]Matthias Wiesmann, Xavier Défago:
End-to-end consensus using end-to-end channels. PRDC 2006: 341-350 - [c31]Matthias Wiesmann, Péter Urbán, Xavier Défago:
An SNMP based failure detection service. SRDS 2006: 365-376 - [c30]Samia Souissi, Xavier Défago, Masafumi Yamashita:
Using Eventually Consistent Compasses to Gather Oblivious Mobile Robots with Limited Visibility. SSS 2006: 484-500 - [c29]Xavier Défago, Maria Gradinariu, Stéphane Messika, Philippe Raipin Parvédy:
Fault-Tolerant and Self-stabilizing Mobile Robots Gathering. DISC 2006: 46-60 - 2005
- [c28]Rami Yared, Xavier Défago, Takuya Katayama:
Fault-Tolerant Group Membership Protocols Using Physical Robot Messengers. AINA 2005: 921-926 - [c27]Naohiro Hayashibara, Xavier Défago, Makoto Takizawa, Takuya Katayama:
Information Propagation on the phi Failure Detector. DEXA Workshops 2005: 72-76 - [c26]Xavier Défago, Péter Urbán, Naohiro Hayashibara, Takuya Katayama:
Definition and Specification of Accrual Failure Detectors. DSN 2005: 206-215 - [c25]Yanxiang He, Naixue Xiong, Xavier Défago, Yan Yang, Jing He:
A Single-Pass Online Data Mining Algorithm Combined with Control Theory with Limited Memory in Dynamic Data Streams. GCC 2005: 1119-1130 - [c24]Naixue Xiong, Xavier Défago, Yanxiang He, Yan Yang:
A Resource-Based Server Performance Control for Grid Computing Systems. NPC 2005: 56-64 - [c23]Emmanuelle Anceaume, Xavier Défago, Maria Gradinariu, Matthieu Roy:
Towards a Theory of Self-organization. OPODIS 2005: 191-205 - [c22]Wenyu Qu, Hong Shen, Xavier Défago:
A Survey of Mobile Agent-Based Fault-Tolerant Technology. PDCAT 2005: 446-450 - [c21]Zonghua Zhang, Hong Shen, Xavier Défago, Yingpeng Sang:
A Brief Comparative Study on Analytical Models of Computer System Dependability and Security. PDCAT 2005: 493-497 - [c20]Naixue Xiong, Yan Yang, Xavier Défago, Yanxiang He:
LRC-RED: A Self-tuning Robust and Adaptive AQM Scheme. PDCAT 2005: 655-659 - [c19]Emmanuelle Anceaume, Xavier Défago, Maria Gradinariu, Matthieu Roy:
Towards a Theory of Self-organization. DISC 2005: 505-506 - 2004
- [j3]Xavier Défago, André Schiper, Péter Urbán:
Total order broadcast and multicast algorithms: Taxonomy and survey. ACM Comput. Surv. 36(4): 372-421 (2004) - [j2]Xavier Défago, André Schiper:
Semi-passive replication and Lazy Consensus. J. Parallel Distrib. Comput. 64(12): 1380-1398 (2004) - [c18]Ahlem Ben Hassine, Xavier Défago, Tu Bao Ho:
Agent-Based Approach to Dynamic Meeting Scheduling Problems. AAMAS 2004: 1132-1139 - [c17]Samia Souissi, Xavier Défago, Takuya Katayama:
Decomposition of Fundamental Problems for Cooperative Autonomous Mobile Systems. ICDCS Workshops 2004: 554-560 - [c16]Kenji Satou, Yasuhiko Nakashima, Shin'ichi Tsuji, Xavier Défago, Akihiko Konagaya:
An Integrated System for Distributed Bioinformatics Environment on Grids. LSGRID 2004: 8-19 - [c15]Naohiro Hayashibara, Xavier Défago, Rami Yared, Takuya Katayama:
The Φ Accrual Failure Detector. SRDS 2004: 66-78 - 2003
- [c14]Matthias Wiesmann, Xavier Défago, André Schiper:
Group Communication based on Standard Interfaces. NCA 2003: 140-147 - 2002
- [j1]Péter Urbán, Xavier Défago, André Schiper:
Neko: A Single Environment to Simulate and Prototype Distributed Algorithms. J. Inf. Sci. Eng. 18(6): 981-997 (2002) - [c13]Xavier Défago, Akihiko Konagaya:
Circle formation for oblivious anonymous mobile robots with no common sense of orientation. POMC 2002: 97-104 - [c12]Bernadette Charron-Bost, Xavier Défago, André Schiper:
Broadcasting Messages in Fault-Tolerant Distributed Systems: The Benefit of Handling Input-Triggered and Output-Triggered Suspicions Differently. SRDS 2002: 244-249 - [c11]
- 2001
- [c10]Péter Urbán, Xavier Défago, André Schiper:
Neko: A Single Environment to Simulate and Prototype Distributed Algorithms. ICOIN 2001: 503-511 - [c9]Nicole Sergent, Xavier Défago, André Schiper:
Impact of a Failure Detection Mechanism on the Performance of Consensus. PRDC 2001: 137-145 - [c8]Péter Urbán, Xavier Défago, André Schiper:
Chasing the FLP Impossibility Result in a LAN or How Robust Can a Fault Tolerant Server Be?. SRDS 2001: 190-193 - [c7]Bernadette Charron-Bost, Xavier Défago, André Schiper:
Time vs. Space in Fault-Tolerant Distributed Systems. WORDS 2001: 21-27 - 2000
- [c6]Péter Urbán, Xavier Défago, André Schiper:
Contention-aware metrics for distributed algorithms: comparison of atomic broadcast algorithms. ICCCN 2000: 582-589
1990 – 1999
- 1999
- [c5]Pascal Felber, Xavier Défago, Patrick Th. Eugster, André Schiper:
Replicating CORBA objects: a marriage between active and passive replication. DAIS 1999: 375-388 - [c4]Pascal Felber, Xavier Défago, Rachid Guerraoui, Philipp Oser:
Failure Detectors as First Class Objects. DOA 1999: 132-141 - [c3]Xavier Défago, Pascal Felber, André Schiper:
Optimization techniques for replicating CORBA objects. WORDS (Jan.) 1999: 2-8 - 1998
- [c2]
- 1997
- [c1]Xavier Défago, Pascal Felber, Benoît Garbinato, Rachid Guerraoui:
Reliability with CORBA Event Channels. COOTS 1997: 237-240
Coauthor Index
last updated on 2019-02-21 21:00 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint