english version






commentaires

Thomas Hérault
Maître de Conférences en Informatique, UFR d'Orsay


Coordonnées

Adresse Postale Thomas Hérault
  Bureau 108
  LRI, Bât 490
  91 405 Orsay CEDEX
Adresse electronique herault [at] lri [dot] fr
  Si vous pensez que votre mail a été considéré par erreur comme du spam, rajoutez ce qui suit en gras dans le sujet (tel quel). Ce mot clé change régulièrement. [QTzTx]
Téléphone (+33|0)1 69 15 42 22
Fax (+33|0)1 69 15 65 86



Recherche

Projets

Publications

Articles dans des journaux

Blocking vs. Non-Blocking Coordinated Checkpointing for Large-Scale Fault Tolerant {MPI}
 Darius Buntinas, Camille Coti, Thomas Herault, Pierre Lemarinier, Laurence Pilard, Ala Rezmerita, Eric Rodriguez, Franck Cappello
 Elsevier Future Generation Computer Systems, Digital Object Identifier: http://dx.doi.org/10.1016/j.future.2007.02.002, 2007
Hybrid Preemptive Scheduling of MPI Applications on the Grids
 Aurelien Bouteiller, Hinde-Lilia Bouziane, Thomas Herault, Pierre Lemarinier, Franck Cappello
  International Journal of High Performance Computing and Networking, Volume 20, Number 1, pages 77-90, 2006
  bbhlc05.pdf(, 380356 bytes)
MPICH-V Project: a Multiprotocol Automatic Fault Tolerant MPI
 Aurelien Bouteiller, Thomas Herault, Geraud Krawezik, Pierre Lemarinier, Franck Cappello
 SAGE International Journal of High Performance Computing Applications, Volume 20, Number 3, pages 319-333, 2005
  bhklc05.pdf(, 339912 bytes)
Computing on Large Scale Distributed Systems: XtremWeb Architecture, Programming Models, Security, Tests and Convergence with Grid
 Franck Cappello, Samir Djilali, Gilles Fedak, Thomas Herault, Oleg Lodygenski, Frederic Magniette, Vincent Neri
  Special issue on Peer-to-Peer Computing and Interaction with Grids of Future Generation Computer Systems, pages 417--437, 2004
  cdf+04.pdf(application/pdf, 518738 bytes)

Conférences

A Model for Large Scale Self-Stabilization
 Thomas Herault, Pierre Lemarinier, Olivier Peres, Laurence Pilard, Joffroy Beauquier
 IEEE/ACM Proceedings of the 21st IEEE International Parallel & Distributed Processing Symposium (IPDPS 2007), Long Beach, CA March , 2007
  HLPPB06b.pdf(, 236443 bytes)
Self-Stabilizing Spanning Tree Algorithm for Large Scale Systems
 Thomas Herault, Pierre Lemarinier, Olivier Peres, Laurence Pilard, Joffroy Beauquier
 Springer Proceedings of the eights International Syposium on Stabilization, Safety and Security of Distributed Systems (SSS 2006), Dallas, TX November , 2006
  HLPPB06a.pdf(, 67324 bytes)
Evaluating complex {MAC} protocols for sensor networks with {APMC}
 Michael Cadilhac, Thomas Herault, Richard Lassaigne, Sylvain Peyronnet, Sebastien Tixeuil
  Proceedings of AVOCS 2006, Nancy, France September , 2006
{FAIL-MPI}: How fault-tolerant is fault-tolerant {MPI}?
 Willam Hoarau, Pierre Lemarinier, Thomas Herault, Eric Rodriguez, Sébastien Tixeuil, Franck Cappello
 IEEE Proceedings of the International Conference on Cluster Computing (Cluster 2006), Barcelona, Spain September , 2006
  HLHRTC06.pdf(, 165272 bytes)
Message Relaying Techniques for Computational Grids and their Relations to Fault-Tolerant Message Passing for the Grid
 Michael Cadilhac, Thomas Herault, Pierre Lemarinier
  Second {CoreGRID} Workshop on Grid and Peer to Peer Systems Architecture, Paris, France January , 2006
APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains
 T. Herault, R. Lassaigne, S. Peyronnet
  Proceedings of the 3rd International Conference on the Quantitative Evaluation of SysTems (QEST) 2006, California, USA September , 2006
  hlp06.pdf(, 117030 bytes)
