An Axiomatization of the Intermittent Assertion Method Using Temporal Logic (Extended Abstract). - Krzysztof R. Apt; Carole Delporte (ICALP, 1983)

Syntax Directed Analysis of Liveness Properties - Krzysztof R. Apt; Carole Delporte-Gallet (Inf. Control., 1986)

Parallélisation d'algorithmes avec un nombre fixe de processeurs. - Carole Delporte-Gallet; Hugues Fauconnier; Maurice Nivat (RAIRO Theor. Informatics Appl., 1990)

Local and Temporal Predicates In Distributed Systems. - Bernadette Charron-Bost; Carole Delporte-Gallet; Hugues Fauconnier (ACM Trans. Program. Lang. Syst., 1995)

Synchronized Phased Systems. - Hugues Fauconnier; Carole Delporte-Gallet (OPODIS, 1999)

Real-Time Fault-Tolerant Atomic Broadcast. - Carole Delporte-Gallet; Hugues Fauconnier (SRDS, 1999)

Fault-Tolerant Genuine Atomic Multicast to Multiple Groups. - Carole Delporte-Gallet; Hugues Fauconnier (OPODIS, 2000)

Thrifty Generic Broadcast. - Marcos Kawazoe Aguilera; Carole Delporte-Gallet; Hugues Fauconnier; Sam Toueg (DISC, 2000)

An example of Real-Time Group Communication System. - Carole Delporte-Gallet; Hugues Fauconnier (ICDCS Workshops, 2001)

Stable Leader Election. - Marcos Kawazoe Aguilera; Carole Delporte-Gallet; Hugues Fauconnier; Sam Toueg (DISC, 2001)

A Realistic Look At Failure Detectors. - Carole Delporte-Gallet; Hugues Fauconnier; Rachid Guerraoui (DSN, 2002)

Early stopping in aglobal data computation. - Carole Delporte-Gallet; Hugues Fauconnier; Jean-Michel Hélary; Michel Raynal (PODC, 2002)

Latency Measures and Lower Bounds for Consensus with Failure Detectors. - Carole Delporte-Gallet; Hugues Fauconnier (SIROCCO, 2002)

Failure Detection Lower Bounds on Registers and Consensus. - Carole Delporte-Gallet; Hugues Fauconnier; Rachid Guerraoui (DISC, 2002)

On implementing omega with weak reliability and synchrony assumptions. - Marcos Kawazoe Aguilera; Carole Delporte-Gallet; Hugues Fauconnier; Sam Toueg (PODC, 2003)

Distributed Programming for Dummies: A Shifting Transformation Technique. - Carole Delporte-Gallet; Hugues Fauconnier; Rachid Guerraoui; Bastian Pochon (SRDS, 2003)

Early Stopping in Global Data Computation. - Carole Delporte-Gallet; Hugues Fauconnier; Jean-Michel Hélary; Michel Raynal (IEEE Trans. Parallel Distributed Syst., 2003)

Designing Modular Services in the Scattered Byzantine Failure Model. - Emmanuelle Anceaume; Carole Delporte-Gallet; Hugues Fauconnier; Michel Hurfin; Gérard Le Lann (ISPDC/HeteroPar, 2004)

Communication-efficient leader election and consensus with limited link synchrony. - Marcos Kawazoe Aguilera; Carole Delporte-Gallet; Hugues Fauconnier; Sam Toueg (PODC, 2004)

The weakest failure detectors to solve certain fundamental problems in distributed computing. - Carole Delporte-Gallet; Hugues Fauconnier; Rachid Guerraoui; Vassos Hadzilacos; Petr Kouznetsov; Sam Toueg (PODC, 2004)

Revisiting Failure Detection and Consensus in Omission Failure Environments. - Carole Delporte-Gallet; Hugues Fauconnier; Felix C. Freiling (ICTAC, 2005)

Fast fault-tolerant agreement algorithms. - Carole Delporte-Gallet; Hugues Fauconnier; Stephanie Lorraine Horn; Sam Toueg (PODC, 2005)

(Almost) All Objects Are Universal in Message Passing Systems. - Carole Delporte-Gallet; Hugues Fauconnier; Rachid Guerraoui (DISC, 2005)

Mutual exclusion in asynchronous systems with failure detectors. - Carole Delporte-Gallet; Hugues Fauconnier; Rachid Guerraoui; Petr Kouznetsov (J. Parallel Distributed Comput., 2005)

When Birds Die: Making Population Protocols Fault-Tolerant. - Carole Delporte-Gallet; Hugues Fauconnier; Rachid Guerraoui; Eric Ruppert (DCOSS, 2006)

