Richard Lassaigne - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

2023

Testing membership for timed automataRichard Lassaigne, Michel de Rougemont. ACTA, 60(4):361-384, December 2023. [doi]

2015

Approximate planning and verification for large Markov decision processesRichard Lassaigne, Sylvain Peyronnet. STTT, 17(4):457-467, 2015. [doi]

2012

Coverage-biased random exploration of large models and application to testingAlain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet. STTT, 14(1):73-93, 2012. [doi]

Approximate planning and verification for large markov decision processesRichard Lassaigne, Sylvain Peyronnet. SAC 2012: 1314-1319 [doi]

2011

Uniform Monte-Carlo Model CheckingJohan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, Sylvain Peyronnet. FASE 2011: 127-140 [doi]

2008

2007

Evaluating Complex MAC Protocols for Sensor Networks with APMCMichaël Cadilhac, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, Sébastien Tixeuil. ENTCS, 185:33-46, 2007. [doi]

Probabilistic abstraction for model checking: An approach based on property testingSophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont. tocl, 8(4):20, 2007. [doi]

2006

2005

Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMCMarie Duflot, Laurent Fribourg, Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Stéphane Messika, Sylvain Peyronnet, Claudine Picaronny. ENTCS, 128(6):195-214, 2005. [doi]

2004

Approximate Probabilistic Model CheckingThomas Hérault, Richard Lassaigne, Frédéric Magniette, Sylvain Peyronnet. vmcai 2004: 73-84 [doi]

Logic and complexityRichard Lassaigne, Michel de Rougemont. Discrete mathematics and theoretical computer science, Springer, 2004.

2002

Probabilistic Abstraction for Model Checking: An Approach Based on Property TestingSophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont. lics 2002: 30-39 [doi]

Approximate Verification of Probabilistic SystemsRichard Lassaigne, Sylvain Peyronnet. papm 2002: 213-214 [doi]

2001

Probabilistic abstraction for model checking: An approach based on property testingSophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont. eccc, 8(51), 2001. [doi]

Sign in or sign up to see more results.

runs on WebDSL