| 2007 | ISORC | A Component-Based Methodology to Design Arbitrary Failure Detectors for Distributed Protocols. | Roberto Baldoni, Jean-Michel Hlary, Sara Tucci Piergiovanni |
| 2006 | ICPP | About the Efficiency of Partial Replication to Implement Distributed Shared Memory. | Jean-Michel Hlary, Alessia Milani |
| 2005 | ISORC | Building Responsive TMR-Based Servers in Presence of Timing Constraints. | Paul D. Ezhilchelvan, Jean-Michel Hlary, 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 | SPAA | Tracking immediate predecessors in distributed computations. | Emmanuelle Anceaume, Jean-Michel Hlary, Michel Raynal |
| 2001 | EuroPar | Building TMR-Based Reliable Servers Despite Bounded Input Lifetimes. | Paul D. Ezhilchelvan, Jean-Michel Hlary, Michel Raynal |
| 2000 | DSN | From Crash Fault-Tolerance to Arbitrary-Fault Tolerance: Towards a Modular Approach. | Roberto Baldoni, Jean-Michel Hlary, 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 | 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 |
| 2000 | WG | Minimal Size of Piggybacked Information for Tracking Causality: A Graph-Based Characterization. | Jean-Michel Hlary, Giovanna Melideo |
| 1999 | OPODIS | Direct Dependency-Based Determination of Consistent GlobalCheckpoints. | Roberto Baldoni, Michel Raynal, Giacomo Cioffi, Jean-Michel Hlary |
| 1999 | PODC | Rollback-Dependency Trackability: Visible Characterizations. | Roberto Baldoni, Jean-Michel Hlary, 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 | PODC | About State Recording in Asynchronous Computations (Abstract). | Roberto Baldoni, Jean-Michel Hlary, Michel Raynal |
| 1994 | CAV | Performance Improvement of State Space Exploration by Regular & Diffrential Hashing Functions. | Bernard Cousin, Jean-Michel Hlary |
| 1994 | ICDCS | A O(log | Jean-Michel Hlary, Achour Mostfaoui |
| 1993 | ICDCS | Termination Detection in a Very General Distributed Computing Model. | Jerzy Brzezinski, Jean-Michel Hlary, Michel Raynal |
| 1987 | PODC | Detection of Stable Properties in Distributed Applications. | Jean-Michel Hlary, Claude Jard, Nol Plouzeau, Michel Raynal |