Xavier DEFAGO Associate Professor

Dependable Distributed Systems Laboratory, Foundations of Software Chair Information Science, JAIST   (also formerly; 2002-2006) "Information & Systems," PRESTO, JST   (contact information)

Research Interests

Selected Papers

Journals

• S. Souissi, X. Défago, and M. Yamashita.
  Using eventually consistent compasses to gather memory-less mobile robots with limited visibility.
  ACM Transactions on Autonomous and Adaptive Systems, Vol. 4, No. 1, Art. 9, pp. 1-27, 2009. ACM Press.

• X. Défago and S. Souissi.
  Non-uniform circle formation algorithm for oblivious mobile robots with convergence toward uniformity.
  Theoretical Computer Science, 396(1-3):97-112, 2008. Elsevier.

• R. Yared, X. Défago, J. Iguchi-Cartigny, M. Wiesmann.
  Collision prevention platform for a dynamic group of asynchronous cooperative mobile robots.
  Journal of Networks, 2(4):28-39, 2007.

• 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.
  [abstract], [DOI] (ACM DL),

• 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.
  [abstract], [DOI]

Conferences/Meetings

(PC vice chair:)
• AINA 2006: 20th IEEE Intl. Conf. on Advanced Information Networking and Applications. Vienna, Austria. April 2006.
  track: "Dependable and Autonomic Systems"
   
  (PC member, etc.:)
• EDCC-7: 7th European Dependable Computing Conference. Kaunas, Lithuania. May 2008. (Intl. Liasion)
• PRDC 2007: 13th IEEE Pacific Rim International Symposium on Dependable Computing. Melbourne, Australia. December 2007.
• SRDS 2007: 26th IEEE Intl. Symp. on Reliable Distributed Systems. Beijing, China. October 2007.
• LADC 2007: 3rd Latin-American Symp. on Dependable Computing. Morelia, Mexico. Sep. 2007.
• ICDCS 2007: 27th IEEE Intl. Conf. on Distributed Computing Systems. Toronto, Canada. June 2007.
• FOFDC 2007: ARES 2007 Workshop on Foundations of Fault-tolerant Distributed Computing Vienna, Austria. April 2007.
• SSS 2006: 8th Intl. Symp. on Stabilization, Safety, and Security of Distributed Systems. Dallas, TX, USA. November 2006.
• ICDCS 2006: 26th IEEE Intl. Conf. on Distributed Computing Systems. Lisboa, Portugal. July 2006.
• DSN 2005: IEEE/IFIP Intl. Conf. on Dependable Systems and Networks. Yokohama, Japan. June 2005.
• NCA 2005: 4th IEEE Intl. Symp. on Network Computing and Applications. Cambridge, MA, USA. July 2005.
• UISW 2005: 2nd Intl. Symp. on Ubiquitous Intelligence and Smart Worlds. Nagasaki, Japan. Dec. 2005.
• LADC 2005: 2nd Latin-American Symp. on Dependable Computing. Salvador, Bahia, Brazil. Oct. 2005.
• SRDS 2004: 23rd IEEE Intl. Symp. on Reliable Distributed Systems. Florianópolis, Brazil. October 2004.
• ISORC 2004: 7th IEEE Intl. Symp. on Object-oriented Real-time distributed Computing. Vienna, Austria. May 2004.
• AC 2004: IADIS Intl. Conf. on Applied Computing. Lisbon, Portugal. March 2004.
• Intl. Workshop on Large-Scale Group Communication. Florence, Italy. October 2003.
   
  (Other:)
• RCDS 2002: Intl. Workshop on Self-Repairing and Self-Configurable Distributed Systems. Osaka, Japan. October 2002.
  Workshop/Program co-chair
• POMC 2002: 2nd ACM Intl. Workshop on Principles of Mobile Computing. Toulouse, France. October 2002.
  Finance/registration chair.
• SRDS 1999: 18th IEEE Intl. Symp. on Reliable Distributed Systems. Lausanne, Switzerland. October 1999.
  Publication chair.

PhD Dissertation

• Xavier Défago.
  Agreement-Related Problems: From Semi-Passive Replication to Totally Ordered Broadcast.
  PhD thesis, École Polytechnique Fédérale de Lausanne, Switzerland, August 2000.
  Number 2229.
  [abstract], [.ps], [.pdf], [link]