Consensus with Byzantine Failures and Little System Synchrony. - Marcos Kawazoe Aguilera; Carole Delporte-Gallet; Hugues Fauconnier; Sam Toueg (DSN, 2006)

Clock Synchronization in the Byzantine-Recovery Failure Model. - Emmanuelle Anceaume; Carole Delporte-Gallet; Hugues Fauconnier; Michel Hurfin; Josef Widder (OPODIS, 2007)

Secretive Birds: Privacy in Population Protocols. - Carole Delporte-Gallet; Hugues Fauconnier; Rachid Guerraoui; Eric Ruppert (OPODIS, 2007)

Robust Stabilizing Leader Election. - Carole Delporte-Gallet; Stéphane Devismes; Hugues Fauconnier (SSS, 2007)

From Crash-Stop to Permanent Omission: Automatic Transformation and Weakest Failure Detectors. - Carole Delporte-Gallet; Hugues Fauconnier; Felix C. Freiling; Lucia Draque Penso; Andreas Tielmann (DISC, 2007)

The perfectly synchronized round-based model of distributed computing. - Carole Delporte-Gallet; Hugues Fauconnier; Rachid Guerraoui; Bastian Pochon (Inf. Comput., 2007)

Agreement and consistency without knowing the number of processes. - Mohssen Abboud; Carole Delporte-Gallet; Hugues Fauconnier (NOTERE, 2008)

Agreement without knowing everybody: a first step to dynamicity. - Mohssen Abboud; Carole Delporte-Gallet; Hugues Fauconnier (NOTERE, 2008)

With Finite Memory Consensus Is Easier Than Reliable Broadcast. - Carole Delporte-Gallet; Stéphane Devismes; Hugues Fauconnier; Franck Petit; Sam Toueg (OPODIS, 2008)

Sharing is harder than agreeing. - Carole Delporte-Gallet; Hugues Fauconnier; Rachid Guerraoui (PODC, 2008)

The Weakest Failure Detector for Message Passing Set-Agreement. - Carole Delporte-Gallet; Hugues Fauconnier; Rachid Guerraoui; Andreas Tielmann (DISC, 2008)

On implementing omega in systems with weak reliability and synchrony assumptions. - Marcos Kawazoe Aguilera; Carole Delporte-Gallet; Hugues Fauconnier; Sam Toueg (Distributed Comput., 2008)

Two Consensus Algorithms with Atomic Registers and Failure Detector Omega. - Carole Delporte-Gallet; Hugues Fauconnier (ICDCN, 2009)

Fault-Tolerant Consensus in Unknown and Anonymous Networks. - Carole Delporte-Gallet; Hugues Fauconnier; Andreas Tielmann (ICDCS, 2009)

Message-efficient omission-tolerant consensus with limited synchrony. - Carole Delporte-Gallet; Hugues Fauconnier; Andreas Tielmann; Felix C. Freiling; Mahir Kilic (IPDPS, 2009)

The disagreement power of an adversary: extended abstract. - Carole Delporte-Gallet; Hugues Fauconnier; Rachid Guerraoui; Andreas Tielmann (PODC, 2009)

Brief Announcement: The Minimum Failure Detector for Non-Local Tasks in Message-Passing Systems. - Carole Delporte-Gallet; Hugues Fauconnier; Sam Toueg (DISC, 2009)

Algorithms for Extracting Timeliness Graphs. - Carole Delporte-Gallet; Stéphane Devismes; Hugues Fauconnier; Mikel Larrea (SIROCCO, 2010)

Brief announcement: byzantine agreement with homonyms. - Carole Delporte-Gallet; Hugues Fauconnier; Rachid Guerraoui; Anne-Marie Kermarrec (SPAA, 2010)

Approximation of delta-Timeliness. - Carole Delporte-Gallet; Stéphane Devismes; Hugues Fauconnier (SSS, 2010)

Tight failure detection bounds on atomic object implementations. - Carole Delporte-Gallet; Hugues Fauconnier; Rachid Guerraoui (J. ACM, 2010)

Stabilizing leader election in partial synchronous systems with crash failures. - Carole Delporte-Gallet; Stéphane Devismes; Hugues Fauconnier (J. Parallel Distributed Comput., 2010)

Guidelines for the Verification of Population Protocols. - Julien Clément 001; Carole Delporte-Gallet; Hugues Fauconnier; Mihaela Sighireanu (ICDCS, 2011)

Brief Announcement: On the Meaning of Solving a Task with a Failure Detector. - Carole Delporte-Gallet; Hugues Fauconnier; Eli Gafni; Petr Kuznetsov (DISC, 2011)

