2011
Byzantine Agreement with Homonyms, Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Anne-Marie Kermarrec, Eric Ruppert et Hung Tran The. PODC 2011 San Jose
Guidelines for the Verification of Population Protocols. Julien Clément, Carole Delporte-Gallet,
Hugues Fauconnier, Mihaela Sighireanu ICDCS Minneapolis
Mode d’emploi pour la
verification des protocoles de population. Julien Clément, Carole Delporte-Gallet,
Hugues Fauconnier, Mihaela Sighireanu Algotel 2011
The disagreement power of an adversary, Carole
Delporte-Gallet, Hugues
Fauconnier, Rachid Guerraoui and Andreas Tielmann DISTRIBUTED COMPUTING
(on line)
2010
La puissance de désaccord
d’un adversaire Carole Delporte-Gallet,
Hugues Fauconnier, Rachid Guerraoui, Andreas Tielmann: Algotel 2010 (version pdf)
2009
Quand le consensus est plus simple que la diffusion fiable. Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier, Franck Petit et Sam Toueg. Algotel'2009 (Carry-Le-Rouet,
16-19 juin 2009).
2008
Accord sans connaître tout le monde un pas vers la dynamicité Mohssen Abboud, Carole
Delporte-Gallet , Hugues Fauconnier, Accord sans connaître tout le monde un pas vers la dynamicité :CDUR, Lyon (version pdf)
Agreement and
consistency without knowing the number of correct processes. Mohssen Abboud, Carole
Delporte-Gallet , Hugues Fauconnier, Notere 2008, Lyon (version pdf)
Election Robuste, Auto-Stabilisante et Efficace. Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier ALGOTEL 08, Saint Malo (version pdf)
2007
Réseaux de capteurs avec détecteurs de collision. Mohssen Abboud, Carole
Delporte-Gallet , Hugues Fauconnier,JDIR 2007. 8emes journée Doctorales en Informatique et
Réseaux. Marne la Vallée Janvier 2007(version pdf)
Réseaux de capteurs avec détecteurs de collision. Mohssen Abboud, Carole
Delporte-Gallet , Hugues Fauconnier Rapport Interne LIAFA 2007-002 (version pdf)
2005
What dependability for
networks of mobile sensors ?Carole Delporte-Gallet,
Hugues Fauconnier, Rachid Guerraoui In First Workshop on Hot Topics in
System Dependability (in conjunction with DSN), Yokohama, June 2005.
2004
Consensus with
Byzantine Failures and Little System Synchrony Marcos Kawazoe Aguilera, Carole Delporte-Gallet
, Hugues Fauconnier, and Sam Toueg. / brief
announcement DISC 04, Amsterdam , October 2004
Modular Services with
Byzantine Recovery, Emmanuelle
Anceaume, Carole Delporte-Gallet,
Hugues Fauconnier, Michel Hurfin
and Gerard Le Lann. IEEE Proc. of
the International Conference on Dependable Systems and Networks (DSN),
Florence, Italy (fast abstract), July, 2004 pages 46-47
2002
Algorithmes distribués et
détection de défaillances (Tutoriel) Carole
Delporte-Gallet journée star editor LNCS, Orsay,
20 Juin 2002 (version postscript)
2001
Sur
l'algorithmique distribuée tolérante aux pannes, Habilitation à diriger des
recherches, Carole Delporte-Gallet 2001(version html)
Avant 2000
Lower Bounds with
Unreliable Failure Detector, Carole Delporte-Gallet
et Hugues Fauconnier brief announcements,
13th International Symposium on Distributed Computing (DISC'99), Sept 99,
Bratislava (version
postscript zippée)
Un algorithme de consensus résistant aux pannes définitives de
processus et aux pertes de messages, Carole Delporte-Gallet et Hugues Fauconnier. (RenPar'9), 1997
[1979]
Admission à l'École Normale Supérieure de Jeunes Filles concours mathématiques
(Sèvres)
[1983]
Thèse de troisième cycle "Preuves de vivacité des programmes séquentiels
dans la logique temporelle" à l'université Paris 7
[2001]
Habilitation à diriger des recherches "Sur l'algorithmique distribuée
tolérante aux pannes" à l'université Paris 7 soutenue le 18 décembre 2001.
Jury : Joffroy Beauquier (rapporteur),
Rachid Guerraoui (rapporteur), Gérard Le Lann,
Michel Morvan (rapporteur) , Maurice Nivat (directeur
de recherche, président), Michel Raynal (rapporteur), Sam Toueg.
[1979-1983]
Elève à l'École Normale Supérieure
[1983
] Chef de
Travaux Pratiques à l'École Polytechnique
[1983-2008 ] Maître de Conférence à l'université de PARIS 7-Denis Diderot
(en détachement d'avril 2005 à septembre 2006)
[1983-1996]
Chef de Travaux Pratiques à temps partiel à l'École Polytechnique
[2004-2006]
Coresponsable du module « Systèmes distribués » à l’ENPC
[2005-2006]
Professeur à l’ESIEE
[2008-…
] Professeur à l'université de PARIS 7-Denis Diderot