The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Michel Raynal: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jean-Michel Hélary, Claude Jard, Noël Plouzeau, Michel Raynal
    Detection of Stable Properties in Distributed Applications. [Citation Graph (2, 0)][DBLP]
    PODC, 1987, pp:125-136 [Conf]
  2. André Schiper, Michel Raynal
    From Group Communication to Transactions in Distributed Systems. [Citation Graph (1, 0)][DBLP]
    Commun. ACM, 1996, v:39, n:4, pp:84-87 [Journal]
  3. Eddy Fromentin, Claude Jard, Guy-Vincent Jourdan, Michel Raynal
    Recognition of Patterns on Control Flows for Debugging Distributed Executions. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1995, pp:221-232 [Conf]
  4. Eddy Fromentin, Noël Plouzeau, Michel Raynal
    Replaying Distributed Executions. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1995, pp:1-18 [Conf]
  5. Mustaque Ahamad, Michel Raynal
    Ordering vs Timeliness: Two Facets of Consistency? [Citation Graph (0, 0)][DBLP]
    Future Directions in Distributed Computing, 2003, pp:73-80 [Conf]
  6. Roy Friedman, Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
    Using Error-Correcting Codes to Solve Distributed Agreement Problems: A Future Direction in Distributed Computing? [Citation Graph (0, 0)][DBLP]
    Future Directions in Distributed Computing, 2003, pp:17-21 [Conf]
  7. Rachid Guerraoui, Michel Hurfin, Achour Mostéfaoui, Riucarlos Oliveira, Michel Raynal, André Schiper
    Consensus in Asynchronous Distributed Systems: A Concise Guided Tour. [Citation Graph (0, 0)][DBLP]
    Advances in Distributed Systems, 1999, pp:33-47 [Conf]
  8. Paulo Veríssimo, Michel Raynal
    Time in Distributed System Models and Algorithms. [Citation Graph (0, 0)][DBLP]
    Advances in Distributed Systems, 1999, pp:1-32 [Conf]
  9. Achour Mostéfaoui, Michel Raynal, Corentin Travers, Sergio Rajsbaum
    From Failure Detectors with Limited Scope Accuracy to System-wide Leadership. [Citation Graph (0, 0)][DBLP]
    AINA (1), 2006, pp:81-86 [Conf]
  10. Michel Raynal
    Token-Based Sequential Consistency in Asynchronous Distributed Systems. [Citation Graph (0, 0)][DBLP]
    AINA, 2003, pp:421-426 [Conf]
  11. Michel Raynal, Matthieu Roy, Ciprian Tutu
    A Simple Protocol Offering Both Atomic Consistent Read Operations and Sequentially Consistent Read Operations. [Citation Graph (0, 0)][DBLP]
    AINA, 2005, pp:961-966 [Conf]
  12. Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
    Consistent State Restoration in Shared Memory Systems. [Citation Graph (0, 0)][DBLP]
    APDC, 1997, pp:330-337 [Conf]
  13. Masaaki Mizuno, Michel Raynal, Gurdip Singh, Mitchell L. Neilsen
    An Efficient Implementation of Sequentially Consistent Distributed Shared Memories. [Citation Graph (0, 0)][DBLP]
    Applications in Parallel and Distributed Computing, 1994, pp:145-154 [Conf]
  14. Achour Mostéfaoui, Michel Raynal
    Definition and Implementation of a Flexible Communication Primitive for Distributed Programming. [Citation Graph (0, 0)][DBLP]
    Applications in Parallel and Distributed Computing, 1994, pp:115-124 [Conf]
  15. Masaaki Mizuno, Michel Raynal, James Z. Zhou
    Sequential Consistency in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Distributed Systems, 1994, pp:224-241 [Conf]
  16. Roberto Baldoni, Jean-Michel Hélary, Michel Raynal
    From Crash Fault-Tolerance to Arbitrary-Fault Tolerance: Towards a Modular Approach. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:273-282 [Conf]
  17. Antonio Fernández, Ernesto Jiménez, Michel Raynal
    Eventual Leader Election with Weak Assumptions on Initial Knowledge, Communication Reliability, and Synchrony. [Citation Graph (0, 0)][DBLP]
    DSN, 2006, pp:166-178 [Conf]
  18. Sérgio Gorender, Raimundo A. Macêdo, Michel Raynal
    A Hybrid and Adaptive Model for Fault-Tolerant Distributed Computing. [Citation Graph (0, 0)][DBLP]
    DSN, 2005, pp:412-421 [Conf]
  19. Achour Mostéfaoui, Eric Mourgaya, Philippe Raipin Parvédy, Michel Raynal
    Evaluating the Condition-Based Approach to Solve Consensus. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:541-550 [Conf]
  20. Achour Mostéfaoui, Eric Mourgaya, Michel Raynal
    Asynchronous Implementation of Failure Detectors. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:351-360 [Conf]
  21. Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
    A Versatile and Modular Consensus Protoco. [Citation Graph (0, 0)][DBLP]
    DSN, 2002, pp:364-373 [Conf]
  22. Achour Mostéfaoui, Michel Raynal, Frederic Tronel
    The Best of Both Worlds: A Hybrid Approach to Solve Consensus. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:513-522 [Conf]
  23. Achour Mostéfaoui, Michel Raynal
    Efficient Message Logging for Uncoordinated Checkpointing Protocols. [Citation Graph (0, 0)][DBLP]
    EDCC, 1996, pp:353-364 [Conf]
  24. Roy Friedman, Achour Mostéfaoui, Michel Raynal
    Building and Using Quorums Despite any Number of Process of Crashes. [Citation Graph (0, 0)][DBLP]
    EDCC, 2005, pp:2-19 [Conf]
  25. André Couvert, René Pedrono, Michel Raynal
    Implementation and Evaluation of Distributed Synchronization on a Distributed Memory Parallel Machine. [Citation Graph (0, 0)][DBLP]
    EDMCC, 1991, pp:304-314 [Conf]
  26. Michel Raynal
    Sequential Consistency as Lazy Linearizability. [Citation Graph (0, 0)][DBLP]
    EurAsia-ICT, 2002, pp:866-873 [Conf]
  27. Roberto Baldoni, Michel Raynal, Ravi Prakash, Mukesh Singhal
    Broadcast with Time and Causality Constraints for Multimedia Applications. [Citation Graph (0, 0)][DBLP]
    EUROMICRO, 1996, pp:617-624 [Conf]
  28. Michel Raynal, Gérard Thia-Kime, Mustaque Ahamad
    From serializable to causal transactions for collaborative applications. [Citation Graph (0, 0)][DBLP]
    EUROMICRO, 1997, pp:314-0 [Conf]
  29. Roberto Baldoni, Francesco Quaglia, Michel Raynal
    Distributed Database Checkpointing. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1999, pp:450-458 [Conf]
  30. Paul D. Ezhilchelvan, Jean-Michel Hélary, Michel Raynal
    Building TMR-Based Reliable Servers Despite Bounded Input Lifetimes. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2001, pp:482-485 [Conf]
  31. Michel Raynal
    Logical Instantaneity and Causal Order: Two ``First Class'' Communication Modes for Parallel Computing. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2000, pp:35-42 [Conf]
  32. Michel Raynal
    Illustrating the Use of Vector Clocks in Property Detection: An Example and a Counter-Example. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1999, pp:806-814 [Conf]
  33. Luís Rodrigues, Michel Raynal
    Quorum-Based Replication in Asynchronous Crash-Recovery Distributed Systems (Research Note). [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2000, pp:605-608 [Conf]
  34. Achour Mostéfaoui, Michel Raynal
    Unreliable Failure Detectors with Limited Scope Accuracy and an Application to Consensus. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1999, pp:329-340 [Conf]
  35. Michel Raynal, André Schiper
    From Causal Consistency to Sequential Consistency in Shared Memory Systems. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1995, pp:180-194 [Conf]
  36. Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
    A Communication-Induced Checkpointing Protocol that Ensures Rollback-Dependency Trackability. [Citation Graph (0, 0)][DBLP]
    FTCS, 1997, pp:68-77 [Conf]
  37. Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
    Communication-Induced Determination of Consistent Snapshots. [Citation Graph (0, 0)][DBLP]
    FTCS, 1998, pp:208-217 [Conf]
  38. Roberto Baldoni, Jerzy Brzezinski, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
    Characterization of Consistent Global Checkpoints in Large-Scale Distributed Systems. [Citation Graph (0, 0)][DBLP]
    FTDCS, 1995, pp:314-323 [Conf]
  39. Maria Gradinariu, Michel Raynal, Gwendal Simon
    Looking for a Common View for Mobile Worlds. [Citation Graph (0, 0)][DBLP]
    FTDCS, 2003, pp:159-0 [Conf]
  40. Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal
    Deadlocks in Distributed Systems: Request Models and Definitions. [Citation Graph (0, 0)][DBLP]
    FTDCS, 1995, pp:186-193 [Conf]
  41. Stephen S. Yau, Carl K. Chang, Randy Chow, Luca Limoncini, Michel Raynal
    Challenges of Future Distributed Computing Systems. [Citation Graph (0, 0)][DBLP]
    FTDCS, 2003, pp:376- [Conf]
  42. D. Herman, Michel Raynal
    Synchronization and Protection Features for Data Abstraction. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1980, pp:277-291 [Conf]
  43. Michel Raynal
    A Case Study of Agreement Problems in Distributed Systems: Non-Blocking Atomic Commitment. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:209-214 [Conf]
  44. Oliver E. Theel, Michel Raynal
    Static and Dynamic Adaptation of Transactional Consistency. [Citation Graph (0, 0)][DBLP]
    HICSS (1), 1997, pp:533-542 [Conf]
  45. Roberto Baldoni, Achour Mostéfaoui, Michel Raynal
    Efficient Causally Ordered Communications for Multimedia Real-Time Applications. [Citation Graph (0, 0)][DBLP]
    HPDC, 1995, pp:140-147 [Conf]
  46. Philippe Ingels, Carlos Maziero, Michel Raynal
    A Distributed Kernel for Virtual Time Driven Applications. [Citation Graph (0, 0)][DBLP]
    ICCI, 1992, pp:457-460 [Conf]
  47. Michel Raynal
    A Distributed Solution to the k-out of-M Resources Allocation Problem. [Citation Graph (0, 0)][DBLP]
    ICCI, 1991, pp:599-609 [Conf]
  48. Mustaque Ahamad, Michel Raynal, Gérard Thia-Kime
    An Adaptive Protocol for Implementing Causally Consistent Distributed Services. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1998, pp:86-93 [Conf]
  49. Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal
    Termination Detection in a Very General Distributed Computing Model. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1993, pp:374-381 [Conf]
  50. Christof Fetzer, Michel Raynal
    Elastic Vector Time. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2003, pp:284-0 [Conf]
  51. Eddy Fromentin, Michel Raynal
    Characterizing and Detecting The Set of Global States Seen by all Observers of a Distributed Computation. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1995, pp:431-438 [Conf]
  52. Eddy Fromentin, Michel Raynal, Frederic Tronel
    On Classes of Problems in Asynchronous Distributed Systems with Process Crashes. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1999, pp:470-477 [Conf]
  53. Rachid Guerraoui, Michel Raynal
    A Generic Framework for Indulgent Consensus. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2003, pp:88-95 [Conf]
  54. Jean-Michel Hélary, Michel Hurfin, Achour Mostéfaoui, Michel Raynal, Frederic Tronel
    Computing Global Functions in Asynchronous Distributed Systems Prone to Process Crashes. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2000, pp:584-591 [Conf]
  55. Vijaykumar Krishnaswamy, Mustaque Ahamad, Michel Raynal, David E. Bakken
    Shared State Consistency for Time-Sensitive Distributed Applications. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2001, pp:606-614 [Conf]
  56. Mitchell L. Neilsen, Masaaki Mizuno, Michel Raynal
    A General Method to Define Quorums. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1992, pp:657-664 [Conf]
  57. Ravi Prakash, Michel Raynal, Mukesh Singhal
    An Efficient Causal Ordering Algorithm for Mobile Computing Environments. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1996, pp:744-751 [Conf]
  58. Michel Raynal, Masaaki Mizuno, Mitchell L. Neilsen
    Synchronization and Concurrency Measures for Distributed Computations. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1992, pp:700-707 [Conf]
  59. Michel Raynal, K. Vidyasankar
    A Distributed Implementation of Sequential Consistency with Multi-Object Operations. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2004, pp:544-551 [Conf]
  60. Luís Rodrigues, Michel Raynal
    Atomic Broadcast in Asynchronous Crash-Recovery Distributed Systems. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2000, pp:288-295 [Conf]
  61. Zhiyuan Zhan, Mustaque Ahamad, Michel Raynal
    Mixed Consistency Model: Meeting Data Sharing Needs of Heterogeneous Users. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2005, pp:209-218 [Conf]
  62. Michel Raynal
    From static distributed systems to dynamic systems: an approach for a first step. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2006, pp:- [Conf]
  63. Özalp Babaoglu, Eddy Fromentin, Michel Raynal
    Debugging Distributed Executions by Using Language Recognition. [Citation Graph (0, 0)][DBLP]
    ICPP (2), 1995, pp:55-62 [Conf]
  64. Jiannong Cao, Michel Raynal, Xianbing Wang, Weigang Wu
    The Power and Limit of Adding Synchronization Messages for Synchronous Agreement. [Citation Graph (0, 0)][DBLP]
    ICPP, 2006, pp:399-406 [Conf]
  65. Eddy Fromentin, Michel Raynal, Vijay K. Garg, Alexander I. Tomlinson
    On the Fly Testing of Regular Patterns in Distributed Computations. [Citation Graph (0, 0)][DBLP]
    ICPP, 1994, pp:73-76 [Conf]
  66. Ajoy Kumar Datta, Maria Gradinariu, Michel Raynal, Gwendal Simon
    Anonymous Publish/Subscribe in P2P Networks. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2003, pp:74- [Conf]
  67. Fabíola Greve, Michel Hurfin, Raimundo A. Macêdo, Michel Raynal
    Consensus Based on Strong Failure Detectors: A Time and Message-Efficient Protocol. [Citation Graph (0, 0)][DBLP]
    IPDPS Workshops, 2000, pp:1258-1265 [Conf]
  68. Achour Mostéfaoui, Michel Raynal
    Consensus Based on Failure Detectors with a Perpetual Accuracy Property. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2000, pp:514-519 [Conf]
  69. Achour Mostéfaoui, Michel Raynal
    A Condition for k-Set Agreement in Asynchronous Distributed Systems. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2001, pp:78- [Conf]
  70. Philippe Raipin Parvédy, Michel Raynal
    Uniform Agreement Despite Process Omission Failures. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2003, pp:212- [Conf]
  71. Fabíola Greve, Michel Hurfin, Michel Raynal, Frederic Tronel
    Primary Component Asynchronous Group Membership as an Instance of a Generic Agreement Framework. [Citation Graph (0, 0)][DBLP]
    ISADS, 2001, pp:93-100 [Conf]
  72. Paul D. Ezhilchelvan, Jean-Michel Hélary, Michel Raynal
    Building Responsive TMR-Based Servers in Presence of Timing Constraints. [Citation Graph (0, 0)][DBLP]
    ISORC, 2005, pp:267-274 [Conf]
  73. Paul D. Ezhilchelvan, Achour Mostéfaoui, Michel Raynal
    Randomized Multivalued Consensus. [Citation Graph (0, 0)][DBLP]
    ISORC, 2001, pp:195-200 [Conf]
  74. Christof Fetzer, Michel Raynal
    Approximate Real-Time Clocks for Scheduled Events. [Citation Graph (0, 0)][DBLP]
    Symposium on Object-Oriented Real-Time Distributed Computing, 2002, pp:54-61 [Conf]
  75. Kenichi Hori, Tomoya Enokido, Makoto Takizawa, Michel Raynal
    Nested Invocation Protocol for Object-Based Systems. [Citation Graph (0, 0)][DBLP]
    ISORC, 2003, pp:238-248 [Conf]
  76. Michel Hurfin, Michel Raynal
    Asynchronous Protocols to Meet Real-Time Constraints: Is It Really Sensible? How to Proceed? [Citation Graph (0, 0)][DBLP]
    ISORC, 1998, pp:290-297 [Conf]
  77. Michel Raynal
    Wait-Free Objects for Real-Time Systems? (position paper). [Citation Graph (0, 0)][DBLP]
    Symposium on Object-Oriented Real-Time Distributed Computing, 2002, pp:413-420 [Conf]
  78. Luís Rodrigues, Roberto Baldoni, Emmanuelle Anceaume, Michel Raynal
    Deadline-Constrained Causal Order. [Citation Graph (0, 0)][DBLP]
    ISORC, 2000, pp:234-0 [Conf]
  79. Jean-Michel Hélary, Michel Raynal
    Distributed Evaluation: A Tool for Constructing Distributed Detection Programs. [Citation Graph (0, 0)][DBLP]
    ISTCS, 1992, pp:184-194 [Conf]
  80. Roy Friedman, Achour Mostéfaoui, Michel Raynal
    The Notion of Veto Number for Distributed Agreement Problems. [Citation Graph (0, 0)][DBLP]
    IWDC, 2004, pp:315-325 [Conf]
  81. Rachid Guerraoui, Michel Raynal
    Fault-Tolerant Techniques for Concurrent Objects. [Citation Graph (0, 0)][DBLP]
    LADC, 2005, pp:265- [Conf]
  82. Eli Gafni, Sergio Rajsbaum, Michel Raynal, Corentin Travers
    The Committee Decision Problem. [Citation Graph (0, 0)][DBLP]
    LATIN, 2006, pp:502-514 [Conf]
  83. Vicent Cholvi, Antonio Fernández, Ernesto Jiménez, Michel Raynal
    A Methodological Construction of an Efficient Sequential Consistency Protocol. [Citation Graph (0, 0)][DBLP]
    NCA, 2004, pp:141-148 [Conf]
  84. Roberto Baldoni, Michel Raynal, Giacomo Cioffi, Jean-Michel Hélary
    Direct Dependency-Based Determination of Consistent GlobalCheckpoints. [Citation Graph (0, 0)][DBLP]
    OPODIS, 1999, pp:11-28 [Conf]
  85. Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
    Cycle Prevention in Distributed Checkpointing. [Citation Graph (0, 0)][DBLP]
    OPODIS, 1997, pp:309-318 [Conf]
  86. Michel Raynal
    Simple Vector Clocks are limited to Solve some Causallity Related Problems. [Citation Graph (0, 0)][DBLP]
    OPODIS, 1999, pp:195-204 [Conf]
  87. Michel Raynal, Corentin Travers
    In Search of the Holy Grail: Looking for the Weakest Failure Detector for Wait-Free Set Agreement. [Citation Graph (0, 0)][DBLP]
    OPODIS, 2006, pp:3-19 [Conf]
  88. Roy Friedman, Michel Raynal, Corentin Travers
    Two Abstractions for Implementing Atomic Objects in Dynamic Systems. [Citation Graph (0, 0)][DBLP]
    OPODIS, 2005, pp:73-87 [Conf]
  89. Vincent Gramoli, Anne-Marie Kermarrec, Achour Mostéfaoui, Michel Raynal, Bruno Sericola
    Core Persistence in Peer-to-Peer Systems: Relating Size to Lifetime. [Citation Graph (0, 0)][DBLP]
    OTM Workshops (2), 2006, pp:1470-1479 [Conf]
  90. Francisco Vilar Brasileiro, Fabíola Greve, Achour Mostéfaoui, Michel Raynal
    Consensus in One Communication Step. [Citation Graph (0, 0)][DBLP]
    PaCT, 2001, pp:42-50 [Conf]
  91. Michel Raynal
    Quiescent Uniform Reliable Broadcast as an Introduction to Failure Detector Oracles. [Citation Graph (0, 0)][DBLP]
    PaCT, 2001, pp:98-111 [Conf]
  92. Michel Raynal
    The Renaming Problem as an Introduction to Structures for Wait-Free Computing. [Citation Graph (0, 0)][DBLP]
    PaCT, 2003, pp:151-164 [Conf]
  93. Michel Raynal, Matthieu Roy
    Allowing Atomic Objects to Coexist with Sequentially Consistent Objects. [Citation Graph (0, 0)][DBLP]
    PaCT, 2005, pp:59-73 [Conf]
  94. Philippe Raipin Parvédy, Michel Raynal, Corentin Travers
    Early-Stopping k-Set Agreement in Synchronous Systems Prone to Any Number of Process Crashes. [Citation Graph (0, 0)][DBLP]
    PaCT, 2005, pp:49-58 [Conf]
  95. Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy
    A Hierarchy of Conditions for Asynchronous Interactive Consistency. [Citation Graph (0, 0)][DBLP]
    PaCT, 2003, pp:130-140 [Conf]
  96. Achour Mostéfaoui, Michel Raynal, Makoto Takizawa
    Consistent Lamport Clocks for Asynchronous Groups with Process Crashes. [Citation Graph (0, 0)][DBLP]
    PaCT, 1999, pp:98-107 [Conf]
  97. Achour Mostéfaoui, Michel Raynal, Paulo Veríssimo
    Logically Instantaneous Communication on Top of Distributed Memory Parallel Machines. [Citation Graph (0, 0)][DBLP]
    PaCT, 1999, pp:258-270 [Conf]
  98. Michel Hurfin, Noël Plouzeau, Michel Raynal
    Detecting Atomic Sequences of Predicates in Distributed Computations. [Citation Graph (0, 0)][DBLP]
    Workshop on Parallel and Distributed Debugging, 1993, pp:32-42 [Conf]
  99. Weigang Wu, Jiannong Cao, Jin Yang, Michel Raynal
    A Hierarchical Consensus Protocol for Mobile Ad Hoc Networks. [Citation Graph (0, 0)][DBLP]
    PDP, 2006, pp:64-72 [Conf]
  100. Achour Mostéfaoui, Michel Raynal, Makoto Takizawa
    Logical Clocks for Unreliable Process Groups. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1999, pp:2272-2278 [Conf]
  101. Roberto Baldoni, Jean-Michel Hélary, Michel Raynal
    About State Recording in Asynchronous Computations (Abstract). [Citation Graph (0, 0)][DBLP]
    PODC, 1996, pp:55- [Conf]
  102. Roberto Baldoni, Jean-Michel Hélary, Michel Raynal
    Rollback-Dependency Trackability: Visible Characterizations. [Citation Graph (0, 0)][DBLP]
    PODC, 1999, pp:33-42 [Conf]
  103. Roberto Baldoni, Ravi Prakash, Michel Raynal, Mukesh Singhal
    Efficient Delta-Causal Broadcasting of Multimedia Applications (Abstract). [Citation Graph (0, 0)][DBLP]
    PODC, 1996, pp:89- [Conf]
  104. Carole Delporte-Gallet, Hugues Fauconnier, Jean-Michel Hélary, Michel Raynal
    Early stopping in aglobal data computation. [Citation Graph (0, 0)][DBLP]
    PODC, 2002, pp:258- [Conf]
  105. Fabrice Le Fessant, Philippe Raipin Parvédy, Michel Raynal
    Brief announcement: early decision despite general process omission failures. [Citation Graph (0, 0)][DBLP]
    PODC, 2003, pp:222- [Conf]
  106. Roy Friedman, Achour Mostéfaoui, Michel Raynal
    Brief announcement: veto number and the respective power of eventual failure detectors. [Citation Graph (0, 0)][DBLP]
    PODC, 2004, pp:398- [Conf]
  107. Roy Friedman, Michel Raynal, Corentin Travers
    Brief announcement: abstractions for implementing atomic objects in dynamic systems. [Citation Graph (0, 0)][DBLP]
    PODC, 2005, pp:354- [Conf]
  108. Paul D. Ezhilchelvan, Jean-Michel Hélary, Michel Raynal
    Building responseive TMR-based servers in presence of timing constraints. [Citation Graph (0, 0)][DBLP]
    PODC, 2002, pp:127- [Conf]
  109. Achour Mostéfaoui, Michel Raynal
    k-set agreement with limited accuracy failure detectors. [Citation Graph (0, 0)][DBLP]
    PODC, 2000, pp:143-152 [Conf]
  110. Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
    Asynchronous interactive consistency and its relation with error-correcting codes. [Citation Graph (0, 0)][DBLP]
    PODC, 2002, pp:253- [Conf]
  111. Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
    Brief announcement: the synchronous condition-based consensus hierarchy. [Citation Graph (0, 0)][DBLP]
    PODC, 2004, pp:399- [Conf]
  112. Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
    The combined power of conditions and failure detectors to solve asynchronous set agreement. [Citation Graph (0, 0)][DBLP]
    PODC, 2005, pp:179-188 [Conf]
  113. Achour Mostéfaoui, Michel Raynal, Matthieu Roy, Divyakant Agrawal, Amr El Abbadi
    Towards a formal model for view maintenance in data warehouses. [Citation Graph (0, 0)][DBLP]
    PODC, 2002, pp:129- [Conf]
  114. Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy
    A hierarchy of conditions for consensus solvability. [Citation Graph (0, 0)][DBLP]
    PODC, 2001, pp:151-160 [Conf]
  115. Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers
    Irreducibility and additivity of set agreement-oriented failure detector classes. [Citation Graph (0, 0)][DBLP]
    PODC, 2006, pp:153-162 [Conf]
  116. Michel Raynal, Gérard Thia-Kime, Mustaque Ahamad
    From Serializable to Causal Transactions (Abstract). [Citation Graph (0, 0)][DBLP]
    PODC, 1996, pp:310- [Conf]
  117. Francisco J. Torres-Rojas, Mustaque Ahamad, Michel Raynal
    Timed Consistency for Shared Distributed Objects. [Citation Graph (0, 0)][DBLP]
    PODC, 1999, pp:163-172 [Conf]
  118. Achour Mostéfaoui, David Powell, Michel Raynal
    A Hybrid Approach for Building Eventually Accurate Failure Detectors. [Citation Graph (0, 0)][DBLP]
    PRDC, 2004, pp:57-65 [Conf]
  119. Achour Mostéfaoui, Michel Raynal
    Low cost consensus-based Atomic Broadcast. [Citation Graph (0, 0)][DBLP]
    PRDC, 2000, pp:45-52 [Conf]
  120. Christof Fetzer, Michel Raynal, Frederic Tronel
    An Adaptive Failure Detection Protocol. [Citation Graph (0, 0)][DBLP]
    PRDC, 2001, pp:146-153 [Conf]
  121. Michel Raynal
    An Introduction to the Renaming Problem. [Citation Graph (0, 0)][DBLP]
    PRDC, 2002, pp:121-124 [Conf]
  122. Michel Raynal
    Consensus in Synchronous Systems: A Concise Guided Tour. [Citation Graph (0, 0)][DBLP]
    PRDC, 2002, pp:221-228 [Conf]
  123. Michel Raynal, Corentin Travers
    Synchronous Set Agreement: a Concise Guided Tour (including a new algorithm and a list of open problems). [Citation Graph (0, 0)][DBLP]
    PRDC, 2006, pp:267-274 [Conf]
  124. Roy Friedman, Achour Mostéfaoui, Michel Raynal
    Intersecting Sets: a Basic Abstraction for Asynchronous Agreement Problems. [Citation Graph (0, 0)][DBLP]
    PRDC, 2005, pp:15-22 [Conf]
  125. Philippe Raipin Parvédy, Michel Raynal, Corentin Travers
    Decision Optimal Early-Stopping k-set Agreement in Synchronous Systems Prone to Send Omission Failures. [Citation Graph (0, 0)][DBLP]
    PRDC, 2005, pp:23-30 [Conf]
  126. Michel Raynal, Matthieu Roy
    A Note on a Simple Equivalence between Round-based Synchronous and Asynchronous Models. [Citation Graph (0, 0)][DBLP]
    PRDC, 2005, pp:387-392 [Conf]
  127. Achour Mostéfaoui, Michel Raynal, Gilles Trédan
    On the fly estimation of the processes that are alive/crashed in an asynchronous message-passing system. [Citation Graph (0, 0)][DBLP]
    PRDC, 2006, pp:259-266 [Conf]
  128. Roberto Baldoni, Jean-Michel Hélary, Michel Raynal, Lénaick Tanguy
    Consensus in byzantine asynchronous systems. [Citation Graph (0, 0)][DBLP]
    SIROCCO, 2000, pp:1-15 [Conf]
  129. Jean-Michel Hélary, Giovanna Melideo, Michel Raynal
    Tracking causality in distributed systems: a suite of efficient protocols. [Citation Graph (0, 0)][DBLP]
    SIROCCO, 2000, pp:181-195 [Conf]
  130. Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy
    Efficient Condition-Based Consensus. [Citation Graph (0, 0)][DBLP]
    SIROCCO, 2001, pp:275-292 [Conf]
  131. Philippe Raipin Parvédy, Michel Raynal, Corentin Travers
    Strongly Terminating Early-Stopping k-Set Agreement in Synchronous Systems with General Omission Failures. [Citation Graph (0, 0)][DBLP]
    SIROCCO, 2006, pp:182-196 [Conf]
  132. Emmanuelle Anceaume, Jean-Michel Hélary, Michel Raynal
    Tracking immediate predecessors in distributed computations. [Citation Graph (0, 0)][DBLP]
    SPAA, 2002, pp:210-219 [Conf]
  133. Achour Mostéfaoui, Michel Raynal
    Randomized k-set agreement. [Citation Graph (0, 0)][DBLP]
    SPAA, 2001, pp:291-297 [Conf]
  134. Michel Raynal
    Sequential consistency as lazy linearizability. [Citation Graph (0, 0)][DBLP]
    SPAA, 2002, pp:151-152 [Conf]
  135. Philippe Raipin Parvédy, Michel Raynal
    Optimal early stopping uniform consensus in synchronous systems with process omission failures. [Citation Graph (0, 0)][DBLP]
    SPAA, 2004, pp:302-310 [Conf]
  136. Michel Hurfin, Masaaki Mizuno, Michel Raynal, Mukesh Singhal
    On-The-Fly Detection Of Conjunctions Of Local Predicates In Distributed Computations. [Citation Graph (0, 0)][DBLP]
    SPDP, 1996, pp:0-0 [Conf]
  137. Roy Friedman, Achour Mostéfaoui, Michel Raynal
    Simple and Efficient Oracle-Based Consensus Protocols for Asynchronous Byzantine Systems. [Citation Graph (0, 0)][DBLP]
    SRDS, 2004, pp:228-237 [Conf]
  138. Udo Fritzke Jr., Philippe Ingels, Achour Mostéfaoui, Michel Raynal
    Fault-Tolerant Total Order Multicast to Asynchronous Groups. [Citation Graph (0, 0)][DBLP]
    Symposium on Reliable Distributed Systems, 1998, pp:228-234 [Conf]
  139. Jean-Michel Hélary, Achour Mostéfaoui, Robert H. B. Netzer, Michel Raynal
    Preventing Useless Checkpoints in Distributed Computations. [Citation Graph (0, 0)][DBLP]
    Symposium on Reliable Distributed Systems, 1997, pp:183-190 [Conf]
  140. Michel Hurfin, Achour Mostéfaoui, Michel Raynal
    Consensus in Asynchronous Systems Where Processes Can Crash and Recover. [Citation Graph (0, 0)][DBLP]
    Symposium on Reliable Distributed Systems, 1998, pp:280-286 [Conf]
  141. Michel Hurfin, Achour Mostéfaoui, Michel Raynal, Raimundo A. Macêdo
    A Consensus Protocol Based on a Weak FailureDetector and a Sliding Round Window. [Citation Graph (0, 0)][DBLP]
    SRDS, 2001, pp:120-129 [Conf]
  142. Michel Hurfin, Raimundo A. Macêdo, Michel Raynal, Frederic Tronel
    A General Framework to Solve Agreement Problems. [Citation Graph (0, 0)][DBLP]
    Symposium on Reliable Distributed Systems, 1999, pp:56-65 [Conf]
  143. Achour Mostéfaoui, Michel Raynal, Corentin Travers
    Crash-Resilient Time-Free Eventual Leadership. [Citation Graph (0, 0)][DBLP]
    SRDS, 2004, pp:208-217 [Conf]
  144. Achour Mostéfaoui, Michel Raynal, Corentin Travers, Stacy Patterson, Divyakant Agrawal, Amr El Abbadi
    From Static Distributed Systems to Dynamic Systems. [Citation Graph (0, 0)][DBLP]
    SRDS, 2005, pp:109-118 [Conf]
  145. Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
    Conditions on input vectors for consensus solvability in asynchronous distributed systems. [Citation Graph (0, 0)][DBLP]
    STOC, 2001, pp:153-162 [Conf]
  146. Divyakant Agrawal, Amr El Abbadi, Achour Mostéfaoui, Michel Raynal, Matthieu Roy
    The Lord of the Rings: Efficient Maintenance of Views at Data Warehouses. [Citation Graph (0, 0)][DBLP]
    DISC, 2002, pp:33-47 [Conf]
  147. Jean-Claude Bermond, Jean-Claude König, Michel Raynal
    General and Efficient Decentralized Consensus Protocols. [Citation Graph (0, 0)][DBLP]
    WDAG, 1987, pp:41-56 [Conf]
  148. Roy Friedman, Achour Mostéfaoui, Michel Raynal
    The Notion of Veto Number and the Respective Power of OP and OS to Solve One-Shot Agreement Problems. [Citation Graph (0, 0)][DBLP]
    DISC, 2004, pp:41-55 [Conf]
  149. Roy Friedman, Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
    Distributed Agreement and Its Relation with Error-Correcting Codes. [Citation Graph (0, 0)][DBLP]
    DISC, 2002, pp:63-87 [Conf]
  150. Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
    Virtual Precedence in Asynchronous Systems: Cencept and Applications. [Citation Graph (0, 0)][DBLP]
    WDAG, 1997, pp:170-184 [Conf]
  151. Achour Mostéfaoui, Michel Raynal
    Solving Consensus Using Chandra-Toueg's Unreliable Failure Detectors: A General Quorum-Based Approach. [Citation Graph (0, 0)][DBLP]
    DISC, 1999, pp:49-63 [Conf]
  152. Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
    The Synchronous Condition-Based Consensus Hierarchy. [Citation Graph (0, 0)][DBLP]
    DISC, 2004, pp:1-15 [Conf]
  153. Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
    Using Conditions to Expedite Consensus in Synchronous Distributed Systems. [Citation Graph (0, 0)][DBLP]
    DISC, 2003, pp:249-263 [Conf]
  154. Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy
    Condition-Based Protocols for Set Agreement Problems. [Citation Graph (0, 0)][DBLP]
    DISC, 2002, pp:48-62 [Conf]
  155. Achour Mostéfaoui, Michel Raynal, Corentin Travers
    Exploring Gafni's Reduction Land: From Omegak to Wait-Free Adaptive (2p-[p/k])-Renaming Via k-Set Agreement. [Citation Graph (0, 0)][DBLP]
    DISC, 2006, pp:1-15 [Conf]
  156. Francisco J. Torres-Rojas, Mustaque Ahamad, Michel Raynal
    Lifetime Based Consistency Protocols for Distributed Objects. [Citation Graph (0, 0)][DBLP]
    DISC, 1998, pp:378-392 [Conf]
  157. Michel Hurfin, Michel Raynal
    Detecting Diamond Necklaces in Labeled Dags (A Problem from Distributed Debugging). [Citation Graph (0, 0)][DBLP]
    WG, 1996, pp:211-223 [Conf]
  158. Paul D. Ezhilchelvan, Doug Palmer, Michel Raynal
    An Optimal Atomic Broadcast Protocol and an Implementation Framework. [Citation Graph (0, 0)][DBLP]
    WORDS, 2003, pp:32-0 [Conf]
  159. Philippe Raipin Parvédy, Michel Raynal
    Reliable Compare & Swap for Fault-Tolerant Synchronization. [Citation Graph (0, 0)][DBLP]
    WORDS, 2003, pp:50-55 [Conf]
  160. Francisco J. Torres-Rojas, Mustaque Ahamad, Michel Raynal
    Real-Time Based Strong Consistency for Distributed Objects. [Citation Graph (0, 0)][DBLP]
    WORDS, 2001, pp:161-168 [Conf]
  161. Yehuda Afek, Eli Gafni, Sergio Rajsbaum, Michel Raynal, Corentin Travers
    Simultaneous Consensus Tasks: A Tighter Characterization of Set-Consensus. [Citation Graph (0, 0)][DBLP]
    ICDCN, 2006, pp:331-341 [Conf]
  162. Roberto Baldoni, Jean-Michel Hélary, Michel Raynal
    Consistent Records in Asynchronous Computations. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1998, v:35, n:6, pp:441-455 [Journal]
  163. Philippe Darondeau, Paul Le Guernic, Michel Raynal
    Types in a Mixed Language System. [Citation Graph (0, 0)][DBLP]
    BIT, 1981, v:21, n:3, pp:246-254 [Journal]
  164. Roberto Baldoni, Francesco Quaglia, Michel Raynal
    Consistent Checkpointing for Transaction Systems. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2001, v:44, n:2, pp:92-100 [Journal]
  165. Jean-Michel Hélary, Noël Plouzeau, Michel Raynal
    A Distributed Algorithm for Mutual Exclusion in an Arbitrary Network. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1988, v:31, n:4, pp:289-295 [Journal]
  166. Rachid Guerraoui, Michel Raynal
    The Alpha of Indulgent Consensus. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2007, v:50, n:1, pp:53-67 [Journal]
  167. Michel Hurfin, Noël Plouzeau, Michel Raynal
    Debugging tool for distributed Estelle programs. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1993, v:16, n:5, pp:328-333 [Journal]
  168. Michel Raynal, Mukesh Singhal
    Logical Time: Capturing Causality in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1996, v:29, n:2, pp:49-56 [Journal]
  169. Roberto Baldoni, Francesco Quaglia, Michel Raynal
    Consistent Checkpointing in Distributed Databases: Towards a Formal Approach [Citation Graph (0, 0)][DBLP]
    CoRR, 1999, v:0, n:, pp:- [Journal]
  170. Roberto Baldoni, Giacomo Cioffi, Jean-Michel Hélary, Michel Raynal
    Direct dependency-based determination of consistent global checkpoints. [Citation Graph (0, 0)][DBLP]
    Comput. Syst. Sci. Eng., 2001, v:16, n:1, pp:43-49 [Journal]
  171. Michel Raynal
    Token-based sequential consistency. [Citation Graph (0, 0)][DBLP]
    Comput. Syst. Sci. Eng., 2002, v:17, n:6, pp:359-365 [Journal]
  172. Francisco J. Torres-Rojas, Mustaque Ahamad, Michel Raynal
    Real-time based strong consistency for distributed objects. [Citation Graph (0, 0)][DBLP]
    Comput. Syst. Sci. Eng., 2002, v:17, n:2, pp:133-142 [Journal]
  173. Jean-Michel Hélary, Achour Mostéfaoui, Robert H. B. Netzer, Michel Raynal
    Communication-Based Prevention of Useless Checkpoints in Fistributed Computations. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 2000, v:13, n:1, pp:29-43 [Journal]
  174. Jean-Michel Hélary, Michel Raynal
    Towards the Construction of Distributed Detection Programs, with an Application to Distributed Termination. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1994, v:7, n:3, pp:137-147 [Journal]
  175. Michel Hurfin, Michel Raynal
    A Simple and Fast Asynchronous Consensus Protocol Based on a Weak Failure Detector. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1999, v:12, n:4, pp:209-223 [Journal]
  176. Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
    Synchronous condition-based consensus. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 2006, v:18, n:5, pp:325-343 [Journal]
  177. Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy
    Condition-based consensus solvability: a hierarchy of conditions and efficient protocols. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 2004, v:17, n:1, pp:1-20 [Journal]
  178. Michel Raynal
    Consensus-Based Management of Distributed and Replicated Data. [Citation Graph (0, 11)][DBLP]
    IEEE Data Eng. Bull., 1998, v:21, n:4, pp:30-37 [Journal]
  179. Mustaque Ahamad, Michel Raynal, Gérard Thia-Kime
    An adaptive architecture for causally consistent distributed services. [Citation Graph (0, 0)][DBLP]
    Distributed Systems Engineering, 1999, v:6, n:2, pp:63-70 [Journal]
  180. Ajay D. Kshemkalyani, Michel Raynal, Mukesh Singhal
    An introduction to snapshot algorithms in distributed computing. [Citation Graph (0, 0)][DBLP]
    Distributed Systems Engineering, 1995, v:2, n:4, pp:224-0 [Journal]
  181. Michel Raynal, Frederic Tronel
    Group membership failure detection: a simple protocol and its probabilistic analysis. [Citation Graph (0, 0)][DBLP]
    Distributed Systems Engineering, 1999, v:6, n:3, pp:95-102 [Journal]
  182. Roberto Baldoni, Michel Raynal
    Fundamentals of Distributed Computing: A Practical Tour of Vector Clock Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Distributed Systems Online, 2002, v:3, n:2, pp:- [Journal]
  183. Michel Raynal
    Wait-free computing: an introductory lecture. [Citation Graph (0, 0)][DBLP]
    Future Generation Comp. Syst., 2005, v:21, n:4, pp:655-663 [Journal]
  184. Achour Mostéfaoui, Eric Mourgaya, Michel Raynal
    An introduction to oracles for asynchronous distributed systems. [Citation Graph (0, 0)][DBLP]
    Future Generation Comp. Syst., 2002, v:18, n:6, pp:757-767 [Journal]
  185. Roberto Baldoni, Jean-Michel Hélary, Michel Raynal
    Rollback-Dependency Trackability: A Minimal Characterization and Its Protocol. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2001, v:165, n:2, pp:144-173 [Journal]
  186. Emmanuelle Anceaume, Jean-Michel Hélary, Michel Raynal
    A Note on the Determination of the Immediate Predecessors in a Distributed Computation. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2002, v:13, n:6, pp:865-872 [Journal]
  187. Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
    Impossibility of scalar clock-based communication-induced checkpointing protocols ensuring the RDT property. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2001, v:80, n:2, pp:105-111 [Journal]
  188. Ajoy Kumar Datta, Maria Gradinariu, Michel Raynal
    Stabilizing mobile philosophers. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2005, v:95, n:1, pp:299-306 [Journal]
  189. Roy Friedman, Achour Mostéfaoui, Michel Raynal
    A weakest failure detector-based asynchronous consensus protocol for f<n. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2004, v:90, n:1, pp:39-46 [Journal]
  190. Roy Friedman, Achour Mostéfaoui, Michel Raynal
    Asynchronous bounded lifetime failure detectors. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2005, v:94, n:2, pp:85-91 [Journal]
  191. Eddy Fromentin, Claude Jard, Guy-Vincent Jourdan, Michel Raynal
    On-The-Fly Analysis of Distributed Computations. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1995, v:54, n:5, pp:267-274 [Journal]
  192. Achour Mostéfaoui, Michel Raynal, Frederic Tronel
    From Binary Consensus to Multivalued Consensus in asynchronous message-passing systems. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2000, v:73, n:5-6, pp:207-212 [Journal]
  193. Michel Raynal
    A Distributed Algorithm to Prevent Mutual Drift Between n Logical Clocks. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1987, v:24, n:3, pp:199-202 [Journal]
  194. Michel Raynal
    Prime Numbers as a Tool to Design Distributed Algorithms. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1989, v:33, n:1, pp:53-58 [Journal]
  195. Michel Raynal, André Schiper, Sam Toueg
    The Causal Ordering Abstraction and a Simple Way to Implement it. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1991, v:39, n:6, pp:343-350 [Journal]
  196. Michel Raynal, Frederic Tronel
    Restricted failure detectors: Definition and reduction protocols. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1999, v:72, n:3-4, pp:91-97 [Journal]
  197. Jean-Michel Hélary, Aomar Maddi, Michel Raynal
    Calcul Réparti D'un Extrémum Et Du Routage Associé Dans Un Réseau Quelconque. [Citation Graph (0, 0)][DBLP]
    ITA, 1987, v:21, n:3, pp:223-244 [Journal]
  198. Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
    Conditions on input vectors for consensus solvability in asynchronous distributed systems. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2003, v:50, n:6, pp:922-954 [Journal]
  199. Emmanuelle Anceaume, Antonio Fernández, Achour Mostéfaoui, Gil Neiger, Michel Raynal
    A necessary and sufficient condition for transforming limited accuracy failure detectors. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2004, v:68, n:1, pp:123-133 [Journal]
  200. Eddy Fromentin, Michel Raynal
    Shared Global States in Distributed Computations. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1997, v:55, n:3, pp:522-528 [Journal]
  201. Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
    Interval Consistency of Asynchronous Distributed Computations. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2002, v:64, n:2, pp:329-349 [Journal]
  202. Roberto Baldoni, Jean-Michel Hélary, Michel Raynal, Lénaick Tanguy
    Consensus in Byzantine asynchronous systems. [Citation Graph (0, 0)][DBLP]
    J. Discrete Algorithms, 2003, v:1, n:2, pp:185-210 [Journal]
  203. Özalp Babaoglu, Michel Raynal
    Specification and Verification of Dynamic Properties in Distributed Computations. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1995, v:28, n:2, pp:173-185 [Journal]
  204. Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal, Mukesh Singhal
    Deadlock Models and a General Algorithm for Distributed Deadlock Detection. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1995, v:31, n:2, pp:112-125 [Journal]
  205. Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal, Mukesh Singhal
    Erratum: Deadlock Models and a General Algorithm for Distributed Deadlock Detection. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1996, v:32, n:2, pp:232- [Journal]
  206. Ravi Prakash, Michel Raynal, Mukesh Singhal
    An Adaptive Causal Ordering Algorithm Suited to Mobile Computing Environments. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1997, v:41, n:2, pp:190-204 [Journal]
  207. Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers
    From omega to Omega: A simple bounded quiescent reliable broadcast-based transformation. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 2007, v:67, n:1, pp:125-129 [Journal]
  208. Özalp Babaoglu, Eddy Fromentin, Michel Raynal
    A unified framework for the specification and run-time detection of dynamic properties in distributed computations. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1996, v:33, n:3, pp:287-298 [Journal]
  209. Mohan Ahuja, Michel Raynal
    An Implementation of Global Flush Primitives Using Counters. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 1995, v:5, n:, pp:171-178 [Journal]
  210. Vijay K. Garg, Michel Raynal
    Normality: A Consistency Condition for Concurrent Objects. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 1999, v:9, n:1, pp:123-134 [Journal]
  211. Roy Friedman, Achour Mostéfaoui, Michel Raynal
    $\diamondsuit {\mathcal P}_{mute}$-based Consensus for Asynchronous Byzantine Systems. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 2005, v:15, n:1-2, pp:169-182 [Journal]
  212. Achour Mostéfaoui, Michel Raynal
    Leader-Based Consensus. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 2001, v:11, n:1, pp:95-107 [Journal]
  213. Achour Mostéfaoui, Eric Mourgaya, Michel Raynal, Corentin Travers
    A Time-free Assumption to Implement Eventual Leadership. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 2006, v:16, n:2, pp:189-208 [Journal]
  214. Roberto Baldoni, Achour Mostéfaoui, Michel Raynal
    Causal Delivery of Messages with Real-Time Data in Unreliable Networks. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 1996, v:10, n:3, pp:245-262 [Journal]
  215. Eddy Fromentin, Michel Raynal
    Local States in Distributed Computations: A Few Relations and Formulas. [Citation Graph (0, 0)][DBLP]
    Operating Systems Review, 1994, v:28, n:2, pp:65-72 [Journal]
  216. Michel Raynal
    A Simple Taxonomy for Distributed Mutual Exclusion Algorithms. [Citation Graph (0, 0)][DBLP]
    Operating Systems Review, 1991, v:25, n:2, pp:47-50 [Journal]
  217. Michel Raynal
    About Logical Clocks for Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Operating Systems Review, 1992, v:26, n:1, pp:41-48 [Journal]
  218. Michel Raynal, Mukesh Singhal
    Mastering Agreement Problems in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 2001, v:18, n:4, pp:40-47 [Journal]
  219. Michel Banâtre, André Couvert, D. Herman, Michel Raynal
    An Experience in Implementing Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1981, v:11, n:3, pp:315-320 [Journal]
  220. Gregor von Bochmann, Michel Raynal
    Structured Specification of Communicating Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1983, v:32, n:2, pp:120-133 [Journal]
  221. Rachid Guerraoui, Michel Raynal
    The Information Structure of Indulgent Consensus. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2004, v:53, n:4, pp:453-466 [Journal]
  222. Michel Hurfin, Achour Mostéfaoui, Michel Raynal
    A Versatile Family of Consensus Protocols Based on Chandra-Toueg's Unreliable Failure Detectors. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2002, v:51, n:4, pp:395-408 [Journal]
  223. Roy Friedman, Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal
    Asynchronous Agreement and Its Relation with Error-Correcting Codes. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2007, v:56, n:7, pp:865-875 [Journal]
  224. Yoshifumi Manabe, Roberto Baldoni, Michel Raynal, Shigemi Aoyagi
    k-Arbiter: A Safe and General Scheme for h-out of-k Mutual Exclusion. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:193, n:1-2, pp:97-112 [Journal]
  225. Roy Friedman, Achour Mostéfaoui, Michel Raynal
    Simple and Efficient Oracle-Based Consensus Protocols for Asynchronous Byzantine Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Dependable Sec. Comput., 2005, v:2, n:1, pp:46-56 [Journal]
  226. Jean-Michel Hélary, Michel Raynal, Giovanna Melideo, Roberto Baldoni
    Efficient Causality-Tracking Timestamping. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2003, v:15, n:5, pp:1239-1250 [Journal]
  227. Luís Rodrigues, Michel Raynal
    Atomic Broadcast in Asynchronous Crash-Recovery Distributed Systems and Its Use in Quorum-Based Replication. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2003, v:15, n:5, pp:1206-1217 [Journal]
  228. Carole Delporte-Gallet, Hugues Fauconnier, Jean-Michel Hélary, Michel Raynal
    Early Stopping in Global Data Computation. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 2003, v:14, n:9, pp:909-921 [Journal]
  229. Udo Fritzke Jr., Philippe Ingels, Achour Mostéfaoui, Michel Raynal
    Consensus-Based Fault-Tolerant Total Order Multicast. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 2001, v:12, n:2, pp:147-156 [Journal]
  230. Jean-Michel Hélary, Michel Hurfin, Achour Mostéfaoui, Michel Raynal, Frederic Tronel
    Computing Global Functions in Asynchronous Distributed Systems with Perfect Failure Detectors. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 2000, v:11, n:9, pp:897-909 [Journal]
  231. Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
    A General Scheme for Token- and Tree-Based Distributed Mutual Exclusion Algorithms. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 1994, v:5, n:11, pp:1185-1196 [Journal]
  232. Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal
    Communication-Induced Determination of Consistent Snapshots. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 1999, v:10, n:9, pp:865-877 [Journal]
  233. Achour Mostéfaoui, Michel Raynal, Corentin Travers
    Time-Free and Timer-Based Assumptions Can Be Combined to Obtain Eventual Leadership. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 2006, v:17, n:7, pp:656-666 [Journal]
  234. Roy Friedman, Achour Mostéfaoui, Michel Raynal
    On the Respective Power of *P and *S to Solve One-Shot Agreement Problems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 2007, v:18, n:5, pp:589-597 [Journal]
  235. Jean-Michel Hélary, Robert H. B. Netzer, Michel Raynal
    Consistency Issues in Distributed Checkpoints. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1999, v:25, n:2, pp:274-281 [Journal]
  236. Michel Hurfin, Masaaki Mizuno, Michel Raynal, Mukesh Singhal
    Efficient Distributed Detection of Conjunctions of Local Predicates. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1998, v:24, n:8, pp:664-677 [Journal]
  237. Paul D. Ezhilchelvan, Michel Raynal, Ajoy Kumar Datta
    Workshop on Dependable Application Support for Self-Organizing Networks (DASSON 2007). [Citation Graph (0, 0)][DBLP]
    DSN, 2007, pp:803- [Conf]
  238. Antonio Fernández, Ernesto Jiménez, Michel Raynal
    Electing an Eventual Leader in an Asynchronous Shared Memory System. [Citation Graph (0, 0)][DBLP]
    DSN, 2007, pp:399-408 [Conf]
  239. Antonio Fernández, Vincent Gramoli, Ernesto Jiménez, Anne-Marie Kermarrec, Michel Raynal
    Distributed Slicing in Dynamic Systems. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2007, pp:66- [Conf]
  240. Michel Raynal
    Eventual Leader Service in Unreliable Asynchronous Systems: Why? How? [Citation Graph (0, 0)][DBLP]
    NCA, 2007, pp:11-24 [Conf]
  241. Roberto Baldoni, Marin Bertier, Michel Raynal, Sara Tucci Piergiovanni
    Looking for a Definition of Dynamic Distributed Systems. [Citation Graph (0, 0)][DBLP]
    PaCT, 2007, pp:1-14 [Conf]
  242. Rachid Guerraoui, Michel Raynal
    From Unreliable Objects to Reliable Objects: The Case of Atomic Registers and Consensus. [Citation Graph (0, 0)][DBLP]
    PaCT, 2007, pp:47-61 [Conf]
  243. Antonio Fernández, Michel Raynal
    From an intermittent rotating star to a leader. [Citation Graph (0, 0)][DBLP]
    PODC, 2007, pp:320-321 [Conf]
  244. Alejandro Cornejo, Sergio Rajsbaum, Michel Raynal, Corentin Travers
    Failure detectors are schedulers. [Citation Graph (0, 0)][DBLP]
    PODC, 2007, pp:308-309 [Conf]
  245. Achour Mostéfaoui, Michel Raynal, Corentin Travers
    From Renaming to Set Agreement. [Citation Graph (0, 0)][DBLP]
    SIROCCO, 2007, pp:66-80 [Conf]
  246. Michel Raynal, Gadi Taubenfeld
    The notion of a timed register and its application to indulgent synchronization. [Citation Graph (0, 0)][DBLP]
    SPAA, 2007, pp:200-209 [Conf]
  247. Michel Raynal
    A Subjective Visit to Selected Topics in Distributed Computing. [Citation Graph (0, 0)][DBLP]
    DISC, 2007, pp:5-6 [Conf]
  248. Michel Raynal, Sam Toueg, Shmuel Zaks
    DISC at Its 20th Anniversary (Stockholm, 2006). [Citation Graph (0, 0)][DBLP]
    DISC, 2007, pp:501-503 [Conf]
  249. Antonio Fernández, Vincent Gramoli, Ernesto Jiménez, Anne-Marie Kermarrec, Michel Raynal
    Distributed Slicing in Dynamic Systems [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  250. Achour Mostéfaoui, Michel Raynal, Paulo Veríssimo
    The logically instantaneous communication mode: a communication abstraction. [Citation Graph (0, 0)][DBLP]
    Future Generation Comp. Syst., 2001, v:17, n:6, pp:669-678 [Journal]
  251. Weigang Wu, Jiannong Cao, Jin Yang, Michel Raynal
    Design and Performance Evaluation of Efficient Consensus Protocols for Mobile Ad Hoc Networks. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2007, v:56, n:8, pp:1055-1070 [Journal]
  252. Andrzej Pelc, David Peleg, Michel Raynal
    Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:384, n:2-3, pp:137-138 [Journal]
  253. Sérgio Gorender, Raimundo José de Araújo Macêdo, Michel Raynal
    An Adaptive Programming Model for Fault-Tolerant Distributed Computing. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Dependable Sec. Comput., 2007, v:4, n:1, pp:18-31 [Journal]

  254. A Universal Construction for Concurrent Objects. [Citation Graph (, )][DBLP]


  255. Synchronization is Coming Back, But is it the Same? [Citation Graph (, )][DBLP]


  256. Consensus in Anonymous Distributed Systems: Is There a Weakest Failure Detector?. [Citation Graph (, )][DBLP]


  257. The Iterated Restricted Immediate Snapshot Model. [Citation Graph (, )][DBLP]


  258. Early Consensus in Message-Passing Systems Enriched with a Perfect Failure Detector and Its Application in the Theta Model. [Citation Graph (, )][DBLP]


  259. D2HT: The Best of Both Worlds, Integrating RPS and DHT. [Citation Graph (, )][DBLP]


  260. The x-Wait-Freedom Progress Condition. [Citation Graph (, )][DBLP]


  261. Value-Based Sequential Consistency for Set Objects in Dynamic Distributed Systems. [Citation Graph (, )][DBLP]


  262. Conditions for Set Agreement with an Application to Synchronous Systems. [Citation Graph (, )][DBLP]


  263. Implementing a Register in a Dynamic Distributed System. [Citation Graph (, )][DBLP]


  264. On Modeling Fault Tolerance of Gossip-Based Reliable Multicast Protocols. [Citation Graph (, )][DBLP]


  265. A Timing Assumption and a t-Resilient Protocol for Implementing an Eventual Leader Service in Asynchronous Shared Memory Systems. [Citation Graph (, )][DBLP]


  266. A Dual-Token-Based Fault Tolerant Mutual Exclusion Algorithm for MANETs. [Citation Graph (, )][DBLP]


  267. From an Intermittent Rotating Star to a Leader. [Citation Graph (, )][DBLP]


  268. Small-World Networks: From Theoretical Bounds to Practical Systems. [Citation Graph (, )][DBLP]


  269. Timed Quorum Systems for Large-Scale and Dynamic Environments. [Citation Graph (, )][DBLP]


  270. On the Solvability of Anonymous Partial Grids Exploration by Mobile Robots. [Citation Graph (, )][DBLP]


  271. A Lock-Based STM Protocol That Satisfies Opacity and Progressiveness. [Citation Graph (, )][DBLP]


  272. Software Transactional Memories: An Approach for Multicore Programming. [Citation Graph (, )][DBLP]


  273. Time and message-efficient S-based consensus (brief announcement). [Citation Graph (, )][DBLP]


  274. Looking for the optimal conditions for solving set agreement. [Citation Graph (, )][DBLP]


  275. From anarchy to geometric structuring: the power of virtual coordinates. [Citation Graph (, )][DBLP]


  276. Brief announcement: virtual world consistency: a new condition for STM systems. [Citation Graph (, )][DBLP]


  277. Brief announcement: the price of anonymity: optimal consensus despite asynchrony, crash and anonymity. [Citation Graph (, )][DBLP]


  278. The multiplicative power of consensus numbers. [Citation Graph (, )][DBLP]


  279. On asymmetric progress conditions. [Citation Graph (, )][DBLP]


  280. The Eventual Leadership in Dynamic Mobile Networking Environments. [Citation Graph (, )][DBLP]


  281. Joining a Distributed Shared Memory Computation in a Dynamic Distributed System. [Citation Graph (, )][DBLP]


  282. Locks Considered Harmful: A Look at Non-traditional Synchronization. [Citation Graph (, )][DBLP]


  283. Regular Register: An Implementation in a Churn Prone Environment. [Citation Graph (, )][DBLP]


  284. A Versatile STM Protocol with Invisible Read Operations That Satisfies the Virtual World Consistency Condition. [Citation Graph (, )][DBLP]


  285. Test & Set, Adaptive Renaming and Set Agreement: a Guided Visit to Asynchronous Computability. [Citation Graph (, )][DBLP]


  286. The Eventual Clusterer Oracle and Its Application to Consensus in MANETs. [Citation Graph (, )][DBLP]


  287. Visiting Gafni's Reduction Land: From the BG Simulation to the Extended BG Simulation. [Citation Graph (, )][DBLP]


  288. Looking for the Weakest Failure Detector for k-Set Agreement in Message-Passing Systems: Is ${\it \Pi}_k${\it \Pi}_k the End of the Road? [Citation Graph (, )][DBLP]


  289. On Adaptive Renaming under Eventually Limited Contention. [Citation Graph (, )][DBLP]


  290. Brief Announcement: On the Solvability of Anonymous Partial Grids Exploration by Mobile Robots. [Citation Graph (, )][DBLP]


  291. No Double Discount: Condition-Based Simultaneity Yields Limited Gain. [Citation Graph (, )][DBLP]


  292. Help When Needed, But No More: Efficient Read/Write Partial Snapshot. [Citation Graph (, )][DBLP]


  293. The Price of Anonymity: Optimal Consensus Despite Asynchrony, Crash and Anonymity. [Citation Graph (, )][DBLP]


  294. The 2010 Edsger W. Dijkstra Prize in Distributed Computing. [Citation Graph (, )][DBLP]


  295. Anonymous Asynchronous Systems: The Case of Failure Detectors. [Citation Graph (, )][DBLP]


  296. Provable STM Properties: Leveraging Clock and Locks to Favor Commit and Early Abort. [Citation Graph (, )][DBLP]


  297. Narrowing Power vs. Efficiency in Synchronous Set Agreement. [Citation Graph (, )][DBLP]


  298. Large-Scale Networked Systems: From Anarchy to Geometric Self-structuring. [Citation Graph (, )][DBLP]


  299. Shared Memory Synchronization in Presence of Failures: An Exercise-Based. [Citation Graph (, )][DBLP]


  300. A Timing Assumption and Two t-Resilient Protocols for Implementing an Eventual Leader Service in Asynchronous Shared Memory Systems. [Citation Graph (, )][DBLP]


  301. Distributed Slicing in Dynamic Systems [Citation Graph (, )][DBLP]


  302. Core Persistence in Peer-to-Peer Systems: Relating Size to Lifetime [Citation Graph (, )][DBLP]


  303. Timed Quorum System for Large-Scale and Dynamic Environments [Citation Graph (, )][DBLP]


  304. On the computability power and the robustness of set agreement-oriented failure detector classes. [Citation Graph (, )][DBLP]


Search in 0.165secs, Finished in 0.175secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002