Impersonal Failure Detection - Carole Delporte-Gallet; Hugues Fauconnier; Eli Gafni; Petr Kuznetsov (CoRR, 2011)

The disagreement power of an adversary. - Carole Delporte-Gallet; Hugues Fauconnier; Rachid Guerraoui; Andreas Tielmann (Distributed Comput., 2011)

The minimum information about failures for solving non-local tasks in message-passing systems. - Carole Delporte-Gallet; Hugues Fauconnier; Sam Toueg (Distributed Comput., 2011)

Objets partagés et détecteurs de défaillances. - Carole Delporte-Gallet; Hugues Fauconnier (Tech. Sci. Informatiques, 2011)

Homonyms with Forgeable Identifiers. - Carole Delporte-Gallet; Hugues Fauconnier; Hung Tran-The (SIROCCO, 2012)

Partial synchrony based on set timeliness. - Marcos K. Aguilera; Carole Delporte-Gallet; Hugues Fauconnier; Sam Toueg (Distributed Comput., 2012)

Uniform Consensus with Homonyms and Omission Failures. - Carole Delporte-Gallet; Hugues Fauconnier; Hung Tran-The (ICDCN, 2013)

Black Art: Obstruction-Free k-set Agreement with |MWMR registers| < |proccesses|. - Carole Delporte-Gallet; Hugues Fauconnier; Eli Gafni; Sergio Rajsbaum (NETYS, 2013)

Adaptive Register Allocation with a Linear Number of Registers. - Carole Delporte-Gallet; Hugues Fauconnier; Eli Gafni; Leslie Lamport (DISC, 2013)

Byzantine agreement with homonyms. - Carole Delporte-Gallet; Hugues Fauconnier; Rachid Guerraoui; Anne-Marie Kermarrec; Eric Ruppert; Hung Tran-The (Distributed Comput., 2013)

Byzantine agreement with homonyms in synchronous systems. - Carole Delporte-Gallet; Hugues Fauconnier; Hung Tran-The (Theor. Comput. Sci., 2013)

An Exercise in Concurrency: From Non-blocking Objects to Fair Objects. - Carole Delporte; Hugues Fauconnier; Michel Raynal (NBiS, 2014)

Leader Election in Rings with Homonyms. - Carole Delporte-Gallet; Hugues Fauconnier; Hung Tran-The (NETYS, 2014)

Fair Synchronization in the Presence of Process Crashes and its Weakest Failure Detector. - Carole Delporte-Gallet; Hugues Fauconnier; Michel Raynal (SRDS, 2014)

On the Space Complexity of Set Agreement. - Carole Delporte-Gallet; Hugues Fauconnier; Petr Kuznetsov; Eric Ruppert (PODC, 2015)

A Separation of n-consensus and (n + 1)-consensus Based on Process Scheduling. - Carole Delporte-Gallet; Hugues Fauconnier; Sam Toueg (SIROCCO, 2015)

Beyond One Third Byzantine Failures. - Cheng Wang; Carole Delporte-Gallet; Hugues Fauconnier; Rachid Guerraoui; Anne-Marie Kermarrec (CoRR, 2015)

Wait-freedom with advice. - Carole Delporte-Gallet; Hugues Fauconnier; Eli Gafni; Petr Kuznetsov (Distributed Comput., 2015)

Linear space bootstrap communication schemes. - Carole Delporte-Gallet; Hugues Fauconnier; Eli Gafni; Sergio Rajsbaum (Theor. Comput. Sci., 2015)

Asynchronous Consensus with Bounded Memory. - Carole Delporte-Gallet; Hugues Fauconnier (NETYS, 2016)

Set-Consensus Collections are Decidable. - Carole Delporte-Gallet; Hugues Fauconnier; Eli Gafni; Petr Kuznetsov (OPODIS, 2016)

t-Resilient Immediate Snapshot Is Impossible. - Carole Delporte; Hugues Fauconnier; Sergio Rajsbaum; Michel Raynal (SIROCCO, 2016)

A characterization of colorless anonymous t-resilient task computability. - Carole Delporte-Gallet; Hugues Fauconnier; Sergio Rajsbaum; Nayuta Yanagisawa (CoRR, 2017)

An Anonymous Wait-Free Weak-Set Object Implementation. - Carole Delporte-Gallet; Hugues Fauconnier; Sergio Rajsbaum; Nayuta Yanagisawa (NETYS, 2018)

