Umberto Souza da Costa

Possui graduação em Ciências da Computação pela Universidade Federal do Rio Grande do Norte (1998), mestrado em Sistemas e Computação pela Universidade Federal do Rio Grande do Norte (2000) e doutorado em Ciências da Computação pela Universidade Federal de Minas Gerais (2005). Atualmente é Professor Associado na Universidade Federal do Rio Grande do Norte. Tem experiência na área de Ciência da Computação, com ênfase em Linguagens de Programação e Compiladores, atuando em temas como Verificação de Programas e Serviços Web.

Informações coletadas do Lattes em 21/12/2018

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em Ciências da Computação

2001 - 2005

Universidade Federal de Minas Gerais
Título: Um Verificador de Modelos Explícito-Simbólico
Sérgio Vale Aguiar Campos. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.

Mestrado em Sistemas e Computação

1999 - 2000

Universidade Federal do Rio Grande do Norte
Título: Ordenação de Variáveis de BDDs Utilizando Algoritmos Genéticos Paralelos,Ano de Obtenção: 2001
Orientador: Anamaria Martins Moreira
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.

Graduação em Ciências da Computação

1994 - 1998

Universidade Federal do Rio Grande do Norte
Título: Implementação de Jogos Inteligentes utilizando Sistemas Neuro-Simbólicos
Orientador: Márcia de Paiva Bastos Gottgtroy
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.

Seção coletada automaticamente pelo Escavador

Pós-doutorado

2011 - 2012

Pós-Doutorado. , Université d'Orléans, UNIV-ORLEANS, França. , Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. , Grande área: Ciências Exatas e da Terra, Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Linguagens de Programação.

Seção coletada automaticamente pelo Escavador

Idiomas

Inglês

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

Francês

Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.

Seção coletada automaticamente pelo Escavador

Áreas de atuação

    Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.

Seção coletada automaticamente pelo Escavador

Organização de eventos

COSTA, U. S. . XXIV Encontro Nacional dos Grupos do Programa de Educação Tutorial (PET) - ENAPET 2019. 2019. (Outro).

VINCENZI, A. M. ; FEITOSA, M. D. ; COSTA, U. S. . XIX Workshop sobre Educação em Computação (WEI). 2011. (Congresso).

COSTA, U. S. . XI Brazilian Symposium on Programming Languages. 2007. (Congresso).

COSTA, U. S. . Third International Conference on Graph Transformation (ICGT 2006). 2006. (Congresso).

COSTA, U. S. . Brazilian Symposium on Formal Methods (SBMF 2006). 2006. (Congresso).

COSTA, U. S. . Ciclo de Palestras do SINEC e WTC DIMAp. 2005. (Outro).

Seção coletada automaticamente pelo Escavador

Participação em eventos

XL Conferencia Latinoamericana en Informática (CLEI 2014). XXI Concurso Latinoamericano de Tesis de Maestría (CLTM). 2014. (Congresso).

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: Ciro Morais Medeiros

MUSICANTE, Martin A.OLIVEIRA, M. V. M.COSTA, U. S.; MEDEIROS, S. Q.; BIGONHA, M. A. S.. Avaliação Top-Down de Consultas de Caminhos Livres-de-Contexto em Grafos. 2018. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Fred de Castro Santos

COSTA, U. S.OLIVEIRA, M. V. M.MUSICANTE, Martin A.; MEDEIROS, S. Q.; BIGONHA, M. A. S.. Um mecanismo para avaliar consultas livres de contexto em bases de dados em grafos inspirado em analisadores LR(1). 2018. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: RAFAEL FERREIRA TOLEDO

COSTA, U. S.; MUSICANTE, M. A.; VARGAS-SOLAR, G.. Um Mecanismo de Recuperação Baseado em Reescrita para Composições de Serviços Web. 2018. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Vítor Alcântara de Almeida

COSTA, U. S.DEHARBE, D. B. P.; Souza Neto, Plácido A.; BONICHON, R. W. A.. WPTrans: Um Assistente para Verificação de Programas em Frama-C. 2016. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Eliezio Soares de Sousa Neto

CACHO, N. A. A.;COSTA, U. S.; LIMA FILHO, F. J. C.. Avaliando a Robustez e Manutenibilidade do Comportamento Excepcional em Aplicações C#. 2014. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: José Sueney de Lima

