Sylvain Peyronnet

According to our database1, Sylvain Peyronnet authored at least 40 papers between 2001 and 2016.

Collaborative distances:



In proceedings 
PhD thesis 





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

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

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

A Simple Compressive Sensing Algorithm for Parallel Many-Core Architectures.
Signal Processing Systems, 2013

Coverage-biased random exploration of large models and application to testing.
STTT, 2012

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

Approximate planning and verification for large markov decision processes.
Proceedings of the ACM Symposium on Applied Computing, 2012

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

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

Detecting Webspam Beneficiaries Using Information Collected by the Random Surfer.
IJOCI, 2011

QCG-OMPI: MPI applications on grids.
Future Generation Comp. Syst., 2011

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

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

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

Coverage-biased Random Exploration of Models.
Electr. Notes Theor. Comput. Sci., 2008

Probabilistic verification and approximation.
Ann. Pure Appl. Logic, 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

Evaluating Complex MAC Protocols for Sensor Networks with APMC.
Electr. Notes Theor. Comput. Sci., 2007

Probabilistic Verification and Approximation.
Electr. Notes Theor. Comput. Sci., 2006

Distribution, Approximation and Probabilistic Model Checking.
Electr. Notes Theor. Comput. Sci., 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

Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC.
Electr. Notes Theor. Comput. Sci., 2005

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

Approximate Probabilistic Model Checking.
Proceedings of the Verification, 2004

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

Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing.
Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

Probabilistic abstraction for model checking: An approach based on property testing
Electronic Colloquium on Computational Complexity (ECCC), 2001