Probabilistic verification of sensor networks
 Akim Demaille, Thomas Herault, Sylvain Peyronnet
  Proceedings of the 4th IEEE International Conference on Computer Science, Research, Innovation and Vision for the Future (RIVF'06), Ho chi minh city, Vietnam February , 2006
  dhp06.pdf(, 148961 bytes)
Blocking VS. Non-Blocking Coordinated Checkpointing for Large-Scale Fault Tolerant {MPI}
 Camille Coti, Thomas Herault, Pierre Lemarinier, Laurence Pilard, Ala Rezmerita, Eric Rodriguez, Franck Cappello
 IEEE/ACM Proceedings of the Internation Conference for High Performanc Computing, Network Storage and Analysis (SC'2006), Tampa, FL November , 2006
  chlprrc06.pdf(, 197214 bytes)
Impact of Event Logger on Causal Message Logging Protocols for Fault Tolerant MPI
 Pierre Lemarinier, Aurelien Bouteiller, Thomas Herault, Geraud Krawezik, Franck Cappello
  Proceedings of the Int Parallel and Distributed Processing Symposium (IPDPS 05), Denver, USA April , 2005
  bch+05.pdf(application/pdf, 451959 bytes)
Distribution, approximation and probabilistic model checking
 Guillaume Guirado, Thomas Herault, Richard Lassaigne, Sylvain Peyronnet
  Proceedings of the 4th International Workshops on Parallel and Distributed Methods in verifiCation (PDMC'05), Lisbon, Portugal July , 2005
  ghpl05.pdf(, 170573 bytes)
Hybrid Preemptive Scheduling of MPI Applications on the Grids
 Aurelien Bouteiller, Hinde-Lilia Bouziane, Thomas Herault, Pierre Lemarinier, Franck Cappello
 IEEE/ACM Proceedings of the 5th International Workshop on Grid Computing (Grid'04), Pittsburgh, USA November , 2004
  bblhc04.pdf(, 271054 bytes)
RPC-V: Toward Fault-Tolerant RPC for Internet Connected Desktop Grids with Volatile Nodes
 Samir Djilali, Thomas Herault, Oleg Lodygensky, Tangui Morlier, Gilles Fedak, Franck Cappello
 IEEE/ACM Proceedings of the 17th High Performance Networking and Computing conference (SC'04), Pittsburgh, USA November electronic, 2004
  dhl+04.pdf(application/pdf, 194879 bytes)
Improved Message Logging versus Improved Coordinated Checkpointing for fault tolerant MPI
 Pierre Lemarinier, Aurelien Bouteiller, Thomas Herault, Geraud Krawezik, Franck Cappello
 IEEE Proceedings of the 6th international conference on Cluster Computing (CLUSTER'04), San Diego, USA September , 2004
  lbh+04.pdf(application/pdf, 385431 bytes)
Verification of the CSMA/CD protocol using PRISM and APMC
 Marie Duflot, Laurent Fribourg, Thomas Herault, Richard Lassaigne, Frederic Magniette, Stéphane Messika, Sylvain Peyronnet, Claudine Picarrony
 ENTCS Proceedings of the 4th Internation Workshop on Automated Verification of Critical Systems (AVoCS'04), London, UK September electronic, 2004
  dfh+04.ps(application/postscript, 575247 bytes)
APMC: Approximate Probabilistic Model Checker
 Thomas Herault, Richard Lassaigne, Frederic Magniette, Sylvain Peyronnet
  Proceedings of the 5th Verification Model Checking and Abstract Interpretation (VMCAI'04) conference, Venice, Italy January , 2004
  hlmp04.pdf(application/pdf, 411036 bytes)
MPICH-V2: a Scalable Fault Tolerant MPI for Volatile Nodes based on Pessimistic Sender Based Message Logging
 Aurelien Bouteiller, Franck Cappello, Thomas Herault, Geraud Krawezik, Pierre Lemarinier, Frederic Magniette
 IEEE/ACM Proceedings of the 16th High Performance Networking and Computing conference (SC'03), Phoenix, USA November electronic, 2003
  BCH+03.pdf(application/pdf, 424341 bytes)
A Rollback-Recovery Protocol on Peer-to-Peer Systems
 Thomas Herault, Pierre Lemarinier
  Proceedings of the MOVEP'2002 international summer school, Nantes, France June pages 313--319, 2002
  hl02.ps(application/postscript, 125909 bytes)
MPICH-V: Toward a Scalable Fault Tolerant MPI for Volatile Nodes
 George Bosilca, Aurelien Bouteiller, Franck Cappello, Samir Djilali, Gilles Fedak, Cecile Germain, Thomas Herault, Pierre Lemarinier, Oleg Lodygensky, Frederic Magniette, Vincent Neri, Anton Selikhov
 IEEE/ACM Proceedings of the 15th High Performance Networking and Computing conference (SC'02), Baltimore, USA November electronic, 2002
  bbc+02.pdf(application/pdf, 166256 bytes)
Évaluation de performances de différentes techniques de confinement d\'exécutions pour le calcul pair-à-pair
 George Bosilca, Gilles Fédak, Thomas Herault, Frederic Magniette
  Actes des Rencontres Francophone du parallélisme (RenPar'02), Hammamet, Tunisia , 2002
Fault Local Stabilization : the shortest path tree
 Joffroy Beauquier, Thomas Herault
  Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS'02), Osaka, Japan October pages 62--69, 2002
  bh02.ps.gz(application/postscript, 50988 bytes)
Easy self-stabilization with an agent
 Joffroy Beauquier, Thomas Herault, Elad Schiller
 LNCS:2194 Proceedings of the 5th Internation Workshop on Self-Stabilizing systems (WSS'01), Lisbon, Portugal October pages 25--50, 2001
  bhs01.ps.gz(application/postscript, 76903 bytes)

Thèse

 Correction de défaillances transitoires dans les systèmes auto-stabilisants
 Thèse soutenue le 28 Mai 2003 à l'université Paris XI



Enseignement

  • Systèmes d'Exploitation
    • IFIPS, 1ere année: Cours
    • IFIPS, 1ere année par l'apprentissage: Cours et TD
    • Master Professionnel 2eme année Réseaux et Télécomunication: Cours et TD
  • Génie Logiciel, Master Professionnel 2eme année SCHM: TD
  • Architecture des ordinateurs, IFIPS, 1ere année par l'apprentissage: Cours et TD
  • Tolérance aux fautes dans les systèmes à passage de message, Master Recherche d'Orsay: Cours
  • Responsable pédagogique de la seconde année de formation par l'apprentissage à l'IFIPS



EuroPVM/MPI

J'ai organise avec Franck Cappello EuroPVM/MPI'07(European PVM/MPI Users' Group Meeting) à Paris, en Septembre/Octobre 2007.


Complex Systems Design & Management 2011

Un autre membre de l'équipe organise CSDM 2001, la seconde conference on Complex Systems Design & Management .

Autres

Carole Dorion-Peyronnet - Conservateur du Patrimoine

Ma clé publique pgp (aussi enregistrée sur le serveur de clé wwwkeys.pgp.net. Pour plus d'informations, consulter le site de gnupg):

-----BEGIN PGP PUBLIC KEY BLOCK-----
Version: GnuPG v1.2.1 (GNU/Linux)

mQGiBD31+nERBADxYSL+6lkChQ9eB90gbvdknbw+jRxTMjR7Gl4YhLvb7XN8vplm
lGfH2rqzA/hVo6WKtufwpr53sADJWb6mSqThVRH0aDqBrn7bqHP79TfH1dW9rBWx
GuEoAPJnytXdMjW28GGA+DwKLupervlqtLPPSq48ACHwD7Nj0TgrH/oolwCgrWqg
45Jr/OMwHrOYQPtj0vpkjq8D/jvdzfVNTsC5sYP6lUyHYbyJoYh/ZaFpaiGFsNFN
2Rz4NICFHst6IzYkDNucff1k258KLiep2X8xiYu6Y1oMOU9s3vzQR6tCGE3T9jCo
C0wAEMAvpG7VOcwzrCNpQaUfWKfcJ4IEpcd24lQc17N9FwXnElxw6bvsw2tMktLj
qLQ4A/9f1mSpn+KEq+1Eo0m/q52+tb57etb/f9tfIO2JABARvVziGLcm+7iQX3nL
bSm5oqQlgk4eNfPeFDCzvjJWqsq7XS5S56NkgP2i/1DqxXj2/WuSqYH6qIOMR2AB
KdVxUtBSDlva8/IWLcfy4mVZjeRsHBjGzMlN8+n58XklBp8qYrQfVGhvbWFzIEhl
cmF1bHQgPGhlcmF1bHRAbHJpLmZyPohZBBMRAgAZBQI99fpxBAsHAwIDFQIDAxYC
AQIeAQIXgAAKCRACm7l3S8zfPjMyAJ9oqjW23vcmWErKkBX1UviTr209bwCeKIqp
32eiYk15vgQVDUfQm0o+boO5AQ0EPfX6dxAEALENtpL6qyw1zo93bbyazwmaGTxM
XWILzp0GnbU6cSa91r8ABOYFjP2FzMHybIVcgIivGfQjWxmzUT9MsgpTABRV/JTa
OSisr2IqFlkwnOj6H87yOKFPJkbuxlDXyoFuaitpqhKzENQ9TGNWSv3pC87lsTET
btWLH/DoexfOXK8PAAUTA/4nB79K5cazhAFlIlXszjqYwo6nA0oCyqVh8vfklqiY
hAecj0RL0wWxqM2dnzLGKXIR7BPkFnVEvoJ00/H+d6f4h0bsN/f9u/Dc9W1uloTi
9elw4k/lJDqcz8qJ+wRYGblfT7crVLd1rCkAZd1MoWoHvIDcu50BVLVTOiwZW7bS
tIhGBBgRAgAGBQI99fp3AAoJEAKbuXdLzN8+jnQAn2cn+ocYO6qZ0fFUKNP5JhwE
1oeDAJ4jpsv52iDBAaOrKZ1KsBnB28riFQ==
=sppf
-----END PGP PUBLIC KEY BLOCK----:-
cinema