COSTA, U. S.MUSICANTE, Martin A.; MOTZ, R.. Detecção e Recuperação de Falhas para a Máquina de Redução de Grafos PEWS-AM. 2014. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Daniel Aguiar da Silva Carvalho

MUSICANTE, Martin A.COSTA, U. S.; PARDO, A.; SANTOS, A. L. M.. Uma Máquina de Redução de Grafos para Servicos Web. 2013. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Sidney Soares Marcelino

COSTA, U. S.MUSICANTE, Martin A.; MOTZ, R.. Geração de processos WS-BPEL com base em um algoritmo de reescrita de regras. 2013. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Handerson Bezerra Medeiros

MUSICANTE, Martin A.COSTA, U. S.; SANTOS, A. L. M.. PEWS-RT: Um sistema de tempo de execução para a linguagem PEWS. 2013. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Fernando Henrique Calheiros Lopes

SANTOS, A. L. M.;COSTA, U. S.; BORBA, P. H. M.. Optimizing AspectJ for Java ME Software Product Lines. 2011. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

Aluno: Samuel Lincoln Magalhães Barrocas

OLIVEIRA, M. V. M.MUSICANTE, Martin A.COSTA, U. S.; MOTA, A. C.; GOMES, B. E. G.. Uma Estratégia para Validar a Geração de Códigos de Circus para Java. 2018. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Cleverton Hentz Antunes

MOREIRA, A. M.; GHEYI, R.; BORBA, P. H. M.;MUSICANTE, Martin A.COSTA, U. S.. Família de Critérios de Cobertura Baseados em Padrões para o Teste de Metaprogramas. 2017. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Evando Carlos Pessini

MUSICANTE, Martin A.COSTA, U. S.; PARDO, A.; RIBEIRO, C. M. F. A.; ALVES, M. H. F.; MOTZ, R.. Certificação de Composições de Serviços Web Semânticos. 2014. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: João Batista de Souza Neto

