Sérgio Vale Aguiar Campos

According to our database, Sérgio Vale Aguiar Campos authored at least 66 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Stochastic formal model of PI3K/mTOR pathway in Alzheimer's disease for drug repurposing: An evaluation of rapamycin, LY294002, and NVP-BEZ235.

Herbert Rausch Fernandes, Giovanni Freitas Gomes, Antonio Carlos Pinheiro de Oliveira, Sérgio Vale Aguiar Campos

Sci. Comput. Program., January, 2024

2023

Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2021).

Sérgio Vale Aguiar Campos, Marius Minea

Sci. Comput. Program., August, 2023

2021

In Silico Laboratory Experiments Using Statistical Model Checking: A New Model of the Palytoxin-Induced Pump Channel as Case Study.

Gabriel Vilallonga, Daniel Riesco, Antônio-Carlos Guimarães de Almeida, Antônio Márcio Rodrigues, Sérgio Vale Aguiar Campos

IEEE ACM Trans. Comput. Biol. Bioinform., 2021

Construction and maintenance of P2P overlays for live streaming.

Eliseu César Miguel, Cristiano M. Silva, Fernando Carvalho, Ítalo S. Cunha, Sérgio Vale Aguiar Campos

Multim. Tools Appl., 2021

FluxPRT: An Adaptable and Extensible Proteomics LIMS.

Elizabeth Regina Alfaro-Espinoza, Lucas Ferreira Paiva, Alessandra C. Faria-Campos, Maria Cristina Baracat-Pereira, Sérgio Vale Aguiar Campos

Proceedings of the Advances in Bioinformatics and Computational Biology, 2021

A System for Structuring, Storage and Georeferenciation of Dengue Vector Surveillance Data.

Daniel B. F. Conrado, Vitor Ribeiro Dos Santos, Alessandra C. Faria-Campos, José Carlos Serufo, Sérgio Vale Aguiar Campos

Proceedings of the MEDINFO 2021: One World, One Health - Global Partnership for Digital Innovation, 2021

2020

NASirt: AutoML based learning with instance-level complexity information.

Habib Asseiss Neto, Ronnie Cley de Oliveira Alves, Sérgio Vale Aguiar Campos

CoRR, 2020

Statistical Model Checking in Drug Repurposing for Alzheimer's Disease.

Herbert Rausch Fernandes, Giovanni Freitas Gomes, Antonio Carlos Pinheiro de Oliveira, Sérgio Vale Aguiar Campos

Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

2019

On the utilization of deep and ensemble learning to detect milk adulteration.

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

BioData Min., 2019

2018

ViMT - Development of a Web-Based Vivarium Management Tool.

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

Proceedings of the Advances in Bioinformatics and Computational Biology, 2018

2017

Join rate improvements in P2P live streaming based on topological aspects during flash crowds.

Eliseu César Miguel, Fernando C. S. Coelho, Bruno Morgan, Murilo Calado Junior, Ítalo Cunha, Sérgio Vale Aguiar Campos

Proceedings of the XXXV Brazilian Symposium on Computer Networks and Distributed Systems, 2017

Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols.

Arthur Américo, Artur Vaz, Mário S. Alvim, Sérgio Vale Aguiar Campos, Annabelle McIver

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

Simplified model for automatic QCA circuitry verification.

Luiz Henrique Borges Sardinha, Omar Paranaiba Vilela Neto, Vitor Buxbaum Orlandi, Sérgio Vale Aguiar Campos

Proceedings of the 30th Symposium on Integrated Circuits and Systems Design: Chip on the Sands, 2017

Resource-constrained P2P streaming overlay construction for efficient joining under flash crowds.

Eliseu César Miguel, Ítalo Cunha, Cristiano M. Silva, Fernando Carvalho, Sérgio Vale Aguiar Campos

Proceedings of the 2017 IEEE Symposium on Computers and Communications, 2017

AERO: Adaptive Emergency Request Optimization in CDN-P2P Live Streaming.

