Sylvain Peyronnet

	2009
20		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
19		Camille Coti, Thomas Hérault, Sylvain Peyronnet, Ala Rezmerita, Franck Cappello: Grid Services for MPI. CCGRID 2008: 417-424
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	Alexandre Borghi	[18]
2	Michaël Cadilhac	[14]
3	Franck Cappello	[19] [20]
4	Camille Coti	[19]
5	Jérôme Darbon	[6]
6	Akim Demaille	[11] [13]
7	Alain Denise	[9] [10] [16]
8	Marie Duflot	[5]
9	Laurent Fribourg	[5]
10	Marie-Claude Gaudel	[9] [10] [16]
11	Sandrine-Dominique Gouraud	[9] [10] [16]
12	Guillaume Guirado	[8]
13	Thomas Hérault	[4] [5] [8] [11] [12] [14] [18] [19] [20]
14	Mathieu Jan	[20]
15	Sophie Laplante	[1] [3] [15]
16	Thomas Largillier	[20]
17	Richard Lassaigne	[1] [2] [3] [4] [5] [7] [8] [9] [10] [12] [14] [15] [16] [17] [18]
18	Frédéric Magniette	[4] [5]
19	Frédéric Magniez	[1] [3] [15]
20	Stéphane Messika	[5]
21	Johan Oudinet	[16]
22	Claudine Picaronny	[5]
23	Benjamin Quétier	[20]
24	Ala Rezmerita	[19]
25	Michel de Rougemont	[1] [3] [15]
26	Benoît Sigoure	[13]
27	Sébastien Tixeuil	[14]

Colors in the list of coauthors