Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Carole Delporte-Gallet
Carole Delporte
2010 – today
- 2013
[c47]Carole Delporte-Gallet, Hugues Fauconnier, Hung Tran-The: Uniform Consensus with Homonyms and Omission Failures. ICDCN 2013: 161-175- [c46]Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Sergio Rajsbaum: Linear Space Bootstrap Communication Schemes. ICDCN 2013: 363-377
- 2012
- [j13]Marcos K. Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg: Partial synchrony based on set timeliness. Distributed Computing 25(3): 249-260 (2012)
- [c45]Carole Delporte-Gallet, Hugues Fauconnier, Hung Tran-The: Byzantine Agreement with Homonyms in Synchronous Systems. ICDCN 2012: 76-90
- [c44]Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov: Wait-freedom with advice. PODC 2012: 105-114
- [c43]Carole Delporte-Gallet, Hugues Fauconnier, Hung Tran-The: Homonyms with Forgeable Identifiers. SIROCCO 2012: 171-182
- 2011
- [j12]Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Andreas Tielmann: The disagreement power of an adversary. Distributed Computing 24(3-4): 137-147 (2011)
- [j11]Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg: The minimum information about failures for solving non-local tasks in message-passing systems. Distributed Computing 24(5): 255-269 (2011)
- [j10]Carole Delporte-Gallet, Hugues Fauconnier: Objets partagés et détecteurs de défaillances. Technique et Science Informatiques 30(7): 841-871 (2011)
- [c42]Julien Clément, Carole Delporte-Gallet, Hugues Fauconnier, Mihaela Sighireanu: Guidelines for the Verification of Population Protocols. ICDCS 2011: 215-224
- [c41]Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Anne-Marie Kermarrec, Eric Ruppert, Hung Tran-The: Byzantine agreement with homonyms. PODC 2011: 21-30
- [c40]Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov: Brief Announcement: On the Meaning of Solving a Task with a Failure Detector. DISC 2011: 145-146
- [i3]Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov: Impersonal Failure Detection. CoRR abs/1109.3056 (2011)
- 2010
- [j9]Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui: Tight failure detection bounds on atomic object implementations. J. ACM 57(4) (2010)
- [j8]Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier: Stabilizing leader election in partial synchronous systems with crash failures. J. Parallel Distrib. Comput. 70(1): 45-58 (2010)
- [c39]Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier, Mikel Larrea: Algorithms for Extracting Timeliness Graphs. SIROCCO 2010: 127-141
- [c38]Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Anne-Marie Kermarrec: Brief announcement: byzantine agreement with homonyms. SPAA 2010: 74-75
- [c37]Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier: Approximation of delta-Timeliness. SSS 2010: 435-451
- [i2]Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier, Mikel Larrea: Algorithms For Extracting Timeliness Graphs. CoRR abs/1003.1058 (2010)
2000 – 2009
- 2009
- [c36]Carole Delporte-Gallet, Hugues Fauconnier: Two Consensus Algorithms with Atomic Registers and Failure Detector Omega. ICDCN 2009: 251-262
- [c35]Carole Delporte-Gallet, Hugues Fauconnier, Andreas Tielmann: Fault-Tolerant Consensus in Unknown and Anonymous Networks. ICDCS 2009: 368-375
- [c34]Carole Delporte-Gallet, Hugues Fauconnier, Andreas Tielmann, Felix C. Freiling, Mahir Kilic: Message-efficient omission-tolerant consensus with limited synchrony. IPDPS 2009: 1-8
- [c33]Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg: The Minimum Information about Failures for Solving Non-local Tasks in Message-Passing Systems. OPODIS 2009: 115-128
- [c32]Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg: Partial synchrony based on set timeliness. PODC 2009: 102-110
- [c31]Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Andreas Tielmann: The disagreement power of an adversary: extended abstract. PODC 2009: 288-289
- [c30]Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Andreas Tielmann: The Disagreement Power of an Adversary. DISC 2009: 8-21
- [c29]Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg: Brief Announcement: The Minimum Failure Detector for Non-Local Tasks in Message-Passing Systems. DISC 2009: 358-359
- [i1]Carole Delporte-Gallet, Hugues Fauconnier, Andreas Tielmann: Fault-Tolerant Consensus in Unknown and Anonymous Networks. CoRR abs/0903.3461 (2009)
- 2008
- [j7]Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg: On implementing omega in systems with weak reliability and synchrony assumptions. Distributed Computing 21(4): 285-314 (2008)
- [c28]Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier, Franck Petit, Sam Toueg: With Finite Memory Consensus Is Easier Than Reliable Broadcast. OPODIS 2008: 41-57
- [c27]Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui: Sharing is harder than agreeing. PODC 2008: 85-94
- [c26]Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Andreas Tielmann: The Weakest Failure Detector for Message Passing Set-Agreement. DISC 2008: 109-120
- 2007
- [j6]Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Bastian Pochon: The perfectly synchronized round-based model of distributed computing. Inf. Comput. 205(5): 783-815 (2007)
- [c25]Emmanuelle Anceaume, Carole Delporte-Gallet, Hugues Fauconnier, Michel Hurfin, Josef Widder: Clock Synchronization in the Byzantine-Recovery Failure Model. OPODIS 2007: 90-104
- [c24]Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Eric Ruppert: Secretive Birds: Privacy in Population Protocols. OPODIS 2007: 329-342
- [c23]Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier: Robust Stabilizing Leader Election. SSS 2007: 219-233
- [c22]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: 165-178
- 2006
- [c21]Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Eric Ruppert: When Birds Die: Making Population Protocols Fault-Tolerant. DCOSS 2006: 51-66
- [c20]Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg: Consensus with Byzantine Failures and Little System Synchrony. DSN 2006: 147-155
- 2005
- [j5]Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Petr Kouznetsov: Mutual exclusion in asynchronous systems with failure detectors. J. Parallel Distrib. Comput. 65(4): 492-505 (2005)
- [c19]Carole Delporte-Gallet, Hugues Fauconnier, Felix C. Freiling: Revisiting Failure Detection and Consensus in Omission Failure Environments. ICTAC 2005: 394-408
- [c18]Carole Delporte-Gallet, Hugues Fauconnier, Stephanie Lorraine Horn, Sam Toueg: Fast fault-tolerant agreement algorithms. PODC 2005: 169-178
- [c17]Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui: (Almost) All Objects Are Universal in Message Passing Systems. DISC 2005: 184-198
- 2004
- [c16]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: 262-269
- [c15]Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg: Communication-efficient leader election and consensus with limited link synchrony. PODC 2004: 328-337
- [c14]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: 338-346
- 2003
- [j4]Carole Delporte-Gallet, Hugues Fauconnier, Jean-Michel Hélary, Michel Raynal: Early Stopping in Global Data Computation. IEEE Trans. Parallel Distrib. Syst. 14(9): 909-921 (2003)
- [c13]Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg: On implementing omega with weak reliability and synchrony assumptions. PODC 2003: 306-314
- [c12]Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Bastian Pochon: Distributed Programming for Dummies: A Shifting Transformation Technique. SRDS 2003: 349-
- 2002
- [c11]Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui: A Realistic Look At Failure Detectors. DSN 2002: 345-353
- [c10]Carole Delporte-Gallet, Hugues Fauconnier, Jean-Michel Hélary, Michel Raynal: Early stopping in aglobal data computation. PODC 2002: 258
- [c9]Carole Delporte-Gallet, Hugues Fauconnier: Latency Measures and Lower Bounds for Consensus with Failure Detectors. SIROCCO 2002: 87-100
- [c8]Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui: Failure Detection Lower Bounds on Registers and Consensus. DISC 2002: 237-251
- 2001
- [c7]Carole Delporte-Gallet, Hugues Fauconnier: An example of Real-Time Group Communication System. ICDCS Workshops 2001: 5-10
- [c6]Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg: Stable Leader Election. DISC 2001: 108-122
- 2000
- [c5]Carole Delporte-Gallet, Hugues Fauconnier: Fault-Tolerant Genuine Atomic Multicast to Multiple Groups. OPODIS 2000: 107-122
- [c4]Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg: Thrifty Generic Broadcast. DISC 2000: 268-282
1990 – 1999
- 1999
- [c3]
- [c2]Carole Delporte-Gallet, Hugues Fauconnier: Real-Time Fault-Tolerant Atomic Broadcast. SRDS 1999: 48-55
- 1995
- [j3]Bernadette Charron-Bost, Carole Delporte-Gallet, Hugues Fauconnier: Local and Temporal Predicates In Distributed Systems. ACM Trans. Program. Lang. Syst. 17(1): 157-179 (1995)
- 1990
- [j2]Carole Delporte-Gallet, Hugues Fauconnier, Maurice Nivat: Parallélisation d'algorithmes avec un nombre fixe de processeurs. ITA 24: 353-386 (1990)
1980 – 1989
- 1986
- [j1]Krzysztof R. Apt, Carole Delporte-Gallet: Syntax Directed Analysis of Liveness Properties. Information and Control 68(1-3): 223-253 (1986)
- 1983
- [c1]Krzysztof R. Apt, Carole Delporte: An Axiomatization of the Intermittent Assertion Method Using Temporal Logic (Extended Abstract). ICALP 1983: 15-27
Coauthor Index
[c47] [c46] [j13] [c45] [c44] [c43] [j12] [j11] [j10] [c42] [c41] [c40] [i3] [j9] [j8] [c39] [c38] [c37] [i2] [c36] [c35] [c34] [c33] [c32] [c31] [c30] [c29] [i1] [j7] [c28] [c27] [c26] [j6] [c25] [c24] [c23] [c22] [c21] [c20] [j5] [c19] [c18] [c17] [c16] [c15] [c14] [j4] [c13] [c12] [c11] [c10] [c9] [c8] [c7] [c6] [c5] [c4] [c3] [c2] [j3] [j2]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-02-01 20:00 CET by the dblp team