( en | de | ru )

 

Disambiguation of "Peyronnet, Sylvain"

Author of the publication

copydeleteadd this publication to your clipboard
Probabilistic verification of sensor networks.

, , and . RIVF, page 45-54. IEEE, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sylvain Broyer

Sylvain Mogliacci

Sylvain Marlière

Sylvain Jay

Sylvain Didelot

 

Other publications of authors with the same name

Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC., , , , , , , and . AVoCS, volume 128 of Electronic Notes in Theoretical Computer Science, page 195-214. Elsevier, (2004)Probabilistic verification of sensor networks., , and . RIVF, page 45-54. IEEE, (2006)Probabilistic Verification and Approximation., and . WoLLIC, volume 143 of Electronic Notes in Theoretical Computer Science, page 101-114. Elsevier, (2005)Probabilistic abstraction for model checking: An approach based on property testing., , , , and . ACM Trans. Comput. Log., 8 (4): 20 (2007)Supple: a flexible probabilistic data dissemination protocol for wireless sensor networks., , , , and . MSWiM, page 385-392. ACM, (2010)Approximate Probabilistic Model Checking., , , and . VMCAI, volume 2937 of Lecture Notes in Computer Science, page 73-84. Springer, (2004)Uniform Monte-Carlo Model Checking., , , , and . FASE, volume 6603 of Lecture Notes in Computer Science, page 127-140. Springer, (2011)Evaluating Complex MAC Protocols for Sensor Networks with APMC., , , , and . AVoCS, volume 185 of Electronic Notes in Theoretical Computer Science, page 33-46. Elsevier, (2006)Probabilistic verification and approximation., and . Ann. Pure Appl. Log., 152 (1-3): 122-131 (2008)Efficient filtering of adult content using textual information., , and . CoRR, (2015)