The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Frédéric Magniette: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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. [Citation Graph (0, 0)][DBLP]
    SC, 2003, pp:25- [Conf]
  2. 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. [Citation Graph (0, 0)][DBLP]
    SC, 2002, pp:1-18 [Conf]
  3. Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Sylvain Peyronnet
    Approximate Probabilistic Model Checking. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2004, pp:73-84 [Conf]
  4. Joffroy Beauquier, Ajoy Kumar Datta, Maria Gradinariu, Frédéric Magniette
    Self-Stabilizing Local Mutual Exclusion and Daemon Refinement. [Citation Graph (0, 0)][DBLP]
    DISC, 2000, pp:223-237 [Conf]
  5. Joffroy Beauquier, Ajoy Kumar Datta, Maria Gradinariu, Frédéric Magniette
    Self-Stabilizing Local Mutual Exclusion and Daemon Refinement. [Citation Graph (0, 0)][DBLP]
    Chicago J. Theor. Comput. Sci., 2002, v:2002, n:, pp:- [Journal]
  6. 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. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 2001, v:14, n:2, pp:83-95 [Journal]
  7. 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. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:195-214 [Journal]
  8. 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. [Citation Graph (0, 0)][DBLP]
    Future Generation Comp. Syst., 2005, v:21, n:3, pp:417-437 [Journal]

Search in 0.018secs, Finished in 0.018secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002