Umberto Souza da Costa

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


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 adjunto da 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. (Texto informado pelo autor)


Identificação


Nome
Umberto Souza da Costa
Nome em citações bibliográficas
COSTA, U. S.;da Costa, Umberto Souza;COSTA, UMBERTO SOUZA DA

Endereço


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


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


2001 - 2005
Doutorado em Ciências da Computação.
Universidade Federal de Minas Gerais, UFMG, Brasil.
Título: Um Verificador de Modelos Explícito-Simbólico, Ano de obtenção: 2005.
Orientador: Sérgio Vale Aguiar Campos.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
1999 - 2000
Mestrado em Sistemas e Computação.
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
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.
1994 - 1998
Graduação em Ciências da Computação.
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
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.


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.


Atuação Profissional



Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
Vínculo institucional

2005 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Regime: Dedicação exclusiva.

Atividades

02/2007 - Atual
Ensino, Ciências da Computação, Nível: Graduação

Disciplinas ministradas
Prática de Conceitos e Técnicas de Programação
Linguagem de Programação: Conceitos e Paradigmas
04/2005 - Atual
Pesquisa e desenvolvimento , Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.

07/2006 - 12/2006
Ensino, Ciências da Computação, Nível: Graduação

Disciplinas ministradas
Laboratório de Conceitos e Técnicas de Programação
Conceitos e Técnicas de Programação
Tópicos Especiais em Computação (Programação C++ para a plataforma Symbian)
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.
02/2006 - 06/2006
Ensino, Ciências da Computação, Nível: Graduação

Disciplinas ministradas
Laboratório de Conceitos e Técnicas de Programação
Linguagem de Programação: Conceitos e Paradigmas
08/2005 - 12/2005
Ensino, Ciências da Computação, Nível: Graduação

Disciplinas ministradas
Software Básico
Algoritmos e Técnicas de Programação
04/2005 - 07/2005
Ensino, Ciências da Computação, Nível: Graduação

Disciplinas ministradas
Linguagem de Programação
Linguagem de Programação: Conceitos e Paradigmas


Linhas de pesquisa


1.
Linguagens de Programação
2.
Engenharia de Software


Projetos de pesquisa


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.


Áreas de atuação


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


Idiomas


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


Prêmios e títulos


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


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
BA, C.2016BA, 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.

2.
Souza Neto, Plácido A.2016Souza 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.

3.
da Costa, Umberto Souza2012 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.

4.
2COSTA, U. S.;da Costa, Umberto Souza;COSTA, UMBERTO SOUZA DA2009 COSTA, U. S.; Moreira, Anamaria Martins ; MUSICANTE, Martin A. ; Neto, Plácido A. Souza . Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science, v. 240, p. 61-78, 2009.

5.
3COSTA, U. S.;da Costa, Umberto Souza;COSTA, UMBERTO SOUZA DA2005 COSTA, U. S.; CAMPOS, S. V. A. ; DEHARBE, D. B. P. ; VIEIRA, N. J. . Explicit-Symbolic Modelling for Formal Verification. Electronic Notes in Theoretical Computer Science, 2005.

Livros publicados/organizados ou edições
1.
MOREIRA, A. M. (Org.) ; COSTA, U. S. (Org.) . IV Workshop Técnico Científico do DIMAp - Artigos Selecionados. Natal (Brazil): EDUFRN - Editora da UFRN, 2006. 184p .

Trabalhos completos publicados em anais de congressos
1.
MEDEIROS, C. M. ; MUSICANTE, Martin A. ; COSTA, U. S. . Efficient Evaluation of Context-Free Path Queries for Graph Databases. In: The 33rd ACM/SIGAPP Symposium On Applied Computing, 2018, Pau. Proceedings of the 33rd ACM/SIGAPP Symposium On Applied Computing, 2018.

2.
MACEDO, M. A. ; CARVALHO, D. A. ; MUSICANTE, Martin A. ; PARDO, A. ; COSTA, U. S. . An Abstract Machine for Integrating Heterogeneous Web Applications. In: 12th ACS/IEEE International Conference on Computer Systems and Applications, 2015, Marrakesh. Proceedings of the 12th ACS/IEEE International Conference on Computer Systems and Applications, 2015.

