Thomas Hérault
Computer Science Associate Professor
|
location
Snail Mail | Thomas Hérault |
| Bureau 108 |
| LRI, Bât 490 |
| 91 405 Orsay CEDEX |
Mail | herault [at] lri [dot] fr |
| If you think that some email you sent has been treated as SPAM, append the following bold keyword in the subject line of your mail. This keyword changes from time to time.[QTzTx] |
Phone | (+33|0)1 69 15 42 22 |
Fax | (+33|0)1 69 15 65 86 |
|
Important Events |
14th European PVM/MPI Users' Group Meeting (EuroPVM/MPI) 2007, in Paris |
Research
|
Projets |
 |
 |
Publications |
Journals
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) |
Conferences
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) |
|
PhD |
| Mending of transient failure in self-stabilizing systems (in french) |
| PhD defended the May, 28th, 2003 at Paris XI Universitypu |
Teaching
|
- Operating Systems
- Ingeneer School, First year: Class
- Ingeneer School, First year, enterprise training: Class and training sessions
- Master 2, Professional: Class and labs
- Specification and Verification, Master 2, Professional: training sessions
- Computer Architecture, Ingeneer School, First year, enterprise training: Class and training sessions
- Fault Tolerance in Message Passing Interface, Master 2, Research: Class
|
|
EuroPVM/MPI |
I am Program Co-Chair of the next EuroPVM/MPI (European PVM/MPI Users' Group Meeting) in Paris, September/October 2007
|
Complex Systems Design & Management 2011 |
Another team member is organizing CSDM 2001, the second conference on Complex Systems Design & Management. |
Autres
|
This is my GPG public key (it is downloadable on the key server wwwkeys.pgp.net. For more informations, please read the gnupg site):
-----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
|