João Ferreira A. e Oliveira, Ítalo Cunha, Eliseu César Miguel, Sérgio Vale Aguiar Campos

Proceedings of the 2017 IEEE Global Communications Conference, 2017

2015

An innovative electronic health record system for rare and complex diseases.

Alessandra C. Faria-Campos, Lucas A. Hanke, Paulo Hs Batista, Vinícius Garcia, Sérgio Vale Aguiar Campos

BMC Bioinform., December, 2015

FluxCTTX: A LIMS-based tool for management and analysis of cytotoxicity assays data.

Alessandra C. Faria-Campos, Luciene B. Balottin, Gianlucca L. Zuin, Vinícius Garcia, Paulo Hs Batista, José M. Granjeiro, Sérgio Vale Aguiar Campos

BMC Bioinform., December, 2015

A Probabilistic Model Checking Analysis of Vehicular Ad-Hoc Networks.

Bruno Ferreira, Fernando A. F. Braz, Antonio A. F. Loureiro, Sérgio Vale Aguiar Campos

Proceedings of the IEEE 81st Vehicular Technology Conference, 2015

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, Sérgio Vale Aguiar Campos

Proceedings of the 2015 IEEE Symposium on Computers and Communication, 2015

Managing and sharing health data through Information Accountability protocols.

Daniel Grunwell, Paulo Henrique Batista, Sérgio Vale Aguiar Campos, Tony Sahama

Proceedings of the 17th International Conference on E-health Networking, 2015

2014

Using Binary Decision Diagrams (BDDs) for Memory Optimization in Basic Local Alignment Search Tool (BLAST).

Demian Oliveira, Fernando A. F. Braz, Bruno Ferreira, Alessandra C. Faria-Campos, Sérgio Vale Aguiar Campos

Proceedings of the Advances in Bioinformatics and Computational Biology, 2014

FluxMED: An Adaptable and Extensible Electronic Health Record System.

Alessandra C. Faria-Campos, Lucas A. Hanke, Paulo Henrique Batista, Vinícius Garcia, Sérgio Vale Aguiar Campos

Proceedings of the Advances in Bioinformatics and Computational Biology, 2014

A Probabilistic Model Checking Analysis of a Realistic Vehicular Networks Mobility Model.

Bruno Ferreira, Fernando A. F. Braz, Sérgio Vale Aguiar Campos

Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

2013

Probabilistic Model Checking Analysis of Palytoxin Effects on Cell Energy Reactions of the Na+/K+-ATPase.

Fernando A. F. Braz, Jader S. Cruz, Alessandra C. Faria-Campos, Sérgio Vale Aguiar Campos

IEEE ACM Trans. Comput. Biol. Bioinform., 2013

SimplyRep: A simple and effective reputation system to fight pollution in P2P live streaming.

Alex Borges Vieira, Rafael Barra de Almeida, Jussara Marques de Almeida, Sérgio Vale Aguiar Campos

Comput. Networks, 2013

A Probabilistic Model Checking Analysis of the Potassium Reactions with the Palytoxin and Na + /K + -ATPase Complex.

Fernando A. F. Braz, João Amaral, Bruno Ferreira, Jader S. Cruz, Alessandra C. Faria-Campos, Sérgio Vale Aguiar Campos

Proceedings of the Advances in Bioinformatics and Computational Biology, 2013

Can Peer-to-Peer live streaming systems coexist with free riders?

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

Proceedings of the 13th IEEE International Conference on Peer-to-Peer Computing, 2013

2012

Characterizing SopCast client behavior.

Alex Borges Vieira, Pedro de Carvalho Gomes, José Augusto Miranda Nacif, Rodrigo Mantini, Jussara M. Almeida, Sérgio Vale Aguiar Campos

Comput. Commun., 2012

A Probabilistic Model Checking Approach to Investigate the Palytoxin Effects on the Na + /K + -ATPase.

