Sylvain Peyronnet

Affiliations:
  • University of Caen Normandy, France
  • Qwant, Rouen, France


According to our database1, Sylvain Peyronnet authored at least 42 papers between 2001 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Graphcore C2 Card performance for image-based deep learning application: A Report.
CoRR, 2020

QISS: An Open Source Image Similarity Search Engine.
Proceedings of the Advances in Information Retrieval, 2020

2019
Image search using multilingual texts: a cross-modal learning approach between image and text Maxime Portaz Qwant Research.
CoRR, 2019

2016
On the Evaluation Potential of Quality Functions in Community Detection for Different Contexts.
Proceedings of the Advances in Network Science, 2016

2015
Approximate planning and verification for large Markov decision processes.
Int. J. Softw. Tools Technol. Transf., 2015

Efficient filtering of adult content using textual information.
CoRR, 2015

Finding compact communities in large graphs.
Proceedings of the 2015 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2015

2014
Rocovo: robust communal publication scheme.
Proceedings of the Symposium on Applied Computing, 2014

2013
A Simple Compressive Sensing Algorithm for Parallel Many-Core Architectures.
J. Signal Process. Syst., 2013

2012
Coverage-biased random exploration of large models and application to testing.
Int. J. Softw. Tools Technol. Transf., 2012

Webspam demotion: Low complexity node aggregation methods.
Neurocomputing, 2012

Approximate Verification and Enumeration Problems.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

2011
Exact optimization for the ℓ<sup>1</sup>-Compressive Sensing problem using a modified Dantzig-Wolfe method.
Theor. Comput. Sci., 2011

Detecting Webspam Beneficiaries Using Information Collected by the Random Surfer.
Int. J. Organ. Collect. Intell., 2011

QCG-OMPI: MPI applications on grids.
Future Gener. Comput. Syst., 2011

Uniform Monte-Carlo Model Checking.
Proceedings of the Fundamental Approaches to Software Engineering, 2011

2010
SpotRank: a robust voting system for social news websites.
Proceedings of the 4th ACM Workshop on Information Credibility on the Web, 2010

Using Patterns in the Behavior of the Random Surfer to Detect Webspam Beneficiaries.
Proceedings of the Web Information Systems Engineering - WISE 2010 Workshops, 2010

Lightweight Clustering Methods for Webspam Demotion.
Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence, 2010

Brief announcement: Lower bounds on communication for sparse Cholesky factorization of a model problem.
Proceedings of the SPAA 2010: Proceedings of the 22nd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2010

Supple: a flexible probabilistic data dissemination protocol for wireless sensor networks.
Proceedings of the 13th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2010

A Compressive Sensing Algorithm for Many-Core Architectures.
Proceedings of the Advances in Visual Computing - 6th International Symposium, 2010

Partial Ranking of Products for Recommendation Systems.
Proceedings of the E-Commerce and Web Technologies, 11th International Conference, 2010

SAFE-OS: A secure and usable desktop operating system.
Proceedings of the CRiSIS 2010, 2010

Planning Large Data Transfers in Institutional Grids.
Proceedings of the 10th IEEE/ACM International Conference on Cluster, 2010

2009
High accuracy failure injection in parallel and distributed systems using virtualization.
Proceedings of the 6th Conference on Computing Frontiers, 2009

2008
Coverage-biased Random Exploration of Models.
Proceedings of the Fourth Workshop on Model Based Testing, 2008

Cell Assisted APMC.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Emulation platform for high accuracy failure injection in grids.
Proceedings of the High Speed and Large Scale Scientific Computing - Selected Papers from the High Performance Computing Workshop, Cetraro, Italy, June 30, 2008

Grid Services for MPI.
Proceedings of the 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2008), 2008

2006
Evaluating Complex MAC Protocols for Sensor Networks with APMC.
Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, 2006

Probabilistic verification of sensor networks.
Proceedings of the 4th International Confernce on Computer Sciences: Research, 2006

APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains.
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

Uniform random sampling of traces in very large models.
Proceedings of the 1st International Workshop on Random Testing, 2006

Modeling of Sensor Networks Using XRM.
Proceedings of the Leveraging Applications of Formal Methods, 2006

2005
Probabilistic Verification and Approximation.
Proceedings of the 12th Workshop on Logic, Language, Information and Computation, 2005

Distribution, Approximation and Probabilistic Model Checking.
Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification, 2005

A Vectorial Self-dual Morphological Filter Based on Total Variation Minimization.
Proceedings of the Advances in Visual Computing, First International Symposium, 2005

2004
Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC.
Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, 2004

Approximate Probabilistic Model Checking.
Proceedings of the Verification, 2004

2002
Approximate Verification of Probabilistic Systems.
Proceedings of the Process Algebra and Probabilistic Methods, 2002

2001
Probabilistic abstraction for model checking: An approach based on property testing
Electron. Colloquium Comput. Complex., 2001


  Loading...