Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarXavier 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
2020 – today
- 2020
[i12]Keisuke Okumura, Yasumasa Tamura, Xavier Défago:
Time-Independent Planning for Multiple Moving Agents. CoRR abs/2005.13187 (2020)
2010 – 2019
- 2019
- [c65]Keisuke Okumura, Manao Machida, Xavier Défago, Yasumasa Tamura:
Priority Inheritance with Backtracking for Iterative Multi-agent Path Finding. IJCAI 2019: 535-542 - [c64]Satoshi Konno, Xavier Défago:
Approximate QoS Rule Derivation Based on Root Cause Analysis for Cloud Computing. PRDC 2019: 33-42 - [c63]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: 41:1-41:3 - [p1]Xavier Défago, Maria Potop-Butucaru, Sébastien Tixeuil:
Fault-Tolerant Mobile Robots. Distributed Computing by Mobile Entities 2019: 234-251 - [i11]Keisuke Okumura, Manao Machida, Xavier Défago, Yasumasa Tamura:
Priority Inheritance with Backtracking for Iterative Multi-agent Path Finding. CoRR abs/1901.11282 (2019) - [i10]Keisuke Okumura, Yasumasa Tamura, Xavier Défago:
winPIBT: Expanded Prioritized Algorithm for Iterative Multi-agent Path Finding. CoRR abs/1905.10149 (2019) - [i9]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 abs/1907.09871 (2019) - 2018
- [c62]Keisuke Okumura, Yasumasa Tamura, Xavier Défago:
Amoeba Exploration: Coordinated Exploration with Distributed Robots. iCAST 2018: 191-195 - [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]Xavier Défago:
Atomic Broadcast. Encyclopedia of Algorithms 2016: 155-160 - [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, Huynh Quyet Thang:
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). J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 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]Xavier Défago, Franck Petit, Vincent Villain:
Preface. Theor. Comput. Sci. 512: 1 (2013) - [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. J. Syst. Softw. 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. ACM Trans. Auton. Adapt. Syst. 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 Trans. Inf. Syst. 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. Math. Comput. Simul. 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]Xavier Défago:
Atomic Broadcast. Encyclopedia of Algorithms 2008 - [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. J. Networks 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 Distributed 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]Xavier Défago, Fernando Pedone:
Message from the RCDS Co-Chairs. SRDS 2002: 370- - 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]Xavier Défago, André Schiper, Nicole Sergent:
Semi-Passive Replication. SRDS 1998: 43-50 - 1997
- [c1]Xavier Défago, Pascal Felber, Benoît Garbinato, Rachid Guerraoui:
Reliability with CORBA Event Channels. COOTS 1997: 237-240
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org and opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy.
Citation data
Add a list of citing articles from to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter accout. At the same time, Twitter will persitently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2020-05-29 23:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
