Search the dblp DataBase

Publications of Author

1. Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet
   Uniform random sampling of traces in very large models. [Citation Graph (0, 0)][DBLP]
   Random Testing, 2006, pp:10-19 [Conf]
   
2. Jérôme Darbon, Sylvain Peyronnet
   A Vectorial Self-dual Morphological Filter Based on Total Variation Minimization. [Citation Graph (0, 0)][DBLP]
   ISVC, 2005, pp:388-395 [Conf]
   
3. Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont
   Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing. [Citation Graph (0, 0)][DBLP]
   LICS, 2002, pp:30-39 [Conf]
   
4. Richard Lassaigne, Sylvain Peyronnet
   Approximate Verification of Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
   PAPM-PROBMIV, 2002, pp:213-214 [Conf]
   
5. Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet
   APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains. [Citation Graph (0, 0)][DBLP]
   QEST, 2006, pp:129-130 [Conf]
   
6. Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Sylvain Peyronnet
   Approximate Probabilistic Model Checking. [Citation Graph (0, 0)][DBLP]
   VMCAI, 2004, pp:73-84 [Conf]
   
7. Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont
   Probabilistic abstraction for model checking: An approach based on property testing [Citation Graph (0, 0)][DBLP]
   Electronic Colloquium on Computational Complexity (ECCC), 2001, v:8, n:51, pp:- [Journal]
   
8. Marie Duflot, Laurent Fribourg, Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Stéphane Messika, Sylvain Peyronnet, Claudine Picaronny
   Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:195-214 [Journal]
   
9. Guillaume Guirado, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet
   Distribution, Approximation and Probabilistic Model Checking. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:135, n:2, pp:19-30 [Journal]
   
10. Richard Lassaigne, Sylvain Peyronnet
    Probabilistic Verification and Approximation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:143, n:, pp:101-114 [Journal]
    
11. Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet
    Uniform Random Sampling of Traces in Very Large Models [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
    
12. Michaël Cadilhac, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, Sébastien Tixeuil
    Evaluating Complex MAC Protocols for Sensor Networks with APMC. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:185, n:, pp:33-46 [Journal]
    
13. Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont
    Probabilistic abstraction for model checking: An approach based on property testing. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2007, v:8, n:4, pp:- [Journal]
    
14. 
    Grid Services for MPI. [Citation Graph (, )][DBLP]
    
    
15. 
    Planning Large Data Transfers in Institutional Grids. [Citation Graph (, )][DBLP]
    
    
16. 
    High accuracy failure injection in parallel and distributed systems using virtualization. [Citation Graph (, )][DBLP]
    
    
17. 
    Partial Ranking of Products for Recommendation Systems. [Citation Graph (, )][DBLP]
    
    
18. 
    Modeling of Sensor Networks Using XRM. [Citation Graph (, )][DBLP]
    
    
19. 
    Cell Assisted APMC. [Citation Graph (, )][DBLP]
    
    
20. 
    Probabilistic verification of sensor networks. [Citation Graph (, )][DBLP]
    
    
21. 
    Brief announcement: Lower bounds on communication for sparse Cholesky factorization of a model problem. [Citation Graph (, )][DBLP]
    
    
22. 
    SpotRank: a robust voting system for social news websites. [Citation Graph (, )][DBLP]
    
    
23. 
    Probabilistic verification and approximation. [Citation Graph (, )][DBLP]
    
    
24. 
    Coverage-biased Random Exploration of Models. [Citation Graph (, )][DBLP]