Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Sylvain
Last name:	Peyronnet
DBLP:	57/4467
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 10 of 20  

Select a publication
Show	Title	Venue	Rating	Date
	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.	Proceedings of the 6th Conference on Computing Frontiers, 2009, Ischia, Italy, May 18-20, 2009 2009	(0)	2009
	Camille Coti, Thomas Hérault, Sylvain Peyronnet, Ala Rezmerita, Franck Cappello. Grid Services for MPI.	8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2008), 19-22 May 2008, Lyon, France 2008	(0)	2008
	Alexandre Borghi, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet. Cell Assisted APMC.	Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 14-17 September 2008, Saint-Malo, France 2008	(0)	2008
	Richard Lassaigne, Sylvain Peyronnet. Probabilistic verification and approximation.	Ann. Pure Appl. Logic 2008, Volume 152	(0)	2008
	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. 2008, Volume 220	(0)	2008
	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. 2007, Volume 185	(0)	2007
	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. 2007, Volume 8	(0)	2007
	Akim Demaille, Sylvain Peyronnet, Benoît Sigoure. Modeling of Sensor Networks Using XRM.	Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006 2006	(0)	2006
	Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet. Uniform random sampling of traces in very large models.	Proceedings of the 1st International Workshop on Random Testing, RT 2006, Portland, Maine, July 20, 2006 2006	(0)	2006
	Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet. APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains.	Third International Conference on the Quantitative Evaluaiton of Systems (QEST 2006), 11-14 September 2006, Riverside, California, USA 2006	(0)	2006

Your query returned 20 matches in the database.