Sergio Vale Aguiar Campos

  • Endereço para acessar este CV: http://lattes.cnpq.br/6438645213502821
  • Última atualização do currículo em 20/07/2018


possui graduação em Ciência da Computação pela Universidade Federal de Minas Gerais (1986), mestrado em Ciências da Computação pela Universidade Federal de Minas Gerais (1990), mestrado em Ciência da Computação - Carnegie Mellon University (1992) e doutorado em Ciência da Computação - Carnegie Mellon University (1996). Atualmente é professor associado da Universidade Federal de Minas Gerais. Tem experiência na área de Ciência da Computação, atuando principalmente nos seguintes temas: symbolic model checking, verificacao formal, sistemas de tempo real, algoritmos simbolicos. Atua também em pesquisa na área de Bioinformática, trabalhando com sistemas de gerência de dados biológicos, ou Laboratory Information Management Systems. (Texto informado pelo autor)


Identificação


Nome
Sergio Vale Aguiar Campos
Nome em citações bibliográficas
CAMPOS, S. V. A.;Campos, Sérgio V.A.;Campos, Sérgio;CAMPOS, SÉRGIO VALE AGUIAR;CAMPOS, SERGIO V. A.;CAMPOS, SERGIO;CAMPOS, S.

Endereço


Endereço Profissional
Universidade Federal de Minas Gerais, Instituto de Ciências Exatas, Departamento de Ciência da Computação.
Av. Antônio Carlos, 6627
Pampulha
31270-010 - Belo Horizonte, MG - Brasil
Telefone: (31) 34995860
Fax: (31) 34995858
URL da Homepage: http://www.dcc.ufmg.br/~scampos


Formação acadêmica/titulação


1990 - 1996
Doutorado em Ciência da Computação.
Carnegie Mellon University, CMU, Estados Unidos.
Título: A Quantitative Approach to the Formal Verification of Real-Time Systems, Ano de obtenção: 1996.
Orientador: Edmund M Clarke.
1990 - 1992
Mestrado em Ciência da Computação.
Carnegie Mellon University, CMU, Estados Unidos.
Título: Mestrado sem dissertação,Ano de Obtenção: 1992.
Orientador: Idem acima.
Grande área: Ciências Exatas e da Terra
1987 - 1990
Mestrado em Ciências da Computação.
Universidade Federal de Minas Gerais, UFMG, Brasil.
Título: Um Algoritmo para Exclusão Mútua e sua Implementação,Ano de Obtenção: 1990.
Orientador: Osvaldo Sérgio Farhat de Carvalho.
1983 - 1986
Graduação em Ciência da Computação.
Universidade Federal de Minas Gerais, UFMG, Brasil.


Pós-doutorado


1996 - 1997
Pós-Doutorado.
Carnegie Mellon University, CMU, Estados Unidos.
Grande área: Ciências Exatas e da Terra


Atuação Profissional



Sociedade Brasileira de Computação - Porto Alegre, SBC, Brasil.
Vínculo institucional

2013 - Atual
Vínculo: Coordenação da CE BioComp, Enquadramento Funcional: Coordenador
Outras informações
Coordenação da Comissão Especial de Biologia Computacional da Sociedade Brasileira de Computação


Universidade Federal de Minas Gerais, UFMG, Brasil.
Vínculo institucional

2016 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor titular, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2006 - 2015
Vínculo: , Enquadramento Funcional: Professor Associado, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

1998 - 2006
Vínculo: , Enquadramento Funcional: Professor Adjunto, Regime: Dedicação exclusiva.

Atividades

05/2005 - Atual
Conselhos, Comissões e Consultoria, Programa de Pós-Graduação em Ciência da Computação - ICEx - UFMG, .

Cargo ou função
Membro Titular do Colegiado do PPGCC.
03/2005 - Atual
Direção e administração, Doutorado em Bioinformática - ICB - UFMG, .

Cargo ou função
Coordenador de Curso.
03/2005 - Atual
Conselhos, Comissões e Consultoria, Doutorado em Bioinformática - ICB - UFMG, .

Cargo ou função
Membro Titular do Colegiado.
8/1998 - Atual
Pesquisa e desenvolvimento , Instituto de Ciências Exatas, Departamento de Ciência da Computação.

8/1998 - Atual
Ensino, Ciências da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Sistemas Operacionais
TECC: Verificação Automática
8/1998 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Sistemas Operacionais
Sistemas de Tempo-Real


Linhas de pesquisa


1.
Desenvolvimento do Compilador/Verificador Verus
2.
Projeto e Verificação automática de sistemas distribuídos e de tempo real
3.
Vídeo sob Demanda
4.
Universalização de acesso à internet
5.
Projeto e análise de sistemas em comércio eletrônico
6.
Bioinformática: Armazenamento e análise de dados biológicos


Projetos de pesquisa


2013 - Atual
ELISA: Um equipamento automático para diagnósticos clínicos baseados em ELISA e Bioquímica
Descrição: Este projeto tem como objetivo o desenvolvimento de um equipamento totalmente automatizado, de pequeno a médio porte, a ser utilizado por laboratórios de analises clínicas para realização de testes diagnósticos, baseados em bioquímica e na metodologia ELISA. O projeto prevê também o desenvolvimento de um sistema de software de controle do equipamento e gerência dos dados que permita a operação automática e a análise dos dados gerados de forma integrada. Este sistema permitirá não somente a operação do equipamento, mas sua configuração e programação, além do gerenciamento dos dados gerados de forma ampla e integrada. Os dados gerados para análises serão processados pelo sistema, armazenados em banco de dados e disponibilizados através da web tanto para o laboratório quanto para o cliente de forma segura e simplificada. O sistema também integrará o uso de mais de um equipamento para aumentar a eficiência, diminuir o tempo de análise e erros, ou seja, o resultado buscado é a implementação, além do equipamento, de uma solução integrada em automação para laboratórios de análises clínicas de forma a simplificar a rotina laboratorial, além de um sistema de gestão laboratorial que possa ser integrado a rede do Sistema de Saúde local, seja ele privado, municipal, estadual ou federal, fazendo com que o trânsito necessário entre o pedido de exame e a entrega do resultado seja o mais rápido, seguro e transparente..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) .
Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Denilson Laudares - Integrante.Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.
2013 - Atual
SIGPC ? Sistema Integrado de Gerência de Dados de Pesquisa Clínica
Descrição: O Hospital das Clínicas da UFMG possui um Centro de Pesquisas Clínicas, ou CPC, que centraliza pesquisas clínicas feitas no hospital, seja por iniciativa de professores da UFMG, ou por pedidos externos ao hospital. Cada pesquisa passa por diversas etapas. Em primeiro lugar há uma demanda regulatória, necessária para a implantação da pesquisa. Nesta etapa são necessárias diversas aprovações de diversos órgãos do hospital para que a pesquisa se inicie. Após esta etapa escolhem-se os pacientes que participarão da pesquisa, que devem consentir com a pesquisa. O tratamento destes pacientes é então acompanhado e registrado. Após o término da pesquisa os resultados devem ser analisados e relatados ao pesquisador responsável. Durante este processo há também uma demanda financeira, onde cada etapa deve ser informada ao setor financeiro para contabilidade de custos. O CPC executa diversas pesquisas simultaneamente, e precisa gerenciar os pacientes e os requisitos de cada pesquisa de forma independente. Contudo as características da pesquisa clínica fazem com que cada pesquisa seja diferente das outras, o que torna o gerenciamento destes dados um problema complexo. A seleção dos pacientes que participarão da pesquisa pode ser difícil por causa das características específicas de cada pesquisa. A demanda regulatória para implantação das pesquisas é uma outra característica que dificulta o trabalho do CPC uma vez que o número de documentos, aprovações, consentimentos entre outros pode ser grande e difícil de obter. Além disto, cada pesquisa potencialmente registra seus resultados de forma diferente, seja através de relatórios customizados, seja através de programas de computador especializados no registro dos dados. A consequência destes fatos é que o trabalho do CPC torna-se menos eficiente do que poderia ser, e a implantação e acompanhamento das pesquisas mais lento e propenso a erros. O uso de ferramentas computacionais para auxiliar neste gerenciamento é comum em algumas instituições. Entretanto, o CPC atualmente não possui uma ferramenta computacional completa para apoiar este trabalho utilizando diversos programas não integrados e planilhas eletrônicas neste processo. Uma ferramenta com este propósito permitirá ao CPC aumentar sua eficiência, reduzindo os tempos para implantação e acompanhamento das pesquisas. Este projeto propõe o desenvolvimento de uma ferramenta com esta finalidade, o SIGPC, usando como base de um LIMS, ou Laboratory Information Management System, para gerenciar as atividades de pesquisa do CPC. Os LIMS são sistemas de gerência de dados laboratoriais que se adaptam com facilidade às especificidades da pesquisa clínica. Em particular propõe-se o uso de um LIMS flexível voltado a workflows ou fluxos de trabalho, que possui grande flexibilidade, permitindo a implantação de novas pesquisas e protocolos de forma rápida e eficiente..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) .
Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Ricardo Correa - Integrante / Antônio L P Ribeiro - Integrante.
2012 - Atual
NMO-DBr, O Banco de Dados Brasileiro de Neuromielite Óptica
Descrição: Um sistema de gerência e análise de dados de pacientes de neuromielite óptica.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) .
Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Lana-Peixoto, Marco A. - Integrante.
Número de produções C, T & A: 1
2012 - Atual
FluxPCM: Um Sistema para Gerência de Dados de Paracoccidioidomicose
Descrição: O projeto propõe o desenvolvimento de um sistema para acompanhamento de pacientes de paracoccidioidomicose e para análise destes dados..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) .
Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / enio pietra - Integrante.
2011 - Atual
FluxTransgenics: Um Sistema para Gerenciamento de Produção de Plantas Transgênicas
Descrição: Este projeto tem como objetivo permitir a automatização do processo experimental de produção de milho e sorgo transgênicos utilizando sistemas integrados de laboratório. Este projeto está em fase de implantação já sendo usado pelo laboratório de Biologia Celular da Embrapa Milho e Sorgo em Sete Lagoas, MG..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (2) .
Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / andrea Carneiro - Integrante / Roberto Noda - Integrante.Número de orientações: 1
2011 - Atual
FluxNGS: Um Sistema para Gestão de Dados de Sequenciamento de Próxima Geração

