Carole Delporte-Gallet

ORCID

Publication Activity (10 Years)

Years Active: 1986-2024
Publications (10 Years): 32

Top Venues

Publications

Carole Delporte-Gallet, Hugues Fauconnier, Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers
Non-negotiating Distributed Computing. SIROCCO (2024)
Carole Delporte-Gallet, Hugues Fauconnier, Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers
The Computational Power of Distributed Shared-Memory Models with Bounded-Size Registers. PODC (2024)
Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal, Mouna Safir
-set agreement. Theor. Comput. Sci. 973 (2023)
Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal, Mouna Safir
Optimal Algorithms for Synchronous Byzantine k-Set Agreement. SSS (2022)
Carole Delporte-Gallet, Panagiota Fatourou, Hugues Fauconnier, Eric Ruppert
When is Recoverable Consensus Harder Than Consensus? PODC (2022)
Carole Delporte-Gallet, Panagiota Fatourou, Hugues Fauconnier, Eric Ruppert
When Is Recoverable Consensus Harder Than Consensus? CoRR (2022)
Zeinab Nehaï, François Bobot, Sara Tucci Piergiovanni, Carole Delporte-Gallet, Hugues Fauconnier
A TLA+ Formal Proof of a Cross-Chain Swap. ICDCN (2022)
Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal
On the weakest information on failures to solve mutual exclusion and consensus in asynchronous crash-prone read/write systems. J. Parallel Distributed Comput. 153 (2021)
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Giuliano Losa
The assignment problem. Theor. Comput. Sci. 886 (2021)
Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum
Communication Complexity of Wait-Free Computability in Dynamic Networks. SIROCCO (2020)
Carole Delporte-Gallet, Hugues Fauconnier, Mouna Safir
Byzantine k-Set Agreement. NETYS (2020)
Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal
On the Weakest Failure Detector for Read/Write-Based Mutual Exclusion. AINA (2019)
Carole Delporte-Gallet, Hugues Fauconnier, Pierre Fraigniaud, Mikaël Rabie
Distributed Computing in the Asynchronous LOCAL model. CoRR (2019)
Armando Castañeda, Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal
Making Local Algorithms Wait-Free: the Case of Ring Coloring. Theory Comput. Syst. 63 (2) (2019)
Carole Delporte-Gallet, Hugues Fauconnier, Yan Jurski, François Laroussinie, Arnaud Sangnier
Towards Synthesis of Distributed Algorithms with SMT Solvers. NETYS (2019)
Carole Delporte-Gallet, Hugues Fauconnier, Pierre Fraigniaud, Mikaël Rabie
Brief Announcement: Distributed Computing in the Asynchronous LOCAL Model. SSS (2019)
Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal
Participant-Restricted Consensus in Asynchronous Crash-Prone Read/Write Systems and Its Weakest Failure Detector. PaCT (2019)
Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Nayuta Yanagisawa
An Anonymous Wait-Free Weak-Set Object Implementation. NETYS (2018)
Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Nayuta Yanagisawa
A Characterization of t-Resilient Colorless Task Anonymous Solvability. SIROCCO (2018)
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Giuliano Losa
The Assignment Problem. ICDCN (2018)
Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal
Implementing Snapshot Objects on Top of Crash-Prone Asynchronous Message-Passing Systems. IEEE Trans. Parallel Distributed Syst. 29 (9) (2018)
Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Nayuta Yanagisawa
A characterization of colorless anonymous t-resilient task computability. CoRR (2017)
Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal
Implementing Snapshot Objects on Top of Crash-Prone Asynchronous Message-Passing Systems. ICA3PP (2016)
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov
Set-Consensus Collections are Decidable. CoRR (2016)
Carole Delporte-Gallet, Hugues Fauconnier
Asynchronous Consensus with Bounded Memory. NETYS (2016)
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov
Set-Consensus Collections are Decidable. OPODIS (2016)
Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg
A Separation of n-consensus and (n + 1)-consensus Based on Process Scheduling. SIROCCO (2015)
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov
Wait-freedom with advice. Distributed Comput. 28 (1) (2015)
Carole Delporte-Gallet, Hugues Fauconnier, Petr Kuznetsov, Eric Ruppert
On the Space Complexity of Set Agreement? PODC (2015)
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Sergio Rajsbaum
Linear space bootstrap communication schemes. Theor. Comput. Sci. 561 (2015)
Carole Delporte-Gallet, Hugues Fauconnier, Petr Kuznetsov, Eric Ruppert
On the Space Complexity of Set Agreement. CoRR (2015)
Cheng Wang, Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Anne-Marie Kermarrec
Beyond One Third Byzantine Failures. CoRR (2015)
Carole Delporte-Gallet, Hugues Fauconnier, Hung Tran-The
Leader Election in Rings with Homonyms. NETYS (2014)
Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal
Fair Synchronization in the Presence of Process Crashes and its Weakest Failure Detector. SRDS (2014)
Carole Delporte-Gallet, Hugues Fauconnier, Hung Tran-The
Byzantine agreement with homonyms in synchronous systems. Theor. Comput. Sci. 496 (2013)
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Leslie Lamport
Adaptive Register Allocation with a Linear Number of Registers. DISC (2013)
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Sergio Rajsbaum
Black Art: Obstruction-Free k-set Agreement with |MWMR registers| < |proccesses|. NETYS (2013)
Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Anne-Marie Kermarrec, Eric Ruppert, Hung Tran-The
Byzantine agreement with homonyms. Distributed Comput. 26 (5-6) (2013)
Carole Delporte-Gallet, Hugues Fauconnier, Hung Tran-The
Uniform Consensus with Homonyms and Omission Failures. ICDCN (2013)
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Sergio Rajsbaum
Linear Space Bootstrap Communication Schemes. ICDCN (2013)
Marcos K. Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg
Partial synchrony based on set timeliness. Distributed Comput. 25 (3) (2012)
Carole Delporte-Gallet, Hugues Fauconnier, Hung Tran-The
Homonyms with Forgeable Identifiers. SIROCCO (2012)
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov
Wait-freedom with advice. PODC (2012)
Carole Delporte-Gallet, Hugues Fauconnier, Hung Tran-The
Byzantine Agreement with Homonyms in Synchronous Systems. ICDCN (2012)
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov
Brief Announcement: On the Meaning of Solving a Task with a Failure Detector. DISC (2011)
Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Andreas Tielmann
The disagreement power of an adversary. Distributed Comput. 24 (3-4) (2011)
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov
Impersonal Failure Detection CoRR (2011)
Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Anne-Marie Kermarrec, Eric Ruppert, Hung Tran-The
Byzantine agreement with homonyms. PODC (2011)
Carole Delporte-Gallet, Hugues Fauconnier
Objets partagés et détecteurs de défaillances. Tech. Sci. Informatiques 30 (7) (2011)
Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg
The minimum information about failures for solving non-local tasks in message-passing systems. Distributed Comput. 24 (5) (2011)
Julien Clément, Carole Delporte-Gallet, Hugues Fauconnier, Mihaela Sighireanu
Guidelines for the Verification of Population Protocols. ICDCS (2011)
Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier
Stabilizing leader election in partial synchronous systems with crash failures. J. Parallel Distributed Comput. 70 (1) (2010)
Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier
-Timeliness. SSS (2010)
Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier, Mikel Larrea
Algorithms for Extracting Timeliness Graphs. SIROCCO (2010)
Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui
Tight failure detection bounds on atomic object implementations. J. ACM 57 (4) (2010)
Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Anne-Marie Kermarrec
Brief announcement: byzantine agreement with homonyms. SPAA (2010)
Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier, Mikel Larrea
Algorithms For Extracting Timeliness Graphs CoRR (2010)
Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg
Brief Announcement: The Minimum Failure Detector for Non-Local Tasks in Message-Passing Systems. DISC (2009)
Carole Delporte-Gallet, Hugues Fauconnier, Andreas Tielmann
Fault-Tolerant Consensus in Unknown and Anonymous Networks CoRR (2009)
Carole Delporte-Gallet, Hugues Fauconnier, Andreas Tielmann
Fault-Tolerant Consensus in Unknown and Anonymous Networks. ICDCS (2009)
Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg
The Minimum Information about Failures for Solving Non-local Tasks in Message-Passing Systems. OPODIS (2009)
Carole Delporte-Gallet, Hugues Fauconnier
Two Consensus Algorithms with Atomic Registers and Failure Detector Omega. ICDCN (2009)
Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Andreas Tielmann
The disagreement power of an adversary: extended abstract. PODC (2009)
Carole Delporte-Gallet, Hugues Fauconnier, Andreas Tielmann, Felix C. Freiling, Mahir Kilic
Message-efficient omission-tolerant consensus with limited synchrony. IPDPS (2009)
Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Andreas Tielmann
The Disagreement Power of an Adversary. DISC (2009)
Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg
Partial synchrony based on set timeliness. PODC (2009)
Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Andreas Tielmann
The Weakest Failure Detector for Message Passing Set-Agreement. DISC (2008)
Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui
Sharing is harder than agreeing. PODC (2008)
Mohssen Abboud, Carole Delporte-Gallet, Hugues Fauconnier
Agreement and consistency without knowing the number of processes. NOTERE (2008)
Mohssen Abboud, Carole Delporte-Gallet, Hugues Fauconnier
Agreement without knowing everybody: a first step to dynamicity. NOTERE (2008)
Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier, Franck Petit, Sam Toueg
With Finite Memory Consensus Is Easier Than Reliable Broadcast. OPODIS (2008)
Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg
On implementing omega in systems with weak reliability and synchrony assumptions. Distributed Comput. 21 (4) (2008)
Emmanuelle Anceaume, Carole Delporte-Gallet, Hugues Fauconnier, Michel Hurfin, Josef Widder
Clock Synchronization in the Byzantine-Recovery Failure Model. OPODIS (2007)
Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Bastian Pochon
The perfectly synchronized round-based model of distributed computing. Inf. Comput. 205 (5) (2007)
Carole Delporte-Gallet, Hugues Fauconnier, Felix C. Freiling, Lucia Draque Penso, Andreas Tielmann
From Crash-Stop to Permanent Omission: Automatic Transformation and Weakest Failure Detectors. DISC (2007)
Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Eric Ruppert
Secretive Birds: Privacy in Population Protocols. OPODIS (2007)
Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier
Robust Stabilizing Leader Election. SSS (2007)
Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg
Consensus with Byzantine Failures and Little System Synchrony. DSN (2006)
Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Eric Ruppert
When Birds Die: Making Population Protocols Fault-Tolerant. DCOSS (2006)
Carole Delporte-Gallet, Hugues Fauconnier, Stephanie Lorraine Horn, Sam Toueg
Fast fault-tolerant agreement algorithms. PODC (2005)
Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui
(Almost) All Objects Are Universal in Message Passing Systems. DISC (2005)
Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Petr Kouznetsov
Mutual exclusion in asynchronous systems with failure detectors. J. Parallel Distributed Comput. 65 (4) (2005)
Carole Delporte-Gallet, Hugues Fauconnier, Felix C. Freiling
Revisiting Failure Detection and Consensus in Omission Failure Environments. ICTAC (2005)
Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Vassos Hadzilacos, Petr Kouznetsov, Sam Toueg
The weakest failure detectors to solve certain fundamental problems in distributed computing. PODC (2004)
Emmanuelle Anceaume, Carole Delporte-Gallet, Hugues Fauconnier, Michel Hurfin, Gérard Le Lann
Designing Modular Services in the Scattered Byzantine Failure Model. ISPDC/HeteroPar (2004)
Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg
Communication-efficient leader election and consensus with limited link synchrony. PODC (2004)
Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg
On implementing omega with weak reliability and synchrony assumptions. PODC (2003)
Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Bastian Pochon
Distributed Programming for Dummies: A Shifting Transformation Technique. SRDS (2003)
Carole Delporte-Gallet, Hugues Fauconnier, Jean-Michel Hélary, Michel Raynal
Early Stopping in Global Data Computation. IEEE Trans. Parallel Distributed Syst. 14 (9) (2003)
Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui
Failure Detection Lower Bounds on Registers and Consensus. DISC (2002)
Carole Delporte-Gallet, Hugues Fauconnier, Jean-Michel Hélary, Michel Raynal
Early stopping in aglobal data computation. PODC (2002)
Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui
A Realistic Look At Failure Detectors. DSN (2002)
Carole Delporte-Gallet, Hugues Fauconnier
Latency Measures and Lower Bounds for Consensus with Failure Detectors. SIROCCO (2002)
Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg
Stable Leader Election. DISC (2001)
Carole Delporte-Gallet, Hugues Fauconnier
An example of Real-Time Group Communication System. ICDCS Workshops (2001)
Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg
Thrifty Generic Broadcast. DISC (2000)
Carole Delporte-Gallet, Hugues Fauconnier
Fault-Tolerant Genuine Atomic Multicast to Multiple Groups. OPODIS (2000)
Hugues Fauconnier, Carole Delporte-Gallet
Synchronized Phased Systems. OPODIS (1999)
Carole Delporte-Gallet, Hugues Fauconnier
Real-Time Fault-Tolerant Atomic Broadcast. SRDS (1999)
Bernadette Charron-Bost, Carole Delporte-Gallet, Hugues Fauconnier
Local and Temporal Predicates In Distributed Systems. ACM Trans. Program. Lang. Syst. 17 (1) (1995)

Carole Delporte-Gallet.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Carole Delporte-Gallet