| Approximate probabilistic model checking T Hérault, R Lassaigne, F Magniette, S Peyronnet Verification, Model Checking, and Abstract Interpretation: 5th International …, 2004 | 427 | 2004 |
| 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 | 77 | 2005 |
| 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 | 60 | 2006 |
| 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 | 56 | 2012 |
| 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 | 49 | 2007 |
| 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 | 44 | 2012 |
| Logique et complexité R Lassaigne, M de Rougemont Hermes, 1996 | 41 | 1996 |
| Approximate verification of probabilistic systems R Lassaigne, S Peyronnet Joint International Workshop von Process Algebra and Probabilistic Methods …, 2002 | 40 | 2002 |
| Uniform monte-carlo model checking J Oudinet, A Denise, MC Gaudel, R Lassaigne, S Peyronnet Fundamental Approaches to Software Engineering: 14th International …, 2011 | 36 | 2011 |
| Probabilistic verification and approximation R Lassaigne, S Peyronnet Annals of Pure and Applied Logic 152 (1-3), 122-131, 2008 | 33 | 2008 |
| Logic and complexity R Lassaigne, M De Rougemont Springer Science & Business Media, 2012 | 30 | 2012 |
| 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 | 25 | 2006 |
| Logique et fondements de l’informatique R Lassaigne, M De Rougemont Hermes, Paris, 1993 | 25 | 1993 |
| 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 | 20 | 2008 |
| 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 | 20 | 2006 |
| 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 | 18 | 2007 |
| Probabilistic verification and approximation R Lassaigne, S Peyronnet Electronic Notes in Theoretical Computer Science 143, 101-114, 2006 | 17 | 2006 |
| Approximate probabilistic model checking for programs J Darbon, R Lassaigne, S Peyronnet Second IEEE International Conference on Intelligent Computer Communication …, 2006 | 6 | 2006 |
| Cell assisted APMC A Borghi, T Hérault, R Lassaigne, S Peyronnet 2008 Fifth International Conference on Quantitative Evaluation of Systems, 75-76, 2008 | 5 | 2008 |
| Some approximations in model checking and testing MC Gaudel, R Lassaigne, F Magniez, M de Rougemont arXiv preprint arXiv:1304.5199, 2013 | 3 | 2013 |
