---

Information extracted from Lattes platform

Last update: 2023/04/05

---

Current projects

2020 a Atual	MEDCON, Telemedicina Plena Através do Registro e Acompanhamento de Dados Médicos Específicos de COVID-19 e Outras Doenças Integrantes: Sergio Vale Aguiar Campos (coordenador), Alessandra C FariaCampos, Enio Mazzieiro.
2019 a Atual	BioConcepts: Conceptual Design for Biomedical Applications, Lessons from Software Design Integrantes: Sergio Vale Aguiar Campos (coordenador), Daniel Jackson.
2018 a Atual	Modelagem, Análise e Avaliação Formal de Sistemas Aeronáuticos Integrantes: Sergio Vale Aguiar Campos (coordenador).
2012 a Atual	NMO-DBr, O Banco de Dados Brasileiro de Neuromielite Óptica Um sistema de gerência e análise de dados de pacientes de neuromielite óptica Integrantes: Sergio Vale Aguiar Campos (coordenador), Alessandra C FariaCampos, Lana-Peixoto, Marco A..
2012 a Atual	FluxPCM: Um Sistema para Gerência de Dados de Paracoccidioidomicose O projeto propõe o desenvolvimento de um sistema para acompanhamento de pacientes de paracoccidioidomicose e para análise destes dados. Integrantes: Sergio Vale Aguiar Campos (coordenador), Alessandra C FariaCampos, enio pietra.
1998 a Atual	Verificação Automática de Sistemas de Complexidade Industrial Integrantes: Sergio Vale Aguiar Campos (coordenador), EDMUND CLARKE, O Grumberg, Mark Alan Song, David Deharbe, Hugo Barros, Rodrigo Richard Gomes, Coelho Jr O, Gomes, Pedro.

Current applied research projects

2013 a Atual	FluxPCM: Um Sistema para Gerência de Dados de Paracoccidioidomicose O projeto propõe o desenvolvimento de um sistema para acompanhamento de pacientes de paracoccidioidomicose e para análise destes dados. Integrantes: Sergio Vale Aguiar Campos (coordenador), Alessandra C FariaCampos, enio pietra.
2012 a Atual	NMO-DBr, O Banco de Dados Brasileiro de Neuromielite Óptica Um sistema de gerência e análise de dados de pacientes de neuromielite óptica Integrantes: Sergio Vale Aguiar Campos (coordenador), Alessandra C FariaCampos, Lana-Peixoto, Marco A..

See all projects in Lattes

---

Recent publications

Articles in journals

Determination of the lactose content in low-lactose milk using Fourier-transform infrared spectroscopy (FTIR) and convolutional neural network
2023. HELIYON.
A machine learning proposal method to detect milk tainted with cheese whey
2022. JOURNAL OF DAIRY SCIENCE.
Construction and maintenance of P2P overlays for live streaming
2021. MULTIMEDIA TOOLS AND APPLICATIONS (DORDRECHT. ONLINE).
Protocol data management in biology laboratories
2020. BRAZILIAN JOURNAL OF INFORMATION SCIENCE.
In Silico Laboratory Experiments using Statistical Model Checking: A new model of the Palytoxin-Induced Pump Channel as Case Study
2020. IEEE-ACM Transactions on Computational Biology and Bioinformatics.
On the utilization of deep and ensemble learning to detect milk adulteration
2019. BioData Mining.
Symbolic Techniques For Formally Verifying Industrial Systems
1997. SCIENCE OF COMPUTER PROGRAMMING.
Temporal Verification Of Real-Time Systems
1995. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS.

Papers in conferences

Certified Perception for Autonomous Cars
2021. 6TH WORKSHOP ON MONITORING AND TESTING OF CYBER-PHYSICAL SYSTEMS.
A System for Storage and Georeferenciation of Dengue Vector Surveillance
2021. Medinfo ? World Congress on Medical and Health Informatics.
BPL++ - A quality management and assurance support system
2021. 11o Congresso Brasileiro de Metrologia.
FluxPRT: An Adaptable and Extensible Proteomics LIMS
2021. Brazilian Symposium of Bioinformatics.
Statistical Model Checking in Drug Repurposing for Alzheimer?s Disease
2020. Brazilian Symposium on Formal Methods.

Extended abstracts in conferences

TVPP: A Research Oriented P2P Live Streaming System
2013. Simpósio Brasileiro de Redes de Computadores.
Escolha automática de clones de cdna de s. mansoni que potencialmente contêm a região codificadora completa para caracterização e expansão da base de dados cog
2002. Congresso da Sociedade Brasileira de Genética.

Abstracts in conferences

Does the Ataxia group have genetic similarities?
2020. XXII ENCONTRO NACIONAL DE MODELAGEM COMPUTACIONAL - ENMC.
Detection of adulteration in milk using infrared spectros- copy and machine learning
2019. American Dairy Science Annual Meeting.
Use of infrared spectroscopy to estimate the lactose content in hydrolyzed milk
2019. American Dairy Science Annual Meeting.
Machine learning applied to Fourier-transform infrared spectroscopy for detection of cheese whey addition to raw milk
2019. American Dairy Science Annual Meeting.
Contribution of aminoacid insertions and deletions to proteobacteria-b and proteobacteria-d molecular evolution
2004. Reunião Anual da Sociedade Brasileira de Bioquímica e Biologia Molecular.

See all publications in Lattes

---

Current students

MS

Gabriel Marinello. Visualizações Alternativas em Sistemas de Gestão de Dados Laboratoriais. Início: 2021. Universidade Federal de Minas Gerais (Orientador principal)
Adriana Pereira. Gerenciamento Integrado de Experimentos Laboratoriais. Início: 2021. Universidade Federal de Minas Gerais (Orientador principal)
Fábio Buritis. Projeto Conceitual de Sistemas Médicos. Início: 2021. Universidade Federal de Minas Gerais (Orientador principal)
Alexandre Alphonso. Bioconceitos, Conceptual Design for Software para Softwares Médicos. Início: 2019. Universidade Federal de Minas Gerais (Orientador principal)
Mário Luiz Rodrigues Oliveira. Um Sistema de Tradução Simulink-SMV para Verificação de Modelos. Início: 2017. Universidade Federal de Minas Gerais (Orientador principal)

PhD

Elizabeth Espinoza. Gestão Integrada de Experimentos de Proteômica. Início: 2021. Universidade Federal de Minas Gerais (Orientador principal)
Gustavo Carnivali. Drug Repurposing using GCNs, COVID-19 as a Case Study. Início: 2020. Universidade Federal de Minas Gerais (Orientador principal)
Daniel Conrado. BioConcepts: Conceptual Design for Biomedical Applications, Lessons from Software Design. Início: 2019. Universidade Federal de Minas Gerais (Orientador principal)
Herbert Rausch. Verificação Probabilística de Sistemas de Transporte de Íons. Início: 2017. Universidade Federal de Minas Gerais (Orientador principal)
Daniela Vale Campos Barbosa. Reconstrução Filogenética Utilizando Análise Completa de DNA. Início: 2005. Universidade Federal de Minas Gerais (Orientador principal)

See all students in Lattes

---