Sylvain Peyronnet

2008
18	EE	Camille Coti, Thomas Hérault, Sylvain Peyronnet, Ala Rezmerita, Franck Cappello: Grid Services for MPI. CCGRID 2008: 417-424
17	EE	Alexandre Borghi, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet: Cell Assisted APMC. QEST 2008: 75-76
16	EE	Richard Lassaigne, Sylvain Peyronnet: Probabilistic verification and approximation. Ann. Pure Appl. Logic 152(1-3): 122-131 (2008)
15	EE	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
14	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)
13	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
12	EE	Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet: APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains. QEST 2006: 129-130
11	EE	Akim Demaille, Thomas Hérault, Sylvain Peyronnet: Probabilistic verification of sensor networks. RIVF 2006: 45-54
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	Alexandre Borghi	[17]
2	Michaël Cadilhac	[13]
3	Franck Cappello	[18]
4	Camille Coti	[18]
5	Jérôme Darbon	[6]
6	Akim Demaille	[11]
7	Alain Denise	[9] [10] [15]
8	Marie Duflot	[5]
9	Laurent Fribourg	[5]
10	Marie-Claude Gaudel	[9] [10] [15]
11	Sandrine-Dominique Gouraud	[9] [10] [15]
12	Guillaume Guirado	[8]
13	Thomas Hérault	[4] [5] [8] [11] [12] [13] [17] [18]
14	Sophie Laplante	[1] [3] [14]
15	Richard Lassaigne	[1] [2] [3] [4] [5] [7] [8] [9] [10] [12] [13] [14] [15] [16] [17]
16	Frédéric Magniette	[4] [5]
17	Frédéric Magniez	[1] [3] [14]
18	Stéphane Messika	[5]
19	Johan Oudinet	[15]
20	Claudine Picaronny	[5]
21	Ala Rezmerita	[18]
22	Michel de Rougemont	[1] [3] [14]
23	Sébastien Tixeuil	[13]

Colors in the list of coauthors