Publications

53 peer-reviewed papers, journal articles, and book chapters spanning probabilistic verification, web algorithms, machine learning, and distributed systems.

53.
Graphcore C2 Card performance for image-based deep learning application: A Report
Ilyes Kacher, Maxime Portaz, Hicham Randrianarivo, and Sylvain Peyronnet.
https://arxiv.org/abs/2002.11670
52.
QISS : an open source image similarity search engine.
Maxime Portaz, Adrien Nivaggioli, Hicham Randrianarivo, Ilyes Kacher, and Sylvain Peyronnet.
Demo paper ECIR 2020.
ECIR 2020
51.
Image search using multilingual texts: a cross-modal learning approach between image and text.
Maxime Portaz, Hicham Randrianarivo, Adrien Nivaggioli, Estelle Maudet, Christophe Servan and Sylvain Peyronnet.
https://arxiv.org/abs/1903.11299
50.
A LexDFS-Based Approach on Finding Compact Communities.
Jean Creusefond, Thomas Largillier and Sylvain Peyronnet.
Book chapter.
Springer
49.
Efficient filtering of adult content using textual information.
Thomas Largillier, Guillaume Peyronnet and Sylvain Peyronnet.
SEXI 2016.
http://arxiv.org/abs/1512.00198
48.
On the evaluation potential of quality functions in community detection for different contexts.
Jean Creusefond, Thomas Largillier and Sylvain Peyronnet.
NetSci X 2016.
http://arxiv.org/abs/1510.01714
47.
Finding compact communities in large graphs.
Jean Creusefond, Thomas Largillier and Sylvain Peyronnet.
SOMERIS 2015.
http://arxiv.org/abs/1410.2105
46.
Approximate Planning and Verification for Large Markov Decision Processes.
Richard Lassaigne and Sylvain Peyronnet.
International Journal on Software Tools for Technology Transfer (STTT) (journal).
45.
Autour du PageRank…
Thomas Largillier and Sylvain Peyronnet.
Book chapter (French) in Informatique Mathématique : Une photographie en 2014.
Amazon
44.
Informatique Mathématique : Une photographie en 2014.
Editeur de cet ouvrage collectif.
Amazon
43.
Rocovo : Robust Communal Publication Scheme.
Thomas Largillier, Guillaume Peyronnet and Sylvain Peyronnet.
ACM SAC – sonama 2014.
42.
A Simple Compressive Sensing Algorithm for Parallel Many-Core Architectures.
Alexandre Borghi, Jérome Darbon, Sylvain Peyronnet, Tony Chan and Stanley Osher.
Journal of Signal Processing Systems (JSPS). Volume 71, Issue 1 (2013), Page 1-20.
41.
Practical Applications of Probabilistic Model Checking to Communication Protocols.
Marie Duflot, Marta Kwiatkowska, Gethin Norman, David Parker, Sylvain Peyronnet, Claudine Picaronny and Jeremy Sproston.
FMICS Handbook on (Industrial) Critical Systems (Book chapter).
40.
Approximate verification and enumeration problems.
Sylvain Peyronnet, Yann Strozecki and Michel De Rougemont.
ICTAC 2012.
39.
Approximate planning and verification for large Markov decision processes.
Richard Lassaigne and Sylvain Peyronnet.
ACM SAC – SVT 2012.
paper
38.
Webspam Demotion: Low Complexity Node Aggregation Methods.
Thomas Largillier and Sylvain Peyronnet.
Neurocomputing (journal).
37.
Detecting webspam beneficiaries using information collected by the random surfer.
Thomas Largillier and Sylvain Peyronnet.
IJOCI (journal).
36.
Coverage-biased random exploration of large models and application to testing.
Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet and Sylvain Peyronnet.
International Journal on Software Tools for Technology Transfer (STTT) (journal).
35.
Exact algorithm for the l1-compressive sensing problem using a modified Dantzig-Wolfe method.
Alexandre Borghi, Jérome Darbon and Sylvain Peyronnet.
Theoretical Computer Science (journal).
paper
34.
QCG-OMPI: MPI Applications on Grids.
Emmanuel Agullo, Camille Coti, Thomas Herault, Julien Langou, Sylvain Peyronnet, Ala Rezmerita, Franck Cappello and Jack Dongarra.
Future Generation Computer Systems (FGCS) (journal).
33.
Uniform Monte-Carlo Model-Checking.
Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne and Sylvain Peyronnet.
FASE 2011.
32.
Using patterns in the behavior of the random surfer to detect Webspam beneficiaries.
Thomas Largillier and Sylvain Peyronnet.
WISS 2010.
31.
A Compressive Sensing Algorithm for Many-Core Architectures.
Alexandre Borghi, Jérome Darbon, Sylvain Peyronnet, Tony Chan and Stanley Osher.
ISVC 2010.
30.
Three High Performance Architectures in the Parallel Approximate Probabilistic Model Checking Boat.
Khaled Hamidouche, Alexandre Borghi, Pierre Esterie, Joel Falcou and Sylvain Peyronnet.
PDMC 2010.
29.
Supple: a flexible proactive data dissemination protocol for wireless sensor networks.
Aline Carneiro Viana, Thomas Herault, Thomas Largillier, Sylvain Peyronnet and Fatiha Zaïdi.
MSWIM 2010.
28.
SAFE-OS: a Secure and Usable Desktop Operating System.
François Lesueur, Ala Rezmerita, Thomas Hérault, Sylvain Peyronnet and Sébastien Tixeuil.
CRiSIS 2010.
27.
L1-compressive sensing: exact optimization a la Dantzig-Wolfe.
Alexandre Borghi, Jérome Darbon and Sylvain Peyronnet.
SiPS 2010.
26.
Lightweight Clustering Methods for Webspam Demotion.
Thomas Largillier and Sylvain Peyronnet.
WI 2010.
paper
25.
Partial ranking of products for recommendation systems.
Sebastien Hemon, Thomas Largillier and Sylvain Peyronnet.
Ec-Web 2010.
24.
Brief announcement: Lower bounds on communication for sparse Cholesky factorization of a model problem.
Laura Grigori, Pierre-Yves David, James Demmel and Sylvain Peyronnet.
SPAA 2010.
23.
SpotRank: A robust voting system for social news websites.
Thomas Largillier, Guillaume Peyronnet and Sylvain Peyronnet.
WICOW 2010.
paper
22.
Planning large data transfers in institutional grids.
Fatiha Bouabache, Thomas Herault, Sylvain Peyronnet and Franck Cappello.
Short paper at CCGRID 2010.
21.
Emulation platform for high accuracy failure injection in grids.
Thomas Herault, Mathieu Jan, Thomas Largillier, Sylvain Peyronnet, Benjamin Quetier, Franck Cappello.
High Performance & Large Scale Computing, IOS Press (book chapter).
20.
High Accuracy Failure Injection in Parallel and Distributed Systems Emulation.
Thomas Herault, Mathieu Jan, Thomas Largillier, Sylvain Peyronnet, Benjamin Quetier, Franck Cappello.
Short paper at Computing Frontiers 2009.
19.
Coverage-biased random exploration of large models.
Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, and Sylvain Peyronnet.
Invited paper at Model Based Testing (MBT) 2008.
paper
18.
Cell assisted APMC.
Alexandre Borghi, Thomas Herault, Richard Lassaigne and Sylvain Peyronnet.
Tool paper at Qest 2008.
paper
17.
Grid Services for MPI.
Camille Coti, Thomas Herault, Sylvain Peyronnet, Ala Rezmerita and Franck Cappello.
CCGRID 2008.
paper
16.
Probabilistic verification and approximation.
Richard Lassaigne and Sylvain Peyronnet.
Annals of pure and applied logic (journal).
paper
15.
Complexity of information systems: a family of measures for the scalar complexity of an architectural scheme (in french).
Yves Caseau, Daniel Krob and Sylvain Peyronnet.
Génie Logiciel (journal).
paper
14.
Probabilistic abstraction for model checking: An approach based on property testing.
Sophie Laplante, Richard Lassaigne, Frederic Magniez, Sylvain Peyronnet and Michel de Rougemont.
ACM Transactions On Computational Logic (TOCL – Journal).
paper
13.
Probabilistic verification of sensor networks.
Akim Demaille, Thomas Herault and Sylvain Peyronnet.
RIVF 2006.
paper
12.
Uniform random sampling of traces in very large models.
Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne and Sylvain Peyronnet.
Random Testing 2006 (RT 2006).
paper
11.
APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains.
Richard Lassaigne, Thomas Herault and Sylvain Peyronnet.
Tool paper at Qest 2006.
paper
10.
Approximate Probabilistic Model Checking for Programs.
Jerome Darbon, Richard Lassaigne and Sylvain Peyronnet.
ICCP 2006.
9.
Evaluating complex MAC protocols for sensor networks with APMC.
Michael Cadilhac, Thomas Herault, Richard Lassaigne, Sylvain Peyronnet and Sebastien Tixeuil.
AVOCS 2006.
paper
8.
Modeling of Sensor Networks Using XRM.
Akim Demaille, Sylvain Peyronnet and Benoit Sigoure.
Isola 2006.
paper
7.
Probabilistic verification and approximation.
Richard Lassaigne and Sylvain Peyronnet.
WOLLIC 2005.
paper
6.
Distribution, approximation and probabilistic model checking.
Guillaume Guirado, Thomas Herault, Richard Lassaigne and Sylvain Peyronnet.
PDMC 2005.
paper
5.
A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization.
Jerome Darbon and Sylvain Peyronnet.
ISVC 2005.
4.
Verification of the CSMA/CD protocol using PRISM and APMC.
Marie Duflot, Laurent Fribourg, Thomas Herault, Richard Lassaigne, Frederic Magniette, Stephane Messika, Sylvain Peyronnet and Claudine Picaronny.
AVOCS 2004.
paper
3.
Approximate Probabilistic Model Checking.
Thomas Herault, Richard Lassaigne, Frederic Magniette and Sylvain Peyronnet.
VMCAI 2004.
paper
2.
Probabilistic abstraction for model checking: An approach based on property testing.
Sophie Laplante, Richard Lassaigne, Frederic Magniez, Sylvain Peyronnet and Michel de Rougemont.
LICS 2002.
paper
1.
Approximate verification of probabilistic systems.
Richard Lassaigne and Sylvain Peyronnet.
PAPM-PROBMIV 2002.
paper