3 Journal papers, 1 book chapter and 16 conferences. Categorized by year of acceptance.
2008
20. Coverage-biased random exploration of large models. Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, and Sylvain Peyronnet. Invited paper, MBT 2008.
19. Cell assisted APMC. Alexandre Borghi, Thomas Herault, Richard Lassaigne and Sylvain Peyronnet. Qest 2008.
18. Grid Services for MPI. Camille Coti, Thomas Herault, Sylvain Peyronnet, Ala Rezmerita and Franck Cappello.
CCGRID 2008.
2007
17. Probabilistic verification and approximation. Richard Lassaigne and Sylvain Peyronnet. APAL, Journal.
16. 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.
2006
15. Probabilistic abstraction for model checking: An approach based on property testing. Sophie Laplante, Richard Lassaigne, Frederic Magniez, Sylvain Peyronnet and Michel de Rougemont. ACM TOCL, Journal. pdf.
14. 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.
13. Probabilistic verification of sensor networks. Akim Demaille, Thomas Herault and Sylvain Peyronnet. RIVF 2006. pdf.
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).
11. APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains. Richard Lassaigne, Thomas Herault and Sylvain Peyronnet. Qest 2006 (tool 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.
8. Modeling of Sensor Networks Using XRM. Akim Demaille, Sylvain Peyronnet and Benoit Sigoure. Isola 2006. pdf.
2005
7. Probabilistic verification and approximation. Richard Lassaigne and Sylvain Peyronnet. WOLLIC 2005. ps.
6. Distribution, approximation and probabilistic model checking. Guillaume Guirado, Thomas Herault, Richard Lassaigne and Sylvain Peyronnet. PDMC 2005. ps.
5. A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization. Jerome Darbon and Sylvain Peyronnet. ISVC 2005. pdf.
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. ps.
2003
3. Approximate Probabilistic Model Checking. Thomas Herault, Richard Lassaigne, Frederic Magniette and Sylvain Peyronnet. VMCAI 2004. pdf.
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.
1. Approximate verification of probabilistic systems. Richard Lassaigne and Sylvain Peyronnet. PAPM-PROBMIV 2002. ps.