Carole Delporte-Gallet

Carole Delporte

	2009
43		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
42		Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Andreas Tielmann: The Disagreement Power of an Adversary. DISC 2009: 8-21
41		Carole Delporte-Gallet, Hugues Fauconnier: Two Consensus Algorithms with Atomic Registers and Failure Detector Omega. ICDCN 2009: 251-262
40		Carole Delporte-Gallet, Hugues Fauconnier, Andreas Tielmann: Fault-Tolerant Consensus in Unknown and Anonymous Networks. ICDCS 2009: 368-375
39		Carole Delporte-Gallet, Hugues Fauconnier, Andreas Tielmann, Felix C. Freiling, Mahir Kilic: Message-efficient omission-tolerant consensus with limited synchrony. IPDPS 2009: 1-8
38		Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg: Partial synchrony based on set timeliness. PODC 2009: 102-110
37		Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Andreas Tielmann: The disagreement power of an adversary: extended abstract. PODC 2009: 288-289
36		Carole Delporte-Gallet, Hugues Fauconnier, Andreas Tielmann: Fault-Tolerant Consensus in Unknown and Anonymous Networks CoRR abs/0903.3461: (2009)
	2008
35		Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Andreas Tielmann: The Weakest Failure Detector for Message Passing Set-Agreement. DISC 2008: 109-120
34		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
33		Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui: Sharing is harder than agreeing. PODC 2008: 85-94
32		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)
	2007
31		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
30		Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Eric Ruppert: Secretive Birds: Privacy in Population Protocols. OPODIS 2007: 329-342
29		Emmanuelle Anceaume, Carole Delporte-Gallet, Hugues Fauconnier, Michel Hurfin, Josef Widder: Clock Synchronization in the Byzantine-Recovery Failure Model. OPODIS 2007: 90-104
28		Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier: Robust Stabilizing Leader Election. SSS 2007: 219-233
27		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)
	2006
26		Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Eric Ruppert: When Birds Die: Making Population Protocols Fault-Tolerant. DCOSS 2006: 51-66
25		Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg: Consensus with Byzantine Failures and Little System Synchrony. DSN 2006: 147-155
	2005
24		Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui: (Almost) All Objects Are Universal in Message Passing Systems. DISC 2005: 184-198
23		Carole Delporte-Gallet, Hugues Fauconnier, Felix C. Freiling: Revisiting Failure Detection and Consensus in Omission Failure Environments. ICTAC 2005: 394-408
22		Carole Delporte-Gallet, Hugues Fauconnier, Stephanie Lorraine Horn, Sam Toueg: Fast fault-tolerant agreement algorithms. PODC 2005: 169-178
21		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)
	2004
20		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
19		Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg: Communication-efficient leader election and consensus with limited link synchrony. PODC 2004: 328-337
18		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
17		Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg: On implementing omega with weak reliability and synchrony assumptions. PODC 2003: 306-314
16		Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Bastian Pochon: Distributed Programming for Dummies: A Shifting Transformation Technique. SRDS 2003: 349-
15		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)
	2002
14		Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui: Failure Detection Lower Bounds on Registers and Consensus. DISC 2002: 237-251
13		Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui: A Realistic Look At Failure Detectors. DSN 2002: 345-353
12		Carole Delporte-Gallet, Hugues Fauconnier, Jean-Michel Hélary, Michel Raynal: Early stopping in aglobal data computation. PODC 2002: 258
11		Carole Delporte-Gallet, Hugues Fauconnier: Latency Measures and Lower Bounds for Consensus with Failure Detectors. SIROCCO 2002: 87-100
	2001
10		Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg: Stable Leader Election. DISC 2001: 108-122
9		Carole Delporte-Gallet, Hugues Fauconnier: An example of Real-Time Group Communication System. ICDCS Workshops 2001: 5-10
	2000
8		Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg: Thrifty Generic Broadcast. DISC 2000: 268-282
7		Carole Delporte-Gallet, Hugues Fauconnier: Fault-Tolerant Genuine Atomic Multicast to Multiple Groups. OPODIS 2000: 107-122
	1999
6		Hugues Fauconnier, Carole Delporte-Gallet: Synchronized Phased Systems. OPODIS 1999: 179-194
5		Carole Delporte-Gallet, Hugues Fauconnier: Real-Time Fault-Tolerant Atomic Broadcast. SRDS 1999: 48-55
	1995
4		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
3		Carole Delporte-Gallet, Hugues Fauconnier, Maurice Nivat: Parallélisation d'algorithmes avec un nombre fixe de processeurs. ITA 24: 353-386 (1990)
	1986
2		Krzysztof R. Apt, Carole Delporte-Gallet: Syntax Directed Analysis of Liveness Properties Information and Control 68(1-3): 223-253 (1986)
	1983
1		Krzysztof R. Apt, Carole Delporte: An Axiomatization of the Intermittent Assertion Method Using Temporal Logic (Extended Abstract). ICALP 1983: 15-27

Coauthor Index

1	Marcos Kawazoe Aguilera	[8] [10] [17] [19] [25] [32] [38]
2	Emmanuelle Anceaume	[20] [29]
3	Krzysztof R. Apt	[1] [2]
4	Bernadette Charron-Bost	[4]
5	Stéphane Devismes	[28] [34]
6	Hugues Fauconnier	[3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43]
7	Felix C. Freiling (Felix C. Gärtner)	[23] [31] [39]
8	Rachid Guerraoui	[13] [14] [16] [18] [21] [24] [26] [27] [30] [33] [35] [37] [42]
9	Vassos Hadzilacos	[18]
10	Jean-Michel Hélary	[12] [15]
11	Stephanie Lorraine Horn	[22]
12	Michel Hurfin	[20] [29]
13	Mahir Kilic	[39]
14	Petr Kuznetsov (Petr Kouznetsov)	[18] [21]
15	Gérard Le Lann	[20]
16	Maurice Nivat	[3]
17	Lucia Draque Penso (Lucia Draque Penso Rautenbach)	[31]
18	Franck Petit	[34]
19	Bastian Pochon	[16] [27]
20	Michel Raynal	[12] [15]
21	Eric Ruppert	[26] [30]
22	Andreas Tielmann	[31] [35] [36] [37] [39] [40] [42]
23	Sam Toueg	[8] [10] [17] [18] [19] [22] [25] [32] [34] [38] [43]
24	Josef Widder	[29]

Colors in the list of coauthors