The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jean-Michel Hélary: [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. 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]
  3. Bernard Cousin, Jean-Michel Hélary
    Performance Improvement of State Space Exploration by Regular & Diffrential Hashing Functions. [Citation Graph (0, 0)][DBLP]
    CAV, 1994, pp:364-376 [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. Jean-Michel Hélary, Achour Mostéfaoui
    A O(log2 n) Fault-Tolerant Distributed Mutual Exclusion Algorithm Based on Open-Cube Structure. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1994, pp:89-96 [Conf]
  13. Jean-Michel Hélary, Alessia Milani
    About the Efficiency of Partial Replication to Implement Distributed Shared Memory. [Citation Graph (0, 0)][DBLP]
    ICPP, 2006, pp:263-270 [Conf]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. Roberto Baldoni, Jean-Michel Hélary, Michel Raynal
    Rollback-Dependency Trackability: Visible Characterizations. [Citation Graph (0, 0)][DBLP]
    PODC, 1999, pp:33-42 [Conf]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. Jean-Michel Hélary
    Observing Global States of Asynchronous Distributed Applications. [Citation Graph (0, 0)][DBLP]
    WDAG, 1989, pp:124-135 [Conf]
  27. 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]
  28. Jean-Michel Hélary, Giovanna Melideo
    Minimal Size of Piggybacked Information for Tracking Causality: A Graph-Based Characterization. [Citation Graph (0, 0)][DBLP]
    WG, 2000, pp:218-229 [Conf]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. 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]

  48. A Component-Based Methodology to Design Arbitrary Failure Detectors for Distributed Protocols. [Citation Graph (, )][DBLP]


  49. Computing, Observing, Controlling, Checkpointing: Symbiosis Is Even Better Than Agreement! [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.455secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002