Sérgio Vale Aguiar Campos

69 papers A* 5A 2B 2C 10Misc 1Journal 19Unranked 29

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