Projeto certificado pela empresa Fundação Oswaldo Cruz em 16/08/2013.
Descrição: O FluxNGS permitirá o gerenciamento de experimentos de next generation sequencing, armazenando informações sobre amostras, montadores utilizados, e resultados. Está sendo desenvolvido em parceria com o CEBio da Fiocruz..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) .
Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Guilherme Oliveira - Integrante.
2008 - 2013
SIGLa, Um Sistema Integrado de Gerência de Laboratórios
Descrição: Um dos grandes problemas a ser enfrentados pela ciência moderna, e em particular pela biotecnologia, é a grande quantidade de dados gerada pelos métodos de experimentação em larga escala modernos. Este projeto tem como objetivo o desenvolvimento de um sistema de gerência integrado de laboratórios, SIGLa, com ênfase em laboratórios de proteômica. Proteômica consiste da identificação do exato conteúdo protéico de uma dada amostra. É um problema muito importante e complexo que exige uma sequência de experimentos que têm que ser relacionados entre si a fim de que se identifique corretamente as proteínas. Assim, experimentos em proteômica são limitados pela capacidade de análise dos dados. O sistema SIGLa propõe uma ferramenta altamente eficiente para permitir esta análise com diversas vantagens: (1) O sistema importará dados diretamente do equipamento, aumentando a eficiência da coleta de dados. (2) Será possível efetuar diversas análises de dados não disponíveis hoje, e.g., correlacionar os valores de determinados atributos dos experimentos entre todos os experimentos existentes a fim de identificar similaridades. (3) O SIGLa utilizará um sistema de gerência de workflows. Utilizando-se workflows, o usuário final pode definir e alterar os protocolos que serão gerenciados, uma funcionalidade essencial, uma vez que em cada laboratório existe um grande número de protocolos, e uma estrutura rígida impediria sua utilização sem alterações frequentes em seu código. O projeto SIGLa tem como objetivo final permitir a integração e gerenciamento de dados biológicos complexos. O projeto será desenvolvido no Departamento de Ciência da Computação da UFMG mas terá como parceiros pesquisadores do Instituto de Ciências Biológicas e do programa de Doutorado em Bioinformática da UFMG. Dentro dos projetos que participarão deste desenvolvimento podemos citar ?O Uso do Proteômica e da Bioinformática na Caracterização de Produtos Gênicos de Schistosoma mansoni?, ?Análise do Proteoma Solúvel do Agente Etiológico da Linfadenite Caseosa, Corynebacterium pseudotuberculosis?, ?Identificação de Genes Diferencialmente Expressos nas Raízes de Linhagens Contrastantes de Milho em Resposta ao Défict Hidrico? dentro da UFMG, além de empresas de biotecnologia que manifestaram interesse na utilização desta tecnologia, como por exemplo, a Prodimol Tecnologia, a Biocod Biotecnologia, o Hospital Belo Horizonte e o Centro de Pesquisas René Rachou da Fundação Oswaldo Cruz. Dada a significativa participação de pesquisadores e grupos de pesquisa da área biológica, é importante ter a participação de um pesquisador que tenha conhecimentos em bioinformática e em biologia a fim de garantir que o desenvolvimento do projeto explore todas as oportunidades de pesquisa e que atenda aos seus usuários finais. O bolsista do projeto SIGLa atuará então como membro de ligação entre as duas áreas. Sua presença é importante não somente pelo projeto SIGLa como também para fortalecer a área de bioinformática na UFMG, uma área nova e de excelente potencial, mas que necessita de pesquisadores dedicados à tarefa de transpor as diferenças entre as duas áreas de atuação e desta forma criar efetivamente uma nova área de pesquisa..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) / Doutorado: (1) .
Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Glória R Franco - Integrante / Guilherme Oliveira - Integrante / Adriano Pimenta - Integrante / Jader S. Cruz - Integrante / andrea Carneiro - Integrante.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa.
Número de produções C, T & A: 13 / Número de orientações: 6
2008 - Atual
TVPP: A Research Oriented P2P Live Streaming System
Descrição: Um projeto de desenvolvimento e pesquisa na transmissão de vídeo ao vivo utilizando tecnologias P2P..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Doutorado: (2) .
Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alex Borges - Integrante / Marcus Vinicius Rocha - Integrante / italo cunha - Integrante.
Número de produções C, T & A: 2 / Número de orientações: 1
1998 - Atual
Verificação Automática de Sistemas de Complexidade Industrial
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (2) .
Integrantes: Sergio Vale Aguiar Campos - Coordenador / EDMUND CLARKE - Integrante / O Grumberg - Integrante / Mark Alan Song - Integrante / David Deharbe - Integrante / Hugo Barros - Integrante / Rodrigo Richard Gomes - Integrante / Coelho Jr O - Integrante / Gomes, Pedro - Integrante.
Número de produções C, T & A: 3


Projetos de desenvolvimento


2013 - Atual
SIGPC Sistema Integrado de Gerência de Dados de Pesquisa Clínica
Descrição: O Hospital das Clínicas da UFMG possui um Centro de Pesquisas Clínicas, ou CPC, que centraliza pesquisas clínicas feitas no hospital, seja por iniciativa de professores da UFMG, ou por pedidos externos ao hospital. Cada pesquisa passa por diversas etapas. Em primeiro lugar há uma demanda regulatória, necessária para a implantação da pesquisa. Nesta etapa são necessárias diversas aprovações de diversos órgãos do hospital para que a pesquisa se inicie. Após esta etapa escolhem-se os pacientes que participarão da pesquisa, que devem consentir com a pesquisa. O tratamento destes pacientes é então acompanhado e registrado. Após o término da pesquisa os resultados devem ser analisados e relatados ao pesquisador responsável. Durante este processo há também uma demanda financeira, onde cada etapa deve ser informada ao setor financeiro para contabilidade de custos. O CPC executa diversas pesquisas simultaneamente, e precisa gerenciar os pacientes e os requisitos de cada pesquisa de forma independente. Contudo as características da pesquisa clínica fazem com que cada pesquisa seja diferente das outras, o que torna o gerenciamento destes dados um problema complexo. A seleção dos pacientes que participarão da pesquisa pode ser difícil por causa das características específicas de cada pesquisa. A demanda regulatória para implantação das pesquisas é uma outra característica que dificulta o trabalho do CPC uma vez que o número de documentos, aprovações, consentimentos entre outros pode ser grande e difícil de obter. Além disto, cada pesquisa potencialmente registra seus resultados de forma diferente, seja através de relatórios customizados, seja através de programas de computador especializados no registro dos dados. A consequência destes fatos é que o trabalho do CPC torna-se menos eficiente do que poderia ser, e a implantação e acompanhamento das pesquisas mais lento e propenso a erros. O uso de ferramentas computacionais para auxiliar neste gerenciamento é comum em algumas instituições. Entretanto, o CPC atualmente não possui uma ferramenta computacional completa para apoiar este trabalho utilizando diversos programas não integrados e planilhas eletrônicas neste processo. Uma ferramenta com este propósito permitirá ao CPC aumentar sua eficiência, reduzindo os tempos para implantação e acompanhamento das pesquisas. Este projeto propõe o desenvolvimento de uma ferramenta com esta finalidade, o SIGPC, usando como base de um LIMS, ou Laboratory Information Management System, para gerenciar as atividades de pesquisa do CPC. Os LIMS são sistemas de gerência de dados laboratoriais que se adaptam com facilidade às especificidades da pesquisa clínica. Em particular propõe-se o uso de um LIMS flexível voltado a workflows ou fluxos de trabalho, que possui grande flexibilidade, permitindo a implantação de novas pesquisas e protocolos de forma rápida e eficiente..
Situação: Em andamento; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) .
Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Ricardo Correa - Integrante / Antônio L P Ribeiro - Integrante.
2013 - Atual
FluxPCM: Um Sistema para Gerência de Dados de Paracoccidioidomicose
Descrição: O projeto propõe o desenvolvimento de um sistema para acompanhamento de pacientes de paracoccidioidomicose e para análise destes dados..
Situação: Em andamento; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) .
Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / enio pietra - Integrante.
2013 - Atual
ELISA: Um equipamento automático para diagnósticos clínicos baseados em ELISA e Bioquímica
Descrição: Este projeto tem como objetivo o desenvolvimento de um equipamento totalmente automatizado, de pequeno a médio porte, a ser utilizado por laboratórios de analises clínicas para realização de testes diagnósticos, baseados em bioquímica e na metodologia ELISA. O projeto prevê também o desenvolvimento de um sistema de software de controle do equipamento e gerência dos dados que permita a operação automática e a análise dos dados gerados de forma integrada. Este sistema permitirá não somente a operação do equipamento, mas sua configuração e programação, além do gerenciamento dos dados gerados de forma ampla e integrada. Os dados gerados para análises serão processados pelo sistema, armazenados em banco de dados e disponibilizados através da web tanto para o laboratório quanto para o cliente de forma segura e simplificada. O sistema também integrará o uso de mais de um equipamento para aumentar a eficiência, diminuir o tempo de análise e erros, ou seja, o resultado buscado é a implementação, além do equipamento, de uma solução integrada em automação para laboratórios de análises clínicas de forma a simplificar a rotina laboratorial, além de um sistema de gestão laboratorial que possa ser integrado a rede do Sistema de Saúde local, seja ele privado, municipal, estadual ou federal, fazendo com que o trânsito necessário entre o pedido de exame e a entrega do resultado seja o mais rápido, seguro e transparente..
Situação: Em andamento; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) .
Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Denilson Laudares - Integrante.Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.
2012 - Atual
NMO-DBr, O Banco de Dados Brasileiro de Neuromielite Óptica
Descrição: Um sistema de gerência e análise de dados de pacientes de neuromielite óptica.
Situação: Em andamento; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) .
Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Lana-Peixoto, Marco A. - Integrante.
2011 - Atual
FluxTransgenics: Um Sistema para Gerenciamento de Produção de Plantas Transgênicas
Descrição: Este projeto tem como objetivo permitir a automatização do processo experimental de produção de milho e sorgo transgênicos utilizando sistemas integrados de laboratório. Este projeto está em fase de implantação já sendo usado pelo laboratório de Biologia Celular da Embrapa Milho e Sorgo em Sete Lagoas, MG...
Situação: Em andamento; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) .
Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / andrea Carneiro - Integrante / Roberto Noda - Integrante.
2011 - Atual
FluxNGS: Um Sistema para Gestão de Dados de Sequenciamento de Próxima Geração

