Carole Delporte-Gallet

Carole Delporte

2009
37	EE	Carole Delporte-Gallet, Hugues Fauconnier: Two Consensus Algorithms with Atomic Registers and Failure Detector Omega. ICDCN 2009: 251-262
36	EE	Carole Delporte-Gallet, Hugues Fauconnier, Andreas Tielmann: Fault-Tolerant Consensus in Unknown and Anonymous Networks CoRR abs/0903.3461: (2009)
2008
35	EE	Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Andreas Tielmann: The Weakest Failure Detector for Message Passing Set-Agreement. DISC 2008: 109-120
34	EE	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	EE	Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui: Sharing is harder than agreeing. PODC 2008: 85-94
32	EE	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	EE	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	EE	Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Eric Ruppert: Secretive Birds: Privacy in Population Protocols. OPODIS 2007: 329-342
29	EE	Emmanuelle Anceaume, Carole Delporte-Gallet, Hugues Fauconnier, Michel Hurfin, Josef Widder: Clock Synchronization in the Byzantine-Recovery Failure Model. OPODIS 2007: 90-104
28	EE	Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier: Robust Stabilizing Leader Election. SSS 2007: 219-233
27	EE	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	EE	Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Eric Ruppert: When Birds Die: Making Population Protocols Fault-Tolerant. DCOSS 2006: 51-66
25	EE	Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg: Consensus with Byzantine Failures and Little System Synchrony. DSN 2006: 147-155
2005
24	EE	Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui: (Almost) All Objects Are Universal in Message Passing Systems. DISC 2005: 184-198
23	EE	Carole Delporte-Gallet, Hugues Fauconnier, Felix C. Freiling: Revisiting Failure Detection and Consensus in Omission Failure Environments. ICTAC 2005: 394-408
22	EE	Carole Delporte-Gallet, Hugues Fauconnier, Stephanie Lorraine Horn, Sam Toueg: Fast fault-tolerant agreement algorithms. PODC 2005: 169-178
21	EE	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	EE	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	EE	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	EE	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	EE	Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg: On implementing omega with weak reliability and synchrony assumptions. PODC 2003: 306-314
16	EE	Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Bastian Pochon: Distributed Programming for Dummies: A Shifting Transformation Technique. SRDS 2003: 349-
15	EE	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	EE	Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui: Failure Detection Lower Bounds on Registers and Consensus. DISC 2002: 237-251
13	EE	Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui: A Realistic Look At Failure Detectors. DSN 2002: 345-353
12	EE	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	EE	Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg: Stable Leader Election. DISC 2001: 108-122
9	EE	Carole Delporte-Gallet, Hugues Fauconnier: An example of Real-Time Group Communication System. ICDCS Workshops 2001: 5-10
2000
8	EE	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	EE	Carole Delporte-Gallet, Hugues Fauconnier: Real-Time Fault-Tolerant Atomic Broadcast. SRDS 1999: 48-55
1995
4	EE	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]
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]
7	Felix C. Freiling (Felix C. Gärtner)	[23] [31]
8	Rachid Guerraoui	[13] [14] [16] [18] [21] [24] [26] [27] [30] [33] [35]
9	Vassos Hadzilacos	[18]
10	Jean-Michel Hélary	[12] [15]
11	Stephanie Lorraine Horn	[22]
12	Michel Hurfin	[20] [29]
13	Petr Kuznetsov (Petr Kouznetsov)	[18] [21]
14	Gérard Le Lann	[20]
15	Maurice Nivat	[3]
16	Lucia Draque Penso (Lucia Draque Penso Rautenbach)	[31]
17	Franck Petit	[34]
18	Bastian Pochon	[16] [27]
19	Michel Raynal	[12] [15]
20	Eric Ruppert	[26] [30]
21	Andreas Tielmann	[31] [35] [36]
22	Sam Toueg	[8] [10] [17] [18] [19] [22] [25] [32] [34]
23	Josef Widder	[29]

Colors in the list of coauthors