Fernando A. F. Braz, Jader S. Cruz, Alessandra C. Faria-Campos, Sérgio Vale Aguiar Campos

Proceedings of the Advances in Bioinformatics and Computational Biology, 2012

Palytoxin Inhibits the Sodium-Potassium Pump - An Investigation of an Electrophysiological Model Using Probabilistic Model Checking.

Fernando A. F. Braz, Jader S. Cruz, Alessandra C. Faria-Campos, Sérgio Vale Aguiar Campos

Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

Characterizing Dynamic Properties of the SopCast Overlay Network.

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

Proceedings of the 20th Euromicro International Conference on Parallel, 2012

Verification of P2P live streaming systems using symmetry-based semiautomatic abstractions.

Pedro de Carvalho Gomes, Sérgio Vale Aguiar Campos, Alex Borges Vieira

Proceedings of the 2012 International Conference on High Performance Computing & Simulation, 2012

2009

A behaviour model of the SopCast users.

Alex Borges Vieira, Pedro de Carvalho Gomes, Marcus Vinicius de Melo Rocha, Jussara M. Almeida, Sérgio Vale Aguiar Campos

Proceedings of the XV Brazilian Symposium on Multimedia and the Web, 2009

Content pollution on P2P Live Streaming systems.

João Ferreira A. e Oliveira, Alex Borges Vieira, Sérgio Vale Aguiar Campos

Proceedings of the XV Brazilian Symposium on Multimedia and the Web, 2009

2008

Fighting pollution in P2P live streaming systems.

Alex Borges Vieira, Jussara M. Almeida, Sérgio Vale Aguiar Campos

Proceedings of the 2008 IEEE International Conference on Multimedia and Expo, 2008

2007

Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm.

Hugo Barros, Sérgio Vale Aguiar Campos, Mark A. J. Song, Luis E. Zárate

Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

2006

Efficient Secondary Database Driven Annotation Using Model Organism Sequences.

Alessandra C. Faria-Campos, Sérgio Vale Aguiar Campos, Francisco Prosdocimi, Glaura C. Franco, Glória R. Franco, José Miguel Ortega

Silico Biol., 2006

Network bandwidth requirements for optimized streaming media transmission to interactive users.

Marcelo de Almeida Maia, Marcus Vinicius de Melo Rocha, Ítalo S. Cunha, Jussara M. Almeida, Sérgio Vale Aguiar Campos

Proceedings of the 12th Brazilian Symposium on Multimedia and the Web, 2006

2005

Formal Verification of Transactional Systems.

Mark A. J. Song, Adriano C. M. Pereira, Sérgio Vale Aguiar Campos

Proceedings of the WEBIST 2005, 2005

Formal Verification of Transactional Systems Based on UML Specifications.

Mark A. J. Song, Adriano C. M. Pereira, Sérgio Vale Aguiar Campos, Luis E. Zárate

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Scalable media streaming to interactive users.

Marcus Vinicius de Melo Rocha, Marcelo de Almeida Maia, Ítalo S. Cunha, Jussara M. Almeida, Sérgio Vale Aguiar Campos

Proceedings of the 13th ACM International Conference on Multimedia, 2005

2004

Test sequence generation and model checking using dynamic transition relations.

Sérgio Vale Aguiar Campos, Orna Grumberg, Karen Yorav, Fady Copty

Int. J. Softw. Tools Technol. Transf., 2004

Explicit-Symbolic Modelling for Formal Verification.

Umberto Souza da Costa, Sérgio Vale Aguiar Campos, Newton Vieira, David Déharbe

Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004

2003

A Software Engineering Process to Specify and Verify E-Commerce Systems.

Mark A. J. Song, Adriano C. M. Pereira, Fernanda Lima, Gustavo Gorgulho, Sérgio Vale Aguiar Campos, Wagner Meira Jr.

Proceedings of the International Conference on Software Engineering Research and Practice, 2003

Extending UML to Specify and Verify E-commerce Systems.