Projeto certificado pela empresa Fundação Oswaldo Cruz em 16/08/2013.
Descrição: O FluxNGS permitirá o gerenciamento de experimentos de next generation sequencing, armazenando informações sobre amostras, montadores utilizados, e resultados. Está sendo desenvolvido em parceria com o CEBio da Fiocruz..
Situação: Em andamento; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) .
Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Guilherme Oliveira - Integrante.
2005 - 2008
SIGLa, Um Sistema Integrado de Gerência de Laboratórios
Descrição: Um dos grandes problemas a ser enfrentados pela ciência moderna, e em particular pela biotecnologia, é a grande quantidade de dados gerada pelos métodos de experimentação em larga escala modernos. Este projeto tem como objetivo o desenvolvimento de um sistema de gerência integrado de laboratórios, SIGLa, com ênfase em laboratórios de proteômica. Proteômica consiste da identificação do exato conteúdo protéico de uma dada amostra. É um problema muito importante e complexo que exige uma sequência de experimentos que têm que ser relacionados entre si a fim de que se identifique corretamente as proteínas. Assim, experimentos em proteômica são limitados pela capacidade de análise dos dados. O sistema SIGLa propõe uma ferramenta altamente eficiente para permitir esta análise com diversas vantagens: (1) O sistema importará dados diretamente do equipamento, aumentando a eficiência da coleta de dados. (2) Será possível efetuar diversas análises de dados não disponíveis hoje, e.g., correlacionar os valores de determinados atributos dos experimentos entre todos os experimentos existentes a fim de identificar similaridades. (3) O SIGLa utilizará um sistema de gerência de workflows. Utilizando-se workflows, o usuário final pode definir e alterar os protocolos que serão gerenciados, uma funcionalidade essencial, uma vez que em cada laboratório existe um grande número de protocolos, e uma estrutura rígida impediria sua utilização sem alterações frequentes em seu código. O projeto SIGLa tem como objetivo final permitir a integração e gerenciamento de dados biológicos complexos. O projeto será desenvolvido no Departamento de Ciência da Computação da UFMG mas terá como parceiros pesquisadores do Instituto de Ciências Biológicas e do programa de Doutorado em Bioinformática da UFMG. Dentro dos projetos que participarão deste desenvolvimento podemos citar O Uso do Proteômica e da Bioinformática na Caracterização de Produtos Gênicos de Schistosoma mansoni , Análise do Proteoma Solúvel do Agente Etiológico da Linfadenite Caseosa, Corynebacterium pseudotuberculosis , Identificação de Genes Diferencialmente Expressos nas Raízes de Linhagens Contrastantes de Milho em Resposta ao Défict Hidrico dentro da UFMG, além de empresas de biotecnologia que manifestaram interesse na utilização desta tecnologia, como por exemplo, a Prodimol Tecnologia, a Biocod Biotecnologia, o Hospital Belo Horizonte e o Centro de Pesquisas René Rachou da Fundação Oswaldo Cruz. Dada a significativa participação de pesquisadores e grupos de pesquisa da área biológica, é importante ter a participação de um pesquisador que tenha conhecimentos em bioinformática e em biologia a fim de garantir que o desenvolvimento do projeto explore todas as oportunidades de pesquisa e que atenda aos seus usuários finais. O bolsista do projeto SIGLa atuará então como membro de ligação entre as duas áreas. Sua presença é importante não somente pelo projeto SIGLa como também para fortalecer a área de bioinformática na UFMG, uma área nova e de excelente potencial, mas que necessita de pesquisadores dedicados à tarefa de transpor as diferenças entre as duas áreas de atuação e desta forma criar efetivamente uma nova área de pesquisa. ..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) / Doutorado: (1) .
Integrantes: Sergio Vale Aguiar Campos - Coordenador / Alessandra C FariaCampos - Integrante / Glória R Franco - Integrante / Guilherme Oliveira - Integrante / Adriano Pimenta - Integrante / Jader S. Cruz - Integrante / andrea Carneiro - Integrante.
2004 - 2006
Neosyst, Um Sistema de Gestão da Micro e Pequena Empresa

Projeto certificado pela empresa METASYS TECNOLOGIA S/A em 15/08/2013.
Descrição: Este projeto tem como objetivo prover um sistema completo de gestão de pequenas empresas baseado em software livre.
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) .
Integrantes: Sergio Vale Aguiar Campos - Coordenador / Paulo Neuenschwander Maciel - Integrante.Financiador(es): Banco Interamericano de Desenvolvimento - Auxílio financeiro.
2001 - 2005
Computador Popular

Projeto certificado pela empresa METASYS TECNOLOGIA S/A em 15/08/2013.
Descrição: Este projeto prevê o desenvolvimento de um protótipo de computador de baixo custo utilizando software livre como base, e gerando um sistema completo para inclusão digital.
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (3) .
Integrantes: Sergio Vale Aguiar Campos - Coordenador / Paulo Neuenschwander Maciel - Integrante.Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.


Membro de corpo editorial


2014 - 2016
Periódico: BMC Bioinformatics


Revisor de periódico


2006 - Atual
Periódico: Journal of Computer Science and Technology (Beijing)
2014 - Atual
Periódico: BMC Bioinformatics
2016 - Atual
Periódico: GENETICS AND MOLECULAR BIOLOGY


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Bioinformática/Especialidade: Armazenamento e Análise de Dados Biológicos.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.


Prêmios e títulos


2014
Best Oral Presentation, Brazilian Symposium in Bioinformatics.
2011
Menção Honrosa, WPerformance, X Workshop em Desempenho de Sistemas Computacionais e de Comunicação.
2008
Best Oral Presentation Award, 3rd place, Brazilian Society for Bioinformatics and Computational Biology.
2005
Melhor Artigo da Conferência WPERFORMANCE, Workshop em Desempenho de Sistemas Computacionais e de Comunicação.
2004
Prêmio Telemar de Inclusão Digital - Segundo Lugar Universidades, Instituto Telemar.
2001
Destaque SUCESU 2001 de Informática e Telecomunicações de Minas Gerais, SUCESU.
2001
Tecnologia da Informação - Escolhido entre os 100 mais influentes, Info Exame.
2001
Melhores de Hoje, Informática, Jornal Hoje em Dia.
1994
Prêmio de Melhor Artigo Técnico e Apresentação, Intel Design Technology Conference.
1990
Segundo Lugar no Concurso de Tese e Dissertações, Sociedade Brasileira de Computação.


Produções



Produção bibliográfica
Citações

SCOPUS

Artigos completos publicados em periódicos

1.
VILALLONGA, GABRIEL D.2018VILALLONGA, GABRIEL D. ; DE ALMEIDA, ANTÔNIO-CARLOS G. ; RIBEIRO, KELISON T. ; CAMPOS, SERGIO V. A. ; RODRIGUES, ANTÔNIO M. . Hypothesized diprotomeric enzyme complex supported by stochastic modelling of palytoxin-induced Na/K pump channels. Royal Society Open Science, v. 5, p. 172155, 2018.

2.
MAGALHÃES, MARCOS JORGE2016MAGALHÃES, MARCOS JORGE ; MARTINS, LEONARDO FRANCO ; SENRA, RENATO LIMA ; DOS SANTOS, THAÍS FERREIRA ; OKANO, DENISE SILVA ; PEREIRA, PAULO ROBERTO GOMES ; FARIA-CAMPOS, ALESSANDRA ; CAMPOS, SÉRGIO VALE AGUIAR ; GUIMARÃES, JOSÉ DOMINGOS ; BARACAT-PEREIRA, MARIA CRISTINA . Differential abundances of four forms of BSP1 in the seminal plasma of Bos taurus indicus bulls with different patterns of semen freezability. Theriogenology, v. 16, p. 102, 2016.

3.
GAMES, PATRÍCIA DIAS2016GAMES, PATRÍCIA DIAS ; DASILVA, ELÓI QUINTAS GONÇALVES ; BARBOSA, MEIRE DE OLIVEIRA ; ALMEIDA-SOUZA, HEBRÉIA OLIVEIRA ; FONTES, PATRÍCIA PEREIRA ; DEMAGALHÃES-JR, MARCOS JORGE ; PEREIRA, PAULO ROBERTO GOMES ; PRATES, MAURA VIANNA ; FRANCO, GLORIA REGINA ; FARIA-CAMPOS, ALESSANDRA ; CAMPOS, SÉRGIO VALE AGUIAR ; BARACAT-PEREIRA, MARIA CRISTINA . Computer aided identification of a Hevein-like antimicrobial peptide of bell pepper leaves for biotechnological use. BMC GENOMICS, v. 17, p. 1-13, 2016.

4.
FARIACAMPOS, Alessandra C2015FARIACAMPOS, Alessandra C ; Hanke, Lucas A. ; BATISTA, P. ; Vinicius Garcia ; CAMPOS, S. V. A. . An innovative electronic health records system for rare and complex diseases. BMC Bioinformatics, v. 16, p. S4, 2015.

5.
FARIACAMPOS, Alessandra C2015FARIACAMPOS, Alessandra C ; BALOTTIN, L. ; ZUIN, G. ; Vinicius Garcia ; BATISTA, P. ; GRANJEIRO, J. M. ; CAMPOS, S. V. A. . FluxCTTX: A LIMS-based tool for management and analysis of cytotoxicity assays data. BMC Bioinformatics, v. 16, p. S8, 2015.

6.
Hanke, Lucas A.2014Hanke, Lucas A. ; BOTELHO, C. ; BRAZ, F. A. F. ; BATISTA, P. ; FLATSCHART, A. F. ; NODA, R. ; CARNEIRO, A. ; FARIACAMPOS, Alessandra C ; Campos, Sérgio V.A. . FluxTransgenics: a flexible LIMS-based tool for management of plant transformation experimental data. Plant Methods, v. 10, p. 2, 2014.

7.
VIEIRA, Alex Borges2013CAMPOS, S. V. A.; VIEIRA, Alex Borges ; Almeida, Rafael Barra ; ALMEIDA, Jussara M. ; Almeida, Jussara M. . SimplyRep: A simple and effective reputation system to fight pollution in P2P live streaming. Computer Networks (1999), v. 57, p. 1019-1036, 2013.

8.
BRAZ, F. A. F.2013BRAZ, F. A. F. ; CRUZ, J. S. ; FARIACAMPOS, Alessandra C ; Campos, Sérgio V.A. . Probabilistic Model Checking Analysis of Palytoxin Effects on Cell Energy Reactions of the Na+/K+-ATPase. IEEE/ACM Transactions on Computational Biology and Bioinformatics (Print), v. 10, p. 1530-1541, 2013.

9.
BORGES, Alex2012BORGES, Alex ; Gomes, Pedro ; Nacif, José ; Mantini, Rodrigo ; Almeida, Jussara M. ; Campos, Sérgio . Characterizing SopCast client behavior. Computer Communications, v. 35, p. 1004-1016, 2012.

10.
CREPALDE, M. A.2011CREPALDE, M. A. ; FARIACAMPOS, Alessandra C ; Campos, Sérgio V.A. . Modeling and analysis of cell membrane systems with probabilistic model checking. BMC Genomics, v. 12, p. S14, 2011.

11.
MACIEL, W. D.2011MACIEL, W. D. ; FARIACAMPOS, Alessandra C ; GONCALVES, M. A. ; Campos, Sérgio V.A. . Can the vector space model be used to identify biological entity activities?. BMC Genomics, v. 12, p. S1, 2011.

12.
FARIACAMPOS, Alessandra C2011FARIACAMPOS, Alessandra C ; RAUSCH-FERNANDES, H. ; VAL, C. ; THORUN, P. ; ABREU, V. ; BATISTA, P. ; MENDONCA, P. ; ALVES, V. ; RODRIGUES, M. ; PIMENTA, A. ; FRANCO, Glória R ; CAMPOS, S. V. A. . PRODIS: a proteomics data management system with support to experiment tracking. BMC Genomics, v. 12, p. S15, 2011.

13.
Lana-Peixoto, Marco A.2011CAMPOS, S. V. A.; Lana-Peixoto, Marco A. ; Talim, Lívia Edwiges ; Faria-Campos, Alessandra C. ; Rocha, Cristiane F. ; Hanke, Lucas A. ; Talim, Natália ; Batista, Paulo Henrique ; Araujo, Carolina R. ; Kleinpaul, Rodrigo . NMO-DBr: the Brazilian Neuromyelitis Optica Database System. Arquivos de Neuro-Psiquiatria (Impresso), v. 69, p. 687-692, 2011.

