Sylvain Peyronnet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
15
Active years
2002–2020
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ECIR | QISS: An Open Source Image Similarity Search Engine. | Maxime Portaz, Adrien Nivaggioli, Hicham Randrianarivo, Ilyes Kacher, Sylvain Peyronnet |
| 2014 | SAC | Rocovo: robust communal publication scheme. | Thomas Largillier, Guillaume Peyronnet, Sylvain Peyronnet |
| 2012 | ICTAC | Approximate Verification and Enumeration Problems. | Sylvain Peyronnet, Michel de Rougemont, Yann Strozecki |
| 2012 | SAC | Approximate planning and verification for large markov decision processes. | Richard Lassaigne, Sylvain Peyronnet |
| 2011 | FASE | Uniform Monte-Carlo Model Checking. | Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, Sylvain Peyronnet |
| 2010 | CCGRID | Planning Large Data Transfers in Institutional Grids. | Fatiha Bouabache, Thomas Hrault, Sylvain Peyronnet, Franck Cappello |
| 2010 | CRiSIS | SAFE-OS: A secure and usable desktop operating system. | Franois Lesueur, Ala Rezmerita, Thomas Hrault, Sylvain Peyronnet, Sbastien Tixeuil |
| 2010 | ISVC | A Compressive Sensing Algorithm for Many-Core Architectures. | Alexandre Borghi, Jrme Darbon, Sylvain Peyronnet, Tony F. Chan, Stanley J. Osher |
| 2010 | MSWIM | Supple: a flexible probabilistic data dissemination protocol for wireless sensor networks. | Aline Carneiro Viana, Thomas Hrault, Thomas Largillier, Sylvain Peyronnet, Fatiha Zadi |
| 2010 | WWW | SpotRank: a robust voting system for social news websites. | Thomas Largillier, Guillaume Peyronnet, Sylvain Peyronnet |
| 2010 | WISE | Using Patterns in the Behavior of the Random Surfer to Detect Webspam Beneficiaries. | Thomas Largillier, Sylvain Peyronnet |
| 2010 | SPAA | Brief announcement: Lower bounds on communication for sparse Cholesky factorization of a model problem. | Laura Grigori, Pierre-Yves David, James Demmel, Sylvain Peyronnet |
| 2008 | CCGRID | Grid Services for MPI. | Camille Coti, Thomas Hrault, Sylvain Peyronnet, Ala Rezmerita, Franck Cappello |
| 2006 | ISoLA | Modeling of Sensor Networks Using XRM. | Akim Demaille, Sylvain Peyronnet, Benot Sigoure |
| 2006 | ISSTA | Uniform random sampling of traces in very large models. | Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet |
| 2005 | ISVC | A Vectorial Self-dual Morphological Filter Based on Total Variation Minimization. | Jrme Darbon, Sylvain Peyronnet |
| 2004 | VMCAI | Approximate Probabilistic Model Checking. | Thomas Hrault, Richard Lassaigne, Frdric Magniette, Sylvain Peyronnet |
| 2002 | LICS | Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing. | Sophie Laplante, Richard Lassaigne, Frdric Magniez, Sylvain Peyronnet, Michel de Rougemont |