Hugues Fauconnier

ORCID

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 39

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, Hugues Fauconnier, Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers
The Computational Power of Distributed Shared-Memory Models with Bounded-Size Registers. CoRR (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, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal
-set agreement. Inf. Comput. 285 (Part) (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, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal
k-Immediate Snapshot and x-Set Agreement: How Are They Related? SSS (2020)
Carole Delporte-Gallet, Hugues Fauconnier, Mouna Safir
Byzantine k-Set Agreement. NETYS (2020)
Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal
t-Resilient k-Immediate Snapshot and its Relation with Agreement Problems. CoRR (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)
Ahmed Bouajjani, Hugues Fauconnier
Editorial, special issue of NETYS 2015. Computing 101 (9) (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, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal
t-Resilient Immediate Snapshot Is Impossible. SIROCCO (2016)
Armando Castañeda, Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal
Making Local Algorithms Wait-Free: The Case of Ring Coloring. SSS (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, Hugues Fauconnier, Michel Raynal
An Exercise in Concurrency: From Non-blocking Objects to Fair Objects. NBiS (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)

Hugues Fauconnier.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hugues Fauconnier