14.
SIMOES, A.2010SIMOES, A. ; FARIACAMPOS, Alessandra C ; DELAAT, D. M. ; ABREU, V. ; CAMPOS, S. V. A. . SIGLa: an adaptable LIMS for multiple laboratories. BMC Genomics, v. 11, p. 8, 2010.

15.
GOMES, R. R.2009GOMES, R. R. ; CAMPOS, S. V. A. ; PENA, S. D. . PEDEXPERT: a computer program for the application of Bayesian networks to human paternity testing. Genetics and Molecular Research, v. 8, p. 273-283, 2009.

16.
BARBOSA, Daniela V C2008BARBOSA, Daniela V C ; FERNANDES, G. ; PROSDOCIMI, F ; Pena I ; Santana-Santos L ; Coelho Jr O ; SILVA, A. B. ; MUDADO, M. ; NATALE, D. ; FARIACAMPOS, Alessandra C ; CAMPOS, S. V. A. ; ORTEGA, José M . A procedure to recruit members to enlarge protein family databases--the building of UECOG (UniRef-Enriched COG Database) as a model. Genetics and Molecular Research, v. 7, p. 910-924, 2008.

17.
FARIACAMPOS, Alessandra C2007FARIACAMPOS, Alessandra C ; GOMES, R. R. ; MORATELLI, F. ; ROLLA, A. ; FRANCO, Glória R ; CAMPOS, S. V. A. . BNDb - BIomolecules Nucleus Database: An Integrated Proteomics and Transcriptomics Database. Genetics and Molecular Research, v. 6, p. 937-945, 2007.

18.
FARIACAMPOS, Alessandra C2006FARIACAMPOS, Alessandra C ; MORATELLI, F. ; MENDES, I. K. ; ORTOLANI, P. ; OLIVEIRA, G. ; CAMPOS, S. V. A. ; ORTEGA, José M ; FRANCO, Glória R . Production of Full-length cDNAs by Sequencing and Analysis of Expressed Sequence Tags from Schistosoma mansoni. Memórias do Instituto Oswaldo Cruz, v. 1, p. In press, 2006.

19.
FARIACAMPOS, Alessandra C2006FARIACAMPOS, Alessandra C ; CAMPOS, S. V. A. ; PROSDOCIMI, F ; FRANCO, Glória R ; ORTEGA, José M . Efficient Secondary Database Driven Annotation Using Model Organisms Sequences. In Silico Biology. An International Journal on Computational Molecular Biology, v. 6, p. 34, 2006.

20.
COSTA, U.2005COSTA, U. ; CAMPOS, S. V. A. ; VIEIRA, N. ; DEHARBE, D. . Explicit-Symbolic Modelling for Formal Verification. Electronic Notes in Theoretical Computer Science, v. 130, p. 301-321, 2005.

21.
CAMPOS, S. V. A.;Campos, Sérgio V.A.;Campos, Sérgio;CAMPOS, SÉRGIO VALE AGUIAR;CAMPOS, SERGIO V. A.;CAMPOS, SERGIO;CAMPOS, S.2004CAMPOS, S. V. A.; GRUMBERG, Orna ; YORAV, Karen ; FADY, Copty . Test Sequence generation and model checking using dynamic transition relations. International Journal on Software Tools for Technology Transfer, Alemanha, v. 6, n.2, p. 174-182, 2004.

22.
CAMPOS, S. V. A.;Campos, Sérgio V.A.;Campos, Sérgio;CAMPOS, SÉRGIO VALE AGUIAR;CAMPOS, SERGIO V. A.;CAMPOS, SERGIO;CAMPOS, S.2001CAMPOS, S. V. A.; CLARKE, E. . The Verus Language: representing time efficiently with BDDs. Theoretical Computer Science, v. 253, p. 95-118, 2001.

23.
CAMPOS, S. V. A.;Campos, Sérgio V.A.;Campos, Sérgio;CAMPOS, SÉRGIO VALE AGUIAR;CAMPOS, SERGIO V. A.;CAMPOS, SERGIO;CAMPOS, S.2001CAMPOS, S. V. A.; TEIXEIRA, M. ; MINEA, M. ; KUEHLMANN, A. ; CLARKE, E. . Model Checking Semi-Continuous Time Models Using BDDs. Electronic Notes in Theoretical Computer Science, v. 23, p. 1-13, 2001.

24.
CAMPOS, S. V. A.;Campos, Sérgio V.A.;Campos, Sérgio;CAMPOS, SÉRGIO VALE AGUIAR;CAMPOS, SERGIO V. A.;CAMPOS, SERGIO;CAMPOS, S.2000CAMPOS, S. V. A.; CLARKE, E. ; GRUMBERG, O. . Selective quantitative analysis and interval model checking: verifyng different facets of a system. Formal Methods In System Design, v. 17, p. 163-192, 2000.

25.
CAMPOS, S. V. A.;Campos, Sérgio V.A.;Campos, Sérgio;CAMPOS, SÉRGIO VALE AGUIAR;CAMPOS, SERGIO V. A.;CAMPOS, SERGIO;CAMPOS, S.2000CAMPOS, S. V. A.; HARTONAS-GARMHAUSEN, V. ; CIMATTI, A. ; CLARKE, E. ; GIUNCHIGLIA, F. . Verification of a safety-critical railway interlocking system with real-time constraints. Science Of Computer Programming, v. 36, n.1, p. 53-65, 2000.

26.
CAMPOS, S. V. A.;Campos, Sérgio V.A.;Campos, Sérgio;CAMPOS, SÉRGIO VALE AGUIAR;CAMPOS, SERGIO V. A.;CAMPOS, SERGIO;CAMPOS, S.1999CAMPOS, S. V. A.; CLARKE, E. . Analysis And Verification Of Real-Time Systems Using Quantitative Symbolic Algorithms A Ser Publicado Em 1998. SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER JOURNAL, v. 2, n.3, p. 260-269, 1999.

27.
CAMPOS, S. V. A.;Campos, Sérgio V.A.;Campos, Sérgio;CAMPOS, SÉRGIO VALE AGUIAR;CAMPOS, SERGIO V. A.;CAMPOS, SERGIO;CAMPOS, S.1997 CAMPOS, S. V. A.; CLARKE, E. ; MINEA, M. . Symbolic Techniques For Formally Verifying Industrial Systems. SCIENCE OF COMPUTER PROGRAMMING, v. 29, p. 79-98, 1997.

28.
CAMPOS, S. V. A.;Campos, Sérgio V.A.;Campos, Sérgio;CAMPOS, SÉRGIO VALE AGUIAR;CAMPOS, SERGIO V. A.;CAMPOS, SERGIO;CAMPOS, S.1995 CAMPOS, S. V. A.; CLARKE, E. ; MARRERO, W. ; MINEA, M. ; HIRAISHI, H. . Temporal Verification Of Real-Time Systems. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v. E78-D, n.7, p. 796-801, 1995.

29.
CAMPOS, S. V. A.;Campos, Sérgio V.A.;Campos, Sérgio;CAMPOS, SÉRGIO VALE AGUIAR;CAMPOS, SERGIO V. A.;CAMPOS, SERGIO;CAMPOS, S.1995CAMPOS, S. V. A.; CLARKE, E. ; MARRERO, W. ; MINEA, M. . Verus: A Tool For Quantitative Analysis Of Finite-State Real-Time Systems. ACM SIGPLAN NOTICES, v. 30, n.11, p. 70-78, 1995.

30.
CAMPOS, S. V. A.;Campos, Sérgio V.A.;Campos, Sérgio;CAMPOS, SÉRGIO VALE AGUIAR;CAMPOS, SERGIO V. A.;CAMPOS, SERGIO;CAMPOS, S.1990CAMPOS, S. V. A.; CARVALHO, O. . Temis - Um Nucleo Para Desenvolvimento de Programas Paralelos. REVISTA BRASILEIRA DE COMPUTACAO, v. 6, n.1, p. 33-44, 1990.

Livros publicados/organizados ou edições
1.
Campos, Sérgio. Advances in Bioinformatics and Computational Biology, 9th Brazilian Symposium on Bioinformatics. 1. ed. Springer: Heidelberg, 2014. v. 1. 153p .

2.
MEIRA, W. ; MURTA, C. ; CAMPOS, S. V. A. ; GUEDES, D. O. . Comércio Eletrônico: projeto e desenvolvimento. Editora Campus, 2002.

Capítulos de livros publicados
1.
BEREZIN, S. ; CAMPOS, S. V. A. ; CLARKE, E. . Compositional Reasoning In Model Checking. In: Willem-Paul de Roever; Hans Langmaack; Amir Pnueli. (Org.). Compositionaly: The Significant Difference. : Spring-Verlag, 1998, v. , p. -.

2.
CAMPOS, S. V. A.. Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers. In: S. Budkowski; A. Cavalli; E. Najm. (Org.). Formal Description Techniques and protocol Specification, Testing and Verification. : Klumer Academic Publishers, 1998, v. 1, p. -.

3.
CAMPOS, S. V. A.; CLARKE, E. ; MINEA, M. . Analysis Of Real-Time Systems Using Symbolic Techniques. In: C. Heitmeyer; D. Mandrioli. (Org.). TRENDS IN SOFTWARE - FORMAL METHODS FOR REAL-TIME COMPUTING. CHICHESTER, ENGLAND: JOHN WILEY & SONS, 1996, v. , p. 217-236.

4.
CAMPOS, S. V. A.; CLARKE, E. . AMAST Series in Computing: Theories and Experiences for Real-Time Systems Development. In: T. Rus; C. Rattray. (Org.). Real-time symbolic model checking for discrete time models. 1ed.SINGAPORE: WORLD SCIENTIFIC PUBLISHING, 1995, v. , p. 129-146.

Textos em jornais de notícias/revistas
1.
CAMPOS, S. V. A.. Computadores Telefônicos ou Telefones Computadorizados?. Jornal Hoje em Dia, Belo Horizonte, p. 2 - 2, 02 nov. 1998.

2.
CAMPOS, S. V. A.. Os Bugs do Novo Milênio. Jornal Hoje em Dia, Belo Horizonte, p. 2 - 2, 08 mar. 1900.

Trabalhos completos publicados em anais de congressos
1.
MIGUEL, E. ; CARVALHO, F. ; MORGAN, B. ; CALADO, M. ; CUNHA, I. ; Campos, Sérgio . Join rate improvements in P2P live streaming based on topological aspects during Flash Crowds. In: XXXV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2017, Belém, PA. Anais do XXXV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, 2017.

2.
SARDINHA, L. H. ; ORLANDI, V. B. ; VILELA NETO, O. ; Campos, Sérgio . Simplified Model for Automatic QCA Circuitry Verification. In: 30th Symposium on Integrated Circuits and System Design - SBCCI 2017, 2017, Fortaleza. Proceeding of the 30th Symposium on Integrated Circuits and System Design - SBCCI 2017, 2017.

