According to our database1, Sylvain Peyronnet authored at least 40 papers between 2001 and 2016.
Legend:Book In proceedings Article PhD thesis Other
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.
Webspam demotion: Low complexity node aggregation methods.
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.
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