Richard Lassaigne

According to our database, Richard Lassaigne authored at least 17 papers between 2002 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Testing membership for timed automata.

Richard Lassaigne, Michel de Rougemont

Acta Informatica, December, 2023

2015

Approximate planning and verification for large Markov decision processes.

Richard Lassaigne, Sylvain Peyronnet

Int. J. Softw. Tools Technol. Transf., 2015

2013

Some approximations in Model Checking and Testing

Marie-Claude Gaudel, Richard Lassaigne, Frédéric Magniez, Michel de Rougemont

CoRR, 2013

2012

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

2011

Uniform Monte-Carlo Model Checking.

Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, Sylvain Peyronnet

Proceedings of the Fundamental Approaches to Software Engineering, 2011

2008

Coverage-biased Random Exploration of Models.

Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet

Proceedings of the Fourth Workshop on Model Based Testing, 2008

Cell Assisted APMC.

Alexandre Borghi, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

2007

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

Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont

ACM Trans. Comput. Log., 2007

2006

Evaluating Complex MAC Protocols for Sensor Networks with APMC.

Michaël Cadilhac, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, Sébastien Tixeuil

Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, 2006

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

Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

Uniform random sampling of traces in very large models.

Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet

Proceedings of the 1st International Workshop on Random Testing, 2006

2005

Probabilistic Verification and Approximation.

Richard Lassaigne, Sylvain Peyronnet

Proceedings of the 12th Workshop on Logic, Language, Information and Computation, 2005

Distribution, Approximation and Probabilistic Model Checking.

Guillaume Guirado, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet

Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification, 2005

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

Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, 2004

Approximate Probabilistic Model Checking.

Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Sylvain Peyronnet

Proceedings of the Verification, 2004

Logic and complexity.

Richard Lassaigne, Michel de Rougemont

Discrete mathematics and theoretical computer science, Springer, ISBN: 978-1-85233-565-6, 2004

2002

Approximate Verification of Probabilistic Systems.

Richard Lassaigne, Sylvain Peyronnet

Proceedings of the Process Algebra and Probabilistic Methods, 2002