3.
MIGUEL, E. ; CUNHA, I. ; SILVA, C. ; CARVALHO, F. ; Campos, Sérgio . Resource-constrained P2P Streaming Overlay Construction for Efficient Joining Under Flash Crowds. In: The 22nd IEEE Symposium on Computers and Communications, 2017, Creta. Proceedings of the 22nd IEEE Symposium on Computers and Communications, 2017.

4.
OLIVEIRA, J. ; CUNHA, I. ; MIGUEL, E. ; Campos, Sérgio . AERO: Adaptive Emergency Request Optimization in CDN-P2P Live Streaming. In: IEEE Globecom, 2017, Cingapura. Proceedings of the IEEE Globecom, 2017.

5.
AMERICO, A. ; VAZ, A. ; ALVIM, M. S. ; CAMPOS, S. V. A. ; MCIVER, A. . Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols. In: Simpósio Brasileiro de Métodos Formais, 2017, Recife. Anais do XX Simpósio Brasileiro de Métodos Formais, 2017. p. 142-158.

6.
MIGUEL, E. ; CUNHA, I. ; Campos, Sérgio . Ingressos em Redes P2P para Vídeo ao Vivo. In: Workshop de Redes P2P, Dinâmicas, Sociais e Orientadas a Conteúdo, 2016, Salvador. Anais do Workshop de Redes P2P, Dinâmicas, Sociais e Orientadas a Conteúdo, 2016.

7.
FERREIRA, B. ; BRAZ, F. A. F. ; Campos, Sérgio ; LOUREIRO, A. . A Probabilistic Model Checking Analysis of Vehicular Ad-hoc Networks. In: 81st Vehicular Technology Conference: VTC2015, 2015, Glasgow. Proceedings of the 81st Vehicular Technology Conference, 2015.

8.
ANTUNA, L. ; ARAIZA-ILLAN, D. ; EDER, K. ; CAMPOS, S. V. A. . Symmetry Reduction Enables Model Checking More Complex Emergent Behaviours of Swarm Navigation Algorithms. In: 16th Towards Autonomous Robotics Systems, 2015, Liverpool. Proceedings of the 16th Towards Autonomous Robotics Systems, 2015.

9.
GRUNWELL, D. ; Batista, Paulo Henrique ; Campos, Sérgio ; SAHAMA, T. . Managing and sharing health data through information accountability protocols. In: 17th International Conference on E-health Networking, Application and Services (Healthcom), 2015, Boston, EUA. Proceedings of the 17th International Conference on E-health Networking, Application and Services (Healthcom), 2015.

10.
FERREIRA, B. ; Campos, Sérgio ; CUNHA, F. D. ; LOUREIRO, A. ; BRAZ, F. A. F. . Intelligent Service to Perform Overtaking in Vehicular Networks. In: ISCC 2015 - The Twentieth IEEE Symposium on Computers and Communications, 2015, Larnaca. Proceedings of the Twentieth IEEE Symposium on Computers and Communications, 2015.

11.
Eduardo Ferreira ; RAUSCH-FERNANDES, H. ; FARIACAMPOS, Alessandra C ; PIETRA, E. ; Lilian Santos ; Campos, Sérgio V.A. . Medical Data Mining: a case study of a Paracoccidioidomicosis Patient?s Database. In: 16th International Conference on E-health Networking, Application & Services, 2014, Natal. 16th International Conference on E-health Networking, Application & ServicesProceedings of the, 2014.

12.
FARIACAMPOS, Alessandra C ; Hanke, Lucas A. ; Vinicius Garcia ; Campos, Sérgio V.A. . FluxMED: An Adaptable and Extensible Electronic Health Record System. In: Brazilian Symposium on Bioinformatics, 2014, Belo Horizonte. Lecture Notes in Bioinformatics, 2014. v. 8429.

13.
Demian Oliveira ; BRAZ, F. A. F. ; FERREIRA, B. ; FARIACAMPOS, Alessandra C ; Campos, Sérgio V.A. . Using Binary Decision Diagrams (BDDs) for Memory Optimization in Basic Local Alignment Search Tool. In: Brazilian Symposium on Bioinformatics, 2014, Belo Horizonte. Lecture Notes in Bioinformatics, 2014. v. 8429.

14.
FERREIRA, B. ; BRAZ, F. A. F. ; CAMPOS, SÉRGIO VALE AGUIAR . A Probabilistic Model Checking Analysis of a Realistic Vehicular Networks Mobility Model. In: Brazilian Symposium of Formal Methods, 2014. Proceedings of the Brazilian Symposium of Formal Methods, 2014.

15.
BRAZ, F. A. F. ; FERREIRA, B. ; CRUZ, J. S. ; FARIACAMPOS, Alessandra C ; Campos, Sérgio V.A. . A Probabilistic Model Checking Analysis of the Potassium Reactions with the Palytoxin and Na+/K+-ATPase Complex. In: Brazilian Symposium on Bioinformatics, 2013, Recife. 8th Brazilian Symposium on Bioinformatics, 2013.

16.
SILVA, A. S. F. ; Batista, Paulo Henrique ; COSTA, A. M. M. ; FARIACAMPOS, Alessandra C ; Campos, Sérgio V.A. ; VILELA NETO, O. . NanoTrack - Sistema de Gerenciamento de Dados de Nanoestruturas com Plugins Inteligentes. In: VII e-Science workshop - Congresso da Sociedade Brasileira de Computação CSBC 2013, 2013, Maceió. VII e-Science workshop - Congresso da Sociedade Brasileira de Computação CSBC 2013, 2013.

17.
OLIVEIRA, J. ; MIGUEL, E. ; CUNHA, I. ; VIEIRA, Alex Borges ; ROCHA, M. V. ; Campos, Sérgio V.A. . Can P2P Live Streaming Systems Coexist with Free Riders?. In: IEEE International Conference on Peer-to-Peer Computing, 2013, Trento, Itália. IEEE International Conference on Peer-to-Peer Computing 2013, 2013.

18.
BRAZ, F. A. F. ; CRUZ, J. S. ; FARIACAMPOS, Alessandra C ; Campos, Sérgio V.A. . A Probabilistic Model Checking Approach to Investigate the Palytoxin Effects on the Na+/K+-ATPase. In: Brazilian Symposium on Bioinformatics, 2012, Campo Grande, MS. Proceedings of the 2012 Brazilian Symposium on Bioinformatics, 2012.

19.
BRAZ, F. A. F. ; CRUZ, J. S. ; FARIACAMPOS, Alessandra C ; Campos, Sérgio V.A. . Palytoxin Inhibits the Sodium-Potassium Pump ? An Investigation of an Electrophysiological Model Using Probabilistic Model Checking. In: Simpósio Brasileiro de Métodos Formais, 2012, Natal, RN. Anais do Simpósio Brasileiro de Métodos Formais, 2012.

20.
SILVA, A. S. F. ; Batista, Paulo Henrique ; ANDRADE, T. K. C. ; VILELA NETO, O. ; Campos, Sérgio V.A. ; FARIACAMPOS, Alessandra C . NanoTrack Sistema Inteligente de Gerenciamento de Dados de Síntese de Nanoestruturas. In: VI Workshop de e-Science - XXXII Congresso da Sociedade Brasileira de Computação, 2012, Curitiba. VI Workshop de e-Science - XXXII Congresso da Sociedade Brasileira de Computação, 2012.

21.
BRAZ, F. A. F. ; FERREIRA, B. ; Campos, Sérgio V.A. . A Probabilistic Model Checking Approach to Investigate Vehicular Networks. In: Simpósio Brasileiro de Métodos Formais, 2012, Natal. Brazilian Symposium on Formal Methods, 2012.

22.
Gomes, Pedro ; VIEIRA, Alex Borges ; Campos, Sérgio . Verification of P2P Live Streaming Systems Using Symmetry-based Semiautomatic Abstractions. In: International Conference on High Performance Computing and Simulation (HPCS/MOSPAS), 2012, Madrid. Proceedings of the International Conference on High Performance Computing and Simulation (HPCS/MOSPAS), 2012.

23.
GONCALVES, M. A. ; BORGES, Alex ; ALMEIDA, J. ; silva, a. p. ; CAMPOS, S. V. A. . Caracterização das Propriedades Dinâmicas da Estrutura da Rede Sobreposta do SopCast. In: WPerformance - X Workshop em Desempenho de Sistemas Computacionais e de Comunicação, 2011, Natal. WPerformance - X Workshop em Desempenho de Sistemas Computacionais e de Comunicação, 2011.

24.
GONCALVES, M. A. ; BORGES, Alex ; ALMEIDA, J. ; neto h. m. ; silva, a. p. ; CAMPOS, S. V. A. . Characterizing Dynamic Properties of the SopCast Overlay Network. In: 20th Euromicro International Conference on Parallel, Distributed and Network-Based Computing, 2011, Garching. Proceedings of the 20th Euromicro International Conference on Parallel, Distributed and Network-Based Computing, 2011.

25.
SILVEIRA, D. R. ; Campos, Sérgio V.A. . Syndrome-Fortuna: A viable approach on Linux random number generation. In: Simpósio Brasileiro em Segurança da  Informação e de Sistemas Computacionais, 2011, Brasília. Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 2011.

26.
CALDAS, R. ; Barreto R. S. ; CORDEIRO, L. ; CAMPOS, SERGIO V. A. . A Formal Method for Modeling, Verification and Synthesis of Embedded Reactive Systems. In: IADIS Applied Computing Conference, 2011, Rio de Janeiro. Proceedings of the IADIS Applied Computing Conference, 2011.

27.
OLIVEIRA, J. ; BORGES, Alex ; GOMES, P. ; CAMPOS, S. V. A. ; CAMPOS, S. . Centralidade em Redes P2P de Transmissão ao Vivo. In: VI Workshop de Redes Dinâmicas e Sistemas P2P (WP2P), 2010, Porto Alegre. VI Workshop de Redes Dinâmicas e Sistemas P2P (WP2P),, 2010.

28.
BORGES, Alex ; GOMES, P. ; ROCHA, M. V. ; ALMEIDA, J. ; CAMPOS, S. V. A. . Modelo de Comportamento dos Participantes do SopCast. In: Simpósio Brasileiro de Sistemas Multimídia e Web - Webmedia, 2009, Fortaleza. Anais do XV Simpósio Brasileiro de Sistemas Multimídia e Web (Webmedia), 2009.

29.
OLIVEIRA, J. ; BORGES, Alex ; CAMPOS, S. V. A. . Poluição de conteúdo em sistemas P2P Live Streaming. In: Simpósio Brasileiro de Sistemas Multimídia e Web - Webmedia, 2009, Fortaleza. Anais do XV Simpósio Brasileiro de Sistemas Multimídia e Web (Webmedia), 2009.

30.
VIEIRA, Alex Borges ; Gomes, Pedro ; ROCHA, MARCUS ; ALMEIDA, JUSSARA ; CAMPOS, SERGIO . A behaviour model of the SopCast users. In: the XV Brazilian Symposium, 2009, Fortaleza. Proceedings of the XV Brazilian Symposium on Multimedia and the Web - WebMedia '09, 2009. p. 1.

