Richard Lassaigne

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 3

Top Topics

Top Venues

Int. J. Softw. Tools Technol. Transf.

Acta Informatica

Publications

Richard Lassaigne, Michel de Rougemont
Testing membership for timed automata. Acta Informatica 60 (4) (2023)
Richard Lassaigne, Michel de Rougemont
Testing Membership for Timed Automata. CoRR (2019)
Richard Lassaigne, Sylvain Peyronnet
Approximate planning and verification for large Markov decision processes. Int. J. Softw. Tools Technol. Transf. 17 (4) (2015)
Marie-Claude Gaudel, Richard Lassaigne, Frédéric Magniez, Michel de Rougemont
Some approximations in Model Checking and Testing CoRR (2013)
Richard Lassaigne, Sylvain Peyronnet
Approximate planning and verification for large markov decision processes. SAC (2012)
Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet
Coverage-biased random exploration of large models and application to testing. Int. J. Softw. Tools Technol. Transf. 14 (1) (2012)
Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, Sylvain Peyronnet
Uniform Monte-Carlo Model Checking. FASE (2011)
Alexandre Borghi, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet
Cell Assisted APMC. QEST (2008)
Richard Lassaigne, Sylvain Peyronnet
Probabilistic verification and approximation. Ann. Pure Appl. Log. 152 (1-3) (2008)
Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet
Coverage-biased Random Exploration of Models. Electron. Notes Theor. Comput. Sci. 220 (1) (2008)
Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont
Probabilistic abstraction for model checking: An approach based on property testing. ACM Trans. Comput. Log. 8 (4) (2007)
Michaël Cadilhac, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, Sébastien Tixeuil
Evaluating Complex MAC Protocols for Sensor Networks with APMC. Electron. Notes Theor. Comput. Sci. 185 (2007)
Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet
APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains. QEST (2006)
Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet
Uniform random sampling of traces in very large models. Random Testing (2006)
Guillaume Guirado, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet
Distribution, Approximation and Probabilistic Model Checking. Electron. Notes Theor. Comput. Sci. 135 (2) (2006)
Richard Lassaigne, Sylvain Peyronnet
Probabilistic Verification and Approximation. Electron. Notes Theor. Comput. Sci. 143 (2006)
Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet
Uniform Random Sampling of Traces in Very Large Models CoRR (2006)
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. Electron. Notes Theor. Comput. Sci. 128 (6) (2005)
Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Sylvain Peyronnet
Approximate Probabilistic Model Checking. VMCAI (2004)
Richard Lassaigne, Sylvain Peyronnet
Approximate Verification of Probabilistic Systems. PAPM-PROBMIV (2002)
Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont
Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing. LICS (2002)
Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont
Probabilistic abstraction for model checking: An approach based on property testing Electron. Colloquium Comput. Complex. 8 (51) (2001)