Carole Delporte-Gallet

Carole Delporte

	2012
58		Carole Delporte-Gallet, Hugues Fauconnier, Hung Tran-The: Byzantine Agreement with Homonyms in Synchronous Systems. ICDCN 2012: 76-90
	2011
57		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
56		Julien Clément, Carole Delporte-Gallet, Hugues Fauconnier, Mihaela Sighireanu: Guidelines for the Verification of Population Protocols. ICDCS 2011: 215-224
55		Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Anne-Marie Kermarrec, Eric Ruppert, Hung Tran-The: Byzantine agreement with homonyms. PODC 2011: 21-30
54		Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov: Impersonal Failure Detection CoRR abs/1109.3056: (2011)
53		Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Andreas Tielmann: The disagreement power of an adversary. Distributed Computing 24(3-4): 137-147 (2011)
52		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)
51		Carole Delporte-Gallet, Hugues Fauconnier: Objets partagés et détecteurs de défaillances. Technique et Science Informatiques 30(7): 841-871 (2011)
	2010
50		Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier, Mikel Larrea: Algorithms for Extracting Timeliness Graphs. SIROCCO 2010: 127-141
49		Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Anne-Marie Kermarrec: Brief announcement: byzantine agreement with homonyms. SPAA 2010: 74-75
48		Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier: Approximation of delta-Timeliness. SSS 2010: 435-451
47		Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier, Mikel Larrea: Algorithms For Extracting Timeliness Graphs CoRR abs/1003.1058: (2010)
46		Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui: Tight failure detection bounds on atomic object implementations. J. ACM 57(4): (2010)
45		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)
	2009
44		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
43		Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Andreas Tielmann: The Disagreement Power of an Adversary. DISC 2009: 8-21
42		Carole Delporte-Gallet, Hugues Fauconnier: Two Consensus Algorithms with Atomic Registers and Failure Detector Omega. ICDCN 2009: 251-262
41		Carole Delporte-Gallet, Hugues Fauconnier, Andreas Tielmann: Fault-Tolerant Consensus in Unknown and Anonymous Networks. ICDCS 2009: 368-375
40		Carole Delporte-Gallet, Hugues Fauconnier, Andreas Tielmann, Felix C. Freiling, Mahir Kilic: Message-efficient omission-tolerant consensus with limited synchrony. IPDPS 2009: 1-8
39		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
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 K. Aguilera (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	Julien Clément	[56]
6	Stéphane Devismes	[28] [34] [45] [47] [48] [50]
7	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] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58]
8	Felix C. Freiling (Felix C. Gärtner)	[23] [31] [40]
9	Eli Gafni	[54] [57]
10	Rachid Guerraoui	[13] [14] [16] [18] [21] [24] [26] [27] [30] [33] [35] [37] [43] [46] [49] [53] [55]
11	Vassos Hadzilacos	[18]
12	Jean-Michel Hélary	[12] [15]
13	Stephanie Lorraine Horn	[22]
14	Michel Hurfin	[20] [29]
15	Anne-Marie Kermarrec	[49] [55]
16	Mahir Kilic	[40]
17	Petr Kuznetsov (Petr Kouznetsov)	[18] [21] [54] [57]
18	Gérard Le Lann	[20]
19	Mikel Larrea (Mikel Larrea Sukia)	[47] [50]
20	Maurice Nivat	[3]
21	Lucia Draque Penso (Lucia Draque Penso Rautenbach)	[31]
22	Franck Petit	[34]
23	Bastian Pochon	[16] [27]
24	Michel Raynal	[12] [15]
25	Eric Ruppert	[26] [30] [55]
26	Mihaela Sighireanu	[56]
27	Andreas Tielmann	[31] [35] [36] [37] [40] [41] [43] [53]
28	Sam Toueg	[8] [10] [17] [18] [19] [22] [25] [32] [34] [38] [39] [44] [52]
29	Hung Tran-The	[55] [58]
30	Josef Widder	[29]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page