A Characterization of t-Resilient Colorless Task Anonymous Solvability. - Carole Delporte-Gallet; Hugues Fauconnier; Sergio Rajsbaum; Nayuta Yanagisawa (SIROCCO, 2018)

Implementing Snapshot Objects on Top of Crash-Prone Asynchronous Message-Passing Systems. - Carole Delporte-Gallet; Hugues Fauconnier; Sergio Rajsbaum; Michel Raynal (IEEE Trans. Parallel Distributed Syst., 2018)

On the Weakest Failure Detector for Read/Write-Based Mutual Exclusion. - Carole Delporte-Gallet; Hugues Fauconnier; Michel Raynal (AINA, 2019)

Towards Synthesis of Distributed Algorithms with SMT Solvers. - Carole Delporte-Gallet; Hugues Fauconnier; Yan Jurski; François Laroussinie; Arnaud Sangnier (NETYS, 2019)

Participant-Restricted Consensus in Asynchronous Crash-Prone Read/Write Systems and Its Weakest Failure Detector. - Carole Delporte-Gallet; Hugues Fauconnier; Michel Raynal (PaCT, 2019)

Brief Announcement: Distributed Computing in the Asynchronous LOCAL Model. - Carole Delporte-Gallet; Hugues Fauconnier; Pierre Fraigniaud; Mikaël Rabie (SSS, 2019)

Special Issue on NETYS'2016. - Parosh Aziz Abdulla; Carole Delporte (Computing, 2019)

Making Local Algorithms Wait-Free: the Case of Ring Coloring. - Armando Castañeda; Carole Delporte-Gallet; Hugues Fauconnier; Sergio Rajsbaum; Michel Raynal (Theory Comput. Syst., 2019)

Byzantine k-Set Agreement. - Carole Delporte-Gallet; Hugues Fauconnier; Mouna Safir (NETYS, 2020)

Communication Complexity of Wait-Free Computability in Dynamic Networks. - Carole Delporte-Gallet; Hugues Fauconnier; Sergio Rajsbaum (SIROCCO, 2020)

k-Immediate Snapshot and x-Set Agreement: How Are They Related? - Carole Delporte; Hugues Fauconnier; Sergio Rajsbaum; Michel Raynal (SSS, 2020)

t-Resilient k-Immediate Snapshot and its Relation with Agreement Problems. - Carole Delporte; Hugues Fauconnier; Sergio Rajsbaum; Michel Raynal (CoRR, 2020)

On the weakest information on failures to solve mutual exclusion and consensus in asynchronous crash-prone read/write systems. - Carole Delporte-Gallet; Hugues Fauconnier; Michel Raynal (J. Parallel Distributed Comput., 2021)

The assignment problem. - Carole Delporte-Gallet; Hugues Fauconnier; Eli Gafni; Giuliano Losa (Theor. Comput. Sci., 2021)

A TLA+ Formal Proof of a Cross-Chain Swap. - Zeinab Nehaï; François Bobot; Sara Tucci Piergiovanni; Carole Delporte-Gallet; Hugues Fauconnier (ICDCN, 2022)

Optimal Algorithms for Synchronous Byzantine k-Set Agreement. - Carole Delporte-Gallet; Hugues Fauconnier; Michel Raynal; Mouna Safir (SSS, 2022)

Distributed computability: Relating k-immediate snapshot and x-set agreement. - Carole Delporte; Hugues Fauconnier; Sergio Rajsbaum; Michel Raynal (Inf. Comput., 2022)

Optimal algorithms for synchronous Byzantine k-set agreement. - Carole Delporte-Gallet; Hugues Fauconnier; Michel Raynal; Mouna Safir (Theor. Comput. Sci., 2023)

Some New Results With k-Set Agreement. - Carole Delporte-Gallet; Hugues Fauconnier; Mouna Safir (NETYS, 2024)

The Computational Power of Distributed Shared-Memory Models with Bounded-Size Registers. - Carole Delporte-Gallet; Hugues Fauconnier; Pierre Fraigniaud; Sergio Rajsbaum; Corentin Travers (PODC, 2024)

Non-negotiating Distributed Computing. - Carole Delporte-Gallet; Hugues Fauconnier; Pierre Fraigniaud; Sergio Rajsbaum; Corentin Travers (SIROCCO, 2024)

Distributed computing in the asynchronous LOCAL model. - Carole Delporte-Gallet; Hugues Fauconnier; Pierre Fraigniaud; Mikaël Rabie (Theor. Comput. Sci., 2025)

When is recoverable consensus harder than consensus? - Carole Delporte-Gallet; Panagiota Fatourou; Hugues Fauconnier; Eric Ruppert (Distributed Comput., 2025)