31.
VIEIRA, Alex Borges ; CAMPOS, SERGIO ; ALMEIDA, JUSSARA . Fighting Attacks in P2P Live Streaming. Simpler is Better. In: IEEE INFOCOM 2009 IEEE Conference on Computer Communications Workshops, 2009, Rio de Janeiro. IEEE INFOCOM Workshops 2009, 2009. p. 1.

32.
CAMPOS, S.; NEVES, J. ; ZARATE, L. ; SONG, M. . Distributed BMC: A Depth-First Approach to Explore Clause Symmetry. In: 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS), 2009, San Francisco. 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009. p. 89.

33.
BORGES, Alex ; ALMEIDA, J ; CAMPOS, S. V. A. . Fighting pollution in P2P live streaming systems. In: IEEE International Conference On Multimedia & Expo, 2008, Hannover. Proc. of the IEEE International Conference On Multimedia & Expo, 2008. p. 481-484.

34.
GOMES, R. R. ; COTA, C. ; SONG, Mark Alan ; CAMPOS, S. V. A. . Large Scale Genetic Identity Inference Using Symbolic Model Checking. In: Fifth International Workshop on Constraints in Formal Verification, 2008, Sidney. Proc. of the Fifth International Workshop on Constraints in Formal Verification, 2008.

35.
CALDAS, R. ; Barreto R. S. ; CAMPOS, S. V. A. . On the use of X-machine Formal Model to Design Sensor Network Applications. In: IEEE Symposium on Industrial Embedded Systems (SIES2008), 2008, Montpellier. IEEE Symposium on Industrial Embedded Systems (SIES2008), 2008.

36.
BORGES, Alex ; ALMEIDA, J. ; CAMPOS, S. V. A. . Combate a Poluição em Sistemas P2P de Mídia Contínua ao Vivo. In: O Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC),, 2008, Rio de Janeiro. Proc. SBRC, 2008.

37.
BARROS, H. ; CAMPOS, S. V. A. ; SONG, Mark Alan ; ZARATE, L. . Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm. In: 14th IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2007, Tucson, AZ, EUA. Proceedings of the 14th IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2007.

38.
FARIACAMPOS, Alessandra C ; RAUSCH-FERNANDES, H. ; GOMES, R. R. ; RATES, B. ; PIMENTA, A. ; FRANCO, Glória R ; CAMPOS, S. V. A. . A New Approach to the Integration of Proteomics Experimental Data. In: Brazilian Symposium on Bioinformatics, 2007, Angra dos Reis, RJ. Proceedings of the Brazilian Symposium on Bioinformatics, 2007.

39.
ROCHA, M. V. ; MAIA, M. ; CUNHA, I ; ALMEIDA, J ; CAMPOS, S. V. A. . Requisitos de Banda de Rede para Protocolos de Mídia Contínua Otimizados para Interatividade. In: XII Brazilian Symposium on Multimidia and the Web, 2006, Natal. Proceedings of the XII Brazilian Symposium on Multimidia and the Web, 2006.

40.
ROCHA, M. V. ; MAIA, M. ; CUNHA, I ; ALMEIDA, J ; CAMPOS, S. V. A. . Estratégias Híbridas para Transmissão de Mídia Contínua Interativa com Compartilhamento de Fluxo. In: Simpósio Brasileiro de Redes de Computadores, 2006, Curitiba. Anais do Simpósio Brasileiro de Redes de Computadores, 2006.

41.
PEREIRA, Adriano ; SONG, Mark Alan ; CAMPOS, S. V. A. ; GALVEZ, L. E. Z. . Formal Verification of Transactional Systems Based on UML Specifications. In: The Seventeenth International Conference on Software Engineering and Knowledge Engineering, 2005, Taipei. Proceedings of the Seventeenth International Conference on Software Engineering and Knowledge Engineering, 2005.

42.
ROCHA, M. V. ; MAIA, M. ; CUNHA, I ; ALMEIDA, J ; CAMPOS, S. V. A. . Scalable Media Streaming to Interactive Users. In: ACM Multimedia, 2005, Cingapura. Proceedings of ACM Multimedia, 2005.

43.
ROCHA, M. V. ; MAIA, M. ; ALMEIDA, J ; CAMPOS, S. V. A. . Escalabilidade de Protocolos com Compartilhamento de Banda Para Cargas de Mídia Contínua Realistas. In: IV Workshop em Desempenho de Sistemas Computacionais e de Comunicacao (WPerformance), 2005, Porto Alegre. Anais do IV Workshop em Desempenho de Sistemas Computacionais e de Comunicacao (WPerformance), 2005.

44.
SONG, Mark Alan ; PEREIRA, Adriano ; CAMPOS, S. V. A. . Formal Verification of Transactional Systems. In: 1st International Conference on Web Information Systems and Technologies, 2005, Miami. Proceedings of the 1st International Conference on Web Information Systems and Technologies, 2005.

45.
MAIA, M. ; ROCHA, M. V. ; CUNHA, I ; ALMEIDA, J ; CAMPOS, S. V. A. . Network bandwidth requirements for optimized streaming media transmission to interactive users. In: Brazilian Symposium on Multimedia and the Web, 2005, Natal. Proc. of the 12th Brazilian Symposium on Multimedia and the Web. New York: ACM Press, 2005. v. 192. p. 283-292.

46.
FARIACAMPOS, Alessandra C ; CAMPOS, S. V. A. ; FRANCO, Glória R ; ORTEGA, José M . Automated selection of schistosoma mansoni clones for full length sequencing: algorithm test and inspection of putative kosak consensus. In: Reunião Anual da Sociedade Brasileira de Bioquímica e Biologia Molecular, 2004, Caxambu, 2004.

47.
OLIVEIRA, Marcos P ; FERNANDES, Antônio O ; CAMPOS, SERGIO V. A. ; ZUQUIM, Ana Luiza ; BECKLER, Alberto R . RMCAN - a protocol for multiprocessor fault tolerant architectures. In: IEEE Latin American Test Workshop, 2004. IEEE Latin American Test Workshop, 2004.

48.
VIEIRA, Alex Borges ; GUIMARAES, e ; CUNHA, I ; COSTA, C P ; CAMPOS, S. V. A. ; ALMEIDA, J . Easypres: an easy-to-use tool for creating synchronized multimedia presentations. In: World Conference on Educational Multimedia, Hypermedia & Telecommunications, 2004, Zurich, 2004.

49.
PEREIRA, Adriano ; SONG, Mark Alan ; CAMPOS, S. V. A. . Modeling and verifying web based systems - an uml-cafe case study. In: Argentine Symposium on Software Engineering, 2004, Cordoba, 2004.

50.
OLIVEIRA, Marcos P ; FERNANDES, Antônio O ; CAMPOS, S. V. A. ; ZUQUIM, Ana Luiza ; MATA, José M . Guaranteeing fault tolerance through scheduling on a can bus. In: International CAN Conference, 2003. Proceedings of the 9th International CAN Conference. v. 9.

51.
OLIVEIRA, Marcos P ; FERNANDES, Antônio O ; CAMPOS, S. V. A. ; ZUQUIM, Ana Luiza . Guaranteeing fault tolerance through scheduling on a can bus. In: Test and Fault Tolerant Workshop, 2003. Proceedings of the VI Test and Fault Tolerant Workshop.

52.
SANTOS, Daniela A S ; VIEIRA, Alex Borges ; RIBEIRO NETO, Berthier ; CAMPOS, S. V. A. . Performance analysis and optimization of a distributed video on demand service. In: IEEE International Symposium on Performance Analysis of Systems and Software, 2003, 2003.

53.
SONG, Mark Alan ; PEREIRA, Adriano ; GORGULHO, Gustavo ; MEIRA, W ; CAMPOS, S. V. A. . UML Cafe: a process to specify and verify e-commerce systems. In: International conference on Electronic Commerce Research, 2003, 2003.

54.
SONG, Mark Alan ; PEREIRA, Adriano ; LIMA, Fernanda ; GORGULHO, Gustavo ; MEIRA, W ; CAMPOS, S. V. A. . A software engineering process to specify and verify e-commerce systems. In: International Conference on Software Engineering Research and Practice, 2003, 2003.

55.
SONG, Mark Alan ; PEREIRA, Adriano ; LIMA, Fernanda ; GORGULHO, Gustavo ; CAMPOS, S. V. A. . Extending UML to specify and verify e-commerce systems. In: 15th International Conference on Software Engineering and Knowledge Engineering, SEKE, 2003, San Francisco, CA, EUA. Proceedings of the 15th International Conference on Software Engineering and Knowledge Engineering, 2003. p. 306-315.

56.
PEREIRA, Adriano ; SONG, Mark Alan ; MEIRA, W. ; CAMPOS, SERGIO V. A. . Formal-CAFE Methodology: an E-commerce System? s Case Study. In: International Conference on Electronic Commerce Research, 2003. Proceedings of the International Conference on Electronic Commerce Research, 2003.

57.
SANTOS, Daniela A S ; BORGES, Alex ; RIBEIRO, M ; CARAM, J ; RIBEIRO NETO, Berthier ; CAMPOS, S. V. A. . Architectures for a new generation of VoD servers. In: Brazilian Symposium on Multimedia and Hypermedia Systems, 2002. Proceedings of the VIII Brazilian Symposium on Multimedia and Hypermedia Systems.

58.
PEREIRA, Adriano ; SONG, Mark Alan ; GORGULHO, Gustavo ; MEIRA, W ; CAMPOS, S. V. A. . A formal methodology to specify e-commerce systems. In: International Conference on Formal Engineering Methods, 2002, 2002.

59.
PEREIRA, Adriano ; SONG, Mark Alan ; GORGULHO, Gustavo ; MEIRA, W ; CAMPOS, S. V. A. . A formal specification methodology for e-commerce systems. In: International Conference on Electronic Commerce Research, 2002, 2002.

60.
SONG, Mark Alan ; PEREIRA, Adriano ; GORGULHO, Gustavo ; MEIRA, W ; CAMPOS, S. V. A. . Model checking patterns for e-commerce systems. In: First Seminar on Advanced Research in Eletronic Business, 2002, 2002.

61.
SILVA, E. S. E. ; LEAO, R. ; RIBEIRO NETO, Berthier ; CAMPOS, SERGIO V. A. . Performance Issues of Multimedia Applications. In: IFIP International Symposium on Computer Performance Modeling, Measurement and Evaluation, 2002. Proceedings of the IFIP International Symposium on Computer Performance Modeling, Measurement and Evaluation, 2002.

62.
MACÊDO, A. ; CAMPOS, S. V. A. ; CARVALHO, C. . Symbolic model checking: a new approach for solving scheduling problems. In: X Latin-Ibero-American Conference on Operations Research and Systems, 2000, Cidade do México. Proceedings of CORS'2000, 2000.

63.
BERTINI, L. ; CAMPOS, S. V. A. ; JAMIL, G. ; RIBEIRO NETO, Berthier . Análise de Desempenho do Servidor de Vídeo ALMADEN-VOD. In: Simpósio Brasileiro de Multimídia, 1999. Anais do SBMIDIA'99, 1999.

