( en | de | ru )

 

Disambiguation of "Campos, Sérgio Vale Aguiar"

Author of the publication

copydeleteadd this publication to your clipboard
Verification of P2P live streaming systems using symmetry-based semiautomatic abstractions.

, , and . HPCS, page 343-349. IEEE, (2012)

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.

Sérgio Campos

Sérgio Clementi

Sérgio Costa

Sérgio Mata

Sérgio Daher

 

Other publications of authors with the same name

Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers.. FORTE, volume 135 of IFIP Conference Proceedings, page 249-263. Kluwer, (1998)Formal verification and analysis of multimedia systems., , , and . ACM Multimedia (1), page 419-430. ACM, (1999)Compositional Reasoning in Model Checking., , and . COMPOS, volume 1536 of Lecture Notes in Computer Science, page 81-102. Springer, (1997)Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System., , and . Formal Methods Syst. Des., 17 (2): 163-192 (2000)Analysis and Verification of Real-Time Systems Using Quantitative Symbolic Algorithms., and . Int. J. Softw. Tools Technol. Transf., 2 (3): 260-269 (1999)Probabilistic Model Checking Analysis of Palytoxin Effects on Cell Energy Reactions of the Na+/K+-ATPase., , , and . IEEE ACM Trans. Comput. Biol. Bioinform., 10 (6): 1530-1541 (2013)A System for Structuring, Storage and Georeferenciation of Dengue Vector Surveillance Data., , , , and . MedInfo, volume 290 of Studies in Health Technology and Informatics, page 215-218. IOS Press, (2021)Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols., , , , and . SBMF, volume 10623 of Lecture Notes in Computer Science, page 142-158. Springer, (2017)Performance analysis and optimization of a distributed Video on Demand service., , , and . ISPASS, page 156-165. IEEE Computer Society, (2003)Fighting pollution in P2P live streaming systems., , and . ICME, page 481-484. IEEE Computer Society, (2008)