| Approximate probabilistic model checking T Hérault, R Lassaigne, F Magniette, S Peyronnet International Workshop on Verification, Model Checking, and Abstract …, 2004 | 384 | 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 | 67 | 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 | 55 | 2006 |
| Approximate planning and verification for large Markov decision processes R Lassaigne, S Peyronnet International Journal on Software Tools for Technology Transfer 17 (4), 457-467, 2015 | 50 | 2015 |
| Probabilistic verification and approximation R Lassaigne, S Peyronnet Annals of Pure and Applied Logic 152 (1-3), 122-131, 2008 | 46 | 2008 |
| Practical applications of probabilistic model checking to communication protocols M Duflot, M Kwiatkowska, G Norman, D Parker, S Peyronnet, C Picaronny, ... Wiley, 2012 | 42 | 2012 |
| 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 (1), 73-93, 2012 | 41 | 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, 2007 | 41 | 2007 |
| Approximate verification of probabilistic systems R Lassaigne, S Peyronnet Joint International Workshop von Process Algebra and Probabilistic Methods …, 2002 | 36 | 2002 |
| On the evaluation potential of quality functions in community detection for different contexts J Creusefond, T Largillier, S Peyronnet International Conference and School on Network Science, 111-125, 2016 | 31 | 2016 |
| A simple compressive sensing algorithm for parallel many-core architectures A Borghi, J Darbon, S Peyronnet, TF Chan, S Osher Journal of Signal Processing Systems 71 (1), 1-20, 2013 | 31 | 2013 |
| Uniform monte-carlo model checking J Oudinet, A Denise, MC Gaudel, R Lassaigne, S Peyronnet International Conference on Fundamental Approaches to Software Engineering …, 2011 | 31 | 2011 |
| Supple: a flexible probabilistic data dissemination protocol for wireless sensor networks A Carneiro Viana, T Herault, T Largillier, S Peyronnet, F Zaïdi Proceedings of the 13th ACM international conference on Modeling, analysis …, 2010 | 28 | 2010 |
| A simple compressive sensing algorithm for parallel many-core architectures A Borghi, J Darbon, S Peyronnet, TF Chan, S Osher CAM Report, 2008 | 28 | 2008 |
| 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 |
| Probabilistic verification of sensor networks. A Demaille, T Hérault, S Peyronnet RIVF, 45-54, 2006 | 25 | 2006 |
| Grid services for MPI C Coti, T Herault, S Peyronnet, A Rezmerita, F Cappello 2008 Eighth IEEE International Symposium on Cluster Computing and the Grid …, 2008 | 24 | 2008 |
| 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 |
| Modeling of sensor networks using XRM A Demaille, S Peyronnet, B Sigoure Second International Symposium on Leveraging Applications of Formal Methods …, 2006 | 20 | 2006 |
| 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 |
Lassaigne RichardVerified email at math.univ-paris-diderot.fr
