Xavier Défago

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)

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

Thanh-Trung Pham, Xavier Défago: Reliability Prediction for Component-Based Systems: Incorporating Error Propagation Analysis and Different Execution Models. QSIC 2012: 106-115

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

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)

François Bonnet, Xavier Défago: Exploration and Surveillance in Multi-robots Networks. ICNC 2011: 342-344

Xavier Défago, Franck Petit, Vincent Villain (Eds.): 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

Davide Canepa, Xavier Défago, Taisuke Izumi, Maria Potop-Butucaru: Emergent velocity agreement in robot networks. CoRR abs/1105.4082 (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 abs/1111.1492 (2011)

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)

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)

Samia Souissi, Xavier Défago, Masafumi Yamashita: Using eventually consistent compasses to gather memory-less mobile robots with limited visibility. TAAS 4(1) (2009)

Yan Yang, Samia Souissi, Xavier Défago, Makoto Takizawa: Fault-Tolerant Flocking of Mobile Robots with Whole Formation Rotation. AINA 2009: 830-837

Yan Yang, Xavier Défago, Makoto Takizawa: Self-stabilized Flocking of a Group of Mobile Robots under Memory Corruption. NBiS 2009: 532-538

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)

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)

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)

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

Samia Souissi, Yan Yang, Xavier Défago: Fault-Tolerant Flocking in a k-Bounded Asynchronous System. OPODIS 2008: 145-163

Xavier Défago: Atomic Broadcast. Encyclopedia of Algorithms 2008

Xavier Défago: Causal Order, Logical Clocks, State Machine Replication. Encyclopedia of Algorithms 2008

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)

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)

Rami Yared, Xavier Défago, Matthias Wiesmann: Collision prevention using group communication for asynchronous cooperative mobile robots. AINA 2007: 244-249

Matthias Wiesmann, Xavier Défago: Anonymous Stabilizing Leader Election using a Network Sequencer. AINA 2007: 673-678

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

Rami Yared, Julien Cartigny, Xavier Défago, Matthias Wiesmann: Locality-preserving distributed path reservation protocol for asynchronous cooperative mobile robots. ISADS 2007: 188-195

Naixue Xiong, Yan Yang, Xavier Défago: Comparative Analysis of QoS and Memory Usage of Adaptive Failure Detectors. PRDC 2007: 27-34

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

Masafumi Yamashita, Samia Souissi, Xavier Défago: Gathering two stateless mobile robots using very inaccurate compasses in finite time. ROBOCOMM 2007: 48

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

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: Gathering Asynchronous Mobile Robots with Inaccurate Compasses. OPODIS 2006: 333-349

Matthias Wiesmann, Xavier Défago: End-to-end consensus using end-to-end channels. PRDC 2006: 341-350

Matthias Wiesmann, Péter Urbán, Xavier Défago: An SNMP based failure detection service. SRDS 2006: 365-376

Samia Souissi, Xavier Défago, Masafumi Yamashita: Using Eventually Consistent Compasses to Gather Oblivious Mobile Robots with Limited Visibility. SSS 2006: 484-500

Xavier Défago, Maria Gradinariu, Stéphane Messika, Philippe Raipin Parvédy: Fault-Tolerant and Self-stabilizing Mobile Robots Gathering. DISC 2006: 46-60

Rami Yared, Xavier Défago, Takuya Katayama: Fault-Tolerant Group Membership Protocols Using Physical Robot Messengers. AINA 2005: 921-926

Naohiro Hayashibara, Xavier Défago, Makoto Takizawa, Takuya Katayama: Information Propagation on the phi Failure Detector. DEXA Workshops 2005: 72-76

Xavier Défago, Péter Urbán, Naohiro Hayashibara, Takuya Katayama: Definition and Specification of Accrual Failure Detectors. DSN 2005: 206-215

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

Naixue Xiong, Xavier Défago, Yanxiang He, Yan Yang: A Resource-Based Server Performance Control for Grid Computing Systems. NPC 2005: 56-64

Emmanuelle Anceaume, Xavier Défago, Maria Gradinariu, Matthieu Roy: Towards a Theory of Self-organization. OPODIS 2005: 191-205

Wenyu Qu, Hong Shen, Xavier Défago: A Survey of Mobile Agent-Based Fault-Tolerant Technology. PDCAT 2005: 446-450

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

Naixue Xiong, Yan Yang, Xavier Défago, Yanxiang He: LRC-RED: A Self-tuning Robust and Adaptive AQM Scheme. PDCAT 2005: 655-659

Emmanuelle Anceaume, Xavier Défago, Maria Gradinariu, Matthieu Roy: Towards a Theory of Self-organization. DISC 2005: 505-506

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)

Xavier Défago, André Schiper: Semi-passive replication and Lazy Consensus. J. Parallel Distrib. Comput. 64(12): 1380-1398 (2004)

Ahlem Ben Hassine, Xavier Défago, Tu Bao Ho: Agent-Based Approach to Dynamic Meeting Scheduling Problems. AAMAS 2004: 1132-1139

Samia Souissi, Xavier Défago, Takuya Katayama: Decomposition of Fundamental Problems for Cooperative Autonomous Mobile Systems. ICDCS Workshops 2004: 554-560

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

Naohiro Hayashibara, Xavier Défago, Rami Yared, Takuya Katayama: The Φ Accrual Failure Detector. SRDS 2004: 66-78

Matthias Wiesmann, Xavier Défago, André Schiper: Group Communication based on Standard Interfaces. NCA 2003: 140-147

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)

Xavier Défago, Akihiko Konagaya: Circle formation for oblivious anonymous mobile robots with no common sense of orientation. POMC 2002: 97-104

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

Xavier Défago, Fernando Pedone: Message from the RCDS Co-Chairs. SRDS 2002: 370-

Péter Urbán, Xavier Défago, André Schiper: Neko: A Single Environment to Simulate and Prototype Distributed Algorithms. ICOIN 2001: 503-511

Nicole Sergent, Xavier Défago, André Schiper: Impact of a Failure Detection Mechanism on the Performance of Consensus. PRDC 2001: 137-145

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

Bernadette Charron-Bost, Xavier Défago, André Schiper: Time vs. Space in Fault-Tolerant Distributed Systems. WORDS 2001: 21-27

Pascal Felber, Xavier Défago, Patrick Th. Eugster, André Schiper: Replicating CORBA objects: a marriage between active and passive replication. DAIS 1999: 375-388

Pascal Felber, Xavier Défago, Rachid Guerraoui, Philipp Oser: Failure Detectors as First Class Objects. DOA 1999: 132-141

Xavier Défago, Pascal Felber, André Schiper: Optimization techniques for replicating CORBA objects. WORDS (Jan.) 1999: 2-8

Xavier Défago, André Schiper, Nicole Sergent: Semi-Passive Replication. SRDS 1998: 43-50

Xavier Défago, Pascal Felber, Benoît Garbinato, Rachid Guerraoui: Reliability with CORBA Event Channels. COOTS 1997: 237-240