Carole Delporte-Gallet

108 papers A* 13A 15B 21C 6Misc 6Journal 35Unranked 11

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