Richard Lassaigne
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2002–2012
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | SAC | Approximate planning and verification for large markov decision processes. | Richard Lassaigne, Sylvain Peyronnet |
| 2011 | FASE | Uniform Monte-Carlo Model Checking. | Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, Sylvain Peyronnet |
| 2006 | ISSTA | Uniform random sampling of traces in very large models. | Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet |
| 2004 | VMCAI | Approximate Probabilistic Model Checking. | Thomas Hrault, Richard Lassaigne, Frdric Magniette, Sylvain Peyronnet |
| 2002 | LICS | Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing. | Sophie Laplante, Richard Lassaigne, Frdric Magniez, Sylvain Peyronnet, Michel de Rougemont |