Sylvain Peyronnet

	2012
36		Thomas Largillier, Sylvain Peyronnet: Webspam demotion: Low complexity node aggregation methods. Neurocomputing 76(1): 105-113 (2012)
35		Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet: Coverage-biased random exploration of large models and application to testing. STTT 14(1): 73-93 (2012)
	2011
34		Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, Sylvain Peyronnet: Uniform Monte-Carlo Model Checking. FASE 2011: 127-140
33		Emmanuel Agullo, Camille Coti, Thomas Hérault, Julien Langou, Sylvain Peyronnet, Ala Rezmerita, Franck Cappello, Jack Dongarra: QCG-OMPI: MPI applications on grids. Future Generation Comp. Syst. 27(4): 357-369 (2011)
32		Thomas Largillier, Sylvain Peyronnet: Detecting Webspam Beneficiaries Using Information Collected by the Random Surfer. IJOCI 2(2): 36-48 (2011)
31		Alexandre Borghi, Jérôme Darbon, Sylvain Peyronnet: Exact optimization for the ℓ1-Compressive Sensing problem using a modified Dantzig-Wolfe method. Theor. Comput. Sci. 412(15): 1325-1337 (2011)
	2010
30		Fatiha Bouabache, Thomas Hérault, Sylvain Peyronnet, Franck Cappello: Planning Large Data Transfers in Institutional Grids. CCGRID 2010: 547-552
29		François Lesueur, Ala Rezmerita, Thomas Hérault, Sylvain Peyronnet, Sébastien Tixeuil: SAFE-OS: A secure and usable desktop operating system. CRiSIS 2010: 1-7
28		Sébastien Hémon, Thomas Largillier, Sylvain Peyronnet: Partial Ranking of Products for Recommendation Systems. EC-Web 2010: 265-277
27		Alexandre Borghi, Jérôme Darbon, Sylvain Peyronnet, Tony F. Chan, Stanley Osher: A Compressive Sensing Algorithm for Many-Core Architectures. ISVC (2) 2010: 678-686
26		Aline Carneiro Viana, Thomas Hérault, Thomas Largillier, Sylvain Peyronnet, Fatiha Zaïdi: Supple: a flexible probabilistic data dissemination protocol for wireless sensor networks. MSWiM 2010: 385-392
25		Laura Grigori, Pierre-Yves David, James Demmel, Sylvain Peyronnet: Brief announcement: Lower bounds on communication for sparse Cholesky factorization of a model problem. SPAA 2010: 79-81
24		Thomas Largillier, Guillaume Peyronnet, Sylvain Peyronnet: SpotRank: a robust voting system for social news websites. WICOW 2010: 59-66
23		Thomas Largillier, Sylvain Peyronnet: Using Patterns in the Behavior of the Random Surfer to Detect Webspam Beneficiaries. WISE Workshops 2010: 241-253
22		Thomas Largillier, Sylvain Peyronnet: Lightweight Clustering Methods for Webspam Demotion. Web Intelligence 2010: 98-104
	2009
21		Thomas Hérault, Thomas Largillier, Sylvain Peyronnet, Benjamin Quétier, Franck Cappello, Mathieu Jan: High accuracy failure injection in parallel and distributed systems using virtualization. Conf. Computing Frontiers 2009: 193-196
	2008
20		Camille Coti, Thomas Hérault, Sylvain Peyronnet, Ala Rezmerita, Franck Cappello: Grid Services for MPI. CCGRID 2008: 417-424
19		Thomas Hérault, Mathieu Jan, Thomas Largillier, Sylvain Peyronnet, Benjamin Quétier, Franck Cappello: Emulation platform for high accuracy failure injection in grids. High Performance Computing Workshop 2008: 127-140
18		Alexandre Borghi, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet: Cell Assisted APMC. QEST 2008: 75-76
17		Richard Lassaigne, Sylvain Peyronnet: Probabilistic verification and approximation. Ann. Pure Appl. Logic 152(1-3): 122-131 (2008)
16		Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet: Coverage-biased Random Exploration of Models. Electr. Notes Theor. Comput. Sci. 220(1): 3-14 (2008)
	2007