3.
CASTRO, V. ; MUSICANTE, Martin A. ; COSTA, U. S. ; Souza Neto, Plácido A. ; VARGAS-SOLAR, G. . Supporting Non-functional Requirements in Services Software Development Process: An MDD Approach. In: SOFSEM 2014: Theory and Practice of Computer Science, 2014, Nový Smokovec. Lecture Notes in Computer Science, 2014. v. 8327. p. 199-210.

4.
BA, C. ; COSTA, U. S. ; ALVES, M. H. F. ; FERRE, R. ; MUSICANTE, Martin A. ; PERALTA, V. ; ROBERT, S. . Preference-driven Re nement of Service Compositions. In: 4th International Conference on Cloud Computing and Services Science, 2014, Barcelona. Proceedings of the 4th International Conference on Cloud Computing and Services Science. p. 268.

5.
COSTA, U. S.; ALVES, M. H. F. ; MUSICANTE, Martin A. ; ROBERT, S. . Automatic Refinement of Service Compositions. In: International Conference on Web Engineering, 2013, Aalborg. Proceedings of the International Conference on Web Engineering (ICWE 2013), 2013. p. 400-407.

6.
LIMA, JOSE ALEX MEDEIROS DE ; NETO, ELIEZIO SOARES DE SOUSA ; LIMA, JOSE SUENEY DE ; CACHO, NELIO ALESSANDRO AZEVEDO ; COELHO, ROBERTA DE SOUZA ; COSTA, UMBERTO SOUZA DA . Evaluating the Propagation of Exceptions in the Service Oriented Architecture in .NET. In: 2013 VII Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS), 2013, Brasília. 2013 VII Brazilian Symposium on Software Components, Architectures and Reuse. p. 30.

7.
COSTA, U. S.; MEDEIROS JUNIOR, I. S. ; OLIVEIRA, M. V. M. . Specification and Verification of a MPI Implementation for a MP-Soc. In: 7th International Colloquium on Theoretical Aspects of Computing (ICTAC 2010), 2010, Natal. Theoretical Aspects of Computing - ICTAC 2010 (LNCS). Heidelberg: Springer, 2010. v. 6255. p. 168-183.

8.
COSTA, U. S.; MOREIRA, A. M. ; MUSICANTE, Martin A. ; SOUZA NETO, Placido A. . Specification and Runtime Verification of Java Card Programs. In: Brazilian Symposium on Formal Methods (SBMF), 2008, Salvador. Proceedings of the Brazilian Symposium on Formal Methods, 2008.

9.
COSTA, U. S.; CAMPOS, S. V. A. ; DEHARBE, D. B. P. ; VIEIRA, N. J. . Explicit-Symbolic Modelling for Formal Verification. In: Simpósio Brasileiro de Métodos Formais (SBMF), 2004, Recife. Anais do Simpósio Brasileiro de Métodos Formais, 2004. p. 217-232.

10.
COSTA, U. S.; MOREIRA, A. M. ; DEHARBE, D. B. P. . Advances in BDD reduction using Parallel Genetic Algorithms. In: IEEE 10th International Workshop on Logic & Synthesis, 2001, Gralibakken. Handouts of the IEEE 10th International Workshop on Logic & Synthesis, 2001. p. 84-90.

11.
COSTA, U. S.; MOREIRA, A. M. ; DEHARBE, D. B. P. . A cache-based parallel genetic algorithm for the BDD variable ordering problem. In: Symposium on Computer Architecture and High Performance Computing ( SBAC-PAD), 2000, São Pedro (SP). Anais do SBAC-PAD'2000, 2000. p. 99-104.

12.
COSTA, U. S.; DEHARBE, D. B. P. ; MOREIRA, A. M. . Variable Ordering of BDDs with Parallel Genetic Algorithms. In: International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA), 2000, Las Vegas (USA). Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000. v. II. p. 1181-1186.

Resumos expandidos publicados em anais de congressos
1.
MOTZ, REGINA ; VARGAS-SOLAR, GENOVEVA ; COSTA, UMBERTO SOUZA DA ; ESPINOSA-OVIEDO, JAVIER A. ; MUSICANTE, Martin A. ; ZECHINELLI-MARTINI, JOSE LUIS ; PARDO, ALBERTO . Automating systematic mappings, adding quality to quantity. In: 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSEC), 2017, Buenos Aires. 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C), 2017. p. 167.

