Sylvain Peyronnet

Citado por

	Total	Desde 2019
Citas	1354	310
Índice h	19	9
Índice i10	30	8

120

20042005200620072008200920102011201220132014201520162017201820192020202120222023202410 9 51 35 30 57 80 98 105 73 96 96 78 96 84 54 81 53 60 50 12

Coautores

Lassaigne RichardDirección de correo verificada de math.univ-paris-diderot.fr
Thomas HeraultUniversity of TennesseeDirección de correo verificada de eecs.utk.edu
Thomas LargillierBabbar.tech (co-founder), Assistant Professor (on leave) - Research engineer at ix-labsDirección de correo verificada de ix-labs.org
Jérôme DarbonDivision of Applied Mathematics, Brown UniversityDirección de correo verificada de brown.edu
Marie-Claude GaudelHonorary Professor of Computer Science, Université de Paris-Sud, OrsayDirección de correo verificada de lri.fr
Alain DeniseUniversité Paris-SaclayDirección de correo verificada de lri.fr
Johan OudinetPostdoc in Computer Science, Technische Universität München (TUM)Dirección de correo verificada de cs.tum.edu
Franck CappelloArgonne National Laboratory, IEEE FellowDirección de correo verificada de anl.gov
Marie DuflotLORIA - Université de Lorraine & INRIADirección de correo verificada de inria.fr
Claudine PicaronnyMaître de conférences, ENS CachanDirección de correo verificada de lsv.ens-cachan.fr
Ala RezmeritaPost-doc, Inria, Gif-Sur-YvetteDirección de correo verificada de lri.fr
S osherDirección de correo verificada de math.ucla.edu
T F ChanPresident, King Abdullah University of Science & TechnologyDirección de correo verificada de kaust.edu.sa
Sebastien TixeuilProfessor of Computer Science, Sorbonne Université, LIP6 & IUFDirección de correo verificada de lip6.fr
Guillaume Peyronnetix-labsDirección de correo verificada de ix-labs.org
Maxime PORTAZGraphcoreDirección de correo verificada de maximeportaz.fr
Hicham RANDRIANARIVOHuaweiDirección de correo verificada de huawei-partners.com
Camille CotiÉcole de Technologie Supérieure (ÉTS Montréal)Dirección de correo verificada de etsmtl.ca
Laurent FRIBOURGLMF - ENS Paris-Saclay & CNRSDirección de correo verificada de lsv.fr
Fatiha ZaïdiUniversité Paris-Sud XIDirección de correo verificada de lri.fr

Seguir

Sylvain Peyronnet

Babbar.tech (CEO), ix-labs (CEO), former Full Prof in CS

Dirección de correo verificada de ix-labs.org - Página principal

Approximate verification Probabilistic algorithms Algorithms for the social web Adversarial IR


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Approximate probabilistic model checking T Hérault, R Lassaigne, F Magniette, S Peyronnet Verification, Model Checking, and Abstract Interpretation: 5th International …, 2004	420	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	74	2005
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	59	2013
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	59	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	54	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	52	2007
Probabilistic verification and approximation R Lassaigne, S Peyronnet Annals of Pure and Applied Logic 152 (1-3), 122-131, 2008	48	2008
Practical applications of probabilistic model checking to communication protocols M Duflot, M Kwiatkowska, G Norman, D Parker, S Peyronnet, C Picaronny, ... Formal Methods for Industrial Critical Systems: A Survey of Applications …, 2012	47	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	42	2012
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	32	2011
On the evaluation potential of quality functions in community detection for different contexts J Creusefond, T Largillier, S Peyronnet Advances in Network Science: 12th International Conference and School …, 2016	31	2016
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
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
Three high performance architectures in the parallel APMC boat K Hamidouche, A Borghi, P Esterie, J Falcou, S Peyronnet 2010 Ninth International Workshop on Parallel and Distributed Methods in …, 2010	18	2010

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores