Frédéric Magniette

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)

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)

Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Sylvain Peyronnet: Approximate Probabilistic Model Checking. VMCAI 2004: 73-84

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

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)

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

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)

Joffroy Beauquier, Ajoy Kumar Datta, Maria Gradinariu, Frédéric Magniette: Self-Stabilizing Local Mutual Exclusion and Daemon Refinement. DISC 2000: 223-237