2.
COSTA, U. S.; SILVA, T. M. . STORM MPI: Message-Passing on MP-SoC. In: Latin American SystemC Users Group, 2007, Rio de Janeiro. Drafts of the Latin American SystemC Users Group, 2007.

Artigos aceitos para publicação
1.
BELHAJJAME, K. ; CASTRO, V. ; ESPINOSA-OVIEDO, J. ; MUSICANTE, Martin A. ; COSTA, U. S. ; SOUZA NETO, Placido A. ; VARGAS-SOLAR, G. ; ZECHINELLI-MARTINI, O. . pisodm: Building SOC Applications in the Presence of Non-Functional Requirements. International Journal of Web and Grid Services, 2018.


Produção técnica
Trabalhos técnicos
1.
COSTA, U. S.; MOREIRA, A. M. ; MAIA, P. F. . Anais do IV Workshop Técnico Científico do DIMAp. 2005.


Demais tipos de produção técnica
1.
COSTA, U. S.. 9th International Conference on Software Engineering and Formal Methods (SEFM 2011). 2011. ((revisor externo)).

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

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



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
MUSICANTE, Martin A.; OLIVEIRA, M. V. M.; COSTA, U. S.; MEDEIROS, S. Q.; BIGONHA, M. A. S.. Participação em banca de 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.

2.
COSTA, U. S.; OLIVEIRA, M. V. M.; MUSICANTE, Martin A.; MEDEIROS, S. Q.; BIGONHA, M. A. S.. Participação em banca de 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.

3.
COSTA, U. S.; MUSICANTE, Martin A.; MOTZ, R.. Participação em banca de 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.

4.
CACHO, N. A. A.; COSTA, U. S.; LIMA FILHO, F. J. C.. Participação em banca de Eliezio Soares de Sousa Neto. 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.

5.
MUSICANTE, Martin A.; COSTA, U. S.; PARDO, A.; SANTOS, A. L. M.. Participação em banca de Daniel Aguiar da Silva Carvalho. 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.

6.
MUSICANTE, Martin A.; COSTA, U. S.; SANTOS, A. L. M.. Participação em banca de Handerson Bezerra Medeiros. 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.

7.
COSTA, U. S.; MUSICANTE, Martin A.; MOTZ, R.. Participação em banca de 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.

8.
SANTOS, A. L. M.; COSTA, U. S.; BORBA, P. H. M.. Participação em banca de Fernando Henrique Calheiros Lopes. 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.

Teses de doutorado
1.
OLIVEIRA, M. V. M.; MUSICANTE, Martin A.; COSTA, U. S.; MOTA, A. C.; GOMES, B. E. G.. Participação em banca de Samuel Lincoln Magalhaes Barrocas. 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.

2.
MOREIRA, A. M.; GHEYI, R.; BORBA, P. H. M.; MUSICANTE, Martin A.; COSTA, U. S.. Participação em banca de Cleverton Hentz Antunes. 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.

3.
MUSICANTE, Martin A.; COSTA, U. S.; PARDO, A.; RIBEIRO, C. M. F. A.; ALVES, M. H. F.; MOTZ, R.. Participação em banca de Evando Carlos Pessini. 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.

Qualificações de Doutorado
1.
MUSICANTE, Martin A.; COSTA, U. S.; PARDO, A.; RIBEIRO, C. M. F. A.; MOTZ, R.. Participação em banca de Evando Carlos Pessini. 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.

Qualificações de Mestrado
1.
MUSICANTE, M. A.; OLIVEIRA, M. V. M.; COSTA, U. S.; MEDEIROS, S. Q.. Participação em banca de Ciro Morais Medeiros. Consultas LL em Grafos RDF. 2017. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

2.
COSTA, U. S.; OLIVEIRA, M. V. M.; MUSICANTE, Martin A.; MEDEIROS, S. Q.. Participação em banca de Fred de Castro Santos. 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.

3.
COSTA, U. S.; MUSICANTE, M. A.; VARGAS-SOLAR, G.. Participação em banca de Rafael Ferreira Toledo. 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.

4.
CACHO, N. A. A.; ARANHA, E. H. S.; COSTA, U. S.. Participação em banca de Eliezio Soares de Sousa Neto. 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.

5.
COSTA, U. S.; SILVA, L. F.; MUSICANTE, Martin A.. Participação em banca de Rodrigo Farias Herculano Mendes. 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.

