| 2025 | ICDCIT | Invited Paper: Distributed Computability: A Few Results Masters Students Should Know. | Michel Raynal |
| 2025 | OPODIS | Contention-Aware Cooperation. | Timoth Albouy, Davide Frey, Mathieu Gestin, Michel Raynal, Franois Taani |
| 2025 | OPODIS | Solving Tasks with Fewer Registers Than Processes. | Eli Gafni, Giuliano Losa, Michel Raynal, Gadi Taubenfeld |
| 2025 | PODC | Brief Announcement: Stranger-Free Tasks. | Eli Gafni, Giuliano Losa, Michel Raynal, Gadi Taubenfeld |
| 2024 | ICDCN | Self-stabilizing Byzantine Multivalued Consensus: (extended abstract). | Romaric Duvignau, Michel Raynal, Elad Michael Schiller |
| 2024 | OPODIS | Near-Optimal Communication Byzantine Reliable Broadcast Under a Message Adversary. | Timoth Albouy, Davide Frey, Ran Gelles, Carmit Hazay, Michel Raynal, Elad Michael Schiller, Franois Taani, Vassilis Zikas |
| 2024 | SIROCCO | Better Sooner Rather Than Later. | Anas Durand, Michel Raynal, Gadi Taubenfeld |
| 2024 | SSS | On Distributed Computing: A View, Physical Versus Logical Objects, and a Look at Fully Anonymous Systems. | Michel Raynal |
| 2023 | PODC | Brief Announcement: The MBroadcast Abstraction. | Mathilde Dprs, Achour Mostfaoui, Matthieu Perrin, Michel Raynal |
| 2023 | SIROCCO | About Informatics, Distributed Computing, and Our Job: A Personal View. | Michel Raynal |
| 2023 | SSS | Self-stabilizing Byzantine-Tolerant Recycling. | Chryssis Georgiou, Michel Raynal, Elad Michael Schiller |
| 2022 | OPODIS | A Modular Approach to Construct Signature-Free BRB Algorithms Under a Message Adversary. | Timoth Albouy, Davide Frey, Michel Raynal, Franois Taani |
| 2022 | SIROCCO | Election in Fully Anonymous Shared Memory Systems: Tight Space Bounds and Algorithms. | Damien Imbs, Michel Raynal, Gadi Taubenfeld |
| 2022 | SSS | Optimal Algorithms for Synchronous Byzantine k-Set Agreement. | Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal, Mouna Safir |
| 2022 | SSS | Reaching Consensus in the Presence of Contention-Related Crash Failures. | Anas Durand, Michel Raynal, Gadi Taubenfeld |
| 2022 | SSS | Self-stabilizing Byzantine Fault-Tolerant Repeated Reliable Broadcast. | Romaric Duvignau, Michel Raynal, Elad Michael Schiller |
| 2022 | SSS | Brief Announcement: Self-stabilizing Total-Order Broadcast. | Oskar Lundstrm, Michel Raynal, Elad Michael Schiller |
| 2021 | AINA | From Incomplete to Complete Networks in Asynchronous Byzantine Systems. | Michel Raynal, Jiannong Cao |
| 2021 | EDCC | Self-stabilizing Multivalued Consensus in Asynchronous Crash-prone Systems. | Oskar Lundstrm, Michel Raynal, Elad Michael Schiller |
| 2021 | ICDCN | Self-Stabilizing Indulgent Zero-degrading Binary Consensus. | Oskar Lundstrm, Michel Raynal, Elad Michael Schiller |
| 2021 | PACT | Consensus-Free Ledgers When Operations of Distinct Processes are Commutative. | Davide Frey, Lucie Guillou, Michel Raynal, Franois Taani |
| 2021 | SSS | Byzantine-Tolerant Reliable Broadcast in the Presence of Silent Churn. | Timoth Albouy, Davide Frey, Michel Raynal, Franois Taani |
| 2020 | EDCC | Atomic Appends in Asynchronous Byzantine Distributed Ledgers. | Vicent Cholvi, Antonio Fernndez Anta, Chryssis Georgiou, Nicolas Nicolaou, Michel Raynal |
| 2020 | ICDCS | Self-Stabilizing Set-Constrained Delivery Broadcast (extended abstract). | Oskar Lundstrm, Michel Raynal, Elad Michael Schiller |
| 2020 | OPODIS | Relaxed Queues and Stacks from Read/Write Operations. | Armando Castaeda, Sergio Rajsbaum, Michel Raynal |
| 2020 | PODC | From Bezout's Identity to Space-Optimal Election in Anonymous Memory Systems. | Emmanuel Godard, Damien Imbs, Michel Raynal, Gadi Taubenfeld |
| 2020 | SSS | k-Immediate Snapshot and x-Set Agreement: How Are They Related? | Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal |
| 2020 | SSS | Brief Announcement: Leader Election in the ADD Communication Model. | Sergio Rajsbaum, Michel Raynal, Karla Vargas |
| 2019 | AINA | On the Weakest Failure Detector for Read/Write-Based Mutual Exclusion. | Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal |
| 2019 | ICDCS | One for All and All for One: Scalable Consensus in a Hybrid Communication Model. | Michel Raynal, Jiannong Cao |
| 2019 | OPODIS | Byzantine-Tolerant Set-Constrained Delivery Broadcast. | Alex Auvolat, Michel Raynal, Franois Taani |
| 2019 | PACT | Participant-Restricted Consensus in Asynchronous Crash-Prone Read/Write Systems and Its Weakest Failure Detector. | Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal |
| 2019 | PODC | Optimal Memory-Anonymous Symmetric Deadlock-Free Mutual Exclusion. | Zahra Aghazadeh, Damien Imbs, Michel Raynal, Gadi Taubenfeld, Philipp Woelfel |
| 2019 | PRDC | A New Insight into Local Coin-Based Randomized Consensus. | Achour Mostfaoui, Matthieu Perrin, Michel Raynal |
| 2019 | SIROCCO | Anonymous Read/Write Memory: Leader Election and De-anonymization. | Emmanuel Godard, Damien Imbs, Michel Raynal, Gadi Taubenfeld |
| 2019 | SRDS | The Notion of Universality in Crash-Prone Asynchronous Message-Passing Systems: A Tutorial. | Michel Raynal |
| 2019 | SSS | Brief Announcement: Fully Anonymous Shared Memory Algorithms. | Michel Raynal, Gadi Taubenfeld |
| 2018 | ICDCN | Set-Constrained Delivery Broadcast: Definition, Abstraction Power, and Computability Limits. | Damien Imbs, Achour Mostfaoui, Matthieu Perrin, Michel Raynal |
| 2018 | IWQoS | Time-Efficient RFID-Based Stocktaking with a Coarse-Grained Inventory List. | Weiping Zhu, Xing Meng, Xiaolei Peng, Jiannong Cao, Michel Raynal |
| 2018 | MCU | A Pleasant Stroll Through the Land of Distributed Machines, Computation, and Universality. | Michel Raynal, Jiannong Cao |
| 2018 | NCA | DBFT: Efficient Leaderless Byzantine Consensus and its Application to Blockchains. | Tyler Crain, Vincent Gramoli, Mikel Larrea, Michel Raynal |
| 2018 | SSS | Set Agreement and Renaming in the Presence of Contention-Related Crash Failures. | Anas Durand, Michel Raynal, Gadi Taubenfeld |
| 2018 | SSS | Bee's Strategy Against Byzantines Replacing Byzantine Participants - (Extended Abstract). | Amitay Shaer, Shlomi Dolev, Silvia Bonomi, Michel Raynal, Roberto Baldoni |
| 2017 | AINA | Providing Collision-Free and Conflict-Free Communication in General Synchronous Broadcast/Receive Networks. | Abdelmadjid Bouabdallah, Hicham Lakhlef, Michel Raynal, Franois Taani |
| 2016 | AINA | Efficient Broadcast Protocol for the Internet of Things. | Hicham Lakhlef, Michel Raynal, Julien Bourgeois |
| 2016 | Algosensors | Vertex Coloring with Communication and Local Memory Constraints in Synchronous Broadcast Networks. | Hicham Lakhlef, Michel Raynal, Franois Taani |
| 2016 | ICA3PP | Implementing Snapshot Objects on Top of Crash-Prone Asynchronous Message-Passing Systems. | Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal |
| 2016 | ICDCN | A communication-efficient leader election algorithm in partially synchronous systems prone to crash-recovery and omission failures. | Christian Fernndez-Campusano, Mikel Larrea, Roberto Cortias, Michel Raynal |
| 2016 | ICDCN | Modular randomized byzantine k-set agreement in asynchronous message-passing systems. | Achour Mostfaoui, Hamouma Moumen, Michel Raynal |
| 2016 | ICDCS | A Look at Basics of Distributed Computing. | Michel Raynal |
| 2016 | ICPP | Optimal Collision/Conflict-Free Distance-2 Coloring in Wireless Synchronous Broadcast/Receive Tree Networks. | Davide Frey, Hicham Lakhlef, Michel Raynal |
| 2016 | PODC | Two-Bit Messages are Sufficient to Implement Atomic Read/Write Registers in Crash-prone Systems. | Achour Mostfaoui, Michel Raynal |
| 2016 | SIROCCO | t-Resilient Immediate Snapshot Is Impossible. | Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal |
| 2016 | SSS | Making Local Algorithms Wait-Free: The Case of Ring Coloring. | Armando Castaeda, Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal |
| 2015 | AINA | A Simple Predicate to Expedite the Termination of a Randomized Consensus Algorithm. | Michel Raynal |
| 2015 | EuroPar | Concurrent Systems: Hybrid Object Implementations and Abortable Objects. | Michel Raynal |
| 2015 | EuroPar | Parallel Computing vs. Distributed Computing: A Great Confusion? (Position Paper). | Michel Raynal |
| 2015 | OPODIS | Anonymous Obstruction-Free (n, k)-Set Agreement with n-k+1 Atomic Read/Write Registers. | Zohir Bouzid, Michel Raynal, Pierre Sutra |
| 2015 | OPODIS | Signature-Free Communication and Agreement in the Presence of Byzantine Processes (Tutorial). | Michel Raynal |
| 2015 | PODC | Stabilizing Server-Based Storage in Byzantine Asynchronous Message-Passing Systems: Extended abstract. | Silvia Bonomi, Shlomi Dolev, Maria Potop-Butucaru, Michel Raynal |
| 2015 | PODC | Minimal Synchrony for Byzantine Consensus. | Zohir Bouzid, Achour Mostfaoui, Michel Raynal |
| 2015 | PRDC | Eventual Leader Election Despite Crash-Recovery and Omission Failures. | Christian Fernndez-Campusano, Mikel Larrea, Roberto Cortias, Michel Raynal |
| 2015 | SIROCCO | Signature-Free Asynchronous Byzantine Systems: From Multivalued to Binary Consensus with t < n/3, O(n2) Messages, and Constant Time. | Achour Mostfaoui, Michel Raynal |
| 2015 | SIROCCO | Communication Patterns and Input Patterns in Distributed Computing - (Invited Talk). | Michel Raynal |
| 2014 | AINA | A Simple Broadcast Algorithm for Recurrent Dynamic Systems. | Michel Raynal, Julien Stainer, Jiannong Cao, Weigang Wu |
| 2014 | CISIS | Simple Deadlock Detection for the And-Communication Model. | Michel Raynal |
| 2014 | LATIN | Computing in the Presence of Concurrent Solo Executions. | Maurice Herlihy, Sergio Rajsbaum, Michel Raynal, Julien Stainer |
| 2014 | OPODIS | Distributed Universality. | Michel Raynal, Julien Stainer, Gadi Taubenfeld |
| 2014 | PODC | Signature-free asynchronous byzantine consensus with t 2<n/3 and o(n | Achour Mostfaoui, Moumen Hamouma, Michel Raynal |
| 2014 | PODC | Brief announcement: distributed universality: contention-awareness; wait-freedom; object progress, and other properties. | Michel Raynal, Julien Stainer, Gadi Taubenfeld |
| 2014 | SIROCCO | Reliable Shared Memory Abstraction on Top of Asynchronous Byzantine Message-Passing Systems. | Damien Imbs, Sergio Rajsbaum, Michel Raynal, Julien Stainer |
| 2014 | SRDS | Fair Synchronization in the Presence of Process Crashes and its Weakest Failure Detector. | Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal |
| 2013 | AINA | Coordination and Computation in Distributed Intelligent MEMS. | Julien Bourgeois, Jiannong Cao, Michel Raynal, Dominique Dhoutaut, Benot Piranda, Eugen Dedu, Ahmed Mostefaoui, Hakim Mabed |
| 2013 | AINA | A Short Introduction to Synchronous Communication. | Michel Raynal |
| 2013 | EuroPar | A Contention-Friendly Binary Search Tree. | Tyler Crain, Vincent Gramoli, Michel Raynal |
| 2013 | ICDCS | No Hot Spot Non-blocking Skip List. | Tyler Crain, Vincent Gramoli, Michel Raynal |
| 2013 | ICPP | A Generalized Mutual Exclusion Problem and Its Algorithm. | Aoxueluo, Weigang Wu, Jiannong Cao, Michel Raynal |
| 2013 | PACT | Cliff-Edge Consensus: Agreeing on the Precipice. | Franois Taani, Barry Porter, Geoff Coulson, Michel Raynal |
| 2013 | PODC | Synchrony weakened by message adversaries vs asynchrony restricted by failure detectors. | Michel Raynal, Julien Stainer |
| 2013 | PRDC | Fault-Tolerant Leader Election in Mobile Dynamic Distributed Systems. | Carlos Gmez-Calzado, Alberto Lafuente, Mikel Larrea, Michel Raynal |
| 2013 | SIROCCO | Simultaneous Consensus vs Set Agreement: A Message-Passing-Sensitive Hierarchy of Agreement Problems. | Michel Raynal, Julien Stainer |
| 2012 | AINA | Trying to Unify the LL/SC Synchronization Primitive and the Notion of a Timed Register. | Damien Imbs, Michel Raynal |
| 2012 | CISIS | Leader Election: From Higham-Przytycka's Algorithm to a Gracefully Degrading Algorithm. | Itziar Arrieta-Salinas, Federico Faria, Jos Ramn Gonzlez de Mendvil, Michel Raynal |
| 2012 | CISIS | A Simple Asynchronous Shared Memory Consensus Algorithm Based on Omega and Closing Sets. | Michel Raynal, Julien Stainer |
| 2012 | EuroPar | From a Store-Collect Object and Ω to Efficient Asynchronous Consensus. | Michel Raynal, Julien Stainer |
| 2012 | ICA3PP | STM Systems: Enforcing Strong Isolation between Transactions and Non-transactional Code. | Tyler Crain, Eleni Kanellou, Michel Raynal |
| 2012 | ICDCN | Towards a Universal Construction for Transaction-Based Multiprocess Programs. | Tyler Crain, Damien Imbs, Michel Raynal |
| 2012 | ICDCS | Failure Detectors in Homonymous Distributed Systems (with an Application to Consensus). | Sergio Arvalo, Antonio Fernndez Anta, Damien Imbs, Ernesto Jimnez, Michel Raynal |
| 2012 | LATIN | Renaming Is Weaker Than Set Agreement But for Perfect Renaming: A Map of Sub-consensus Tasks. | Armando Castaeda, Damien Imbs, Sergio Rajsbaum, Michel Raynal |
| 2012 | NCA | Chasing the Weakest Failure Detector for k-Set Agreement in Message-Passing Systems. | Achour Mostfaoui, Michel Raynal, Julien Stainer |
| 2012 | OPODIS | When and How Process Groups Can Be Used to Reduce the Renaming Space. | Armando Castaeda, Michel Raynal, Julien Stainer |
| 2012 | PODC | Brief announcement: there are plenty of tasks weaker than perfect renaming and stronger than set agreement. | Armando Castaeda, Sergio Rajsbaum, Michel Raynal |
| 2012 | PODC | Brief announcement: increasing the power of the iterated immediate snapshot model with failure detectors. | Michel Raynal, Julien Stainer |
| 2012 | PPoPP | A speculation-friendly binary search tree. | Tyler Crain, Vincent Gramoli, Michel Raynal |
| 2012 | SIROCCO | Increasing the Power of the Iterated Immediate Snapshot Model with Failure Detectors. | Michel Raynal, Julien Stainer |
| 2011 | AINA | A Theory-Oriented Introduction to Wait-Free Synchronization Based on the Adaptive Renaming Problem. | Sergio Rajsbaum, Michel Raynal |
| 2011 | ICA3PP | Read Invisibility, Virtual World Consistency and Probabilistic Permissiveness are Compatible. | Tyler Crain, Damien Imbs, Michel Raynal |
| 2011 | ICDCN | A Necessary and Sufficient Synchrony Condition for Solving Byzantine Consensus in Symmetric Networks. | Olivier Baldellon, Achour Mostfaoui, Michel Raynal |
| 2011 | PACT | Looking for Efficient Implementations of Concurrent Objects. | Achour Mostfaoui, Michel Raynal |
| 2011 | PODC | The universe of symmetry breaking tasks. | Damien Imbs, Sergio Rajsbaum, Michel Raynal |
| 2011 | SPAA | Brief announcement: read invisibility, virtual world consistency and permissiveness are compatible. | Tyler Crain, Damien Imbs, Michel Raynal |
| 2011 | SIROCCO | The Universe of Symmetry Breaking Tasks. | Damien Imbs, Sergio Rajsbaum, Michel Raynal |
| 2011 | SIROCCO | A Survey on Some Recent Advances in Shared Memory Models. | Sergio Rajsbaum, Michel Raynal |
| 2011 | SSS | The Weakest Failure Detector to Implement a Register in Asynchronous Systems with Hybrid Communication. | Damien Imbs, Michel Raynal |
| 2011 | SSS | Relations Linking Failure Detectors Associated with k-Set Agreement in Message-Passing Systems. | Achour Mostfaoui, Michel Raynal, Julien Stainer |
| 2010 | AINA | Consensus in Anonymous Distributed Systems: Is There a Weakest Failure Detector?. | Franois Bonnet, Michel Raynal |
| 2010 | EDCC | D2HT: The Best of Both Worlds, Integrating RPS and DHT. | Marin Bertier, Franois Bonnet, Anne-Marie Kermarrec, Vincent Leroy, Sathya Peri, Michel Raynal |
| 2010 | EDCC | Early Consensus in Message-Passing Systems Enriched with a Perfect Failure Detector and Its Application in the Theta Model. | Franois Bonnet, Michel Raynal |
| 2010 | EuroPar | Value-Based Sequential Consistency for Set Objects in Dynamic Distributed Systems. | Roberto Baldoni, Silvia Bonomi, Michel Raynal |
| 2010 | EuroPar | The | Damien Imbs, Michel Raynal |
| 2010 | OPODIS | Signature-Free Broadcast-Based Intrusion Tolerance: Never Decide a Byzantine Value. | Achour Mostfaoui, Michel Raynal |
| 2010 | PODC | The multiplicative power of consensus numbers. | Damien Imbs, Michel Raynal |
| 2010 | PODC | On asymmetric progress conditions. | Damien Imbs, Michel Raynal, Gadi Taubenfeld |
| 2010 | SSS | On Adaptive Renaming under Eventually Limited Contention. | Damien Imbs, Michel Raynal |
| 2009 | CISIS | Shared Memory Synchronization in Presence of Failures: An Exercise-Based. | Michel Raynal |
| 2009 | ICDCN | Provable STM Properties: Leveraging Clock and Locks to Favor Commit and Early Abort. | Damien Imbs, Michel Raynal |
| 2009 | ICDCN | Large-Scale Networked Systems: From Anarchy to Geometric Self-structuring. | Anne-Marie Kermarrec, Achour Mostfaoui, Michel Raynal, Gilles Trdan, Aline Carneiro Viana |
| 2009 | ICDCS | Implementing a Register in a Dynamic Distributed System. | Roberto Baldoni, Silvia Bonomi, Anne-Marie Kermarrec, Michel Raynal |
| 2009 | PACT | Software Transactional Memories: An Approach for Multicore Programming. | Damien Imbs, Michel Raynal |
| 2009 | PODC | Brief announcement: the price of anonymity: optimal consensus despite asynchrony, crash and anonymity. | Franois Bonnet, Michel Raynal |
| 2009 | PODC | Brief announcement: virtual world consistency: a new condition for STM systems. | Damien Imbs, Jos Ramn Gonzlez de Mendvil, Michel Raynal |
| 2009 | SIROCCO | Regular Register: An Implementation in a Churn Prone Environment. | Roberto Baldoni, Silvia Bonomi, Michel Raynal |
| 2009 | SIROCCO | A Versatile STM Protocol with Invisible Read Operations That Satisfies the Virtual World Consistency Condition. | Damien Imbs, Michel Raynal |
| 2009 | SSS | Looking for the Weakest Failure Detector for | Franois Bonnet, Michel Raynal |
| 2009 | SSS | Visiting Gafni's Reduction Land: From the BG Simulation to the Extended BG Simulation. | Damien Imbs, Michel Raynal |
| 2008 | AINA | Synchronization is Coming Back, But is it the Same? | Michel Raynal |
| 2008 | COCOON | The Iterated Restricted Immediate Snapshot Model. | Sergio Rajsbaum, Michel Raynal, Corentin Travers |
| 2008 | ICDCN | Narrowing Power vs. Efficiency in Synchronous Set Agreement. | Achour Mostfaoui, Michel Raynal, Corentin Travers |
| 2008 | ICDCS | Conditions for Set Agreement with an Application to Synchronous Systems. | Franois Bonnet, Michel Raynal |
| 2008 | ICPP | On Modeling Fault Tolerance of Gossip-Based Reliable Multicast Protocols. | Xiaopeng Fan, Jiannong Cao, Weigang Wu, Michel Raynal |
| 2008 | OPODIS | On the Solvability of Anonymous Partial Grids Exploration by Mobile Robots. | Roberto Baldoni, Franois Bonnet, Alessia Milani, Michel Raynal |
| 2008 | OPODIS | A Lock-Based STM Protocol That Satisfies Opacity and Progressiveness. | Damien Imbs, Michel Raynal |
| 2008 | PODC | Looking for the optimal conditions for solving set agreement. | Franois Bonnet, Michel Raynal |
| 2008 | PODC | From anarchy to geometric structuring: the power of virtual coordinates. | Anne-Marie Kermarrec, Achour Mostfaoui, Michel Raynal, Gilles Trdan, Aline Carneiro Viana |
| 2007 | DSN | Workshop on Dependable Application Support for Self-Organizing Networks (DASSON 2007). | Paul D. Ezhilchelvan, Michel Raynal, Ajoy Kumar Datta |
| 2007 | DSN | Electing an Eventual Leader in an Asynchronous Shared Memory System. | Antonio Fernndez, Ernesto Jimnez, Michel Raynal |
| 2007 | ICDCS | Distributed Slicing in Dynamic Systems. | Antonio Fernndez, Vincent Gramoli, Ernesto Jimnez, Anne-Marie Kermarrec, Michel Raynal |
| 2007 | ISORC | A Timing Assumption and a t-Resilient Protocol for Implementing an Eventual Leader Service in Asynchronous Shared Memory Systems. | Antonio Fernndez, Ernesto Jimnez, Michel Raynal, Gilles Trdan |
| 2007 | NCA | Eventual Leader Service in Unreliable Asynchronous Systems: Why? How? | Michel Raynal |
| 2007 | OPODIS | From an Intermittent Rotating Star to a Leader. | Antonio Fernndez Anta, Michel Raynal |
| 2007 | OPODIS | Small-World Networks: From Theoretical Bounds to Practical Systems. | Franois Bonnet, Anne-Marie Kermarrec, Michel Raynal |
| 2007 | OPODIS | Timed Quorum Systems for Large-Scale and Dynamic Environments. | Vincent Gramoli, Michel Raynal |
| 2007 | PACT | Looking for a Definition of Dynamic Distributed Systems. | Roberto Baldoni, Marin Bertier, Michel Raynal, Sara Tucci Piergiovanni |
| 2007 | PACT | From Unreliable Objects to Reliable Objects: The Case of Atomic Registers and Consensus. | Rachid Guerraoui, Michel Raynal |
| 2007 | PODC | Failure detectors are schedulers. | Alejandro Cornejo, Sergio Rajsbaum, Michel Raynal, Corentin Travers |
| 2007 | PODC | From an intermittent rotating star to a leader. | Antonio Fernndez, Michel Raynal |
| 2007 | PRDC | The Eventual Leadership in Dynamic Mobile Networking Environments. | Jiannong Cao, Michel Raynal, Corentin Travers, Weigang Wu |
| 2007 | SPAA | The notion of a timed register and its application to indulgent synchronization. | Michel Raynal, Gadi Taubenfeld |
| 2007 | SIROCCO | From Renaming to Set Agreement. | Achour Mostfaoui, Michel Raynal, Corentin Travers |
| 2007 | SRDS | Test & Set, Adaptive Renaming and Set Agreement: a Guided Visit to Asynchronous Computability. | Eli Gafni, Michel Raynal, Corentin Travers |
| 2007 | SRDS | The Eventual Clusterer Oracle and Its Application to Consensus in MANETs. | Weigang Wu, Jiannong Cao, Michel Raynal |
| 2006 | AINA | From Failure Detectors with Limited Scope Accuracy to System-wide Leadership. | Achour Mostfaoui, Michel Raynal, Corentin Travers, Sergio Rajsbaum |
| 2006 | DSN | Eventual Leader Election with Weak Assumptions on Initial Knowledge, Communication Reliability, and Synchrony. | Antonio Fernndez, Ernesto Jimnez, Michel Raynal |
| 2006 | ICDCN | Simultaneous Consensus Tasks: A Tighter Characterization of Set-Consensus. | Yehuda Afek, Eli Gafni, Sergio Rajsbaum, Michel Raynal, Corentin Travers |
| 2006 | ICPP | The Power and Limit of Adding Synchronization Messages for Synchronous Agreement. | Jiannong Cao, Michel Raynal, Xianbing Wang, Weigang Wu |
| 2006 | LATIN | The Committee Decision Problem. | Eli Gafni, Sergio Rajsbaum, Michel Raynal, Corentin Travers |
| 2006 | OPODIS | In Search of the Holy Grail: Looking for the Weakest Failure Detector for Wait-Free Set Agreement. | Michel Raynal, Corentin Travers |
| 2006 | PDP | A Hierarchical Consensus Protocol for Mobile Ad Hoc Networks. | Weigang Wu, Jiannong Cao, Jin Yang, Michel Raynal |
| 2006 | PODC | Irreducibility and additivity of set agreement-oriented failure detector classes. | Achour Mostfaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers |
| 2006 | PRDC | On the fly estimation of the processes that are alive/crashed in an asynchronous message-passing system. | Achour Mostfaoui, Michel Raynal, Gilles Trdan |
| 2006 | PRDC | Synchronous Set Agreement: a Concise Guided Tour (including a new algorithm and a list of open problems). | Michel Raynal, Corentin Travers |
| 2006 | SIROCCO | Strongly Terminating Early-Stopping | Philippe Raipin Parvdy, Michel Raynal, Corentin Travers |
| 2005 | AINA | A Simple Protocol Offering Both Atomic Consistent Read Operations and Sequentially Consistent Read Operations. | Michel Raynal, Matthieu Roy, Ciprian Tutu |
| 2005 | DSN | A Hybrid and Adaptive Model for Fault-Tolerant Distributed Computing. | Srgio Gorender, Raimundo A. Macdo, Michel Raynal |
| 2005 | EDCC | Building and Using Quorums Despite any Number of Process of Crashes. | Roy Friedman, Achour Mostfaoui, Michel Raynal |
| 2005 | ICDCS | Mixed Consistency Model: Meeting Data Sharing Needs of Heterogeneous Users. | Zhiyuan Zhan, Mustaque Ahamad, Michel Raynal |
| 2005 | ISORC | Building Responsive TMR-Based Servers in Presence of Timing Constraints. | Paul D. Ezhilchelvan, Jean-Michel Hlary, Michel Raynal |
| 2005 | OPODIS | Two Abstractions for Implementing Atomic Objects in Dynamic Systems. | Roy Friedman, Michel Raynal, Corentin Travers |
| 2005 | PACT | Early-Stopping | Philippe Raipin Parvdy, Michel Raynal, Corentin Travers |
| 2005 | PACT | Allowing Atomic Objects to Coexist with Sequentially Consistent Objects. | Michel Raynal, Matthieu Roy |
| 2005 | PODC | Brief announcement: abstractions for implementing atomic objects in dynamic systems. | Roy Friedman, Michel Raynal, Corentin Travers |
| 2005 | PODC | The combined power of conditions and failure detectors to solve asynchronous set agreement. | Achour Mostfaoui, Sergio Rajsbaum, Michel Raynal |
| 2005 | PRDC | Intersecting Sets: a Basic Abstraction for Asynchronous Agreement Problems. | Roy Friedman, Achour Mostfaoui, Michel Raynal |
| 2005 | PRDC | Decision Optimal Early-Stopping k-set Agreement in Synchronous Systems Prone to Send Omission Failures. | Philippe Raipin Parvdy, Michel Raynal, Corentin Travers |
| 2005 | PRDC | A Note on a Simple Equivalence between Round-based Synchronous and Asynchronous Models. | Michel Raynal, Matthieu Roy |
| 2005 | SRDS | From Static Distributed Systems to Dynamic Systems. | Achour Mostfaoui, Michel Raynal, Corentin Travers, Stacy Patterson, Divyakant Agrawal, Amr El Abbadi |
| 2004 | ICDCS | A Distributed Implementation of Sequential Consistency with Multi-Object Operations. | Michel Raynal, K. Vidyasankar |
| 2004 | NCA | A Methodological Construction of an Efficient Sequential Consistency Protocol. | Vicent Cholvi, Antonio Fernndez, Ernesto Jimnez, Michel Raynal |
| 2004 | PODC | Brief announcement: veto number and the respective power of eventual failure detectors. | Roy Friedman, Achour Mostfaoui, Michel Raynal |
| 2004 | PODC | Brief announcement: the synchronous condition-based consensus hierarchy. | Achour Mostfaoui, Sergio Rajsbaum, Michel Raynal |
| 2004 | PRDC | A Hybrid Approach for Building Eventually Accurate Failure Detectors. | Achour Mostfaoui, David Powell, Michel Raynal |
| 2004 | SPAA | Optimal early stopping uniform consensus in synchronous systems with process omission failures. | Philippe Raipin Parvdy, Michel Raynal |
| 2004 | SRDS | Simple and Efficient Oracle-Based Consensus Protocols for Asynchronous Byzantine Systems. | Roy Friedman, Achour Mostfaoui, Michel Raynal |
| 2004 | SRDS | Crash-Resilient Time-Free Eventual Leadership. | Achour Mostfaoui, Michel Raynal, Corentin Travers |
| 2003 | AINA | Token-Based Sequential Consistency in Asynchronous Distributed Systems. | Michel Raynal |
| 2003 | DSN | Evaluating the Condition-Based Approach to Solve Consensus. | Achour Mostfaoui, Eric Mourgaya, Philippe Raipin Parvdy, Michel Raynal |
| 2003 | DSN | Asynchronous Implementation of Failure Detectors. | Achour Mostfaoui, Eric Mourgaya, Michel Raynal |
| 2003 | ICDCS | Elastic Vector Time. | Christof Fetzer, Michel Raynal |
| 2003 | ICDCS | A Generic Framework for Indulgent Consensus. | Rachid Guerraoui, Michel Raynal |
| 2003 | ISORC | Nested Invocation Protocol for Object-Based Systems. | Kenichi Hori, Tomoya Enokido, Makoto Takizawa, Michel Raynal |
| 2003 | PACT | A Hierarchy of Conditions for Asynchronous Interactive Consistency. | Achour Mostfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy |
| 2003 | PACT | The Renaming Problem as an Introduction to Structures for Wait-Free Computing. | Michel Raynal |
| 2003 | PODC | Brief announcement: early decision despite general process omission failures. | Fabrice Le Fessant, Philippe Raipin Parvdy, Michel Raynal |
| 2002 | DSN | A Versatile and Modular Consensus Protoco. | Achour Mostfaoui, Sergio Rajsbaum, Michel Raynal |
| 2002 | ISORC | Approximate Real-Time Clocks for Scheduled Events. | Christof Fetzer, Michel Raynal |
| 2002 | ISORC | Wait-Free Objects for Real-Time Systems? (position paper). | Michel Raynal |
| 2002 | PODC | Early stopping in aglobal data computation. | Carole Delporte-Gallet, Hugues Fauconnier, Jean-Michel Hlary, Michel Raynal |
| 2002 | PODC | Building responseive TMR-based servers in presence of timing constraints. | Paul D. Ezhilchelvan, Jean-Michel Hlary, Michel Raynal |
| 2002 | PODC | Asynchronous interactive consistency and its relation with error-correcting codes. | Achour Mostfaoui, Sergio Rajsbaum, Michel Raynal |
| 2002 | PODC | Towards a formal model for view maintenance in data warehouses. | Achour Mostfaoui, Michel Raynal, Matthieu Roy, Divyakant Agrawal, Amr El Abbadi |
| 2002 | PRDC | An Introduction to the Renaming Problem. | Michel Raynal |
| 2002 | PRDC | Consensus in Synchronous Systems: A Concise Guided Tour. | Michel Raynal |
| 2002 | SPAA | Tracking immediate predecessors in distributed computations. | Emmanuelle Anceaume, Jean-Michel Hlary, Michel Raynal |
| 2002 | SPAA | Sequential consistency as lazy linearizability. | Michel Raynal |
| 2001 | EuroPar | Building TMR-Based Reliable Servers Despite Bounded Input Lifetimes. | Paul D. Ezhilchelvan, Jean-Michel Hlary, Michel Raynal |
| 2001 | ICDCS | Shared State Consistency for Time-Sensitive Distributed Applications. | Vijaykumar Krishnaswamy, Mustaque Ahamad, Michel Raynal, David E. Bakken |
| 2001 | ISADS | Primary Component Asynchronous Group Membership as an Instance of a Generic Agreement Framework. | Fabola Greve, Michel Hurfin, Michel Raynal, Frederic Tronel |
| 2001 | ISORC | Randomized Multivalued Consensus. | Paul D. Ezhilchelvan, Achour Mostfaoui, Michel Raynal |
| 2001 | PACT | Consensus in One Communication Step. | Francisco Vilar Brasileiro, Fabola Greve, Achour Mostfaoui, Michel Raynal |
| 2001 | PACT | Quiescent Uniform Reliable Broadcast as an Introduction to Failure Detector Oracles. | Michel Raynal |
| 2001 | PODC | A hierarchy of conditions for consensus solvability. | Achour Mostfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy |
| 2001 | PRDC | An Adaptive Failure Detection Protocol. | Christof Fetzer, Michel Raynal, Frederic Tronel |
| 2001 | STOC | Conditions on input vectors for consensus solvability in asynchronous distributed systems. | Achour Mostfaoui, Sergio Rajsbaum, Michel Raynal |
| 2001 | SPAA | Randomized k-set agreement. | Achour Mostfaoui, Michel Raynal |
| 2001 | SIROCCO | Efficient Condition-Based Consensus. | Achour Mostfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy |
| 2001 | SRDS | A Consensus Protocol Based on a Weak FailureDetector and a Sliding Round Window. | Michel Hurfin, Achour Mostfaoui, Michel Raynal, Raimundo A. Macdo |
| 2000 | DSN | From Crash Fault-Tolerance to Arbitrary-Fault Tolerance: Towards a Modular Approach. | Roberto Baldoni, Jean-Michel Hlary, Michel Raynal |
| 2000 | DSN | The Best of Both Worlds: A Hybrid Approach to Solve Consensus. | Achour Mostfaoui, Michel Raynal, Frederic Tronel |
| 2000 | EuroPar | Logical Instantaneity and Causal Order: Two "First Class" Communication Modes for Parallel Computing. | Michel Raynal |
| 2000 | EuroPar | Quorum-Based Replication in Asynchronous Crash-Recovery Distributed Systems (Research Note). | Lus E. T. Rodrigues, Michel Raynal |
| 2000 | ICDCS | Computing Global Functions in Asynchronous Distributed Systems Prone to Process Crashes. | Jean-Michel Hlary, Michel Hurfin, Achour Mostfaoui, Michel Raynal, Frederic Tronel |
| 2000 | ICDCS | Atomic Broadcast in Asynchronous Crash-Recovery Distributed Systems. | Lus E. T. Rodrigues, Michel Raynal |
| 2000 | ISORC | Deadline-Constrained Causal Order. | Lus E. T. Rodrigues, Roberto Baldoni, Emmanuelle Anceaume, Michel Raynal |
| 2000 | PODC | Time and message-efficient S-based consensus (brief announcement). | Fabola Greve, Michel Hurfin, Raimundo A. Macdo, Michel Raynal |
| 2000 | PODC | k-set agreement with limited accuracy failure detectors. | Achour Mostfaoui, Michel Raynal |
| 2000 | PRDC | Low cost consensus-based Atomic Broadcast. | Achour Mostfaoui, Michel Raynal |
| 2000 | SIROCCO | Consensus in byzantine asynchronous systems. | Roberto Baldoni, Jean-Michel Hlary, Michel Raynal, Lnaick Tanguy |
| 2000 | SIROCCO | Tracking causality in distributed systems: a suite of efficient protocols. | Jean-Michel Hlary, Giovanna Melideo, Michel Raynal |
| 1999 | EuroPar | Distributed Database Checkpointing. | Roberto Baldoni, Francesco Quaglia, Michel Raynal |
| 1999 | EuroPar | Illustrating the Use of Vector Clocks in Property Detection: An Example and a Counter-Example. | Michel Raynal |
| 1999 | ICDCS | On Classes of Problems in Asynchronous Distributed Systems with Process Crashes. | Eddy Fromentin, Michel Raynal, Frederic Tronel |
| 1999 | OPODIS | Direct Dependency-Based Determination of Consistent GlobalCheckpoints. | Roberto Baldoni, Michel Raynal, Giacomo Cioffi, Jean-Michel Hlary |
| 1999 | OPODIS | Simple Vector Clocks are limited to Solve some Causallity Related Problems. | Michel Raynal |
| 1999 | PACT | Consistent Lamport Clocks for Asynchronous Groups with Process Crashes. | Achour Mostfaoui, Michel Raynal, Makoto Takizawa |
| 1999 | PACT | Logically Instantaneous Communication on Top of Distributed Memory Parallel Machines. | Achour Mostfaoui, Michel Raynal, Paulo Verssimo |
| 1999 | PDPTA | Logical Clocks for Unreliable Process Groups. | Achour Mostfaoui, Michel Raynal, Makoto Takizawa |
| 1999 | PODC | Rollback-Dependency Trackability: Visible Characterizations. | Roberto Baldoni, Jean-Michel Hlary, Michel Raynal |
| 1999 | PODC | Timed Consistency for Shared Distributed Objects. | Francisco J. Torres-Rojas, Mustaque Ahamad, Michel Raynal |
| 1999 | SRDS | A General Framework to Solve Agreement Problems. | Michel Hurfin, Raimundo A. Macdo, Michel Raynal, Frederic Tronel |
| 1998 | ICDCS | An Adaptive Protocol for Implementing Causally Consistent Distributed Services. | Mustaque Ahamad, Michel Raynal, Grard Thia-Kime |
| 1998 | ISORC | Asynchronous Protocols to Meet Real-Time Constraints: Is It Really Sensible? How to Proceed? | Michel Hurfin, Michel Raynal |
| 1998 | PDP | Exploiting write semantics in implementing partially replicated causal objects. | Michel Raynal, Mustaque Ahamad |
| 1998 | SRDS | Fault-Tolerant Total Order Multicast to Asynchronous Groups. | Udo Fritzke Jr., Philippe Ingels, Achour Mostfaoui, Michel Raynal |
| 1998 | SRDS | Consensus in Asynchronous Systems Where Processes Can Crash and Recover. | Michel Hurfin, Achour Mostfaoui, Michel Raynal |
| 1997 | OPODIS | Cycle Prevention in Distributed Checkpointing. | Jean-Michel Hlary, Achour Mostfaoui, Michel Raynal |
| 1997 | SRDS | Preventing Useless Checkpoints in Distributed Computations. | Jean-Michel Hlary, Achour Mostfaoui, Robert H. B. Netzer, Michel Raynal |
| 1996 | EDCC | Efficient Message Logging for Uncoordinated Checkpointing Protocols. | Achour Mostfaoui, Michel Raynal |
| 1996 | ICDCS | An Efficient Causal Ordering Algorithm for Mobile Computing Environments. | Ravi Prakash, Michel Raynal, Mukesh Singhal |
| 1996 | PODC | About State Recording in Asynchronous Computations (Abstract). | Roberto Baldoni, Jean-Michel Hlary, Michel Raynal |
| 1996 | PODC | Efficient Delta-Causal Broadcasting of Multimedia Applications (Abstract). | Roberto Baldoni, Ravi Prakash, Michel Raynal, Mukesh Singhal |
| 1996 | PODC | From Serializable to Causal Transactions (Abstract). | Michel Raynal, Grard Thia-Kime, Mustaque Ahamad |
| 1996 | WG | Detecting Diamond Necklaces in Labeled Dags (A Problem from Distributed Debugging). | Michel Hurfin, Michel Raynal |
| 1995 | HPDC | Efficient Causally Ordered Communications for Multimedia Real-Time Applications. | Roberto Baldoni, Achour Mostfaoui, Michel Raynal |
| 1995 | ICDCS | Characterizing and Detecting The Set of Global States Seen by all Observers of a Distributed Computation. | Eddy Fromentin, Michel Raynal |
| 1995 | ICPP | Debugging Distributed Executions by Using Language Recognition. | zalp Babaoglu, Eddy Fromentin, Michel Raynal |
| 1994 | ICPP | On the Fly Testing of Regular Patterns in Distributed Computations. | Eddy Fromentin, Michel Raynal, Vijay K. Garg, Alexander I. Tomlinson |
| 1993 | ICDCS | Termination Detection in a Very General Distributed Computing Model. | Jerzy Brzezinski, Jean-Michel Hlary, Michel Raynal |
| 1992 | ICCI | A Distributed Kernel for Virtual Time Driven Applications. | Philippe Ingels, Carlos Maziero, Michel Raynal |
| 1992 | ICDCS | A General Method to Define Quorums. | Mitchell L. Neilsen, Masaaki Mizuno, Michel Raynal |
| 1992 | ICDCS | Synchronization and Concurrency Measures for Distributed Computations. | Michel Raynal, Masaaki Mizuno, Mitchell L. Neilsen |
| 1991 | ICCI | A Distributed Solution to the k-out of-M Resources Allocation Problem. | Michel Raynal |
| 1987 | PODC | Detection of Stable Properties in Distributed Applications. | Jean-Michel Hlary, Claude Jard, Nol Plouzeau, Michel Raynal |
| 1980 | GI | Synchronization and Protection Features for Data Abstraction. | D. Herman, Michel Raynal |