Suivre
Sylvain Peyronnet
Sylvain Peyronnet
Babbar.tech (CEO), ix-labs (CEO), former Full Prof in CS
Adresse e-mail validée de ix-labs.org - Page d'accueil
Titre
Citée par
Citée par
Année
Approximate probabilistic model checking
T Hérault, R Lassaigne, F Magniette, S Peyronnet
Verification, Model Checking, and Abstract Interpretation: 5th International …, 2004
4132004
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
722005
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
602013
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
572006
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
532012
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
532007
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
512012
Probabilistic verification and approximation
R Lassaigne, S Peyronnet
Annals of Pure and Applied Logic 152 (1-3), 122-131, 2008
472008
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
422012
Approximate verification of probabilistic systems
R Lassaigne, S Peyronnet
Joint International Workshop von Process Algebra and Probabilistic Methods …, 2002
402002
Uniform monte-carlo model checking
J Oudinet, A Denise, MC Gaudel, R Lassaigne, S Peyronnet
Fundamental Approaches to Software Engineering: 14th International …, 2011
322011
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
312016
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
282010
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
252008
Probabilistic verification of sensor networks.
A Demaille, T Hérault, S Peyronnet
RIVF, 45-54, 2006
252006
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
242006
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
Modeling of sensor networks using XRM
A Demaille, S Peyronnet, B Sigoure
Second International Symposium on Leveraging Applications of Formal Methods …, 2006
202006
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
Brief announcement: Lower bounds on communication for sparse Cholesky factorization of a model problem
L Grigori, PY David, JW Demmel, S Peyronnet
Proceedings of the twenty-second annual ACM symposium on Parallelism in …, 2010
182010
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20