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
|
