The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Richard Lassaigne: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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. 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]
  3. Richard Lassaigne, Sylvain Peyronnet
    Approximate Verification of Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2002, pp:213-214 [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]

  13. Cell Assisted APMC. [Citation Graph (, )][DBLP]


  14. Probabilistic verification and approximation. [Citation Graph (, )][DBLP]


  15. Coverage-biased Random Exploration of Models. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002