Jean-Michel Hélary
According to our database1,
Jean-Michel Hélary
authored at least 52 papers
between 1987 and 2009.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2009
Computing, Observing, Controlling, Checkpointing: Symbiosis Is Even Better Than Agreement!
Proceedings of the Distributed Computing, 23rd International Symposium, 2009
2008
J. Syst. Archit., 2008
2007
A Component-Based Methodology to Design Arbitrary Failure Detectors for Distributed Protocols.
Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007
2006
Proceedings of the 2006 International Conference on Parallel Processing (ICPP 2006), 2006
2005
Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005
Proceedings of the International Conference on Pervasive Services 2005, 2005
2003
IEEE Trans. Parallel Distributed Syst., 2003
2002
J. Comput. Syst. Sci., 2002
A Note on the Determination of the Immediate Predecessors in a Distributed Computation.
Int. J. Found. Comput. Sci., 2002
Proceedings of the Fourteenth Annual ACM Symposium on Parallel Algorithms and Architectures, 2002
Proceedings of the Twenty-First Annual ACM Symposium on Principles of Distributed Computing, 2002
Proceedings of the Twenty-First Annual ACM Symposium on Principles of Distributed Computing, 2002
2001
Impossibility of scalar clock-based communication-induced checkpointing protocols ensuring the RDT property.
Inf. Process. Lett., 2001
Inf. Comput., 2001
Direct dependency-based determination of consistent global checkpoints.
Comput. Syst. Sci. Eng., 2001
Proceedings of the Euro-Par 2001: Parallel Processing, 2001
2000
Computing Global Functions in Asynchronous Distributed Systems with Perfect Failure Detectors.
IEEE Trans. Parallel Distributed Syst., 2000
Distributed Comput., 2000
Minimal Size of Piggybacked Information for Tracking Causality: A Graph-Based Characterization.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2000
Tracking causality in distributed systems: a suite of efficient protocols.
Proceedings of the SIROCCO 7, 2000
Computing Global Functions in Asynchronous Distributed Systems Prone to Process Crashes.
Proceedings of the 20th International Conference on Distributed Computing Systems, 2000
Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000
1999
IEEE Trans. Parallel Distributed Syst., 1999
Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing, 1999
Direct Dependency-Based Determination of Consistent GlobalCheckpoints.
Proceedings of the Procedings of the 3rd International Conference on Principles of Distributed Systems. OPODIS 99, 1999
1998
1997
Int. J. Syst. Sci., 1997
Ann. des Télécommunications, 1997
Proceedings of the Distributed Algorithms, 11th International Workshop, 1997
Proceedings of the Sixteenth Symposium on Reliable Distributed Systems, 1997
Cycle Prevention in Distributed Checkpointing.
Proceedings of the On Principles Of Distributed Systems, 1997
A Communication-Induced Checkpointing Protocol that Ensures Rollback-Dependency Trackability.
Proceedings of the Digest of Papers: FTCS-27, 1997
Proceedings of the 1997 Advances in Parallel and Distributed Computing Conference (APDC '97), 1997
1996
J. Parallel Distributed Comput., 1996
Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996
1995
J. Parallel Distributed Comput., 1995
Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), 1995
Characterization of Consistent Global Checkpoints in Large-Scale Distributed Systems.
Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), 1995
1994
IEEE Trans. Parallel Distributed Syst., 1994
Towards the Construction of Distributed Detection Programs, with an Application to Distributed Termination.
Distributed Comput., 1994
A O(log<sub>2</sub> n) Fault-Tolerant Distributed Mutual Exclusion Algorithm Based on Open-Cube Structure.
Proceedings of the 14th International Conference on Distributed Computing Systems, 1994
Performance Improvement of State Space Exploration by Regular & Diffrential Hashing Functions.
Proceedings of the Computer Aided Verification, 6th International Conference, 1994
1993
Proceedings of the 13th International Conference on Distributed Computing Systems, 1993
1992
Proceedings of the Theory of Computing and Systems, 1992
1990
Synchronization and control of distributed systems and programs.
Wiley series in parallel computing, Wiley, ISBN: 978-0-471-92453-1, 1990
1989
Proceedings of the Distributed Algorithms, 1989
1988
Comput. J., 1988
1987
RAIRO Theor. Informatics Appl., 1987
Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing, 1987