Xavier Défago

According to our database1, Xavier Défago authored at least 89 papers between 1997 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Fault-Tolerant Mobile Robots.
Proceedings of the Distributed Computing by Mobile Entities, 2019

Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space.
CoRR, 2019

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

Brief Announcement: Model Checking Rendezvous Algorithms for Robots with Lights in Euclidean Space.
Proceedings of the 33rd International Symposium on Distributed Computing, 2019

Approximate QoS Rule Derivation Based on Root Cause Analysis for Cloud Computing.
Proceedings of the 24th IEEE Pacific Rim International Symposium on Dependable Computing, 2019

Priority Inheritance with Backtracking for Iterative Multi-agent Path Finding.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018
Optimal Rendezvous L-Algorithms for Asynchronous Mobile Robots with External-Lights.
Proceedings of the 22nd International Conference on Principles of Distributed Systems, 2018

Optimally Gathering Two Robots.
Proceedings of the 19th International Conference on Distributed Computing and Networking, 2018

Amoeba Exploration: Coordinated Exploration with Distributed Robots.
Proceedings of the 9th International Conference on Awareness Science and Technology, 2018

2017
Killing Nodes as a Countermeasure to Virus Expansion.
Proceedings of the Structural Information and Communication Complexity, 2017

2016
Causal Order, Logical Clocks, State Machine Replication.
Encyclopedia of Algorithms, 2016

Atomic Broadcast.
Encyclopedia of Algorithms, 2016

Tight bound on mobile Byzantine Agreement.
Theor. Comput. Sci., 2016

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

Flocking with Oblivious Robots.
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.
Sci. Comput. Program., 2015

Communicating Reliably in Multihop Dynamic Networks Despite Byzantine Failures.
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).
JoWUA, 2014

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

Mitigating the Spread of a Virus in the Internet.
Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems Workshops, 2014

Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols.
Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems Workshops, 2014

Understanding the Power of Stigmergy of Anonymous Agents in Discrete Environments.
Proceedings of the Second International Symposium on Computing and Networking, 2014

2013
Preface.
Theor. Comput. Sci., 2013

Decreasing the Locks by Isolating the Concurrent Execution in Microprotocol Framework.
Proceedings of the First International Symposium on Computing and Networking, 2013

Reliability Prediction for Component-Based Software Systems with Architectural-Level Fault Tolerance Mechanisms.
Proceedings of the 2013 International Conference on Availability, Reliability and Security, 2013

2012
The Gathering Problem for Two Oblivious Robots with Unreliable Compasses.
SIAM J. Comput., 2012

Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols.
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.
Proceedings of the 2012 12th International Conference on Quality Software, 2012

A Fast and Robust Optimistic Total Order Broadcast for Online Video Games.
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.
Journal of Systems and Software, 2011

Emergent velocity agreement in robot networks
CoRR, 2011

Exploration and Surveillance in Multi-robots Networks.
Proceedings of the Second International Conference on Networking and Computing, 2011

2010
The cost of probabilistic agreement in oblivious robot networks.
Inf. Process. Lett., 2010

A framework for proving the self-organization of dynamic systems
CoRR, 2010

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

Self-stabilized Flocking of a Group of Mobile Robots under Memory Corruption.
Proceedings of the NBiS 2009, 2009

Fault-Tolerant Flocking of Mobile Robots with Whole Formation Rotation.
Proceedings of the IEEE 23rd International Conference on Advanced Information Networking and Applications, 2009

2008
Causal Order, Logical Clocks, State Machine Replication.
Proceedings of the Encyclopedia of Algorithms - 2008 Edition, 2008

Atomic Broadcast.
Proceedings of the Encyclopedia of Algorithms - 2008 Edition, 2008

Non-uniform circle formation algorithm for oblivious mobile robots with convergence toward uniformity.
Theor. Comput. Sci., 2008

A novel numerical algorithm based on self-tuning controller to support TCP flows.
Mathematics and Computers in Simulation, 2008

Dynamic Scheduling Real-Time Task Using Primary-Backup Overloading Strategy for Multiprocessor Systems.
IEICE Transactions, 2008

The cost of probabilistic gathering in oblivious robot networks
CoRR, 2008

