Srgio Vale Aguiar Campos
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
14
Active years
1994–2017
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | GLOBECOM | AERO: Adaptive Emergency Request Optimization in CDN-P2P Live Streaming. | Joo Ferreira A. e Oliveira, talo Cunha, Eliseu Csar Miguel, Srgio Vale Aguiar Campos |
| 2017 | ISCC | Resource-constrained P2P streaming overlay construction for efficient joining under flash crowds. | Eliseu Csar Miguel, talo Cunha, Cristiano M. Silva, Fernando Carvalho, Srgio Vale Aguiar Campos |
| 2015 | HealthCom | Managing and sharing health data through Information Accountability protocols. | Daniel Grunwell, Paulo Henrique Batista, Srgio Vale Aguiar Campos, Tony Sahama |
| 2015 | ISCC | Intelligent service to perform overtaking in vehicular networks. | Bruno Ferreira, Felipe D. da Cunha, Raquel A. F. Mini, Antonio A. F. Loureiro, Fernando A. F. Braz, Srgio Vale Aguiar Campos |
| 2015 | VTC | A Probabilistic Model Checking Analysis of Vehicular Ad-Hoc Networks. | Bruno Ferreira, Fernando A. F. Braz, Antonio A. F. Loureiro, Srgio Vale Aguiar Campos |
| 2012 | PDP | Characterizing Dynamic Properties of the SopCast Overlay Network. | Knia Carolina Gonalves, Alex Borges Vieira, Jussara M. Almeida, Ana Paula Couto da Silva, Humberto T. Marques-Neto, Srgio Vale Aguiar Campos |
| 2005 | SEKE | Formal Verification of Transactional Systems Based on UML Specifications. | Mark A. J. Song, Adriano C. M. Pereira, Srgio Vale Aguiar Campos, Luis E. Zrate |
| 2005 | WEBIST | Formal Verification of Transactional Systems. | Mark A. J. Song, Adriano C. M. Pereira, Srgio Vale Aguiar Campos |
| 2003 | ISPASS | Performance analysis and optimization of a distributed Video on Demand service. | Daniela Alvim Seabra dos Santos, Alex Borges Vieira, Berthier A. Ribeiro-Neto, Srgio Vale Aguiar Campos |
| 2003 | SEKE | Extending UML to Specify and Verify E-commerce Systems. | Mark A. J. Song, Adriano C. M. Pereira, Fernanda Lima, Gustavo Gorgulho, Srgio Vale Aguiar Campos, Wagner Meira Jr. |
| 2002 | ICFEM | A Formal Methodology to Specify E-commerce Systems. | Adriano C. M. Pereira, Mark A. J. Song, Gustavo Gorgulho, Wagner Meira Jr., Srgio Vale Aguiar Campos |
| 2002 | PERFORMANCE | Performance Issues of Multimedia Applications. | Edmundo de Souza e Silva, Rosa M. M. Leo, Berthier A. Ribeiro-Neto, Srgio Vale Aguiar Campos |
| 1998 | FORTE | Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers. | Srgio Vale Aguiar Campos |
| 1997 | CAV | The Verus Tool: A Quantitative Approach to the Formal Verification of Real-Time Systems. | Srgio Vale Aguiar Campos, Edmund M. Clarke, Marius Minea |
| 1996 | CAV | Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System. | Srgio Vale Aguiar Campos, Orna Grumberg |
| 1996 | CAV | Symbolic Model Checking. | Edmund M. Clarke, Kenneth L. McMillan, Srgio Vale Aguiar Campos, Vasiliki Hartonas-Garmhausen |
| 1995 | ICCD | Verifying the performance of the PCI local bus using symbolic techniques. | Srgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea |
| 1994 | RTSS | Computing Quantitative Characteristics of Finite-State Real-Time Systems. | Srgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi |