Sylvain Peyronnet

2008
14	EE	Camille Coti, Thomas Hérault, Sylvain Peyronnet, Ala Rezmerita, Franck Cappello: Grid Services for MPI. CCGRID 2008: 417-424
2007
13	EE	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)
12	EE	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
11	EE	Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet: APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains. QEST 2006: 129-130
10	EE	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	EE	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	EE	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	EE	Richard Lassaigne, Sylvain Peyronnet: Probabilistic Verification and Approximation. Electr. Notes Theor. Comput. Sci. 143: 101-114 (2006)
2005
6	EE	Jérôme Darbon, Sylvain Peyronnet: A Vectorial Self-dual Morphological Filter Based on Total Variation Minimization. ISVC 2005: 388-395
5	EE	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	EE	Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Sylvain Peyronnet: Approximate Probabilistic Model Checking. VMCAI 2004: 73-84
2002
3	EE	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	EE	Richard Lassaigne, Sylvain Peyronnet: Approximate Verification of Probabilistic Systems. PAPM-PROBMIV 2002: 213-214
2001
1	EE	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	Michaël Cadilhac	[12]
2	Franck Cappello	[14]
3	Camille Coti	[14]
4	Jérôme Darbon	[6]
5	Alain Denise	[9] [10]
6	Marie Duflot	[5]
7	Laurent Fribourg	[5]
8	Marie-Claude Gaudel	[9] [10]
9	Sandrine-Dominique Gouraud	[9] [10]
10	Guillaume Guirado	[8]
11	Thomas Hérault	[4] [5] [8] [11] [12] [14]
12	Sophie Laplante	[1] [3] [13]
13	Richard Lassaigne	[1] [2] [3] [4] [5] [7] [8] [9] [10] [11] [12] [13]
14	Frédéric Magniette	[4] [5]
15	Frédéric Magniez	[1] [3] [13]
16	Stéphane Messika	[5]
17	Claudine Picaronny	[5]
18	Ala Rezmerita	[14]
19	Michel de Rougemont	[1] [3] [13]
20	Sébastien Tixeuil	[12]

Colors in the list of coauthors