Computing Quantitative Characteristics of Finite-State Real-Time Systems. - Sérgio Vale Aguiar Campos; Edmund M. Clarke; Wilfredo R. Marrero; Marius Minea; Hiromi Hiraishi (RTSS, 1994)

Verifying the performance of the PCI local bus using symbolic techniques. - Sérgio Vale Aguiar Campos; Edmund M. Clarke; Wilfredo R. Marrero; Marius Minea (ICCD, 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 (Workshop on Languages, Compilers, & Tools for Real-Time Systems, 1995)

Timing analysis of industrial real-time systems. - Sérgio Vale Aguiar Campos; Edmund M. Clarke; Wilfredo R. Marrero; Marius Minea (WIFT, 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)

Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System. - Sérgio Vale Aguiar Campos; Orna Grumberg (CAV, 1996)

Symbolic Model Checking. - Edmund M. Clarke; Kenneth L. McMillan; Sérgio Vale Aguiar Campos; Vasiliki Hartonas-Garmhausen (CAV, 1996)

The Verus Tool: A Quantitative Approach to the Formal Verification of Real-Time Systems. - Sérgio Vale Aguiar Campos; Edmund M. Clarke; Marius Minea (CAV, 1997)

Compositional Reasoning in Model Checking. - Sergey Berezin; Sérgio Vale Aguiar Campos; Edmund M. Clarke (COMPOS, 1997)

Symbolic Techniques for Formally Verifying Industrial Systems. - Sérgio Vale Aguiar Campos; Edmund M. Clarke; Marius Minea (Sci. Comput. Program., 1997)

Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers. - Sérgio Vale Aguiar Campos (FORTE, 1998)

ProbVerus: Probabilistic Symbolic Model Checking. - Vicky Hartonas-Garmhausen; Sérgio Vale Aguiar Campos; Edmund M. Clarke (ARTS, 1999)

Formal verification and analysis of multimedia systems. - Sérgio Vale Aguiar Campos; Berthier A. Ribeiro-Neto; Autran Macedo; Luciano Bertini (ACM Multimedia (1), 1999)

Model Checking Semi-Continuous Time Models Using BDDs. - Sérgio Vale Aguiar Campos; Marcio Teixeira; Marius Minea; Andreas Kuehlmann; Edmund M. Clarke (SMC@FLoC, 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)

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)

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)

The Verus language: representing time efficiently with BDDs. - Sérgio Vale Aguiar Campos; Edmund M. Clarke (Theor. Comput. Sci., 2001)

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 (ICFEM, 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 (Performance, 2002)

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 (ISPASS, 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. (SEKE, 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. (Software Engineering Research and Practice, 2003)

Explicit-Symbolic Modelling for Formal Verification. - Umberto Souza da Costa; Sérgio Vale Aguiar Campos; Newton Vieira; David Déharbe (SBMF, 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)

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 (ACM Multimedia, 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 (SEKE, 2005)

Formal Verification of Transactional Systems. - Mark A. J. Song; Adriano C. M. Pereira; Sérgio Vale Aguiar Campos (WEBIST, 2005)

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 (WebMedia, 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)

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 (ECBS, 2007)

Fighting pollution in P2P live streaming systems. - Alex Borges Vieira; Jussara M. Almeida; Sérgio Vale Aguiar Campos (ICME, 2008)

Content pollution on P2P Live Streaming systems. - João Ferreira A. e Oliveira; Alex Borges Vieira; Sérgio Vale Aguiar Campos (WebMedia, 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 (WebMedia, 2009)

Verification of P2P live streaming systems using symmetry-based semiautomatic abstractions. - Pedro de Carvalho Gomes; Sérgio Vale Aguiar Campos; Alex Borges Vieira (HPCS, 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 (PDP, 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 (SBMF, 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 (BSB, 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)

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 (P2P, 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 001; Jader S. Cruz; Alessandra C. Faria-Campos; Sérgio Vale Aguiar Campos (BSB, 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)

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)

A Probabilistic Model Checking Analysis of a Realistic Vehicular Networks Mobility Model. - Bruno Ferreira 001; Fernando A. F. Braz; Sérgio Vale Aguiar Campos (SBMF, 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 (BSB, 2014)

Using Binary Decision Diagrams (BDDs) for Memory Optimization in Basic Local Alignment Search Tool (BLAST). - Demian Oliveira; Fernando A. F. Braz; Bruno Ferreira 001; Alessandra C. Faria-Campos; Sérgio Vale Aguiar Campos (BSB, 2014)

Managing and sharing health data through Information Accountability protocols. - Daniel Grunwell; Paulo Henrique Batista; Sérgio Vale Aguiar Campos; Tony Sahama (HealthCom, 2015)

Intelligent service to perform overtaking in vehicular networks. - Bruno Ferreira 001; Felipe D. da Cunha; Raquel A. F. Mini; Antonio A. F. Loureiro; Fernando A. F. Braz; Sérgio Vale Aguiar Campos (ISCC, 2015)

A Probabilistic Model Checking Analysis of Vehicular Ad-Hoc Networks. - Bruno Ferreira 001; Fernando A. F. Braz; Antonio A. F. Loureiro; Sérgio Vale Aguiar Campos (VTC Spring, 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., 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., 2015)

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 (GLOBECOM, 2017)

Resource-constrained P2P streaming overlay construction for efficient joining under flash crowds. - Eliseu César Miguel; Ítalo Cunha; Cristiano M. Silva; Fernando Carvalho 003; Sérgio Vale Aguiar Campos (ISCC, 2017)

Simplified model for automatic QCA circuitry verification. - Luiz Henrique Borges Sardinha; Omar Paranaiba Vilela Neto; Vitor Buxbaum Orlandi; Sérgio Vale Aguiar Campos (SBCCI, 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 (SBMF, 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 (SBRC, 2017)

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 (BSB, 2018)

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 C. O. Alves; Leorges M. Fonseca; Sérgio Vale Aguiar Campos (BioData Min., 2019)

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 (SBMF, 2020)

NASirt: AutoML based learning with instance-level complexity information. - Habib Asseiss Neto; Ronnie C. O. Alves; Sérgio Vale Aguiar Campos (CoRR, 2020)

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 (MedInfo, 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 (BSB, 2021)

Construction and maintenance of P2P overlays for live streaming. - Eliseu César Miguel; Cristiano M. Silva; Fernando Carvalho 003; Ítalo S. Cunha; Sérgio Vale Aguiar Campos (Multim. Tools Appl., 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)

Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2021). - Sérgio Vale Aguiar Campos; Marius Minea (Sci. Comput. Program., 2023)

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., 2024)