default search action
Sérgio Vale Aguiar Campos
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2024
- [j18]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: 103028 (2024) - 2023
- [j17]Sérgio Vale Aguiar Campos, Marius Minea:
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2021). Sci. Comput. Program. 230: 102991 (2023) - 2021
- [j16]Eliseu César Miguel
Construction and maintenance of P2P overlays for live streaming. Multim. Tools Appl. 80(13): 20255-20282 (2021) - [j15]Gabriel Vilallonga
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): 2816-2822 (2021) - 2019
- [j14]Habib Asseiss Neto
On the utilization of deep and ensemble learning to detect milk adulteration. BioData Min. 12(1): 13:1-13:13 (2019) - 2015
- [j13]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): S4 (2015) - [j12]Alessandra C. Faria-Campos, Luciene B. Balottin, Gianlucca L. Zuin, Vinícius Garcia, Paulo Hs Batista, José M. Granjeiro
FluxCTTX: A LIMS-based tool for management and analysis of cytotoxicity assays data. BMC Bioinform. 16(S19): S8 (2015) - 2013
- [j11]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): 1019-1036 (2013) - [j10]Fernando A. F. Braz, Jader S. Cruz
Probabilistic Model Checking Analysis of Palytoxin Effects on Cell Energy Reactions of the Na+/K+-ATPase. IEEE ACM Trans. Comput. Biol. Bioinform. 10(6): 1530-1541 (2013) - 2012
- [j9]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): 1004-1016 (2012) - 2006
- [j8]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): 363-372 (2006) - 2004
- [j7]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): 174-182 (2004) - 2001
- [j6]Sérgio Vale Aguiar Campos, Edmund M. Clarke:
The Verus language: representing time efficiently with BDDs. Theor. Comput. Sci. 253(1): 95-118 (2001) - 2000
- [j5]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): 163-192 (2000) - [j4]Vicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Alessandro Cimatti
Verification of a safety-critical railway interlocking system with real-time constraints. Sci. Comput. Program. 36(1): 53-64 (2000) - 1999
- [j3]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): 260-269 (1999) - 1997
- [j2]Sérgio Vale Aguiar Campos, Edmund M. Clarke, Marius Minea:
Symbolic Techniques for Formally Verifying Industrial Systems. Sci. Comput. Program. 29(1-2): 79-98 (1997) - 1995
- [j1]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. 78-D(7): 796-801 (1995)
Conference and Workshop Papers
- 2021
- [c49]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: 215-218 - [c48]Elizabeth Regina Alfaro-Espinoza
FluxPRT: An Adaptable and Extensible Proteomics LIMS. BSB 2021: 125-130 - 2020
- [c47]Herbert Rausch Fernandes
Statistical Model Checking in Drug Repurposing for Alzheimer's Disease. SBMF 2020: 64-80 - 2018
- [c46]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: 58-65 - 2017
- [c45]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: 1-7 - [c44]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: 639-644 - [c43]Luiz Henrique Borges Sardinha, Omar Paranaiba Vilela Neto
Simplified model for automatic QCA circuitry verification. SBCCI 2017: 204-209 - [c42]Arthur Américo, Artur Vaz, Mário S. Alvim
Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols. SBMF 2017: 142-158 - [c41]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 - 2015
- [c40]Daniel Grunwell, Paulo Henrique Batista, Sérgio Vale Aguiar Campos, Tony Sahama:
Managing and sharing health data through Information Accountability protocols. HealthCom 2015: 200-204 - [c39]Bruno Ferreira, Felipe D. da Cunha
Intelligent service to perform overtaking in vehicular networks. ISCC 2015: 669-676 - [c38]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: 1-7 - 2014
- [c37]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: 113-129 - [c36]Alessandra C. Faria-Campos, Lucas A. Hanke, Paulo Henrique Batista, Vinícius Garcia, Sérgio Vale Aguiar Campos:
FluxMED: An Adaptable and Extensible Electronic Health Record System. BSB 2014: 33-40 - [c35]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: 65-72 - 2013
- [c34]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: 1-5 - [c33]Fernando A. F. Braz, João Amaral, Bruno Ferreira, Jader S. Cruz
A Probabilistic Model Checking Analysis of the Potassium Reactions with the Palytoxin and Na + /K + -ATPase Complex. BSB 2013: 181-193 - 2012
- [c32]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: 343-349 - [c31]Kênia Carolina Gonçalves, Alex Borges Vieira, Jussara M. Almeida, Ana Paula Couto da Silva
Characterizing Dynamic Properties of the SopCast Overlay Network. PDP 2012: 319-326 - [c30]Fernando A. F. Braz, Jader S. Cruz
Palytoxin Inhibits the Sodium-Potassium Pump - An Investigation of an Electrophysiological Model Using Probabilistic Model Checking. SBMF 2012: 35-50 - [c29]Fernando A. F. Braz, Jader S. Cruz
A Probabilistic Model Checking Approach to Investigate the Palytoxin Effects on the Na + /K + -ATPase. BSB 2012: 84-96 - 2009
- [c28]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: 24 - [c27]João Ferreira A. e Oliveira, Alex Borges Vieira, Sérgio Vale Aguiar Campos:
Content pollution on P2P Live Streaming systems. WebMedia 2009: 50 - 2008
- [c26]Alex Borges Vieira, Jussara M. Almeida, Sérgio Vale Aguiar Campos:
Fighting pollution in P2P live streaming systems. ICME 2008: 481-484 - 2007
- [c25]Hugo Barros, Sérgio Vale Aguiar Campos, Mark A. J. Song, Luis E. Zárate
Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm. ECBS 2007: 531-538 - 2006
- [c24]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: 283-292 - 2005
- [c23]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: 966-975 - [c22]Mark A. J. Song, Adriano C. M. Pereira, Sérgio Vale Aguiar Campos, Luis E. Zárate:
Formal Verification of Transactional Systems Based on UML Specifications. SEKE 2005: 199-204 - [c21]Mark A. J. Song, Adriano C. M. Pereira, Sérgio Vale Aguiar Campos:
Formal Verification of Transactional Systems. WEBIST 2005: 194-197 - 2004
- [c20]Umberto Souza da Costa, Sérgio Vale Aguiar Campos, Newton Vieira, David Déharbe
Explicit-Symbolic Modelling for Formal Verification. SBMF 2004: 301-321 - 2003
- [c19]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: 156-165 - [c18]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: 306-313 - [c17]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: 419-425 - 2002
- [c16]Adriano C. M. Pereira
A Formal Methodology to Specify E-commerce Systems. ICFEM 2002: 180-191 - [c15]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: 374-404 - 1999
- [c14]Vicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Edmund M. Clarke:
ProbVerus: Probabilistic Symbolic Model Checking. ARTS 1999: 96-110 - [c13]Sérgio Vale Aguiar Campos, Berthier A. Ribeiro-Neto, Autran Macedo, Luciano Bertini:
Formal verification and analysis of multimedia systems. ACM Multimedia (1) 1999: 419-430 - [c12]Sérgio Vale Aguiar Campos, Marcio Teixeira, Marius Minea, Andreas Kuehlmann, Edmund M. Clarke:
Model Checking Semi-Continuous Time Models Using BDDs. SMC@FLoC 1999: 75-87 - 1998
- [c11]Sérgio Vale Aguiar Campos:
Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers. FORTE 1998: 249-263 - [c10]Vicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Alessandro Cimatti
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints. FTCS 1998: 458-463 - 1997
- [c9]Sérgio Vale Aguiar Campos, Edmund M. Clarke:
The Verus Language: Representing Time Efficiently with BDDs. ARTS 1997: 64-78 - [c8]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: 452-455 - [c7]Sergey Berezin, Sérgio Vale Aguiar Campos, Edmund M. Clarke:
Compositional Reasoning in Model Checking. COMPOS 1997: 81-102 - 1996
- [c6]Sérgio Vale Aguiar Campos, Orna Grumberg:
Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System. CAV 1996: 257-268 - [c5]Edmund M. Clarke, Kenneth L. McMillan, Sérgio Vale Aguiar Campos, Vasiliki Hartonas-Garmhausen:
Symbolic Model Checking. CAV 1996: 419-427 - 1995
- [c4]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: 72-78 - [c3]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: 70-78 - [c2]Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea:
Timing analysis of industrial real-time systems. WIFT 1995: 97-107 - 1994
- [c1]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: 266-270
Editorship
- 2014
- [e1]Sérgio Vale Aguiar Campos:
Advances in Bioinformatics and Computational Biology - 9th Brazilian Symposium on Bioinformatics, BSB 2014, Belo Horizonte, Brazil, October 28-30, 2014, Proceedings. Lecture Notes in Computer Science 8826, Springer 2014, ISBN 978-3-319-12417-9 [contents]
Informal and Other Publications
- 2020
- [i1]Habib Asseiss Neto, Ronnie Cley de Oliveira Alves, Sérgio Vale Aguiar Campos:
NASirt: AutoML based learning with instance-level complexity information. CoRR abs/2008.11846 (2020)
Coauthor Index
Alessandra C. Faria-Campos
aka: Alessandra Conceição Faria-Campos
aka: Alessandra Conceição Faria-Campos
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-06 22:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: