Probabilistic abstraction for model checking: An approach based on property testing - Sophie Laplante; Richard Lassaigne; Frédéric Magniez; Sylvain Peyronnet; Michel de Rougemont (Electron. Colloquium Comput. Complex., 2001)

Approximate Verification of Probabilistic Systems. - Richard Lassaigne; Sylvain Peyronnet (PAPM-PROBMIV, 2002)

Approximate Probabilistic Model Checking. - Thomas Hérault; Richard Lassaigne; Frédéric Magniette; Sylvain Peyronnet (VMCAI, 2004)

Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC. - Marie Duflot; Laurent Fribourg; Thomas Hérault; Richard Lassaigne; Frédéric Magniette; Stéphane Messika; Sylvain Peyronnet; Claudine Picaronny (AVoCS, 2004)

A Vectorial Self-dual Morphological Filter Based on Total Variation Minimization. - Jérôme Darbon; Sylvain Peyronnet (ISVC, 2005)

Distribution, Approximation and Probabilistic Model Checking. - Guillaume Guirado; Thomas Hérault; Richard Lassaigne; Sylvain Peyronnet (PDMC@ICALP, 2005)

Probabilistic Verification and Approximation. - Richard Lassaigne; Sylvain Peyronnet (WoLLIC, 2005)

Modeling of Sensor Networks Using XRM. - Akim Demaille; Sylvain Peyronnet; Benoît Sigoure (ISoLA, 2006)

Uniform random sampling of traces in very large models. - Alain Denise; Marie-Claude Gaudel; Sandrine-Dominique Gouraud; Richard Lassaigne; Sylvain Peyronnet (Random Testing, 2006)

APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains. - Thomas Hérault; Richard Lassaigne; Sylvain Peyronnet (QEST, 2006)

Probabilistic verification of sensor networks. - Akim Demaille; Thomas Hérault; Sylvain Peyronnet (RIVF, 2006)

Evaluating Complex MAC Protocols for Sensor Networks with APMC. - Michaël Cadilhac; Thomas Hérault; Richard Lassaigne; Sylvain Peyronnet; Sébastien Tixeuil (AVoCS, 2006)

Grid Services for MPI. - Camille Coti; Thomas Hérault; Sylvain Peyronnet; Ala Rezmerita; Franck Cappello (CCGRID, 2008)

Emulation platform for high accuracy failure injection in grids. - Thomas Hérault; Mathieu Jan; Thomas Largillier; Sylvain Peyronnet; Benjamin Quétier; Franck Cappello (High Performance Computing Workshop, 2008)

Cell Assisted APMC. - Alexandre Borghi; Thomas Hérault; Richard Lassaigne; Sylvain Peyronnet (QEST, 2008)

Coverage-biased Random Exploration of Models. - Marie-Claude Gaudel; Alain Denise; Sandrine-Dominique Gouraud; Richard Lassaigne; Johan Oudinet; Sylvain Peyronnet (MBT@ETAPS, 2008)

High accuracy failure injection in parallel and distributed systems using virtualization. - Thomas Hérault; Thomas Largillier; Sylvain Peyronnet; Benjamin Quétier; Franck Cappello; Mathieu Jan (Conf. Computing Frontiers, 2009)

Planning Large Data Transfers in Institutional Grids. - Fatiha Bouabache; Thomas Hérault; Sylvain Peyronnet; Franck Cappello (CCGRID, 2010)

SAFE-OS: A secure and usable desktop operating system. - François Lesueur; Ala Rezmerita; Thomas Hérault; Sylvain Peyronnet; Sébastien Tixeuil (CRiSIS, 2010)

Partial Ranking of Products for Recommendation Systems. - Sébastien Hémon; Thomas Largillier; Sylvain Peyronnet (EC-Web, 2010)

A Compressive Sensing Algorithm for Many-Core Architectures. - Alexandre Borghi; Jérôme Darbon; Sylvain Peyronnet; Tony F. Chan; Stanley J. Osher (ISVC (2), 2010)