6.
COSTA, U. S.; LOPES, A. B.; MUSICANTE, Martin A.. Participação em banca de Sidney Soares Marcelino. 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.

7.
COSTA, U. S.; MUSICANTE, Martin A.; CACHO, N. A. A.; MOTZ, R.. Participação em banca de José Sueney de Lima. 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.

8.
MUSICANTE, Martin A.; MOREIRA, A. M.; COSTA, U. S.. Participação em banca de Daniel Aguiar da Silva Carvalho. 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.

9.
MUSICANTE, Martin A.; LOPES, A. B.; COSTA, U. S.. Participação em banca de Handerson Bezerra Medeiros. 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.

10.
OLIVEIRA, M. V. M.; MUSICANTE, Martin A.; COSTA, U. S.. Participação em banca de Samuel Lincoln Magalhaes Barrocas. 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.

11.
MOREIRA, A. M.; DEHARBE, D. B. P.; COSTA, U. S.. Participação em banca de Simone de Oliveira Santos. 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.

12.
MOREIRA, A. M.; COELHO, R. S.; COSTA, U. S.. Participação em banca de Cleverton Hentz Antunes. 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.

Trabalhos de conclusão de curso de graduação
1.
MUSICANTE, Martin A.; SOUZA NETO, Placido A.; COSTA, U. S.. Participação em banca de Thiago Anselmo Abreu Montenegro de Cerqueira.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.

2.
LEITE, J. C.; COSTA, U. S.; CAMPOS, A. M. C.. Participação em banca de Marcelo de B. 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.

3.
COSTA, U. S.; OLIVEIRA, M. V. M.; GOMES, B. E. G.. Participação em banca de 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.

4.
COSTA, U. S.; KULESZA, U.; LEITE, J. C.. Participação em banca de 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.

5.
COSTA, U. S.; ROCHA, B. P. F. D.; SILVA, I. S.. Participação em banca de 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.

6.
DELICATO, F. C.; SILVA, I. S.; COSTA, U. S.. Participação em banca de Larissa Pinheiro Spinelli.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.

7.
MUSICANTE, Martin A.; COSTA, U. S.; DELICATO, F. C.. Participação em banca de Samuel Lincoln Magalhães Barrocas.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.

8.
CAMPOS, A. M. C.; CARVALHO, B. M.; COSTA, U. S.. Participação em banca de Klidson Ricardo de Lira Fernandes.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.

9.
MOREIRA, A. M.; COSTA, U. S.; LEITE, J. C.. Participação em banca de Dhalmo Krause de Almeida.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.

10.
CAMPOS, A. M. C.; CARVALHO, B. M.; COSTA, U. S.. Participação em banca de Klidson Ricardo de Lira Fernandes.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.

11.
SILVA, I. S.; GOLDBARG, E. F. G.; COSTA, U. S.. Participação em banca de Tássia Aparecida Vieira de Freitas.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.

12.
SILVA, I. S.; RAMOS, K. D. N.; COSTA, U. S.. Participação em banca de Bruno Cruz de Oliveira.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.

13.
SILVA, I. S.; RAMOS, K. D. N.; COSTA, U. S.. Participação em banca de Gustavo Girão Barreto da Silva.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.



Participação em bancas de comissões julgadoras
Concurso público
1.
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.

2.
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.

3.
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.

4.
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.

5.
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.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
XL Conferencia Latinoamericana en Informática (CLEI 2014). XXI Concurso Latinoamericano de Tesis de Maestría (CLTM). 2014. (Congresso).


Organização de eventos, congressos, exposições e feiras
1.
VINCENZI, A. M. ; FEITOSA, M. D. ; COSTA, U. S. . XIX Workshop sobre Educação em Computação (WEI). 2011. (Congresso).

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

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

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

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



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Rafael Ferreira Toledo. Mecanimos de Recuperação Baseados em Reescrita para Composições de Serviços Web. Início: 2016. 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).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
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.

2.
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.

3.
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.

4.
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.

Trabalho de conclusão de curso de graduação
1.
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.

2.
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.

3.
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.

4.
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.



Outras informações relevantes


Coordenador do Curso de Bacharelado em Ciência da Computação da UFRN, de janeiro/2009 a agosto/2011.



Página gerada pelo Sistema Currículo Lattes em 16/12/2018 às 11:40:32