Fault-Tolerant Flocking in a k-Bounded Asynchronous System.
Proceedings of the Principles of Distributed Systems, 12th International Conference, 2008

A Decentralized and Adaptive Flocking Algorithm for Autonomous Mobile Robots.
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.
JNW, 2007

Hybrid Overloading and Stochastic Analysis for Redundant Real-time Multiprocessor Systems.
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.
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.
Proceedings of the IEEE RO-MAN 2007, 2007

Comparative Analysis of QoS and Memory Usage of Adaptive Failure Detectors.
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.
Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2007), 2007

Real-time Task Scheduling Using Extended Overloading Technique for Multiprocessor Systems.
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.
Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

Anonymous Stabilizing Leader Election using a Network Sequencer.
Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

2006
Fault-Tolerant and Self-stabilizing Mobile Robots Gathering.
Proceedings of the Distributed Computing, 20th International Symposium, 2006

Using Eventually Consistent Compasses to Gather Oblivious Mobile Robots with Limited Visibility.
Proceedings of the Stabilization, 2006

An SNMP based failure detection service.
Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), 2006

End-to-end consensus using end-to-end channels.
Proceedings of the 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 2006

Gathering Asynchronous Mobile Robots with Inaccurate Compasses.
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.
Proceedings of the INFOCOM 2006. 25th IEEE International Conference on Computer Communications, 2006

2005
Towards a Theory of Self-organization.
Proceedings of the Distributed Computing, 19th International Conference, 2005

A Brief Comparative Study on Analytical Models of Computer System Dependability and Security.
Proceedings of the Sixth International Conference on Parallel and Distributed Computing, 2005

LRC-RED: A Self-tuning Robust and Adaptive AQM Scheme.
Proceedings of the Sixth International Conference on Parallel and Distributed Computing, 2005

A Survey of Mobile Agent-Based Fault-Tolerant Technology.
Proceedings of the Sixth International Conference on Parallel and Distributed Computing, 2005

A Resource-Based Server Performance Control for Grid Computing Systems.
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.
Proceedings of the Grid and Cooperative Computing - GCC 2005, 4th International Conference, Beijing, China, November 30, 2005

Definition and Specification of Accrual Failure Detectors.
Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

Information Propagation on the phi Failure Detector.
Proceedings of the 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 2005

Fault-Tolerant Group Membership Protocols Using Physical Robot Messengers.
Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA 2005), 2005

2004
Semi-passive replication and Lazy Consensus.
J. Parallel Distrib. Comput., 2004

Total order broadcast and multicast algorithms: Taxonomy and survey.
ACM Comput. Surv., 2004

The Φ Accrual Failure Detector.
Proceedings of the 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 2004

An Integrated System for Distributed Bioinformatics Environment on Grids.
Proceedings of the Grid Computing in Life Science, 2004

Decomposition of Fundamental Problems for Cooperative Autonomous Mobile Systems.
Proceedings of the 24th International Conference on Distributed Computing Systems Workshops (ICDCS 2004 Workshops), 2004

Agent-Based Approach to Dynamic Meeting Scheduling Problems.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

2003
Group Communication based on Standard Interfaces.
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.
J. Inf. Sci. Eng., 2002

Message from the RCDS Co-Chairs.
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.
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.
Proceedings of the 2002 Workshop on Principles of Mobile Computing, 2002

2001
Time vs. Space in Fault-Tolerant Distributed Systems.
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?.
Proceedings of the 20th Symposium on Reliable Distributed Systems (SRDS 2001), 2001

Impact of a Failure Detection Mechanism on the Performance of Consensus.
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.
Proceedings of the Proceedings Ninth International Conference on Computer Communications and Networks, 2000

1999
Optimization techniques for replicating CORBA objects.
Proceedings of the Fourth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999

Failure Detectors as First Class Objects.
Proceedings of the International Symposium on Distributed Objects and Applications, 1999

Replicating CORBA objects: a marriage between active and passive replication.
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.
Proceedings of the Seventeenth Symposium on Reliable Distributed Systems, 1998

1997
Reliability with CORBA Event Channels.
Proceedings of the Third USENIX Conference on Object-Oriented Technologies (COOTS), 1997


  Loading...