Supple: a flexible probabilistic data dissemination protocol for wireless sensor networks. - Aline Carneiro Viana; Thomas Hérault; Thomas Largillier; Sylvain Peyronnet; Fatiha Zaïdi (MSWiM, 2010)

Brief announcement: Lower bounds on communication for sparse Cholesky factorization of a model problem. - Laura Grigori; Pierre-Yves David; James Demmel; Sylvain Peyronnet (SPAA, 2010)

Lightweight Clustering Methods for Webspam Demotion. - Thomas Largillier; Sylvain Peyronnet (Web Intelligence, 2010)

Using Patterns in the Behavior of the Random Surfer to Detect Webspam Beneficiaries. - Thomas Largillier; Sylvain Peyronnet (WISE Workshops, 2010)

SpotRank: a robust voting system for social news websites. - Thomas Largillier; Guillaume Peyronnet; Sylvain Peyronnet (WICOW, 2010)

Uniform Monte-Carlo Model Checking. - Johan Oudinet; Alain Denise; Marie-Claude Gaudel; Richard Lassaigne; Sylvain Peyronnet (FASE, 2011)

QCG-OMPI: MPI applications on grids. - Emmanuel Agullo; Camille Coti; Thomas Hérault; Julien Langou; Sylvain Peyronnet; Ala Rezmerita; Franck Cappello; Jack J. Dongarra (Future Gener. Comput. Syst., 2011)

Detecting Webspam Beneficiaries Using Information Collected by the Random Surfer. - Thomas Largillier; Sylvain Peyronnet (Int. J. Organ. Collect. Intell., 2011)

Exact optimization for the ℓ1-Compressive Sensing problem using a modified Dantzig-Wolfe method. - Alexandre Borghi; Jérôme Darbon; Sylvain Peyronnet (Theor. Comput. Sci., 2011)

Approximate Verification and Enumeration Problems. - Sylvain Peyronnet; Michel de Rougemont; Yann Strozecki (ICTAC, 2012)

Webspam demotion: Low complexity node aggregation methods. - Thomas Largillier; Sylvain Peyronnet (Neurocomputing, 2012)

Coverage-biased random exploration of large models and application to testing. - Alain Denise; Marie-Claude Gaudel; Sandrine-Dominique Gouraud; Richard Lassaigne; Johan Oudinet; Sylvain Peyronnet (Int. J. Softw. Tools Technol. Transf., 2012)

A Simple Compressive Sensing Algorithm for Parallel Many-Core Architectures. - Alexandre Borghi; Jérôme Darbon; Sylvain Peyronnet; Tony F. Chan; Stanley J. Osher (J. Signal Process. Syst., 2013)

Rocovo: robust communal publication scheme. - Thomas Largillier; Guillaume Peyronnet; Sylvain Peyronnet (SAC, 2014)

Finding compact communities in large graphs. - Jean Creusefond; Thomas Largillier; Sylvain Peyronnet (ASONAM, 2015)

Efficient filtering of adult content using textual information. - Thomas Largillier; Guillaume Peyronnet; Sylvain Peyronnet (CoRR, 2015)

Approximate planning and verification for large Markov decision processes. - Richard Lassaigne; Sylvain Peyronnet (Int. J. Softw. Tools Technol. Transf., 2015)

On the Evaluation Potential of Quality Functions in Community Detection for Different Contexts. - Jean Creusefond; Thomas Largillier; Sylvain Peyronnet (NetSci-X, 2016)

Image search using multilingual texts: a cross-modal learning approach between image and text Maxime Portaz Qwant Research. - Maxime Portaz; Hicham Randrianarivo; Adrien Nivaggioli; Estelle Maudet; Christophe Servan; Sylvain Peyronnet (CoRR, 2019)

QISS: An Open Source Image Similarity Search Engine. - Maxime Portaz; Adrien Nivaggioli; Hicham Randrianarivo; Ilyes Kacher; Sylvain Peyronnet (ECIR (2), 2020)

Graphcore C2 Card performance for image-based deep learning application: A Report. - Ilyes Kacher; Maxime Portaz; Hicham Randrianarivo; Sylvain Peyronnet (CoRR, 2020)