64.
DINIZ, A. L. ; CAMPOS, S. V. A. ; NOGUEIRA, J. M. ; MACHADO, C. M. ; SOUZA, L. . Um Sistema de Gereciamento de Tráfego para Redes Telefônicas de Grande Porte. In: XVII Simpósio Brasileiro de Redes de Computadores, 1999, Salvador. Anais do SBRC'99, 1999.

65.
CAMPOS, S. V. A.. Symbolic Model Checking in Pratice. In: XII Symposium on Integrated Circuits and Systems Design, 1999. Proceedings of SBCCI'99, 1999.

66.
DINIZ, A. L. ; CAMPOS, S. V. A. ; NOGUEIRA, J. M. ; MACHADO, C. M. ; SOUZA, L. . An Efficient low-cost traffic management system for large switching networks. In: IEEE Latin American Network Operations and Management Symposium, 1999. Proceedings of IEEE Latin American, 1999.

67.
CAMPOS, S. V. A.; RIBEIRO NETO, Berthier ; MACÊDO, A. ; BERTINI, L. . Formal Verification and Analysis of Multimedia System. In: ACM International Multimedia Conference, 1999. Proceedings of ACM'99, 1999.

68.
CAMPOS, S. V. A.; TEIXEIRA, M. ; MINEA, M. ; KUEHKMANN, A. ; CLARKE, E. . Model Checking semi-continous time models using BDDs. In: International Workshop on Symbolic Model Checking, 1999. Proceedings of WSMC'99, 1999.

69.
MACÊDO, A. ; CAMPOS, S. V. A. . An Efficient formal verification tool for real-time systems. In: II Workshop on Formal Methods, 1999. Proceedings of WMF'99, 1999. p. 297-308.

70.
HARTONAS-GARMHAUSEN, V. ; CAMPOS, S. V. A. . ProbVerus: probabilistic symbolic model checking. In: IV International AMAST Workshop on Real-Time and Probabilistic Systems, 1999. Proceedings of AMAST'99, 1999.

71.
CAMPOS, S. V. A.. Shared Variables And Efficient Synchronization Primitives For Synchronous Symbolic Verifiers. In: FORMAL DESCRIPTION TECHNIQUES & PROTOCOL SPECIFICATION, TESTING AND VERIFICATION SYMPOSIUM, 1998. PARIS, FRANCA. p. 0-0.

72.
CAMPOS, S. V. A.. Verification Of A Safety-Critical Railway Interlocking System With Real-Time Constraints. In: IEEE 28TH INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, 1998. MUNICH, ALEMANHA. p. 0-0.

73.
CLARKE, E. ; MCMILLAN, K. ; CAMPOS, S. V. A. ; HARTONAS-GARMHAUSEN, V. . Symbolic Model Checking. In: Seminário Integrado de Hardware e Software, 1998, Belo Horizonte. Anais do SEMISH'98, 1998. v. 1. p. 0-0.

74.
CAMPOS, S. V. A.; CLARKE, E. ; MINEA, M. . The Verus tool: a quantitative approach to the formal verification of real-time systems. In: Conference on Computer Aided Verification, 1997. Proceedings of CCAV'1997, 1997.

75.
CAMPOS, S. V. A.. Selective Quantitative Analysis And Interval Model Checking: Verifyingdifferent Facets Of A System. In: COMPUTER AIDED VERIFICATION, 1996. NEW BRUSWICK, EUA. p. 0-0.

76.
CAMPOS, S. V. A.. Deadlock Prevention In Flexible Manufacturing Systems Using Symbolic Model Checking. In: INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, 1996. MINNEAPOLIS, MN, EUA. p. 0-0.

77.
CLARKE, E. ; MCMILLAN, K. ; CAMPOS, S. V. A. ; HARTONAS-GARMHAUSEN, V. . Symbolic model checking. In: Conference on Computer Aided Verification, 1996. Proceedings of CCAV'1996, 1996.

78.
CLARKE, E. ; HARTONAS-GARMHAUSEN, V. ; CAMPOS, S. V. A. . Deadlock prevention in flexible mana\ufacturing systems using symbolic model checking. In: International Conference on Robotics and Automation, 1996. Proceedings of ICRA'96, 1996.

79.
CAMPOS, S. V. A.; CLARKE, E. ; MARRERO, W. ; MINEA, M. . Verifying The Performance Of The Pci Local Bus Using Symbolic Techniques. In: INTERNATIONAL CONFERENCE ON COMPUTER DESIGN, 1995. AUSTIN, EUA. p. 0-0.

80.
CAMPOS, S. V. A.. Formally Verifying Arithmetic Circuits - Avoiding The Pentium Fdiv Bug. In: Intel Design and Test Technology Conference, 1995. proceedings of IDTTC, 1995.

81.
CAMPOS, S. V. A.; CLARKE, E. ; MARRERO, W. ; MINEA, M. . Timing Analysis of Industrial real-time systems. In: Workshop on Industrial Strength Formal Specification Techniques, 1995. Proceedings of WISFST'95, 1995.

82.
CAMPOS, S. V. A.; KHAIRA, M. ; MARRERO, W. ; ZHAO, X. ; CLARKE, E. . Formally verifying arithmetic circuits - avoiding the Pentium fdiv bug. In: Intel Design and Test Technology Conference, 1995. Proceedings of IDTTC'95, 1995.

83.
CAMPOS, S. V. A.; KHAIRA, M. ; ZHAO, X. . Formally Verifying Bus Designs. In: Intel Design Technologu Conference, 1994. Proceedings of IDTC'94, 1994.

84.
CAMPOS, S. V. A.; CLARKE, E. ; MARRERO, W. ; MINEA, M. ; HIRAISHI, H. . Computing quantitative chacteristics of finite-state real-time systems. In: IEEE Real-Time Systems Sympoisum, 1994. Proceedings of IEEE RTSS'94, 1994.

85.
CAMPOS, S. V. A.; CARVALHO, O. . Um Algoritmo 0..O(Sqrt{N}) Para Exclusao Mutua. In: VII Brazilian Computer Network Symposium, 1989, Porto Alegre. Anais do BCNS'99, 1989.

Resumos expandidos publicados em anais de congressos
1.
OLIVEIRA, J. ; VIANA, R. ; BORGES, Alex ; ROCHA, M. V. ; Campos, Sérgio V.A. . TVPP: A Research Oriented P2P Live Streaming System. In: Simpósio Brasileiro de Redes de Computadores, 2013, Brasília. SBRC 2013 - Salão de Ferramentas, 2013.

2.
FARIACAMPOS, Alessandra C ; BRAVONETO, e ; TORRES, João A ; CAMPOS, S. V. A. ; FRANCO, Glória R ; ORTEGA, José M . 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. In: Congresso da Sociedade Brasileira de Genética, 2002, 2002.

Resumos publicados em anais de congressos
1.
BARBOSA, Daniela V C ; TORRES, João A ; CAMPOS, S. V. A. ; ORTEGA, José M . Contribution of aminoacid insertions and deletions to proteobacteria-b and proteobacteria-d molecular evolution. In: Reunião Anual da Sociedade Brasileira de Bioquímica e Biologia Molecular, 2004, Caxambu, 2004.

2.
TORRES, João A ; BRAVONETO, e ; FARIACAMPOS, Alessandra C ; CAMPOS, S. V. A. ; ORTEGA, José M . Biodados server: a new system to query secondry databases cogs, biocarta and kegg. In: Reunião Anual da Sociedade Brasileira de Bioquímica e Biologia Molecular, 2003, 2003.

3.
FARIACAMPOS, Alessandra C ; PROSDOCIMI, F ; TORRES, João A ; PEIXOTO, F C ; CAMPOS, S. V. A. ; FRANCO, Glória R ; ORTEGA, José M . Comparison of sequence sets of s. mansoni to d. melanogaster and c. elegans and development of tools for selection of s. mansoni clones for full length sequencing. In: Reunião Anual da Sociedade Brasileira de Bioquímica e Biologia Molecular, 2002, Caxambu, 2002.

Apresentações de Trabalho
1.
VAL, C. ; SIMOES, A. ; FARIACAMPOS, Alessandra C ; CAMPOS, S. V. A. . SIGLa - A Dynamic System to Integrate Laboratory Data Based on Workflow Definition. 2008. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções bibliográficas
1.
CAMPOS, S. V. A.. The Priority Inversion Problem and Real-Time Symbolici Model Cheking. EUA: Carnegie Mellon University, 1993 (Relatório Técnico).


Produção técnica
Programas de computador sem registro
1.
Faria-Campos, Alessandra C. ; Lana-Peixoto, Marco A. ; CAMPOS, S. V. A. . NMO-DBr The Neuromielitis Optica Brazilian Database. 2011.

2.
SIMOES, A. ; FARIACAMPOS, Alessandra C ; DELAAT, D. M. ; KELLER, R. ; ABREU, V. ; CAMPOS, S. V. A. . SIGLa - Sistema Integrado de Gerência de Laboratórios. 2010.

3.
FARIACAMPOS, Alessandra C ; RAUSCH-FERNANDES, H. ; VAL, C. ; THORUN, P. ; ABREU, V. ; BATISTA, P. ; PIMENTA, A. ; FRANCO, Glória R ; CAMPOS, S. V. A. . Prodis - Proteomics Data Integrated System. 2009.

4.
FARIACAMPOS, Alessandra C ; RAUSCH-FERNANDES, H. ; CAMPOS, S. V. A. . BNDb - Biomolecules Network Database. 2006.

5.
CAMPOS, S. V. A.; MACIEL, P. N. . Neosyst - Sistema de Gerência de Negócios para Pequena Empresa. 2005.

6.
CAMPOS, S. V. A.. Metasys. 2002.

7.
CAMPOS, S. V. A.; CLARKE, E. . O Sistema de Verificação de Modelos Simbólico (Symbolic Model Checker) Verus. 1997.

Produtos tecnológicos
1.
CAMPOS, S. V. A.; FARIACAMPOS, Alessandra C ; VILELA NETO, O. . NanoTrack - Sistema de Gerenciamento de Dados de Nanoestruturas com Plugins Inteligentes. 2013.

2.
CAMPOS, S. V. A.; FARIACAMPOS, Alessandra C ; FLATSCHART, A. F. ; CARNEIRO, A. ; NODA, R. . FluxTransgenics: Um Sistema para Gerenciamento de Produção de Plantas Transgênicas. 2012.

3.
Campos, Sérgio V.A.; FARIACAMPOS, Alessandra C ; PIETRA, E. . FluxPCM: Um Sistema para Gerência de Dados de Paracoccidioidomicose. 2012.

4.
CAMPOS, S. V. A.; FARIACAMPOS, Alessandra C ; Lana-Peixoto, Marco A. . NMO-DBr, O Banco de Dados Brasileiro de Neuromielite Óptica. 2012.

