Search Results - "Fauconnier, H."

Refine Results
  1. 1

    Stabilizing leader election in partial synchronous systems with crash failures by Delporte-Gallet, C., Devismes, S., Fauconnier, H.

    “…This article deals with stabilization and fault-tolerance. We consider two types of stabilization: the self- and pseudo-stabilization. Our goal is to implement…”
    Get full text
    Journal Article
  2. 2

    Early stopping in Global Data Computation by Delporte-Gallet, C., Fauconnier, H., Helary, J.-M., Raynal, M.

    “…The Global Data Computation problem consists of providing each process with the same vector (with one entry per process) such that each entry is filled by a…”
    Get full text
    Journal Article
  3. 3

    Real-time fault-tolerant atomic broadcast by Delporte-Gallet, C., Fauconnier, C.D.I.

    “…We present algorithms for real-time fault-tolerant uniform atomic broadcast. We first design a distributed execution model for asynchronous systems with crash…”
    Get full text
    Conference Proceeding Journal Article
  4. 4

    Distributed programming for dummies: a shifting transformation technique by Delporte-Gallet, C., Fauconnier, H., Guerraoui, R., Pochon, B.

    “…The perfectly synchronized round model provides the powerful abstraction of crash-stop failures with atomic message delivery. This abstraction makes…”
    Get full text
    Conference Proceeding
  5. 5

    A realistic look at failure detectors by Delporte-Gallet, C., Fauconnier, H., Guerraoui, R.

    “…This paper shows that, in an environment where we do not bound the number of faulty processes, the class P of perfect failure detectors is the weakest (among…”
    Get full text
    Conference Proceeding
  6. 6

    An example of real-time group communication system by Delporte-Gallet, C., Fauconnier, H.

    “…We describe a group communication system for real-time systems and show how to use it. This system, we call the synchronized phase system (SPS) ensures a…”
    Get full text
    Conference Proceeding
  7. 7

    Guidelines for the Verification of Population Protocols by Clement, J., Delporte-Gallet, C., Fauconnier, H., Sighireanu, M.

    “…We address the problem of verification by model checking of the basic population protocol (PP) model of Angluin et al. This problem has received special…”
    Get full text
    Conference Proceeding
  8. 8

    Mutual exclusion in asynchronous systems with failure detectors by Delporte-Gallet, Carole, Fauconnier, Hugues, Guerraoui, Rachid, Kouznetsov, Petr

    “…This paper considers the fault-tolerant mutual exclusion problem in a message-passing asynchronous system and determines the weakest failure detector to solve…”
    Get full text
    Journal Article
  9. 9

    Designing modular services in the scattered byzantine failure model by Anceaume, E., Delporte-Gallet, C., Fauconnier, H., Hurfin, M., Le Lann, G.

    “…In this paper, we propose the scattered byzantine failure model. In this model, processes alternate correct and faulty periods. Specifically, during its faulty…”
    Get full text
    Conference Proceeding
  10. 10

    Fault-Tolerant Consensus in Unknown and Anonymous Networks by Delporte-Gallet, C., Fauconnier, H., Tielmann, A.

    “…This paper investigates under which conditions information can be reliably shared and consensus can be solved in unknown and anonymous message-passing networks…”
    Get full text
    Conference Proceeding
  11. 11

    Consensus with Byzantine Failures and Little System Synchrony by Aguilera, M.K., Delporte-Gallet, C., Fauconnier, H., Toueg, S.

    “…We study consensus in a message-passing system where only some of the n 2 links exhibit some synchrony. This problem was previously studied for systems with…”
    Get full text
    Conference Proceeding
  12. 12

    Message-efficient omission-tolerant consensus with limited synchrony by Delporte-Gallet, C., Fauconnier, H., Tielmann, A., Freiling, F.C., Kilic, M.

    “…We study the problem of consensus in the general omission failure model, i.e., in systems where processes can crash and omit messages while sending or…”
    Get full text
    Conference Proceeding
  13. 13
  14. 14
  15. 15
  16. 16
  17. 17
  18. 18
  19. 19
  20. 20