I am currently on leave from a full professor position at University of Normandy. I am co-founder and head of the ix-labs, a private research lab located in Rouen, France.

You might consider submitting your best paper to iSWAG 2015.


List of all my publications:

Currently on Arxiv and nowhere else

47. Finding compact communities in large graphs. jean Creusefond, Thomas Largillier and Sylvain Peyronnet. http://arxiv.org/abs/1410.2105

Accepted but not yet published

None

2014

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.
44. Informatique Mathématique : Une photographie en 2014. Editeur de cet ouvrage collectif.
43. Rocovo : Robust Communal Publication Scheme. Thomas Largillier, Guillaume Peyronnet and Sylvain Peyronnet. ACM SAC – sonama 2014.

2013

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.

2012

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).

2011

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.

2010

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.

2009

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.

2008

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)

2007

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)

2006

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)

2005

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.

2004

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)

2002

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)