MUSICANTE, M. A.;MOREIRA, A. M.; VARGAS-SOLAR, G.;COSTA, U. S.; VERGILIO, S. R.. Uma abordagem para Teste de Mutação de programas de processamento de Big Data. 2019. Exame de qualificação (Doutorando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Evando Carlos Pessini

MUSICANTE, Martin A.COSTA, U. S.; PARDO, A.; RIBEIRO, C. M. F. A.; MOTZ, R.. Certificação de Composições de Serviços Web Semânticos. 2013. Exame de qualificação (Doutorando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Denis José Sousa de Albuquerque

COSTA, U. S.; MUSICANTE, M. A.; NUNES, M. A.. Identificação de dificuldades e questões de interesse de desenvolvedores de aplicações para Big Data com o framework Apache Spark. 2019. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Ciro Morais Medeiros

MUSICANTE, M. A.;OLIVEIRA, M. V. M.COSTA, U. S.; MEDEIROS, S. Q.. Consultas LL em Grafos RDF. 2017. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Fred de Castro Santos

COSTA, U. S.OLIVEIRA, M. V. M.MUSICANTE, Martin A.; MEDEIROS, S. Q.. Um mecanismo para avaliar consultas livres de contexto em bases de dados em grafos inspirado em analisadores LR(1). 2017. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: RAFAEL FERREIRA TOLEDO

COSTA, U. S.; MUSICANTE, M. A.; VARGAS-SOLAR, G.. Mecanimos de Recuperação Baseados em Reescrita para Composições de Serviços Web. 2017. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Eliezio Soares de Sousa Neto

CACHO, N. A. A.; ARANHA, E. H. S.;COSTA, U. S.. Analisando o Trade-Off entre Confiabilidade e Manutenibilidade em Sistemas Implementados com Mecanismos de Tratamento de Exceções Dirigidos a Manutenção. 2013. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: José Sueney de Lima

COSTA, U. S.MUSICANTE, Martin A.; CACHO, N. A. A.; MOTZ, R.. Detecção e Correção de Falhas para a Maquina de Redução de Grafos PEWS-AM. 2013. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Rodrigo Farias Herculano Mendes

COSTA, U. S.; SILVA, L. F.;MUSICANTE, Martin A.. Uma abordagem orientada a modelos para a geração automática de composições de serviços em WS-BPEL. 2013. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Sidney Soares Marcelino

COSTA, U. S.; LOPES, A. B.;MUSICANTE, Martin A.. Geração de processos BPEL com base em um algoritmo de reescrita de regras. 2013. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Daniel Aguiar da Silva Carvalho

MUSICANTE, Martin A.MOREIRA, A. M.COSTA, U. S.. Uma Máquina de Redução de Grafos para Servicos Web. 2012. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Handerson Bezerra Medeiros

MUSICANTE, Martin A.; LOPES, A. B.;COSTA, U. S.. Um Sistema de Tempo de Execução para a Linguagem PEWS. 2012. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Samuel Lincoln Magalhães Barrocas

OLIVEIRA, M. V. M.MUSICANTE, Martin A.COSTA, U. S.. JCIRCUS++: Uma Versão do Aplicativo JCIRCUS com uma Estratégia de Tradução de CIRCUS para Java mais Robusta. 2011. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Simone de Oliveira Santos

MOREIRA, A. M.DEHARBE, D. B. P.COSTA, U. S.. KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B. 2011. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Cleverton Hentz Antunes

MOREIRA, A. M.; COELHO, R. S.;COSTA, U. S.. Geração Automática de Testes a partir de Descrições de Linguagens. 2009. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: João Eduardo Ribeiro de Medeiros

COSTA, U. S.; COELHO, R. S.; CAVALCANTE, E. R. S.. Estudo Comparativo dos Mecanismos de Análise Estática de Código. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade Federal do Rio Grande do Norte.

Aluno: Thiago Anselmo Abreu Montenegro de Cerqueira

MUSICANTE, Martin A.; SOUZA NETO, Placido A.;COSTA, U. S.. Implementação e Teste de um Iterador para Refinamento Automático de Composições de Serviços Web. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Marcelo de B

LEITE, J. C.;COSTA, U. S.; CAMPOS, A. M. C.. Barbosa.EUPAT FORWOW: um estudo sobre programação por usuário final e interfaces programáveis em jogos. 2010. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Beremiz Reno Cavalcanti Rodrigues de Macedo

COSTA, U. S.; KULESZA, U.; LEITE, J. C.. Especificação e Implementação de G-Portugol OO: uma Linguagem de Programação OO para Iniciantes. 2009. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Ivan Soares de Medeiros Júnior

COSTA, U. S.OLIVEIRA, M. V. M.; GOMES, B. E. G.. Especificação e Verificação de uma Implementação MPI para MP-SoC. 2009. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Leonardo César Teonácio Bezerra

COSTA, U. S.; ROCHA, B. P. F. D.; SILVA, I. S.. Desenvolvimento de um Gerenciador de Processos para a Plataforma STORM. 2008. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Larissa Pinheiro Spinelli

DELICATO, F. C.; SILVA, I. S.;COSTA, U. S.. Zandra: um Componente de Segurança Adaptativa para o Prometheus. 2008. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Samuel Lincoln Magalhães Barrocas

MUSICANTE, Martin A.COSTA, U. S.; DELICATO, F. C.. Geração de Código de Grafos de Dependências para PEWS. 2008. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Klídson Ricardo de Lira Fernandes

CAMPOS, A. M. C.; CARVALHO, B. M.;COSTA, U. S.. Desenvolvimento de uma API para jogos de RPG para celulares. 2006. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Dhalmo Krause de Almeida

MOREIRA, A. M.COSTA, U. S.; LEITE, J. C.. Reengenharia da Ferramenta FERUS. 2006. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Klídson Ricardo de Lira Fernandes

CAMPOS, A. M. C.; CARVALHO, B. M.;COSTA, U. S.. EXPAMB: Uma Biblioteca de Classes para Jogos em Celulares (Aplicação a Jogos de RPGs). 2006. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Tássia Aparecida Vieira de Freitas

SILVA, I. S.; GOLDBARG, E. F. G.;COSTA, U. S.. Desenvolvimento de Aplicações da Indústria do Petróleo e Gás Natural em uma Plataforma MP-SOC. 2006. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Bruno Cruz de Oliveira

SILVA, I. S.; RAMOS, K. D. N.;COSTA, U. S.. Manutenção da Consistência de Dados em uma Plataforma MP-SOC Baseada em NOC: Projeto do Diretório. 2006. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Gustavo Girão Barreto da Silva

SILVA, I. S.; RAMOS, K. D. N.;COSTA, U. S.. Manutenção da Consistência de Dados em uma Plataforma MP-SOC Baseada em NOC: Projeto da Cache. 2006. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.

COSTA, U. S.; BONATES, T. O. E.; SANTIAGO, J. S.. Concurso Público para Professor Efetivo na Disciplina de Algoritmos, Programação e Estrutura de Dados. 2011. Universidade Federal Rural do Semi-Árido.

CASTRO, A. F.; CAZILLO, D. S. S.;COSTA, U. S.. Concurso Público para Docentes das Disciplinas: Informática Aplicada, Programação Aplicada a Engenharia. 2010. Universidade Federal Rural do Semi-Árido.

OLIVEIRA, A. S.;COSTA, U. S.; SANTIAGO, J. S.. Concurso Público para Docentes da Disciplina de Construção de Compiladores. 2009. Universidade Federal Rural do Semi-Árido.

COSTA, U. S.; SANTIAGO, J. S.; CASTRO, A. F.. Concurso Público para Docentes da Disciplina Análise de Algoritmos: Informática Aplicada e Programação Aplicada à Engenharia. 2008. Universidade Federal Rural do Semi-Árido.

CAMPOS, A. M. C.; SOUTO, M. C. P.;COSTA, U. S.; CARVALHO, B. M.. Processo Seletivo Simplificado para Professor Substituto. 2006. Universidade Federal do Rio Grande do Norte.

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Hao Chi Wong

CAMPOS, Sergio Vale Aguiar; DEHARBE, David Boris Paul; COELHO JR, Claudionor Jose Nunes;WONG, Hao Chi. Um verificador de modelos explicito-simbolico. 2003. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.

David Boris Paul Déharbe

DÉHARBE, D. B. P.MOREIRA, A. M.; MARTINS, S.. Ordenação de variáveis de BDDs utilizando algoritmo genéticos paralelos. 2000. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

David Boris Paul Déharbe

CAMPOS, Sergio Vale AguiarDÉHARBE, D. B. P.MOREIRA, A. M.; MOURA, A. V.; COELHO, C. J. N.; CHI, W. H.; VIEIRA, N. J.. Um verificador de modelos explícito-simbólico. 2005. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

David Boris Paul Déharbe

DÉHARBE, D. B. P.; COELHO, C. J. N.;MEDEIROS, S. Q.; CHI, W. H.. Um verificador de modelos explícito-simbólico. 2003. Exame de qualificação (Doutorando em Pos-graduacao em Ciencia da Computacao) - Universidade Federal de Minas Gerais.

Newton José Vieira

Campos, S.V.A.;DEHARBE, D. B. P.VIEIRA, N. J.. Um verificador de modelos explícito-simbólico. 2005. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Anamaria Martins Moreira

MOREIRA, A. M.DÉHARBE, D.; CAMPOS, S.; COELHO JUNIOR, C.; MOURA, A.; CHI, W. H.; VIEIRA, N. J.. Um verificador de modelos explícito-simbólico. 2005. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Ivan Saraiva Silva

MOREIRA, Anamaria Martins; COSTA, U. S.;DEHARBE, DavidSILVA, I. S.. Ordenação de Variáveis de BDDs Utilizando Algoritmos Genéticos Paralelos. 2000. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Seção coletada automaticamente pelo Escavador

Orientou

Denis José Sousa de Albuquerque

Identificação de dificuldades e questões de interesse de desenvolvedores de aplicações para Big Data com o framework Apache Spark; Início: 2017; Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte; (Orientador);

Fred de Castro Santos

Um mecanismo para avaliar consultas livres de contexto em bases de dados em grafos inspirado em analisadores LR(1); 2018; Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte,; Orientador: Umberto Souza da Costa;

Ciro Morais Medeiros

Avaliação Top-Down de Consultas de Caminhos Livres-de-Contexto em Grafos; 2018; Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Umberto Souza da Costa;

RAFAEL FERREIRA TOLEDO

A Recovery Mechanism Based on a Rewriting Process for Web Service Compositions; 2018; Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Umberto Souza da Costa;

José Sueney de Lima

Detecção e Recuperação de Falhas para a Máquina de Redução de Grafos PEWS-AM; 2014; Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte,; Orientador: Umberto Souza da Costa;

Sidney Soares Marcelino

Geração de processos WS-BPEL com base em um algoritmo de reescrita de regras; 2013; Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Umberto Souza da Costa;

João Eduardo Ribeiro de Medeiros

Estudo Comparativo de Ferramentas de Análise Estática de Código; 2017; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Software) - Universidade Federal do Rio Grande do Norte; Orientador: Umberto Souza da Costa;

Ivan Soares de Medeiros Júnior

Especificação e Verificação de uma Implementação MPI para MP-SoC; 2009; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte; Orientador: Umberto Souza da Costa;

Beremiz Reno Cavalcanti Rodrigues de Macedo

Especificação e Implementação de G-Portugol OO: uma Linguagem de Programação OO para Iniciantes; 2009; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte; Orientador: Umberto Souza da Costa;

Leonardo César Teonácio Bezerra

Desenvolvimento de um Gerenciador de Processos para a Plataforma STORM; 2008; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte; Orientador: Umberto Souza da Costa;

Seção coletada automaticamente pelo Escavador

Foi orientado por

Anamaria Martins Moreira

Ordenação de Variáveis de BDDs Utilizando Algoritmos Genéticos Paralelos; 2000; 120 f; Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Anamaria Martins Moreira;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • MEDEIROS, CIRO M. ; MUSICANTE, Martin A. ; COSTA, UMBERTO S. . LL-based query answering over RDF databases. Journal of Computer Languages , v. 51, p. 75-87, 2019.

  • BELHAJJAME, KHALID ; CASTRO, VALERIA DE ; OVIEDO, JAVIER A. ESPINOSA ; MUSICANTE, Martin A. ; COSTA, UMBERTO SOUZA DA ; Neto, Plácido A. Souza ; SOLAR, GENOVEVA VARGAS ; MARTINI, JOSÉ LUIS ZECHINELLI . πSOD-M: building SOC applications in the presence of non-functional requirements. International Journal of Web and Grid Services , v. 14, p. 400, 2018.

  • BA, C. ; CERQUEIRA, T. ; COSTA, U. S. ; ALVES, M. H. F. ; MUSICANTE, Martin A. ; ROBERT, S. . Experiments on service composition refinement on the basis of preference-driven recommendation. International Journal of Web and Grid Services , v. 12, p. 182-214, 2016.

  • Souza Neto, Plácido A. ; Vargas-Solar, Genoveva ; COSTA, U. S. ; MUSICANTE, M. A. . Designing service-based applications in the presence of non-functional properties: A mapping study. Information and Software Technology , v. 69, p. 84-105, 2016.

  • da Costa, Umberto Souza ; Moreira, Anamaria Martins ; MUSICANTE, Martin A. ; Souza Neto, Plácido A. . JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming (Print) , v. 77, p. 533-550, 2012.

Seção coletada automaticamente pelo Escavador

Outras produções

COSTA, U. S. ; MOREIRA, A. M. ; MAIA, P. F. . Anais do IV Workshop Técnico Científico do DIMAp. 2005.

COSTA, U. S. . 9th International Conference on Software Engineering and Formal Methods (SEFM 2011). 2011. ((revisor externo)).

COSTA, U. S. . Brazilian Symposium on Formal Methods (SBMF 2006). 2006. ((revisor externo)).

COSTA, U. S. . Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05). 2005. ((revisor externo)).

