Sérgio Vale Aguiar Campos

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 15

Top Topics

Information Leakage

Vehicular Networks

Top Venues

Publications

Herbert Rausch Fernandes, Giovanni Freitas Gomes, Antonio Carlos Pinheiro de Oliveira, Sérgio Vale Aguiar Campos
Stochastic formal model of PI3K/mTOR pathway in Alzheimer's disease for drug repurposing: An evaluation of rapamycin, LY294002, and NVP-BEZ235. Sci. Comput. Program. 232 (2024)
Sérgio Vale Aguiar Campos, Marius Minea
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2021). Sci. Comput. Program. 230 (2023)
Elizabeth Regina Alfaro-Espinoza, Lucas Ferreira Paiva, Alessandra C. Faria-Campos, Maria Cristina Baracat-Pereira, Sérgio Vale Aguiar Campos
FluxPRT: An Adaptable and Extensible Proteomics LIMS. BSB (2021)
Daniel B. F. Conrado, Vitor Ribeiro Dos Santos, Alessandra C. Faria-Campos, José Carlos Serufo, Sérgio Vale Aguiar Campos
A System for Structuring, Storage and Georeferenciation of Dengue Vector Surveillance Data. MedInfo (2021)
Gabriel Vilallonga, Daniel Riesco, Antônio-Carlos Guimarães de Almeida, Antônio Márcio Rodrigues, Sérgio Vale Aguiar Campos
In Silico Laboratory Experiments Using Statistical Model Checking: A New Model of the Palytoxin-Induced Pump Channel as Case Study. IEEE ACM Trans. Comput. Biol. Bioinform. 18 (6) (2021)
Eliseu César Miguel, Cristiano M. Silva, Fernando Carvalho, Ítalo S. Cunha, Sérgio Vale Aguiar Campos
Construction and maintenance of P2P overlays for live streaming. Multim. Tools Appl. 80 (13) (2021)
Habib Asseiss Neto, Ronnie Cley de Oliveira Alves, Sérgio Vale Aguiar Campos
NASirt: AutoML based learning with instance-level complexity information. CoRR (2020)
Herbert Rausch Fernandes, Giovanni Freitas Gomes, Antonio Carlos Pinheiro de Oliveira, Sérgio Vale Aguiar Campos
Statistical Model Checking in Drug Repurposing for Alzheimer's Disease. SBMF (2020)
Habib Asseiss Neto, Wanessa L. F. Tavares, Daniela C. S. Z. Ribeiro, Ronnie Cley de Oliveira Alves, Leorges M. Fonseca, Sérgio Vale Aguiar Campos
On the utilization of deep and ensemble learning to detect milk adulteration. BioData Min. 12 (1) (2019)
Cristiano Guimarães Pimenta, Alessandra Conceição Faria-Campos, Jerônimo Nunes Rocha, Adriana Abalen Martins Dias, Danielle da Glória de Souza, Carolina Andrade Rezende, Giselle Marina Diniz Medeiros, Sérgio Vale Aguiar Campos
ViMT - Development of a Web-Based Vivarium Management Tool. BSB (2018)
Luiz Henrique Borges Sardinha, Omar Paranaiba Vilela Neto, Vitor Buxbaum Orlandi, Sérgio Vale Aguiar Campos
Simplified model for automatic QCA circuitry verification. SBCCI (2017)
Arthur Américo, Artur Vaz, Mário S. Alvim, Sérgio Vale Aguiar Campos, Annabelle McIver
Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols. SBMF (2017)
Eliseu César Miguel, Fernando C. S. Coelho, Bruno Morgan, Murilo Calado Junior, Ítalo Cunha, Sérgio Vale Aguiar Campos
Join rate improvements in P2P live streaming based on topological aspects during flash crowds. SBRC (2017)
João Ferreira A. e Oliveira, Ítalo Cunha, Eliseu César Miguel, Sérgio Vale Aguiar Campos
AERO: Adaptive Emergency Request Optimization in CDN-P2P Live Streaming. GLOBECOM (2017)
Eliseu César Miguel, Ítalo Cunha, Cristiano M. Silva, Fernando Carvalho, Sérgio Vale Aguiar Campos
Resource-constrained P2P streaming overlay construction for efficient joining under flash crowds. ISCC (2017)
Bruno Ferreira, Felipe D. da Cunha, Raquel A. F. Mini, Antonio A. F. Loureiro, Fernando A. F. Braz, Sérgio Vale Aguiar Campos
Intelligent service to perform overtaking in vehicular networks. ISCC (2015)
Bruno Ferreira, Fernando A. F. Braz, Antonio A. F. Loureiro, Sérgio Vale Aguiar Campos
A Probabilistic Model Checking Analysis of Vehicular Ad-Hoc Networks. VTC Spring (2015)
Daniel Grunwell, Paulo Henrique Batista, Sérgio Vale Aguiar Campos, Tony Sahama
Managing and sharing health data through Information Accountability protocols. HealthCom (2015)
Alessandra C. Faria-Campos, Luciene B. Balottin, Gianlucca L. Zuin, Vinícius Garcia, Paulo Hs Batista, José M. Granjeiro, Sérgio Vale Aguiar Campos
FluxCTTX: A LIMS-based tool for management and analysis of cytotoxicity assays data. BMC Bioinform. 16 (S19) (2015)
Alessandra C. Faria-Campos, Lucas A. Hanke, Paulo Hs Batista, Vinícius Garcia, Sérgio Vale Aguiar Campos
An innovative electronic health record system for rare and complex diseases. BMC Bioinform. 16 (S19) (2015)
Bruno Ferreira, Fernando A. F. Braz, Sérgio Vale Aguiar Campos
A Probabilistic Model Checking Analysis of a Realistic Vehicular Networks Mobility Model. SBMF (2014)
Alessandra C. Faria-Campos, Lucas Hanke, Paulo Henrique Batista, Vinícius Garcia, Sérgio Vale Aguiar Campos
FluxMED: An Adaptable and Extensible Electronic Health Record System. BSB (2014)
Demian Oliveira, Fernando A. F. Braz, Bruno Ferreira, Alessandra C. Faria-Campos, Sérgio Vale Aguiar Campos
Using Binary Decision Diagrams (BDDs) for Memory Optimization in Basic Local Alignment Search Tool (BLAST). BSB (2014)
Alex Borges Vieira, Rafael Barra de Almeida, Jussara Marques de Almeida, Sérgio Vale Aguiar Campos
SimplyRep: A simple and effective reputation system to fight pollution in P2P live streaming. Comput. Networks 57 (4) (2013)
João Ferreira A. e Oliveira, Ítalo S. Cunha, Eliseu César Miguel, Marcus Vinicius de Melo Rocha, Alex Borges Vieira, Sérgio Vale Aguiar Campos
Can Peer-to-Peer live streaming systems coexist with free riders? P2P (2013)
Fernando A. F. Braz, Jader S. Cruz, Alessandra C. Faria-Campos, Sérgio Vale Aguiar Campos
Probabilistic Model Checking Analysis of Palytoxin Effects on Cell Energy Reactions of the Na+/K+-ATPase. IEEE ACM Trans. Comput. Biol. Bioinform. 10 (6) (2013)
Fernando A. F. Braz, João Amaral, Bruno Ferreira, Jader S. Cruz, Alessandra C. Faria-Campos, Sérgio Vale Aguiar Campos
A Probabilistic Model Checking Analysis of the Potassium Reactions with the Palytoxin and Na + /K + -ATPase Complex. BSB (2013)
Alex Borges Vieira, Pedro de Carvalho Gomes, José Augusto Miranda Nacif, Rodrigo Mantini, Jussara M. Almeida, Sérgio Vale Aguiar Campos
Characterizing SopCast client behavior. Comput. Commun. 35 (8) (2012)
Pedro de Carvalho Gomes, Sérgio Vale Aguiar Campos, Alex Borges Vieira
Verification of P2P live streaming systems using symmetry-based semiautomatic abstractions. HPCS (2012)
Fernando A. F. Braz, Jader S. Cruz, Alessandra C. Faria-Campos, Sérgio Vale Aguiar Campos
Palytoxin Inhibits the Sodium-Potassium Pump - An Investigation of an Electrophysiological Model Using Probabilistic Model Checking. SBMF (2012)
Kênia Carolina Gonçalves, Alex Borges Vieira, Jussara M. Almeida, Ana Paula Couto da Silva, Humberto T. Marques Neto, Sérgio Vale Aguiar Campos
Characterizing Dynamic Properties of the SopCast Overlay Network. PDP (2012)
Fernando A. F. Braz, Jader S. Cruz, Alessandra C. Faria-Campos, Sérgio Vale Aguiar Campos
A Probabilistic Model Checking Approach to Investigate the Palytoxin Effects on the Na + /K + -ATPase. BSB (2012)
Alex Borges Vieira, Pedro de Carvalho Gomes, Marcus Vinicius de Melo Rocha, Jussara M. Almeida, Sérgio Vale Aguiar Campos
A behaviour model of the SopCast users. WebMedia (2009)
João Ferreira A. e Oliveira, Alex Borges Vieira, Sérgio Vale Aguiar Campos
Content pollution on P2P Live Streaming systems. WebMedia (2009)
Alex Borges Vieira, Jussara M. Almeida, Sérgio Vale Aguiar Campos
Fighting pollution in P2P live streaming systems. ICME (2008)
Hugo Barros, Sérgio Vale Aguiar Campos, Mark A. J. Song, Luis Enrique Zárate
Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm. ECBS (2007)
Alessandra C. Faria-Campos, Sérgio Vale Aguiar Campos, Francisco Prosdocimi, Glaura C. Franco, Glória R. Franco, José Miguel Ortega
Efficient Secondary Database Driven Annotation Using Model Organism Sequences. Silico Biol. 6 (5) (2006)
Marcelo de Almeida Maia, Marcus Vinicius de Melo Rocha, Ítalo S. Cunha, Jussara M. Almeida, Sérgio Vale Aguiar Campos
Network bandwidth requirements for optimized streaming media transmission to interactive users. WebMedia (2006)
Mark A. J. Song, Adriano C. M. Pereira, Sérgio Vale Aguiar Campos, Luis Enrique Zárate
Formal Verification of Transactional Systems Based on UML Specifications. SEKE (2005)
Mark A. J. Song, Adriano C. M. Pereira, Sérgio Vale Aguiar Campos
Formal Verification of Transactional Systems. WEBIST (2005)
Umberto Souza da Costa, Sérgio Vale Aguiar Campos, Newton Vieira, David Déharbe
Explicit-Symbolic Modelling for Formal Verification. Electron. Notes Theor. Comput. Sci. 130 (2005)
Marcus Vinicius de Melo Rocha, Marcelo de Almeida Maia, Ítalo S. Cunha, Jussara M. Almeida, Sérgio Vale Aguiar Campos
Scalable media streaming to interactive users. ACM Multimedia (2005)
Sérgio Vale Aguiar Campos, Orna Grumberg, Karen Yorav, Fady Copty
Test sequence generation and model checking using dynamic transition relations. Int. J. Softw. Tools Technol. Transf. 6 (2) (2004)
Mark A. J. Song, Adriano C. M. Pereira, Fernanda Lima, Gustavo Gorgulho, Sérgio Vale Aguiar Campos, Wagner Meira Jr.
Extending UML to Specify and Verify E-commerce Systems. SEKE (2003)
Mark A. J. Song, Adriano C. M. Pereira, Fernanda Lima, Gustavo Gorgulho, Sérgio Vale Aguiar Campos, Wagner Meira Jr.
A Software Engineering Process to Specify and Verify E-Commerce Systems. Software Engineering Research and Practice (2003)
Daniela Alvim Seabra dos Santos, Alex Borges Vieira, Berthier A. Ribeiro-Neto, Sérgio Vale Aguiar Campos
Performance analysis and optimization of a distributed Video on Demand service. ISPASS (2003)
Adriano C. M. Pereira, Mark A. J. Song, Gustavo Gorgulho, Wagner Meira Jr., Sérgio Vale Aguiar Campos
A Formal Methodology to Specify E-commerce Systems. ICFEM (2002)
Edmundo de Souza e Silva, Rosa M. M. Leão, Berthier A. Ribeiro-Neto, Sérgio Vale Aguiar Campos
Performance Issues of Multimedia Applications. Performance (2002)
Sérgio Vale Aguiar Campos, Edmund M. Clarke
The Verus language: representing time efficiently with BDDs. Theor. Comput. Sci. 253 (1) (2001)
Sérgio Vale Aguiar Campos, Edmund M. Clarke, Orna Grumberg
Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System. Formal Methods Syst. Des. 17 (2) (2000)
Vicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia
Verification of a safety-critical railway interlocking system with real-time constraints. Sci. Comput. Program. 36 (1) (2000)
Sérgio Vale Aguiar Campos, Marcio Teixeira, Marius Minea, Andreas Kuehlmann, Edmund M. Clarke
Model Checking Semi-Continuous Time Models Using BDDs. Electron. Notes Theor. Comput. Sci. 23 (2) (1999)
Sérgio Vale Aguiar Campos, Berthier A. Ribeiro-Neto, Autran Macedo, Luciano Bertini
Formal verification and analysis of multimedia systems. ACM Multimedia (1) (1999)
Vicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Edmund M. Clarke
ProbVerus: Probabilistic Symbolic Model Checking. ARTS (1999)
Sérgio Vale Aguiar Campos, Edmund M. Clarke
Analysis and Verification of Real-Time Systems Using Quantitative Symbolic Algorithms. Int. J. Softw. Tools Technol. Transf. 2 (3) (1999)
Sérgio Vale Aguiar Campos
Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers. FORTE (1998)
Vicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints. FTCS (1998)
Sérgio Vale Aguiar Campos, Edmund M. Clarke, Marius Minea
Symbolic Techniques for Formally Verifying Industrial Systems. Sci. Comput. Program. 29 (1-2) (1997)
Sérgio Vale Aguiar Campos, Edmund M. Clarke, Marius Minea
The Verus Tool: A Quantitative Approach to the Formal Verification of Real-Time Systems. CAV (1997)
Sergey Berezin, Sérgio Vale Aguiar Campos, Edmund M. Clarke
Compositional Reasoning in Model Checking. COMPOS (1997)
Sérgio Vale Aguiar Campos, Edmund M. Clarke
The Verus Language: Representing Time Efficiently with BDDs. ARTS (1997)
Sérgio Vale Aguiar Campos, Orna Grumberg
Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System. CAV (1996)
Edmund M. Clarke, Kenneth L. McMillan, Sérgio Vale Aguiar Campos, Vasiliki Hartonas-Garmhausen
Symbolic Model Checking. CAV (1996)
Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea
Timing analysis of industrial real-time systems. WIFT (1995)
Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi
Temporal Verification of Real-Time Systems. IEICE Trans. Inf. Syst. (7) (1995)
Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea
Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems. Workshop on Languages, Compilers, & Tools for Real-Time Systems (1995)
Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea
Verifying the performance of the PCI local bus using symbolic techniques. ICCD (1995)
Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi
Computing Quantitative Characteristics of Finite-State Real-Time Systems. RTSS (1994)