Frederic Tronel

Frederic.Tronel [at] centralesupelec.fr

Publications :

  • Communication dans un congrès - 28 documents
  • Article dans une revue - 2 documents
    • Romaric Ludinard, Eric Totel, Frédéric Tronel, Vincent Nicomette, Mohamed Kaâniche, Eric Alata, Rim Akrout, Yann Bachy. An Invariant-based Approach for Detecting Attacks against Data in Web Applications, 2014-06-26. (https://hal.inria.fr/hal-01083296)
    • Emmanuelle Anceaume, Francisco Brasiliero, Romaric Ludinard, Bruno Sericola, Frédéric Tronel. Dependability Evaluation of Cluster-based Distributed Systems, 2011-08-11. (https://hal.archives-ouvertes.fr/hal-00650086)
  • Rapport - 6 documents
    • Mounir Assaf, Julien Signoles, Frédéric Tronel, Eric Totel. Moniteur hybride de flux d'information pour un langage supportant des pointeurs, 2013-07-03. (https://hal.inria.fr/hal-00841048)
    • Emmanuelle Anceaume, Bruno Sericola, Romaric Ludinard, Frédéric Tronel. Performance Analysis of Large Scale Peer-to-Peer Overlays using Markov Chains, 2010-12. (https://hal.inria.fr/inria-00546039)
    • Emmanuelle Anceaume, Francisco Brasileiro, Romaric Ludinard, Bruno Sericola, Frédéric Tronel. Dependability Evaluation of Cluster-based Systems, 2010. (https://hal.inria.fr/inria-00463468)
    • Frédéric Tronel, Frédéric Lang, Hubert Garavel. Compositional Verification using CADP of the ScalAgent Deployment Protocol for Software Components, 2003-11. (https://hal.inria.fr/inria-00071572)
    • Fabiola Greve, Michel Hurfin, Michel Raynal, Frédéric Tronel. Primary Component Asynchronous Group Membership as an Instance of a Generic Agreement Framework, 2000. (https://hal.inria.fr/inria-00072800)
    • Jean-Michel Hélary, Michel Hurfin, Achour Mostefaoui, Michel Raynal, Frédéric Tronel. Computing Global Functions in Asynchronous Distributed Systems with Process Crashes, 1999. (https://hal.inria.fr/inria-00073017)
  • Autre publication - 1 document