Seção coletada automaticamente pelo Escavador

Projetos de pesquisa

  • 2018 - Atual

    Desenvolvimento e uso de plataformas embarcadas de HW e SW para sistemas de IoT, Descrição: O uso de tecnologia da informação em diversas áreas tem permitido uma evolução significativa na qualidade de vida das pessoas e em novas formas de interação das mesmas com a tecnologia, bem como na forma de funcionamento ou de comunicação dessa tecnologia. É notório a evolução na área da saúde em questões como apoio a diagnósticos, na reabilitação ou no acompanhamento de atividades físicas, dentre outras. A evolução tecnológica também permite uma melhoria ou fornecimento de novos serviços nas cidades, seja na mobilidade, seja no apoio à participação dos cidadãos nas resoluções dos problemas ou nas tomadas de decisões, tornando as cidades mais inteligentes e humanas. Essa evolução da tecnologia permite avanços em diversas áreas e na qualidade de vida das pessoas, carros inteligentes que se comunicam com semáforos ou com outros carros, permitem fornecer aos condutores melhores alternativas de mobilidade. Dispositivos com sensores biométricos permitem um melhor acompanhamento da saúde de pacientes e um possível apoio à diagnóstico mais preciso e/ou mais precoce. Entretanto, essa evolução tecnológica traz novas complexidades inerentes a esses novos sistemas e dispositivos utilizados. Os diversos dispositivos e objetos conectados em sistemas ubíquos ou pervasivos permitindo a comunicação entre eles precisam ter suporte à segurança dos dados críticos, a uma política de segurança da comunicação e do acesso, entre outros fatores relacionados à segurança das informações envolvidas. Além disso, aqueles sistemas que são embarcados apresentam restrições críticas em relação ao consumo de energia, memória, área ocupada, desempenho e custos. Outra característica é o exíguo tempo de projeto, pois isso faz com que o produto seja lançado mais cedo no mercado. Na maioria das vezes esses requisitos são antagônicos entre si e fazem com que o desenvolvimento desses sistemas tenham uma maior complexidade. No intuito de reduzir o tempo de projeto e a complexidade são usadas estratégias como: reuso de componentes de hardware e de software, projeto baseado em plataforma, entre outras. Este projeto pretende explorar o uso e/ou desenvolver plataformas embarcadas de hardware e software para sistemas dentro do contexto de Internet das Coisas (IoT, do inglês, Internet of Things) nas áreas de saúde, cidades inteligentes, entre outras.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Umberto Souza da Costa - Integrante / Bruno Motta de Carvalho - Integrante / Silvio Costa Sampaio - Integrante / Edgard de Faria Correa - Coordenador / Kayo Goncalves e Silva - Integrante / Julio Cesar Paulino de Melo - Integrante / Monica Magalhaes Pereira - Integrante / Marcos Cesar Madruga Alves Pinheiro - Integrante / Heliana Bezerra Soares - Integrante / Ivanovitch Medeiros Dantas da Silva - Integrante / Gelly Viana Mota - Integrante / Marciel Manoel Leal - Integrante / Moises Cirilo de Brito Souto - Integrante.

  • 2006 - 2008

    PARALELIZAÇÃO E DISTRIBUIÇÃO DO PROCESSAMENTO DE DADOS ASTRONÔMICOS E ESPACIAIS DA UFRN, Descrição: O programa espacial euro-brasileiro CoRoT é uma importante atividade de pesquisa e desenvolvimento na área espacial, gerando um importante meio de formação de pessoal e transferência de know-how para o Brasil. A entrada do Brasil na Missão CoRoT levou a UFRN a atingir mais um estágio dentro das Ciências Espaciais ao trazer para esta instituição a função de coordenadora e executora do único Centro de Missão CoRoT fora da Europa. O Centro de Missão CoRoT do CNES (Toulouse, França) realizará todo o complexo tratamento dos dados recebidos por telemetria e fornecerá aos astrofísicos brasileiros um banco de curvas de luz das observações. Apenas características gerais dessas curvas serão fornecidas. Qualquer análise científica que se queira realizar com estes dados exigirá operações prévias sobre o banco de curvas de luz. O Centro da Missão CoRoT no Brasil coordenará o tratamento e distribuição de dados do banco de curvas de luz. Este Centro será destinado a manter um banco de dados da missão no país e a assegurar a realização de operações como a transferência dos dados para o Brasil e arquivo optimal dos mesmos, tratamento dos dados e a determinação precisa das periodicidades contidas no sinal, o que compreende as freqüências detectadas, bem como suas características. Pretendemos desenvolver pessoal na área de processamento de alto desempenho por meio da exploração de técnicas de paralelismo e distribuição, gerando habilidades para realizar a instalação e configuração do software necessário e efetuar a reengenharia de programas afim de aumentar a eficiência do processamento por meio destas técnicas. Estando no contexto do Centro de Missão CoRoT no Brasil, nosso foco encontra-se sobre os programas responsáveis por operações sobre o banco de curvas de luz do satélite. Estas operações serão realizadas mediante análises temporais homogêneas com técnicas avançadas. Considerando a grande massa de dados a ser analisada em um curto espaço de tempo, técnic. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Umberto Souza da Costa - Coordenador / Tyago de Medeiros Silva - Integrante.

