default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJean-Michel Hélary
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 1990
[b1]Michel Raynal, Jean-Michel Hélary:
Synchronization and control of distributed systems and programs. Wiley series in parallel computing, Wiley 1990, ISBN 978-0-471-92453-1, pp. I-X, 1-124
Journal Articles
- 2008
- [j22]Roberto Baldoni, Jean-Michel Hélary, Sara Tucci Piergiovanni
:
A methodology to design arbitrary failure detectors for distributed protocols. J. Syst. Archit. 54(7): 619-637 (2008) - 2003
- [j21]Roberto Baldoni, Jean-Michel Hélary, Michel Raynal, Lénaick Tanguy:
Consensus in Byzantine asynchronous systems. J. Discrete Algorithms 1(2): 185-210 (2003) - [j20]Jean-Michel Hélary, Michel Raynal, Giovanna Melideo, Roberto Baldoni:
Efficient Causality-Tracking Timestamping. IEEE Trans. Knowl. Data Eng. 15(5): 1239-1250 (2003) - [j19]Carole Delporte-Gallet, Hugues Fauconnier, Jean-Michel Hélary, Michel Raynal:
Early Stopping in Global Data Computation. IEEE Trans. Parallel Distributed Syst. 14(9): 909-921 (2003) - 2002
- [j18]Emmanuelle Anceaume, Jean-Michel Hélary, Michel Raynal:
A Note on the Determination of the Immediate Predecessors in a Distributed Computation. Int. J. Found. Comput. Sci. 13(6): 865-872 (2002) - [j17]Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal:
Interval Consistency of Asynchronous Distributed Computations. J. Comput. Syst. Sci. 64(2): 329-349 (2002) - 2001
- [j16]Roberto Baldoni, Giacomo Cioffi, Jean-Michel Hélary, Michel Raynal:
Direct dependency-based determination of consistent global checkpoints. Comput. Syst. Sci. Eng. 16(1): 43-49 (2001) - [j15]Roberto Baldoni, Jean-Michel Hélary, Michel Raynal:
Rollback-Dependency Trackability: A Minimal Characterization and Its Protocol. Inf. Comput. 165(2): 144-173 (2001) - [j14]Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal:
Impossibility of scalar clock-based communication-induced checkpointing protocols ensuring the RDT property. Inf. Process. Lett. 80(2): 105-111 (2001) - 2000
- [j13]Jean-Michel Hélary, Achour Mostéfaoui, Robert H. B. Netzer, Michel Raynal:
Communication-Based Prevention of Useless Checkpoints in Fistributed Computations. Distributed Comput. 13(1): 29-43 (2000) - [j12]Jean-Michel Hélary, Michel Hurfin, Achour Mostéfaoui, Michel Raynal, Frederic Tronel:
Computing Global Functions in Asynchronous Distributed Systems with Perfect Failure Detectors. IEEE Trans. Parallel Distributed Syst. 11(9): 897-909 (2000) - 1999
- [j11]Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal:
Communication-Induced Determination of Consistent Snapshots. IEEE Trans. Parallel Distributed Syst. 10(9): 865-877 (1999) - [j10]Jean-Michel Hélary, Robert H. B. Netzer, Michel Raynal:
Consistency Issues in Distributed Checkpoints. IEEE Trans. Software Eng. 25(2): 274-281 (1999) - 1998
- [j9]Roberto Baldoni, Jean-Michel Hélary, Michel Raynal:
Consistent Records in Asynchronous Computations. Acta Informatica 35(6): 441-455 (1998) - 1997
- [j8]Jean-Michel Hélary, Michel Hurfin:
Solving agreement problems with failure detectors: a survey. Ann. des Télécommunications 52(9-10): 447-464 (1997) - [j7]Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal:
Adaptive checkpointing in message passing distributed systems. Int. J. Syst. Sci. 28(11): 1145-1161 (1997) - 1996
- [j6]Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal, Mukesh Singhal:
Erratum: Deadlock Models and a General Algorithm for Distributed Deadlock Detection. J. Parallel Distributed Comput. 32(2): 232 (1996) - 1995
- [j5]Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal, Mukesh Singhal:
Deadlock Models and a General Algorithm for Distributed Deadlock Detection. J. Parallel Distributed Comput. 31(2): 112-125 (1995) - 1994
- [j4]Jean-Michel Hélary, Michel Raynal:
Towards the Construction of Distributed Detection Programs, with an Application to Distributed Termination. Distributed Comput. 7(3): 137-147 (1994) - [j3]Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal:
A General Scheme for Token- and Tree-Based Distributed Mutual Exclusion Algorithms. IEEE Trans. Parallel Distributed Syst. 5(11): 1185-1196 (1994) - 1988
- [j2]Jean-Michel Hélary, Noël Plouzeau, Michel Raynal:
A Distributed Algorithm for Mutual Exclusion in an Arbitrary Network. Comput. J. 31(4): 289-295 (1988) - 1987
- [j1]Jean-Michel Hélary, Aomar Maddi, Michel Raynal:
Calcul Réparti D'un Extrémum Et Du Routage Associé Dans Un Réseau Quelconque. RAIRO Theor. Informatics Appl. 21(3): 223-244 (1987)
Conference and Workshop Papers
- 2009
- [c31]Jean-Michel Hélary:
Computing, Observing, Controlling, Checkpointing: Symbiosis Is Even Better Than Agreement! DISC 2009: 3-4 - 2007
- [c30]Roberto Baldoni, Jean-Michel Hélary, Sara Tucci Piergiovanni:
A Component-Based Methodology to Design Arbitrary Failure Detectors for Distributed Protocols. ISORC 2007: 51-61 - 2006
- [c29]Jean-Michel Hélary, Alessia Milani:
About the Efficiency of Partial Replication to Implement Distributed Shared Memory. ICPP 2006: 263-270 - 2005
- [c28]Roberto Baldoni, Jean-Michel Hélary, Sara Tucci Piergiovanni:
Group communication in ad-hoc networks: a few results and a case study. ICPS 2005: 465-469 - [c27]Paul D. Ezhilchelvan, Jean-Michel Hélary, Michel Raynal:
Building Responsive TMR-Based Servers in Presence of Timing Constraints. ISORC 2005: 267-274 - 2002
- [c26]Paul D. Ezhilchelvan, Jean-Michel Hélary, Michel Raynal:
Building responseive TMR-based servers in presence of timing constraints. PODC 2002: 127 - [c25]Carole Delporte-Gallet, Hugues Fauconnier, Jean-Michel Hélary, Michel Raynal:
Early stopping in aglobal data computation. PODC 2002: 258 - [c24]Emmanuelle Anceaume, Jean-Michel Hélary, Michel Raynal:
Tracking immediate predecessors in distributed computations. SPAA 2002: 210-219 - 2001
- [c23]Paul D. Ezhilchelvan, Jean-Michel Hélary, Michel Raynal:
Building TMR-Based Reliable Servers Despite Bounded Input Lifetimes. Euro-Par 2001: 482-485 - 2000
- [c22]Roberto Baldoni, Jean-Michel Hélary, Michel Raynal:
From Crash Fault-Tolerance to Arbitrary-Fault Tolerance: Towards a Modular Approach. DSN 2000: 273-282 - [c21]Jean-Michel Hélary, Michel Hurfin, Achour Mostéfaoui, Michel Raynal, Frederic Tronel:
Computing Global Functions in Asynchronous Distributed Systems Prone to Process Crashes. ICDCS 2000: 584-591 - [c20]Roberto Baldoni, Jean-Michel Hélary, Michel Raynal, Lénaick Tanguy:
Consensus in byzantine asynchronous systems. SIROCCO 2000: 1-15 - [c19]Jean-Michel Hélary, Giovanna Melideo, Michel Raynal:
Tracking causality in distributed systems: a suite of efficient protocols. SIROCCO 2000: 181-195 - [c18]Jean-Michel Hélary, Giovanna Melideo:
Minimal Size of Piggybacked Information for Tracking Causality: A Graph-Based Characterization. WG 2000: 218-229 - 1999
- [c17]Roberto Baldoni, Michel Raynal, Giacomo Cioffi, Jean-Michel Hélary:
Direct Dependency-Based Determination of Consistent GlobalCheckpoints. OPODIS 1999: 11-28 - [c16]Roberto Baldoni, Jean-Michel Hélary, Michel Raynal:
Rollback-Dependency Trackability: Visible Characterizations. PODC 1999: 33-42 - 1998
- [c15]Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal:
Communication-Induced Determination of Consistent Snapshots. FTCS 1998: 208-217 - 1997
- [c14]Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal:
Consistent State Restoration in Shared Memory Systems. APDC 1997: 330-337 - [c13]Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal:
A Communication-Induced Checkpointing Protocol that Ensures Rollback-Dependency Trackability. FTCS 1997: 68-77 - [c12]Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal:
Cycle Prevention in Distributed Checkpointing. OPODIS 1997: 309-318 - [c11]Jean-Michel Hélary, Achour Mostéfaoui, Robert H. B. Netzer, Michel Raynal:
Preventing Useless Checkpoints in Distributed Computations. SRDS 1997: 183-190 - [c10]Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal:
Virtual Precedence in Asynchronous Systems: Cencept and Applications. WDAG 1997: 170-184 - 1996
- [c9]Roberto Baldoni, Jean-Michel Hélary, Michel Raynal:
About State Recording in Asynchronous Computations (Abstract). PODC 1996: 55 - 1995
- [c8]Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal:
Deadlocks in Distributed Systems: Request Models and Definitions. FTDCS 1995: 186-193 - [c7]Roberto Baldoni, Jerzy Brzezinski, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal:
Characterization of Consistent Global Checkpoints in Large-Scale Distributed Systems. FTDCS 1995: 314-323 - 1994
- [c6]Bernard Cousin, Jean-Michel Hélary:
Performance Improvement of State Space Exploration by Regular & Diffrential Hashing Functions. CAV 1994: 364-376 - [c5]Jean-Michel Hélary, Achour Mostéfaoui:
A O(log2 n) Fault-Tolerant Distributed Mutual Exclusion Algorithm Based on Open-Cube Structure. ICDCS 1994: 89-96 - 1993
- [c4]Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal:
Termination Detection in a Very General Distributed Computing Model. ICDCS 1993: 374-381 - 1992
- [c3]Jean-Michel Hélary, Michel Raynal:
Distributed Evaluation: A Tool for Constructing Distributed Detection Programs. ISTCS 1992: 184-194 - 1989
- [c2]Jean-Michel Hélary:
Observing Global States of Asynchronous Distributed Applications. WDAG 1989: 124-135 - 1987
- [c1]Jean-Michel Hélary, Claude Jard, Noël Plouzeau, Michel Raynal:
Detection of Stable Properties in Distributed Applications. PODC 1987: 125-136
Editorship
- 1995
- [e1]Jean-Michel Hélary, Michel Raynal:
Distributed Algorithms, 9th International Workshop, WDAG '95, Le Mont-Saint-Michel, France, September 13-15, 1995, Proceedings. Lecture Notes in Computer Science 972, Springer 1995, ISBN 3-540-60274-7 [contents]
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