15		Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont: Probabilistic abstraction for model checking: An approach based on property testing. ACM Trans. Comput. Log. 8(4): (2007)
14		Michaël Cadilhac, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, Sébastien Tixeuil: Evaluating Complex MAC Protocols for Sensor Networks with APMC. Electr. Notes Theor. Comput. Sci. 185: 33-46 (2007)
	2006
13		Akim Demaille, Sylvain Peyronnet, Benoît Sigoure: Modeling of Sensor Networks Using XRM. ISoLA 2006: 271-276
12		Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet: APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains. QEST 2006: 129-130
11		Akim Demaille, Thomas Hérault, Sylvain Peyronnet: Probabilistic verification of sensor networks. RIVF 2006: 45-54
10		Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet: Uniform random sampling of traces in very large models. Random Testing 2006: 10-19
9		Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet: Uniform Random Sampling of Traces in Very Large Models CoRR abs/cs/0606086: (2006)
8		Guillaume Guirado, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet: Distribution, Approximation and Probabilistic Model Checking. Electr. Notes Theor. Comput. Sci. 135(2): 19-30 (2006)
7		Richard Lassaigne, Sylvain Peyronnet: Probabilistic Verification and Approximation. Electr. Notes Theor. Comput. Sci. 143: 101-114 (2006)
	2005
6		Jérôme Darbon, Sylvain Peyronnet: A Vectorial Self-dual Morphological Filter Based on Total Variation Minimization. ISVC 2005: 388-395
5		Marie Duflot, Laurent Fribourg, Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Stéphane Messika, Sylvain Peyronnet, Claudine Picaronny: Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC. Electr. Notes Theor. Comput. Sci. 128(6): 195-214 (2005)
	2004
4		Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Sylvain Peyronnet: Approximate Probabilistic Model Checking. VMCAI 2004: 73-84
	2002
3		Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont: Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing. LICS 2002: 30-39
2		Richard Lassaigne, Sylvain Peyronnet: Approximate Verification of Probabilistic Systems. PAPM-PROBMIV 2002: 213-214
	2001
1		Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont: Probabilistic abstraction for model checking: An approach based on property testing Electronic Colloquium on Computational Complexity (ECCC) 8(51): (2001)

Coauthor Index

1	Emmanuel Agullo	[33]
2	Alexandre Borghi	[18] [27] [31]
3	Fatiha Bouabache	[30]
4	Michaël Cadilhac	[14]
5	Franck Cappello	[19] [20] [21] [30] [33]
6	Tony F. Chan	[27]
7	Camille Coti	[20] [33]
8	Jérôme Darbon	[6] [27] [31]
9	Pierre-Yves David	[25]
10	Akim Demaille	[11] [13]
11	James Demmel	[25]
12	Alain Denise	[9] [10] [16] [34] [35]
13	Jack Dongarra (Jack J. Dongarra)	[33]
14	Marie Duflot	[5]
15	Laurent Fribourg	[5]
16	Marie-Claude Gaudel	[9] [10] [16] [34] [35]
17	Sandrine-Dominique Gouraud	[9] [10] [16] [35]
18	Laura Grigori	[25]
19	Guillaume Guirado	[8]
20	Sébastien Hémon	[28]
21	Thomas Hérault	[4] [5] [8] [11] [12] [14] [18] [19] [20] [21] [26] [29] [30] [33]
22	Mathieu Jan	[19] [21]
23	Julien Langou	[33]
24	Sophie Laplante	[1] [3] [15]
25	Thomas Largillier	[19] [21] [22] [23] [24] [26] [28] [32] [36]
26	Richard Lassaigne	[1] [2] [3] [4] [5] [7] [8] [9] [10] [12] [14] [15] [16] [17] [18] [34] [35]
27	François Lesueur	[29]
28	Frédéric Magniette	[4] [5]
29	Frédéric Magniez	[1] [3] [15]
30	Stéphane Messika	[5]
31	Stanley Osher	[27]
32	Johan Oudinet	[16] [34] [35]
33	Guillaume Peyronnet	[24]
34	Claudine Picaronny	[5]
35	Benjamin Quétier	[19] [21]
36	Ala Rezmerita	[20] [29] [33]
37	Michel de Rougemont	[1] [3] [15]
38	Benoît Sigoure	[13]
39	Sébastien Tixeuil	[14] [29]
40	Aline Carneiro Viana	[26]
41	Fatiha Zaïdi	[26]

Last update Sat Feb 11 22:55:45 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page