Seção coletada automaticamente pelo Escavador

Prêmios

1998

Medalha de Mérito Estudantil, Universidade Federal do Rio Grande do Norte.

Histórico profissional

Seção coletada automaticamente pelo Escavador

Endereço profissional

  • Universidade Federal do Rio Grande do Norte, Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada. , Campus Universitário, DIMAp, Lagoa Nova, 59072-970 - Natal, RN - Brasil, Telefone: (84) 32153814, Ramal: 222, Fax: (84) 32153813

Seção coletada automaticamente pelo Escavador

Experiência profissional

  • 2005 - Atual

    Universidade Federal do Rio Grande do Norte

    Vínculo: Servidor Público, Enquadramento Funcional: Professor Associado, Regime: Dedicação exclusiva.

    Atividades

    • 04/2005

      Pesquisa e desenvolvimento , Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.,Linhas de pesquisa

    • 02/2019 - 06/2019

      Ensino, Engenharia de Software, Nível: Graduação,Disciplinas ministradas, Engenharia de Linguagens

    • 02/2019 - 06/2019

      Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Linguagens de Programação: Conceitos e Paradigmas

    • 07/2018 - 12/2018

      Ensino, Engenharia de Software, Nível: Graduação,Disciplinas ministradas, Engenharia de Linguagens

    • 07/2018 - 12/2018

      Ensino, Engenharia Civil, Nível: Graduação,Disciplinas ministradas, Algoritmo e Programação de Computadores

    • 02/2018 - 06/2018

      Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Linguagens de Programação: Conceitos e Paradigmas

    • 02/2018 - 06/2018

      Ensino, Engenharia de Software, Nível: Graduação,Disciplinas ministradas, Engenharia de Linguagens

    • 02/2018 - 06/2018

      Ensino, Sistemas e Computação, Nível: Pós-Graduação,Disciplinas ministradas, Estudo Orientado 1

    • 07/2017 - 12/2017

      Ensino, Tecnologia da Informação, Nível: Graduação,Disciplinas ministradas, Linguagem de Programação I

    • 02/2017 - 06/2017

      Ensino, Engenharia de Software, Nível: Graduação,Disciplinas ministradas, Engenharia de Linguagens

    • 02/2017 - 06/2017

      Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, LInguagens de Programação: Conceitos e Paradigmas

    • 02/2017 - 06/2017

      Ensino, Sistemas e Computação, Nível: Pós-Graduação,Disciplinas ministradas, Estudo Orientado 1

    • 07/2016 - 12/2016

      Ensino, Engenharia de Software, Nível: Graduação,Disciplinas ministradas, Engenharia de Linguagens

    • 07/2016 - 12/2016

      Ensino, Tecnologia da Informação, Nível: Graduação,Disciplinas ministradas, Linguagem de Programação I

    • 07/2016 - 12/2016

      Ensino, Sistemas e Computação, Nível: Pós-Graduação,Disciplinas ministradas, Estudo Orientado 1

    • 07/2016 - 12/2016

      Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Linguagens de Programação: Conceitos e Paradigmas

    • 02/2016 - 06/2016

      Ensino, Engenharia de Software, Nível: Graduação,Disciplinas ministradas, Engenharia de Linguagens

    • 02/2016 - 06/2016

      Ensino, Sistemas e Computação, Nível: Pós-Graduação,Disciplinas ministradas, Semântica de Linguagens de Programação

    • 07/2015 - 12/2015

      Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Compiladores, Linguagens de Programação: Conceitos e Paradigmas

    • 02/2015 - 06/2015

      Ensino, Engenharia de Software, Nível: Graduação,Disciplinas ministradas, Engenharia de Linguagens

    • 02/2015 - 06/2015

      Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Linguagens de Programação: Conceitos e Paradigmas

    • 09/2006 - 09/2006

      Extensão universitária , Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.,Atividade de extensão realizada, The 2006 ACM-ICPC South America Contest w/Brazil.