Follow
Lassaigne Richard
Lassaigne Richard
Unknown affiliation
Verified email at math.univ-paris-diderot.fr
Title
Cited by
Cited by
Year
Approximate probabilistic model checking
T Hérault, R Lassaigne, F Magniette, S Peyronnet
Verification, Model Checking, and Abstract Interpretation: 5th International …, 2004
4182004
Probabilistic model checking of the CSMA/CD protocol using PRISM and APMC
M Duflot, L Fribourg, T Herault, R Lassaigne, F Magniette, S Messika, ...
Electronic Notes in Theoretical Computer Science 128 (6), 195-214, 2005
742005
APMC 3.0: Approximate verification of discrete and continuous time Markov chains
S Peyronnet, R Lassaigne, T Herault
Third International Conference on the Quantitative Evaluation of Systems …, 2006
582006
Approximate planning and verification for large Markov decision processes
R Lassaigne, S Peyronnet
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1314-1319, 2012
542012
Probabilistic abstraction for model checking: An approach based on property testing
S Laplante, R Lassaigne, F Magniez, S Peyronnet, M De Rougemont
ACM Transactions on Computational Logic (TOCL) 8 (4), 20-es, 2007
522007
Coverage-biased random exploration of large models and application to testing
A Denise, MC Gaudel, SD Gouraud, R Lassaigne, J Oudinet, S Peyronnet
International Journal on Software Tools for Technology Transfer 14, 73-93, 2012
422012
Approximate verification of probabilistic systems
R Lassaigne, S Peyronnet
Joint International Workshop von Process Algebra and Probabilistic Methods …, 2002
402002
Logique et complexité
R Lassaigne, M de Rougemont
Hermes, 1996
391996
Uniform monte-carlo model checking
J Oudinet, A Denise, MC Gaudel, R Lassaigne, S Peyronnet
Fundamental Approaches to Software Engineering: 14th International …, 2011
322011
Probabilistic verification and approximation
R Lassaigne, S Peyronnet
Annals of Pure and Applied Logic 152 (1-3), 122-131, 2008
312008
Logic and complexity
R Lassaigne, M De Rougemont
Springer Science & Business Media, 2012
302012
Uniform random sampling of traces in very large models
A Denise, MC Gaudel, SD Gouraud, R Lassaigne, S Peyronnet
Proceedings of the 1st international workshop on Random testing, 10-19, 2006
252006
Logique et fondements de l’informatique
R Lassaigne, M De Rougemont
Hermes, Paris, 1993
241993
Coverage-biased random exploration of models
MC Gaudel, A Denise, SD Gouraud, R Lassaigne, J Oudinet, S Peyronnet
Electronic Notes in Theoretical Computer Science 220 (1), 3-14, 2008
202008
Coverage-biased random exploration of models
MC Gaudel, A Denise, SD Gouraud, R Lassaigne, J Oudinet, S Peyronnet
Electronic Notes in Theoretical Computer Science 220 (1), 3-14, 2008
202008
Distribution, approximation and probabilistic model checking
G Guirado, T Herault, R Lassaigne, S Peyronnet
Electronic Notes in Theoretical Computer Science 135 (2), 19-30, 2006
202006
Evaluating complex MAC protocols for sensor networks with APMC
M Cadilhac, T Hérault, R Lassaigne, S Peyronnet, S Tixeuil
Electronic Notes in Theoretical Computer Science 185, 33-46, 2007
182007
Probabilistic verification and approximation
R Lassaigne, S Peyronnet
Electronic Notes in Theoretical Computer Science 143, 101-114, 2006
172006
Approximate probabilistic model checking for programs
J Darbon, R Lassaigne, S Peyronnet
Second IEEE International Conference on Intelligent Computer Communication …, 2006
62006
Cell assisted APMC
A Borghi, T Hérault, R Lassaigne, S Peyronnet
2008 Fifth International Conference on Quantitative Evaluation of Systems, 75-76, 2008
52008
The system can't perform the operation now. Try again later.
Articles 1–20