Probabilistic abstraction for model checking: An approach based on property testing - Sophie Laplante; Richard Lassaigne; Frédéric Magniez; Sylvain Peyronnet; Michel de Rougemont (Electron. Colloquium Comput. Complex., 2001)

Approximate Verification of Probabilistic Systems. - Richard Lassaigne; Sylvain Peyronnet (PAPM-PROBMIV, 2002)

Logic and complexity. - Richard Lassaigne; Michel de Rougemont (Springer, 2004)

Approximate Probabilistic Model Checking. - Thomas Hérault; Richard Lassaigne; Frédéric Magniette; Sylvain Peyronnet (VMCAI, 2004)

Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC. - Marie Duflot; Laurent Fribourg; Thomas Hérault; Richard Lassaigne; Frédéric Magniette; Stéphane Messika; Sylvain Peyronnet; Claudine Picaronny (AVoCS, 2004)

Distribution, Approximation and Probabilistic Model Checking. - Guillaume Guirado; Thomas Hérault; Richard Lassaigne; Sylvain Peyronnet (PDMC@ICALP, 2005)

Probabilistic Verification and Approximation. - Richard Lassaigne; Sylvain Peyronnet (WoLLIC, 2005)

Uniform random sampling of traces in very large models. - Alain Denise; Marie-Claude Gaudel; Sandrine-Dominique Gouraud; Richard Lassaigne; Sylvain Peyronnet (Random Testing, 2006)

APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains. - Thomas Hérault; Richard Lassaigne; Sylvain Peyronnet (QEST, 2006)

Evaluating Complex MAC Protocols for Sensor Networks with APMC. - Michaël Cadilhac; Thomas Hérault; Richard Lassaigne; Sylvain Peyronnet; Sébastien Tixeuil (AVoCS, 2006)

Cell Assisted APMC. - Alexandre Borghi; Thomas Hérault; Richard Lassaigne; Sylvain Peyronnet (QEST, 2008)

Coverage-biased Random Exploration of Models. - Marie-Claude Gaudel; Alain Denise; Sandrine-Dominique Gouraud; Richard Lassaigne; Johan Oudinet; Sylvain Peyronnet (MBT@ETAPS, 2008)

Uniform Monte-Carlo Model Checking. - Johan Oudinet; Alain Denise; Marie-Claude Gaudel; Richard Lassaigne; Sylvain Peyronnet (FASE, 2011)

Coverage-biased random exploration of large models and application to testing. - Alain Denise; Marie-Claude Gaudel; Sandrine-Dominique Gouraud; Richard Lassaigne; Johan Oudinet; Sylvain Peyronnet (Int. J. Softw. Tools Technol. Transf., 2012)

Some approximations in Model Checking and Testing - Marie-Claude Gaudel; Richard Lassaigne; Frédéric Magniez; Michel de Rougemont (CoRR, 2013)

Approximate planning and verification for large Markov decision processes. - Richard Lassaigne; Sylvain Peyronnet (Int. J. Softw. Tools Technol. Transf., 2015)

Testing membership for timed automata. - Richard Lassaigne; Michel de Rougemont (Acta Informatica, 2023)