5.
CAMPOS, S. V. A.; MACIEL, P. N. ; CAMPOS, I. M. . Metasys, Software para Inclusão Digital. 2005.



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
FERNANDEZ, L. B.; Campos, Sérgio. Participação em banca de Gabriel A Novillo. Definición de um patrón de diseño de um Cuadro de Mando Integral aplicado a Gobiernos Urbanos. 2016. Dissertação (Mestrado em Ciência da computação) - Universidad Nacional de San Luis.

2.
GRANJEIRO, J. M.; FARIACAMPOS, Alessandra C; FLATSCHART, A. F.; Campos, Sérgio. Participação em banca de Handressa Pereira Fêu. Desenvolvimento de Fluxos de Trabalho (Workflows) para Implementação de Boas Práticas de Laboratórios (BPL). 2015. Dissertação (Mestrado em Biotecnologia) - Instituto Nacional de Metrologia, Qualidade e Tecnologia.

Teses de doutorado
1.
KLIEB, L.; Campos, Sérgio. Participação em banca de Raghid El Yafouri. Electronic Medical Records Adoption and Use Understanding the Barriers and the Levels of Adoption for Physicians in the USA. 2015. Tese (Doutorado em Doctorate in Business Administration) - Grenoble Ecole de Management.




Eventos



Organização de eventos, congressos, exposições e feiras
1.
Campos, Sérgio. Brazilian Symposium on Bioinformatics. 2015. (Congresso).

2.
Campos, Sérgio V.A.; OLIVEIRA, G. . Brazilian Symposium on Bioinformatics. 2014. (Congresso).

3.
OLIVEIRA, G. ; Campos, Sérgio . Meeting of the International Society for Computational Biology, Latin America. 2014. (Congresso).

4.
OLIVEIRA, G. ; Campos, Sérgio . 10th International Conference of the AB3C, Associação Brasileira de Bioinformática e Biologia Computacional. 2014. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Juliana Silva Nunes. Análise de Dados de Experimentos de Proteômica. Início: 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais. (Orientador).

2.
Mário Luiz Rodrigues Oliveira. Um Sistema de Tradução Simulink-SMV para Verificação de Modelos. Início: 2017. Dissertação (Mestrado profissional em Ciências da Computação) - Universidade Federal de Minas Gerais. (Orientador).

3.
Ana Beatriz Delavia Thomasi. Um Sistema de Gestão de Dados de Qualidade do Leita. Início: 2017. Dissertação (Mestrado profissional em Bioinformática) - Universidade Federal de Minas Gerais. (Orientador).

Tese de doutorado
1.
Habib Asseis Neto. Análise de Dados de Experimentos de Proteômica. Início: 2017. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais. (Orientador).

2.
Herbert Rausch. Verificação Probabilística de Sistemas de Transporte de Íons. Início: 2017. Tese (Doutorado em Bioinformática) - Universidade Federal de Minas Gerais. (Orientador).

3.
Amir Jalilifard. Battling the Curse of Rare Diseases: Moving from Scattered Clinical Documents to Structured Datasets. Início: 2016. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

4.
Gabriel Domingo Vilallonga. Probabilistic Verification of Ion Transport Systems. Início: 2015. Tese (Doutorado em Ciência da computação) - Universidad Nacional de San Luis. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Paulo Henrique Batista. Desenvolvimento de uma Estrutura para Responsabilidade após-o-fato em um S-RES Adaptável. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Sergio Vale Aguiar Campos.

2.
Demian Bueno. BDDBlast, A Memory and Time Efficient Architecture for Pairwise Alignments. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Sergio Vale Aguiar Campos.

3.
Eduardo Ferreira Liboredo. Mineração de Dados Aplicada à dados Médicos. 2015. Dissertação (Mestrado em Bioinformática) - Universidade Federal de Minas Gerais, . Orientador: Sergio Vale Aguiar Campos.

4.
Fernando Braz. Verificação Probabilística de Modelos para Modelagem e Análise de Interações de Toxinas com Sistemas de Transporte Transmembrânico de Íons. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Sergio Vale Aguiar Campos.

5.
Herbert Rausch Fernandes. BioBI, uma Ferramenta para Mineração de Dados em Bioinformática. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Sergio Vale Aguiar Campos.

6.
Alexandre Simões de Melo. SIGLa: Um LIMS baseado em workflows adaptáveis com suporte a múltiplos laboratórios. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Sergio Vale Aguiar Campos.

7.
Pedro de Carvalho Gomes. Abstrações semiautomáticas na verificação de modelos simétricos. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Sergio Vale Aguiar Campos.

8.
João Ferreira D' Araújo e Oliveira. Super Nós em sistemas P2P de distribuição de mídia ao vivo. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Sergio Vale Aguiar Campos.

9.
Daniel Rezende Silveira. Síndrome-Fortuna:Uma abordagem viável para a geração de números pseudoaleatórios no linux. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Coorientador: Sergio Vale Aguiar Campos.

10.
Cristiano Santos Botelho. Definição de Visões em um LIMS Orientado a Fluxo de Trabalho para Gerenciamento de Dados e Processos Laboratoriais. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Fundação de Amparo à Pesquisa do Estado de Minas Gerais. Orientador: Sergio Vale Aguiar Campos.

11.
Mirlaine Aparecida Crepalde. ANÁLISE DO COMPORTAMENTO DE CANAIS IÔNICOS UTILIZANDO MODEL CHECKING SIMBÓLICO. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Sergio Vale Aguiar Campos.

12.
Daniel Oliveira Nascimento. Monitoração Avançada de Redes de Computadores de Grande Escala. 2007. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Programa de Pós-Graduação em Ciência da Computação - ICEx - UFMG, . Orientador: Sergio Vale Aguiar Campos.

13.
João de Abreu e Tôrres. PCT - Uma Ferramenta para Anotação de Proteínas Utilizando Bases Secundárias. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Sergio Vale Aguiar Campos.

14.
Alex Borges Vieira. Sistema Gerador de Apresentações para Ensino a Distância. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Sergio Vale Aguiar Campos.

15.
Hugo Valentim Barros. Um Algoritmo Distribuído para Verificação de Modelos com Fronteiras. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Sergio Vale Aguiar Campos.

16.
Alberto Rubens Beckler. Verificação Formal de Protocolos para Sistemas de Tempo Real Tolerantes a Falhas. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Sergio Vale Aguiar Campos.

17.
Judson Santos Santiago. Particionamento Simbólico de Programas. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Sergio Vale Aguiar Campos.

18.
Lamarque Vieira Souza. Técnicas de Compartilhamento de Recursos no Ambiente Metasys. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Sergio Vale Aguiar Campos.

19.
Guilherme Rocha Ribeiro. DEVICE ANYWHERE: Acesso Otimizado a Recursos em Sistemas Distribuídos. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Sergio Vale Aguiar Campos.

20.
André Luiz do Vale Soares. Verificação Formal em Aplicações de Reconhecimento de Ondas Eletrocardiográficas. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Sergio Vale Aguiar Campos.

21.
Tanara Lauschner. Verificação Formal e Análise de Protocolos de Roteamento de Redes Móveis Ad Hoc. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Sergio Vale Aguiar Campos.

Tese de doutorado
1.
Eliseu César Miguel. Overlay Construction Strategies for Peer-to-peer Live STreaming Systems. 2017. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Sergio Vale Aguiar Campos.

2.
Bruno Ferreira. Análise Formal de Redes Veiculares com Verificação de Modelos Probabilística. 2016. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Sergio Vale Aguiar Campos.

3.
João Ferreira D' Araújo e Oliveira. Perdas de Pacotes em Redes P2P de Live Streaming. 2015. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Fundação de Amparo à Pesquisa do Estado de Minas Gerais. Orientador: Sergio Vale Aguiar Campos.

4.
Alex Borges Vieira. Transmissão de Mídia Contínua ao Vivo em P2P: Modelagem, Caracterização e Implementação de Mecanismos de Resiliência a Ataques. 2010. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Sergio Vale Aguiar Campos.

5.
Wesley Dias Maciel. Um Modelo para Descobertas Baseadas em Literatura Biológica - Uma Avaliação usando Patentes como Literatura de Referência. 2009. Tese (Doutorado em Bioinformática) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Sergio Vale Aguiar Campos.

6.
Ruiter Braga Caldas. Modelagem, Verificação Formal e Codificação de Sistemas Reativos Autônomos. 2009. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Sergio Vale Aguiar Campos.

7.
Maurício de Alvarenga Mudado. Uso da Base de Dados Secundária KOG como Ferramenta para Caracterização de Expressão Gênica e Mineração de Dados em Projetos Transcriptoma. 2007. Tese (Doutorado em Bioinformática) - Doutorado em Bioinformática - ICB - UFMG, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Sergio Vale Aguiar Campos.

8.
Marcus Vinícius de Melo Rocha. Estratégias Híbridas para Transmissão de Mídia Contínua Interativa com Compartilhamento de Fluxo. 2007. Tese (Doutorado em Programa de Pós-Graduação em Ciência da Computaçã) - Programa de Pós-Graduação em Ciência da Computação - ICEx - UFMG, . Orientador: Sergio Vale Aguiar Campos.

9.
Umberto da Souza Costa. Um Verificador de Modelos Explícito-Simbólico. 2005. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Sergio Vale Aguiar Campos.

10.
Marcos P Oliveira. Tolerância a Falhas através de Escalonamento em um Sistema Multiprocessado. 2004. 183 f. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Coorientador: Sergio Vale Aguiar Campos.

11.
Mark Alan Song. UML - Cafe, Uma Metodologia para Projeto e Verificação de Sistemas Transacionais. 2004. 130 f. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Sergio Vale Aguiar Campos.

12.
Autran Macêdo. Solução Exata de Problemas de Escalonamento Determinísticos por meio de Verificação Simbólica de Modelos. 2002. 104 f. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais, . Orientador: Sergio Vale Aguiar Campos.



Inovação



Produto tecnológico
1.
CAMPOS, S. V. A.; MACIEL, P. N. ; CAMPOS, I. M. . Metasys, Software para Inclusão Digital. 2005.

2.
CAMPOS, S. V. A.; FARIACAMPOS, Alessandra C ; FLATSCHART, A. F. ; CARNEIRO, A. ; NODA, R. . FluxTransgenics: Um Sistema para Gerenciamento de Produção de Plantas Transgênicas. 2012.

3.
CAMPOS, S. V. A.; FARIACAMPOS, Alessandra C ; VILELA NETO, O. . NanoTrack - Sistema de Gerenciamento de Dados de Nanoestruturas com Plugins Inteligentes. 2013.

4.
Campos, Sérgio V.A.; FARIACAMPOS, Alessandra C ; PIETRA, E. . FluxPCM: Um Sistema para Gerência de Dados de Paracoccidioidomicose. 2012.

5.
CAMPOS, S. V. A.; FARIACAMPOS, Alessandra C ; Lana-Peixoto, Marco A. . NMO-DBr, O Banco de Dados Brasileiro de Neuromielite Óptica. 2012.


Projetos de pesquisa

Projeto de desenvolvimento tecnológico



Página gerada pelo Sistema Currículo Lattes em 21/10/2018 às 9:21:38