 | 2005 |
|---|
| 8 |       | 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) |
| 7 | | 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 |
|---|
| 6 | | Thomas Hérault,
Richard Lassaigne,
Frédéric Magniette,
Sylvain Peyronnet:
Approximate Probabilistic Model Checking.
VMCAI 2004: 73-84 |
| 2003 |
|---|
| 5 | | 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 |
|---|
| 4 | | 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 |
| 3 | | Joffroy Beauquier,
Ajoy Kumar Datta,
Maria Gradinariu,
Frédéric Magniette:
Self-Stabilizing Local Mutual Exclusion and Daemon Refinement.
Chicago J. Theor. Comput. Sci. 2002: (2002) |
| 2001 |
|---|
| 2 | | Joffroy Beauquier,
Béatrice Bérard,
Laurent Fribourg,
Frédéric Magniette:
Proving convergence of self-stabilizing systems using first-order rewriting and regular languages.
Distributed Computing 14(2): 83-95 (2001) |
| 2000 |
|---|
| 1 | | Joffroy Beauquier,
Ajoy Kumar Datta,
Maria Gradinariu,
Frédéric Magniette:
Self-Stabilizing Local Mutual Exclusion and Daemon Refinement.
DISC 2000: 223-237 |
