Thomas Hérault Vis

*	2009
30	EE	Thomas Hérault, Thomas Largillier, Sylvain Peyronnet, Benjamin Quétier, Franck Cappello, Mathieu Jan: High accuracy failure injection in parallel and distributed systems using virtualization. Conf. Computing Frontiers 2009: 193-196
29	EE	Camille Coti, Thomas Hérault, Franck Cappello: MPI Applications on Grids: A Topology Aware Approach. Euro-Par 2009: 466-477
	2008
28	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
27	EE	Camille Coti, Thomas Hérault, Sylvain Peyronnet, Ala Rezmerita, Franck Cappello: Grid Services for MPI. CCGRID 2008: 417-424
26	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
25	EE	Julien Clement, Thomas Hérault, Stéphane Messika, Olivier Peres: On the Complexity of a Self-Stabilizing Spanning Tree Algorithm for Large Scale Systems. PRDC 2008: 48-55
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

Coauthor Index

1	Joffroy Beauquier	[1] [2] [13] [21]
2	Alexandre Borghi	[24]
3	George Bosilca	[3]
4	Fatiha Bouabache	[26] [28]
5	Aurelien Bouteiller	[3] [4] [7] [8] [11]
6	Hinde-Lilia Bouziane	[7]
7	Darius Buntinas	[23]
8	Michaël Cadilhac	[18]
9	Franck Cappello	[3] [4] [6] [7] [8] [9] [11] [14] [17] [19] [20] [22] [23] [26] [27] [28] [29] [30]
10	Julien Clement	[25]
11	Boris Collin	[11]
12	Camille Coti	[14] [19] [23] [27] [29]
13	Akim Demaille	[15]
14	Samir Djilali	[3] [6] [9]
15	Jack Dongarra	[22]
16	Marie Duflot	[10]
17	Gilles Fedak	[3] [6] [9] [26] [28]
18	Laurent Fribourg	[10]
19	Cécile Germain-Renaud (Cécile Germain)	[3]
20	Guillaume Guirado	[12]
21	William Hoarau	[17]
22	Mathieu Jan	[30]
23	Géraud Krawezik	[4] [8]
24	Thomas Largillier	[30]
25	Richard Lassaigne	[5] [10] [12] [16] [18] [24]
26	Pierre Lemarinier	[3] [4] [7] [8] [11] [13] [14] [17] [21] [23]
27	Oleg Lodygensky	[3] [6] [9]
28	Frédéric Magniette	[3] [4] [5] [9] [10]
29	Stéphane Messika	[10] [25]
30	Tangui Morlier	[6]
31	Vincent Néri	[3] [9] [20]
32	Olivier Peres	[13] [21] [25]
33	Sylvain Peyronnet	[5] [10] [12] [15] [16] [18] [24] [27] [30]
34	Claudine Picaronny	[10]
35	Laurence Pilard	[13] [14] [21] [23]
36	Benjamin Quétier	[20] [30]
37	Ala Rezmerita	[14] [19] [23] [27]
38	Eric Rodriguez	[14] [17] [23]
39	Elad Michael Schiller (Elad Schiller)	[1]
40	Anton Selikhov	[3]
41	Sébastien Tixeuil	[17] [18]