Richard Lassaigne

发表

Probabilistic Verification and Approximation

Richard Lassaigne, Sylvain Peyronnet, 2006, Electron. Notes Theor. Comput. Sci..

Logic and Complexity

Michel de Rougemont, Richard Lassaigne, 2004, Discrete Mathematics and Theoretical Computer Science.

Approximate Probabilistic Model Checking

Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, 2004, VMCAI.

Approximate planning and verification for large markov decision processes

Richard Lassaigne, Sylvain Peyronnet, 2012, SAC.

Coverage-biased random exploration of large models and application to testing

Alain Denise, Richard Lassaigne, Sylvain Peyronnet, 2011, International Journal on Software Tools for Technology Transfer.

Models of parallel computations

Michel de Rougemont, Richard Lassaigne, 2004 .

Definability of optimization and counting problems

Michel de Rougemont, Richard Lassaigne, 2004 .

APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains

Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).

First-order definability

Michel de Rougemont, Richard Lassaigne, 2004 .

Classes beyond NP

Michel de Rougemont, Richard Lassaigne, 2004 .

Approximations in Model-Checking and Testing

Frédéric Magniez, Richard Lassaigne, Marie-Claude Gaudel, 2013 .

Distribution, Approximation and Probabilistic Model Checking

Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, 2006, PDMC@ICALP.

Inductive definitions and second-order logic

Michel de Rougemont, Richard Lassaigne, 2004 .

Completeness of first order logic

Michel de Rougemont, Richard Lassaigne, 2004 .

Probabilistic verification and approximation

Richard Lassaigne, Sylvain Peyronnet, Sylvain Peyronnet, 2008, Ann. Pure Appl. Log..

First-order logic

Michel de Rougemont, Richard Lassaigne, 2004 .

Uniform random sampling of traces in very large models pdf

Alain Denise, Richard Lassaigne, Sylvain Peyronnet, 2006, RT '06.

Coverage-biased Random Exploration of Models

Alain Denise, Richard Lassaigne, Sylvain Peyronnet, 2008, Electron. Notes Theor. Comput. Sci..

Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC

Thomas Hérault, Laurent Fribourg, Marie Duflot, 2005, AVoCS.

Evaluating Complex MAC Protocols for Sensor Networks with APMC

Thomas Hérault, Sébastien Tixeuil, Michaël Cadilhac, 2007, Electron. Notes Theor. Comput. Sci..

Approximate planning and verification for large Markov decision processes

Richard Lassaigne, Sylvain Peyronnet, 2012, SAC '12.

Some approximations in Model Checking and Testing pdf

Frédéric Magniez, Michel de Rougemont, Richard Lassaigne, 2013, ArXiv.

Approximate Verification of Probabilistic Systems

Richard Lassaigne, Sylvain Peyronnet, Sylvain Peyronnet, 2002, PAPM-PROBMIV.

Models of computation

Michel de Rougemont, Richard Lassaigne, 2004 .

Cell Assisted APMC

Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, 2008, 2008 Fifth International Conference on Quantitative Evaluation of Systems.

Probabilistic abstraction for model checking: an approach based on property testing

Frédéric Magniez, Michel de Rougemont, Richard Lassaigne, 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.

Probabilistic abstraction for model checking: An approach based on property testing

Frédéric Magniez, Michel de Rougemont, Richard Lassaigne, 2007, TOCL.

Complexity: time and space

Michel de Rougemont, Richard Lassaigne, 2004 .

Testing Membership for Timed Automata pdf

Michel de Rougemont, Richard Lassaigne, 2019, ArXiv.

Uniform Monte-Carlo Model Checking

Alain Denise, Richard Lassaigne, Sylvain Peyronnet, 2011, FASE.