2008 |
27 | EE | Fatiha Bouabache,
Thomas Hérault,
Gilles Fedak,
Franck Cappello:
Hierarchical replication techniques to ensure checkpoint storage reliability in grid environment.
AICCSA 2008: 939-940 |
26 | EE | Camille Coti,
Thomas Hérault,
Sylvain Peyronnet,
Ala Rezmerita,
Franck Cappello:
Grid Services for MPI.
CCGRID 2008: 417-424 |
25 | EE | Fatiha Bouabache,
Thomas Hérault,
Gilles Fedak,
Franck Cappello:
Hierarchical Replication Techniques to Ensure Checkpoint Storage Reliability in Grid Environment.
CCGRID 2008: 475-483 |
24 | EE | Alexandre Borghi,
Thomas Hérault,
Richard Lassaigne,
Sylvain Peyronnet:
Cell Assisted APMC.
QEST 2008: 75-76 |
23 | EE | Darius Buntinas,
Camille Coti,
Thomas Hérault,
Pierre Lemarinier,
Laurence Pilard,
Ala Rezmerita,
Eric Rodriguez,
Franck Cappello:
Blocking vs. non-blocking coordinated checkpointing for large-scale fault tolerant MPI Protocols.
Future Generation Comp. Syst. 24(1): 73-84 (2008) |
2007 |
22 | | Franck Cappello,
Thomas Hérault,
Jack Dongarra:
Recent Advances in Parallel Virtual Machine and Message Passing Interface, 14th European PVM/MPI User's Group Meeting, Paris, France, September 30 - October 3, 2007, Proceedings
Springer 2007 |
21 | EE | Thomas Hérault,
Pierre Lemarinier,
Olivier Peres,
Laurence Pilard,
Joffroy Beauquier:
A Model for Large Scale Self-Stabilization.
IPDPS 2007: 1-10 |
20 | EE | Benjamin Quétier,
Thomas Hérault,
Vincent Néri,
Franck Cappello:
Virtual Parallel Machines Through Virtualization: Impact on MPI Executions.
PVM/MPI 2007: 381-383 |
19 | EE | Camille Coti,
Ala Rezmerita,
Thomas Hérault,
Franck Cappello:
Grid Services for MPI.
PVM/MPI 2007: 393-394 |
18 | EE | Michaël Cadilhac,
Thomas Hérault,
Richard Lassaigne,
Sylvain Peyronnet,
Sébastien Tixeuil:
Evaluating Complex MAC Protocols for Sensor Networks with APMC.
Electr. Notes Theor. Comput. Sci. 185: 33-46 (2007) |
2006 |
17 | EE | William Hoarau,
Pierre Lemarinier,
Thomas Hérault,
Eric Rodriguez,
Sébastien Tixeuil,
Franck Cappello:
FAIL-MPI: How Fault-Tolerant Is Fault-Tolerant MPI?
CLUSTER 2006 |
16 | EE | Thomas Hérault,
Richard Lassaigne,
Sylvain Peyronnet:
APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains.
QEST 2006: 129-130 |
15 | EE | Akim Demaille,
Thomas Hérault,
Sylvain Peyronnet:
Probabilistic verification of sensor networks.
RIVF 2006: 45-54 |
14 | EE | Camille Coti,
Thomas Hérault,
Pierre Lemarinier,
Laurence Pilard,
Ala Rezmerita,
Eric Rodriguez,
Franck Cappello:
MPI tools and performance studies - Blocking vs. non-blocking coordinated checkpointing for large-scale fault tolerant MPI.
SC 2006: 127 |
13 | EE | Thomas Hérault,
Pierre Lemarinier,
Olivier Peres,
Laurence Pilard,
Joffroy Beauquier:
Brief Announcement: Self-stabilizing Spanning Tree Algorithm for Large Scale Systems.
SSS 2006: 574-575 |
12 | EE | Guillaume Guirado,
Thomas Hérault,
Richard Lassaigne,
Sylvain Peyronnet:
Distribution, Approximation and Probabilistic Model Checking.
Electr. Notes Theor. Comput. Sci. 135(2): 19-30 (2006) |
2005 |
11 | EE | Aurelien Bouteiller,
Boris Collin,
Thomas Hérault,
Pierre Lemarinier,
Franck Cappello:
Impact of Event Logger on Causal Message Logging Protocols for Fault Tolerant MPI.
IPDPS 2005 |
10 | EE | Marie Duflot,
Laurent Fribourg,
Thomas Hérault,
Richard Lassaigne,
Frédéric Magniette,
Stéphane Messika,
Sylvain Peyronnet,
Claudine Picaronny:
Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC.
Electr. Notes Theor. Comput. Sci. 128(6): 195-214 (2005) |
9 | EE | Franck Cappello,
Samir Djilali,
Gilles Fedak,
Thomas Hérault,
Frédéric Magniette,
Vincent Néri,
Oleg Lodygensky:
Computing on large-scale distributed systems: XtremWeb architecture, programming models, security, tests and convergence with grid.
Future Generation Comp. Syst. 21(3): 417-437 (2005) |
2004 |
8 | EE | Pierre Lemarinier,
Aurelien Bouteiller,
Thomas Hérault,
Géraud Krawezik,
Franck Cappello:
Improved message logging versus improved coordinated checkpointing for fault tolerant MPI.
CLUSTER 2004: 115-124 |
7 | EE | Aurelien Bouteiller,
Hinde-Lilia Bouziane,
Thomas Hérault,
Pierre Lemarinier,
Franck Cappello:
Hybrid Preemptive Scheduling of MPI Applications on the Grids.
GRID 2004: 130-137 |
6 | EE | Samir Djilali,
Thomas Hérault,
Oleg Lodygensky,
Tangui Morlier,
Gilles Fedak,
Franck Cappello:
RPC-V: Toward Fault-Tolerant RPC for Internet Connected Desktop Grids with Volatile Nodes.
SC 2004: 39 |
5 | EE | Thomas Hérault,
Richard Lassaigne,
Frédéric Magniette,
Sylvain Peyronnet:
Approximate Probabilistic Model Checking.
VMCAI 2004: 73-84 |
2003 |
4 | EE | Aurelien Bouteiller,
Franck Cappello,
Thomas Hérault,
Géraud Krawezik,
Pierre Lemarinier,
Frédéric Magniette:
MPICH-V2: a Fault Tolerant MPI for Volatile Nodes based on Pessimistic Sender Based Message Logging.
SC 2003: 25 |
2002 |
3 | EE | George Bosilca,
Aurelien Bouteiller,
Franck Cappello,
Samir Djilali,
Gilles Fedak,
Cécile Germain,
Thomas Hérault,
Pierre Lemarinier,
Oleg Lodygensky,
Frédéric Magniette,
Vincent Néri,
Anton Selikhov:
MPICH-V: toward a scalable fault tolerant MPI for volatile nodes.
SC 2002: 1-18 |
2 | EE | Joffroy Beauquier,
Thomas Hérault:
Fault-Local Stabilization: The Shortest Path Tree.
SRDS 2002: 62-69 |
2001 |
1 | EE | Joffroy Beauquier,
Thomas Hérault,
Elad Schiller:
Easy Stabilization with an Agent.
WSS 2001: 35-50 |