D2S

Dependable Distributed Systems

(Défago Lab.)

See boilerplate information at the bottom.

    Journals

  1. F. Bonnet, X. Défago, T.-D. Nguyen, M. Potop-Butucaru.
    Tight bound on mobile Byzantine Agreement.
    Theor. Comput. Sci. 609: 361-373 (2016).
    doi:10.1016/j.tcs.2015.10.019
  2. T.-T. Pham, X. Défago, Q.-T. Huynh.
    Reliability Prediction for Component-based Software Dealing with Concurrent Propagating Errors.
    Science of Computer Programming 97:426--457 (2015).
    doi:10.1016/j.scico.2014.03.016
  3. T.-T. Pham, F. Bonnet, X. Défago.
    Reliability Prediction for Component-based Software Systems with Architectural level Fault-tolerance Mechanisms (extended version).
    Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications 5(1):4–36 (2014) [link]
  4. Taisuke Izumi, Samia Souissi, Yoshiaki Katayama, Nobuhiro Inuzuka, X. Défago, Koichi Wada, Masafumi Yamashita.
    The Gathering Problem for Two Oblivious Robots with Unreliable Compasses.
    SIAM Journal on Computing 41(1): 26-46 (2012)
    doi:10.1137/100797916
  5. Yan Yang, Samia Souissi, X. Défago, Makoto Takizawa.
    Fault-tolerant flocking for a group of autonomous mobile robots.
    Journal of Systems and Software 84(1): 29-36 (2011)
    doi:10.1016/j.jss.2010.08.026
  6. Julien Clement, X. 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)
    doi:10.1016/j.ipl.2010.04.006
  7. Samia Souissi, X. Défago, Masafumi Yamashita.
    Using eventually consistent compasses to gather memory-less mobile robots with limited visibility.
    ACM Trans. on Autonomous and Adaptive Systems 4(1): (2009)
    doi:10.1145/1462187.1462196
  8. X. 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)
    doi:10.1016/j.tcs.2008.01.050
  9. Wei Sun, Chen Yu, X. Défago, Yasushi Inoguchi.
    Dynamic Scheduling Real-Time Task Using Primary-Backup Overloading Strategy for Multiprocessor Systems.
    IEICE Trans. on Information & Systems 91-D(3): 796-806 (2008)
    doi:10.1093/ietisy/e91-d.3.796
  10. Naixue Xiong, Laurence Tianruo Yang, Yan Yang, X. 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)
    doi:10.1016/j.matcom.2007.10.001
  11. Rami Yared, X. Défago, Julien Iguchi-Cartigny, Matthias Wiesmann.
    Collision Prevention Platform for a Dynamic Group of Asynchronous Cooperative Mobile Robots.
    Journal of Networks 2(4): 28-39 (2007)
    doi:10.4304/jnw.2.4.28-39
  12. X. Défago, A. Schiper, and P. Urbán.
    Total order broadcast and multicast algorithms: Taxonomy and survey.
    ACM Computing Surveys, 36(4):372-421, December 2004. ACM Press.
    doi:10.1145/1041680.1041682
  13. X. Défago and A. Schiper.
    Semi-passive replication and Lazy Consensus.
    Journal of Parallel and Distributed Computing, 64(12):1380-1398, December 2004. Elsevier.
    doi:10.1016/j.jpdc.2004.08.006
  14. X. Défago, A. Schiper, and P. Urbán.
    Comparative performance analysis of ordering strategies in atomic broadcast algorithms.
    IEICE Trans. on Information and Systems, Vol.E86-D, No.12, pp.2698-2709, December 2003. [summary] (ext. link)
  15. P. Urbán, X. Défago, and A. Schiper.
    Neko: A single environment to simulate and prototype distributed algorithms.
    Journal of Information Science and Engineering, 18(6):981-997, November 2002. [full text] (ext. link)
  16. B. Garbinato, X. Défago, R. Guerraoui, and K. R. Mazouni.
    Abstractions pour la programmation concurrente dans GARF.
    Calculateurs parallèles, 6(2):85-98, June 1994. [pdf]
  17. Conferences (refereed)

  18. Adam Heriban, X. Défago, Sébastien Tixeuil. Optimally Gathering Two Robots.
    Proc. 19th Intl. Conf. on Distributed Computing and Networking (ICDCN) pp.3:1-10, January 2018.
    doi:10.1145/3154273.3154323
  19. F. Bonnet, Quentin Bramas, X. Défago, Thanh Dang Nguyen. Killing Nodes as a Countermeasure to Virus Expansion.
    Proc. 24th Intl. Coll. Structural Information and Communication Complexity (SIROCCO) LNCS 10641, pp.227-243, June 2017.
    doi:10.1007/978-3-319-72050-0_14
  20. Davide Canepa, X. Défago, Taisuke Izumi, Maria Potop-Butucaru. Flocking with Oblivious Robots.
    Proc. 18th Intl. Symp. Stabilization, Safety, and Security of Distributed Systems (SSS) LNCS 10083, pp.94-108, November 2016.
    doi:10.1007/978-3-319-49259-9_8
  21. A.Maurer, S.Tixeuil, X. Défago.
    Communicating Reliably in Multihop Dynamic Networks Despite Byzantine Failures.
    34th IEEE Symposium on Reliable Distributed Systems (SRDS), pp.238-245, October 2015.
    doi:10.1109/SRDS.2015.10
  22. F. Bonnet, X. Défago, Thanh Dang Nguyen, Maria Potop-Butucaru.
    Tight Bound on Mobile Byzantine Agreement.
    28th Intl. Symp. on Distributed Computing (DISC), LNCS 8784, pp.76-90, October 2014.
    doi:10.1007/978-3-662-45174-8_6
  23. Gianlorenzo D'Angelo, X. Défago, Nicolas Nisse.
    Understanding the Power of Stigmergy of Anonymous Agents in Discrete Environments.
    2nd Intl. Symp. on Computing and Networking (CANDAR), pp.50-59, December 2014. [DOI]
  24. T.D. Nguyen, F. Bonnet, X. Défago.
    Mitigating the Spread of a Virus in the Internet.
    In Proc. SRDS Workshops, 2nd Workshop on Planetary-Scale Distributed Systems (W-PSDS), pp.14-19, October 2014. [DOI]
  25. F. Bonnet, X. Défago, Franck Petit, Maria Potop-Butucaru, Sébastien Tixeuil.
    Discovering and Assessing Fine-grained Metrics in Robot Networks Protocols.
    In Proc. SRDS Workshops, Workshop on Self-organization in Swarm of Robots (WSSR), pp.50-59, October 2014. [DOI]
  26. Lee Chin Kho, X. Défago, Azman Osman Lim, Yasuo Tan.
    A Taxonomy of Congestion Control Techniques for TCP in Wired and Wireless Networks.
    IEEE Symp. Wireless Technology & Applications (ISWTA), pp.147-152, 2013. [DOI]
  27. Thanh-Trung Pham, X. Défago.
    Reliability Prediction for Component-Based Software Systems with Architectural-Level Fault Tolerance Mechanisms.
    8th Intl. Conf. on Availability, Reliability and Security (ARES) pp.11-20, 2013. [DOI]
  28. Thanh-Trung Pham, X. Défago.
    Reliability Prediction for Component-based Systems: Incorporating Error Propagation Analysis and Different Execution Models.
    12th Intl. Conf. on Quality Software (QSIC'12), pp.106-115, August 2012. [DOI]
  29. Samuel Bernard, X. Défago, Sébastien Tixeuil.
    A Fast and Robust Optimistic Total Order Broadcast for Online Video Games.
    8th Intl. Symp. on Frontiers of Information Systems and Network Applications (FINA), pp.189–196, Fukuoka, Japan, March 2012. [DOI]
  30. Yan Yang, Samia Souissi, X. Défago, Makoto Takizawa.
    Fault-Tolerant Flocking of Mobile Robots with Whole Formation Rotation.
    23rd Intl. Conf. on Advanced Information Networking and Applications (AINA) pp.830-837 (2009) [DOI]
  31. Yan Yang, X. Défago, Makoto Takizawa.
    Self-stabilized Flocking of a Group of Mobile Robots under Memory Corruption.
    12th Intl. Conf. on Network-Based Information Systems (NBiS 2009) pp.532-538 [DOI]
  32. Samia Souissi, Yan Yang, X. Défago.
    Fault-Tolerant Flocking in a k-Bounded Asynchronous System.
    12th Intl. Conf. Principles of Distributed Systems (OPODIS) pp.145-163 (2008). [DOI]
  33. L.T.Nguyen, X. Défago, R.Beuran, Y.Shinoda.
    An Energy Efficient Routing Scheme for Mobile Wireless Sensor Networks.
    IEEE Intl. Symp. on Wireless Communication Systems. (ISWCS) pp.568–572 (2008). [DOI]
  34. Rami Yared, X. Défago, Matthias Wiesmann.
    Collision prevention using group communication for asynchronous cooperative mobile robots.
    21st Intl. Conf. on Advanced Information Networking and Applications (AINA 2007) pp.244-249 (2007). [DOI]
  35. Matthias Wiesmann, X. Défago.
    Anonymous Stabilizing Leader Election using a Network Sequencer.
    21st Intl. Conf. on Advanced Information Networking and Applications (AINA 2007) pp.673-678 (2007). [DOI]
  36. Naixue Xiong, Yan Yang, X. Défago.
    Comparative Analysis of QoS and Memory Usage of Adaptive Failure Detectors.
    13th IEEE Pacific Rim Intl. Symp. on Dependable Computing (PRDC 2007) pp.27-34 (2007). [DOI]
  37. Geunho Lee, Nak Young Chong, X. Défago.
    Robust Self-Deployment for a Swarm of Autonomous Mobile Robots with Limited Visibility Range.
    16th IEEE Intl. Symp. on Robot & Human Interactive Communication (RO-MAN 2007) pp.925-930 (2007). [DOI]
  38. Masafumi Yamashita, Samia Souissi, X. Défago.
    Gathering two stateless mobile robots using very inaccurate compasses in finite time.
    Proc. 1st Intl. Conf. on Robot Communication and Coordination (ROBOCOMM 2007) Art.48 [DOI]
  39. Wei Sun, Yuanyuan Zhang, Chen Yu, X. Défago, Yasushi Inoguchi.
    Hybrid Overloading and Stochastic Analysis for Redundant Real-time Multiprocessor Systems.
    26th IEEE Symposium on Reliable Distributed Systems (SRDS) pp.265-274 (2007). [DOI]
  40. X. Défago, Maria Gradinariu, Stéphane Messika, Philippe Raipin Parvédy.
    Fault-Tolerant and Self-stabilizing Mobile Robots Gathering.
    20th Intl. Symp. Distributed Computing (DISC) pp.46-60 (2006). [DOI]
  41. Naixue Xiong, X. 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.
    25th IEEE Intl. Conf. on Computer Communications (INFOCOM 2006) [DOI]
  42. Samia Souissi, X. Défago, Masafumi Yamashita.
    Gathering Asynchronous Mobile Robots with Inaccurate Compasses.
    10th Intl. Conf. Principles of Distributed Systems (OPODIS 2006) 333-349 [DOI]
  43. Matthias Wiesmann, X. Défago.
    End-to-end consensus using end-to-end channels.
    12th IEEE Pacific Rim Intl. Symp. on Dependable Computing (PRDC 2006) 341-350 [DOI]
  44. Matthias Wiesmann, Péter Urbán, X. Défago.
    An SNMP based failure detection service.
    25th IEEE Symp. on Reliable Distributed Systems (SRDS 2006) 365-376 [DOI]
  45. Samia Souissi, X. Défago, Masafumi Yamashita.
    Using Eventually Consistent Compasses to Gather Oblivious Mobile Robots with Limited Visibility.
    8th Intl. Symp. Stabilization, Safety, and Security of Distributed Systems (SSS 2006) 484-500 [DOI]
  46. Rami Yared, X. Défago, Takuya Katayama.
    Fault-Tolerant Group Membership Protocols Using Physical Robot Messengers.
    19th Intl. Conf. on Adv. Inform. Networking and Applications (AINA 2005) 921-926 [DOI]
  47. Emmanuelle Anceaume, X. Défago, Maria Gradinariu, Matthieu Roy.
    Towards a Theory of Self-organization.
    9th Intl. Conf. Principles of Distributed Systems (OPODIS 2005) 191-205 [DOI]
  48. X. Défago, P. Urbán, N. Hayashibara, T. Katayama.
    Definition and specification of accrual failure detectors.
    In Proc. IEEE/IFIP Intl. Conf. on Dependable Systems and Networks (DSN'05), pp. 206-215, Yokohama, Japan, June 2005. [DOI]
  49. R. Yared, X. Défago, and T. Katayama.
    Fault-tolerant group membership protocols using physical robot messengers.
    In Proc. 19th IEEE Intl. Conf. on Advanced Information Networking and Applications (AINA), Vol. 1, pp. 921-926, Taipei, Taiwan, March 2005. [DOI]
  50. N. Hayashibara, X. Défago, R. Yared, and T. Katayama.
    The φ accrual failure detector.
    In Proc. 23rd IEEE Intl. Symp. on Reliable Distributed Systems (SRDS'04), pp. 66-78, Florianópolis, Brazil, October 2004. IEEE CS Press. [DOI]
  51. A. Ben Hassine, X. Défago, and T. B. Ho.
    Agent-based approach to dynamic meeting scheduling problems.
    In Proc. 3rd Intl. Joint Conf. on Autonomous Agents and Multi Agent Systems (AAMAS 2004), Vol. 3, pp. 1130-1137, New York, USA, July 2004. [DOI]
  52. K. Satou, Y. Nakajima, S. Tsuji, X. Défago, and A. Konagaya.
    An integrated system for distributed bioinformatics environment on grids.
    In Grid Computing in Life Science: First Intl. Life Science Grid Workshop (LSGRID2004), Kanazawa, Japan, May 2004. LNCS 3370/2005, Springer. [DOI]
  53. S. Souissi, X. Défago, and T. Katayama.
    Decomposition of fundamental problems for cooperative autonomous mobile systems
    In Proc. 24th IEEE Intl. Conf. on Distributed Computing Systems Workshops (ICDCSW); 2nd Intl. Workshop on Mobile Distributed Computing (MDC'04), pp. 554-560, Tokyo, Japan, March 2004. IEEE CS Press. [DOI]
  54. J. C. Clemente Litrán, X. Défago, and K. Satou.
    Asynchronous peer-to-peer communication for failure resilient distributed genetic algorithms.
    In Proc. 15th IASTED Intl. Conf. on Parallel and Distributed Computing and Systems (PDCS), Vol. II, pp. 769-773, Marina del Rey, CA, USA, November 2003. [pdf]
  55. N. Hayashibara, X. Défago, and T. Katayama.
    Two-ways adaptive failure detection with the φ-failure detector.
    In Proc. Workshop on Adaptive Distributed Systems (WADiS), pp. 22-27, Sorrento, Italy, October 2003. [pdf]
  56. X. Défago, N. Hayashibara, and T. Katayama.
    On the design of a failure detection service for large scale distributed systems.
    In Proc. Intl. Symp. Towards Peta-Bit Ultra-Networks (PBit), pp. 88-95, Ishikawa, Japan, September 2003. [pdf]
  57. M. Wiesmann, X. Défago, and A. Schiper.
    Group communication based on standard interfaces.
    In Proc. 2nd IEEE Intl. Symp. on Network Computing and Applications (NCA), pp. 140-147, Cambridge, MA, USA, April 2003. [pdf], [DOI]
  58. X. Défago and A. Konagaya.
    Circle formation for oblivious anonymous mobile robots with no common sense of orientation.
    In Proc. 2nd ACM Annual Workshop on Principles of Mobile Computing (POMC'02), pp. 97-104, Toulouse, France, October 2002. ACM Press. [pdf], [DOI]
  59. B. Charron-Bost, X. Défago, and A. Schiper.
    Broadcasting messages in fault-tolerant distributed systems: the benefit of handling input-triggered and output-triggered suspicions differently.
    In Proc. 21st IEEE Intl. Symp. on Reliable Distributed Systems (SRDS), pp. 244-249, Osaka, Japan, October 2002. IEEE CS Press. [pdf], [DOI]
  60. N. Sergent, X. Défago, and A. Schiper.
    Impact of a failure detector on the performance of Consensus.
    In Proc. 8th IEEE Pacific Rim Symp. on Dependable Computing (PRDC), pp. 137-145, Seoul, Korea, December 2001. IEEE CS Press. [pdf], [DOI]
  61. P. Urbán, X. Défago, and A. Schiper.
    Chasing the FLP impossibility result in a LAN or how robust can a fault-tolerant server be?
    In Proc. 20th IEEE Intl. Symp. on Reliable Distributed Systems (SRDS), pp. 190-193, New Orleans, USA, October 2001. IEEE CS Press. [pdf], [DOI]
  62. X. Défago.
    Distributed computing on the move: From mobile computing to cooperative robotics and nanorobotics (a position paper).
    In Proc. 1st ACM Annual Workshop on Principles of Mobile Computing (POMC'01), pp. 49-55, Newport, USA, August 2001. ACM Press. [pdf]
  63. P. Urbán, X. Défago, and A. Schiper.
    Neko: A single environment to simulate and prototype distributed algorithms.
    In Proc. 15th IEEE Intl. Conf. on Information Networking (ICOIN), pp. 503-511, Beppu City, Japan, January 2001. IEEE CS Press. [pdf], [DOI]
  64. B. Charron-Bost, X. Défago, and A. Schiper.
    Time vs space in fault-tolerant distributed systems.
    In Proc. 6th IEEE Intl. Workshop on Object-oriented Real-time Dependable Systems (WORDS), pp. 21-27, Roma, Italy, January 2001. IEEE CS Press. [pdf], [DOI]
  65. P. Urbán, X. Défago, and A. Schiper.
    Contention-aware metrics for distributed algorithms: Comparison of atomic broadcast algorithms.
    In Proc. 9th IEEE Intl. Conf. on Computer Communications and Networks (ICCCN), pp. 582-589, Las Vegas, USA, October 2000. IEEE CS Press. [pdf] [DOI]
  66. P. Felber, X. Défago, R. Guerraoui, and P. Oser.
    Failure detectors as first class objects.
    In Proc. Intl. Symp. on Distributed Objects and Applications (DOA), pp. 132-141, Edinburgh, Scotland, September 1999. IEEE CS Press. [pdf], [DOI]
  67. P. Felber, X. Défago, P. Eugster, and A. Schiper.
    Replicating CORBA objects: a marriage between active and passive replication.
    In Proc. 2nd IFIP Intl. Working Conf. on Distributed Applications and Interoperable Systems (DAIS'99), pp. 375-387, Helsinki, Finland, June 1999. Kluwer. [pdf], [link] [DOI]
  68. X. Défago, P. Felber, and A. Schiper.
    Optimization techniques for replicating CORBA objects.
    In Proc. 4th IEEE Intl Workshop on Object-oriented Real-time Dependable Systems (WORDS'99), pp. 2-8, Santa Barbara, CA, USA, January 1999. IEEE CS Press. [pdf], [DOI]
  69. X. Défago, A. Schiper, and N. Sergent.
    Semi-passive replication.
    In Proc. 17th IEEE Symp. on Reliable Distributed Systems (SRDS), pp. 43-50, West Lafayette, IN, USA, October 1998. IEEE CS Press. [pdf], [DOI]
  70. X. Défago, K. R. Mazouni, and A. Schiper.
    Highly available trading system: Experiments with CORBA.
    In N. Davies, K. Raymond, and J. Seitz, editors, Middleware'98: IFIP Intl. Conf. on Distributed Systems Platforms and Open Distributed Processing, pp 91-104, The Lake District, UK, September 1998. Springer-Verlag. Springer-Verlag. [pdf] [DOI]
  71. X. Défago, P Felber, B. Garbinato, and R. Guerraoui.
    Reliability with CORBA event channels.
    In Proc. 3rd USENIX Conf. on Object-Oriented Technologies and Systems (COOTS), pp. 237-240, Portland, Oregon, USA, June 1997. [pdf]
  72. U. G. Wilhelm and X. Défago.
    Objets protégés cryptographiquement.
    In Actes RenPar'9, Lausanne, Switzerland, May 1997. [pdf],
  73. X. Défago and A. Konagaya.
    Issues in building a parallel Java virtual machine on Cenju-3/DE.
    In First Cenju Workshop, pp. 50-59, Seoul, Korea, April 1997. in conjunction with High Performance Computing Asia (HPC Asia'97). [pdf]
  74. X. Défago.
    Reliability issues with CORBA event channels.
    In Proc. 2nd European Research Seminar on Advances in Distributed Systems (ERSADS), pp. 153-158, Zinal, Switzerland, March 1997. [pdf]
  75. Invited papers

  76. X. Défago. Atomic Broadcast. In Encyclopedia of Algorithms, 2nd ed., pp. 155-160, 2016. Springer. [DOI]
  77. X. Défago. Causal Order, Logical Clocks, State Machine Replication. In Encyclopedia of Algorithms, 2nd ed., pp. 283-286, 2016. Springer. [DOI]
  78. F. Bonnet and X. Défago.
    Exploration and surveillance in multi-robots networks.
    In Proc. Intl. Conf. on Networking and Computing, Workshop on Frontiers of Distributed Computing, pp.342-344, Osaka, Japan, November 2011. [DOI]
  79. T.Izumi, X. Défago, N.Hayashibara, C.Fetzer.
    「合意問題」, 電子情報通信学会「知識ベース」, Book6, Vol.7, Chap.2-2, pp.7–20, April 2009. [link]
  80. X. Défago.
    Atomic Broadcast. In Encyclopedia of Algorithms, Part 1, 2008. [DOI]
  81. X. Défago.
    Causal Order, Logical Clocks, State Machine Replication.
    In Encyclopedia of Algorithms, Part 3, 2008. [DOI]
  82. X. Défago.
    Semi-Passive Replication and the Eventual Leadership (invited paper).
    In Proc. Workshop on Dependable Distributed Data Management (WDDDM), pp. 13-18, Florianópolis, Brazil, October 2004.

PhD Dissertation


Boilerplate Information

This list of publications is intended to provide rapid dissemination of scientific material for research and education. Please see the necessary disclaimers below. Note also that the electronic version of papers might slightly differ from the published version both in layout and content. If you have questions regarding the content of any of these papers, please feel free to contact me by email.

IEEE Copyright Notice

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of the works published in IEEE publications in other works must be obtained from the IEEE.

If you have any questions about this please contact the authors.

ACM Copyright Notice

The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.