Mark A. J. Song, Adriano C. M. Pereira, Fernanda Lima, Gustavo Gorgulho, Sérgio Vale Aguiar Campos, Wagner Meira Jr.

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

Performance analysis and optimization of a distributed Video on Demand service.

Daniela Alvim Seabra dos Santos, Alex Borges Vieira, Berthier A. Ribeiro-Neto, Sérgio Vale Aguiar Campos

Proceedings of the 2003 IEEE International Symposium on Performance Analysis of Systems and Software, 2003

2002

Performance Issues of Multimedia Applications.

Edmundo de Souza e Silva, Rosa M. M. Leão, Berthier A. Ribeiro-Neto, Sérgio Vale Aguiar Campos

Proceedings of the Performance Evaluation of Complex Systems: Techniques and Tools, 2002

A Formal Methodology to Specify E-commerce Systems.

Adriano C. M. Pereira, Mark A. J. Song, Gustavo Gorgulho, Wagner Meira Jr., Sérgio Vale Aguiar Campos

Proceedings of the Formal Methods and Software Engineering, 2002

2001

The Verus language: representing time efficiently with BDDs.

Sérgio Vale Aguiar Campos, Edmund M. Clarke

Theor. Comput. Sci., 2001

2000

Verification of a safety-critical railway interlocking system with real-time constraints.

Vicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia

Sci. Comput. Program., 2000

Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System.

Sérgio Vale Aguiar Campos, Edmund M. Clarke, Orna Grumberg

Formal Methods Syst. Des., 2000

1999

Analysis and Verification of Real-Time Systems Using Quantitative Symbolic Algorithms.

Sérgio Vale Aguiar Campos, Edmund M. Clarke

Int. J. Softw. Tools Technol. Transf., 1999

Model Checking Semi-Continuous Time Models Using BDDs.

Sérgio Vale Aguiar Campos, Marcio Teixeira, Marius Minea, Andreas Kuehlmann, Edmund M. Clarke

Proceedings of the First International Workshop on Symbolic Model Checking, 1999

Formal verification and analysis of multimedia systems.

Sérgio Vale Aguiar Campos, Berthier A. Ribeiro-Neto, Autran Macedo, Luciano Bertini

Proceedings of the 7th ACM International Conference on Multimedia '99, Orlando, FL, USA, October 30, 1999

ProbVerus: Probabilistic Symbolic Model Checking.

Vicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Edmund M. Clarke

Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999

1998

Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers.

Sérgio Vale Aguiar Campos

Proceedings of the Formal Description Techniques and Protocol Specification, 1998

1997

Symbolic Techniques for Formally Verifying Industrial Systems.

Sérgio Vale Aguiar Campos, Edmund M. Clarke, Marius Minea

Sci. Comput. Program., 1997

Compositional Reasoning in Model Checking.

Sergey Berezin, Sérgio Vale Aguiar Campos, Edmund M. Clarke

Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

The Verus Tool: A Quantitative Approach to the Formal Verification of Real-Time Systems.

Sérgio Vale Aguiar Campos, Edmund M. Clarke, Marius Minea

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

Symbolic Model Checking.

Edmund M. Clarke, Kenneth L. McMillan, Sérgio Vale Aguiar Campos, Vasiliki Hartonas-Garmhausen

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System.

Sérgio Vale Aguiar Campos, Orna Grumberg

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

Temporal Verification of Real-Time Systems.

Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi

IEICE Trans. Inf. Syst., 1995

Timing analysis of industrial real-time systems.

Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea

Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques, 1995

Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems.

Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea

Proceedings of the ACM SIGPLAN 1995 Workshop on Languages, 1995

Verifying the performance of the PCI local bus using symbolic techniques.

Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea

Proceedings of the 1995 International Conference on Computer Design (ICCD '95), 1995

1994

Computing Quantitative Characteristics of Finite-State Real-Time Systems.

Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi

Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS '94), 1994