Valério Gutemberg de Medeiros Júnior

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


É professor do IFRN com doutorado em Sistemas e Computação pela Universidade Federal do Rio Grande do Norte. Após a conclusão do doutorado, realizou estágio supervisionado pela universidade francesa de Aix-Marseille em parceria com a companhia ClearSy. Têm experiência na área de desenvolvimento de software, com ênfase em sistema de informação, atuando principalmente em problemas da industria. Atualmente suas áreas de interesses são: Engenharia de Software, Verificação de Software e Teste de Software. Casado, possui um amável filho e adora programar desafios em seu tempo livre. (Texto informado pelo autor)


Identificação


Nome
Valério Gutemberg de Medeiros Júnior
Nome em citações bibliográficas
Medeiros Jr., Valério G.;Medeiros Jr., Valério;Medeiros, Valério;de Medeiros, Valério

Endereço


Endereço Profissional
Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte.
Av. Senador Salgado Filho
Tirol
59015-000 - Natal, RN - Brasil
URL da Homepage: http://www3.ifrn.edu.br/~valeriomedeiros


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


2011 - 2016
Doutorado em Sistemas e Computação.
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
Título: Formally verified compilation with the B method, Ano de obtenção: 2016.
Orientador: David Boris Paul Déharbe.
Palavras-chave: Métodos Formais; Método B; Tradução de modelos; Liguagem de montagem.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Métodos Formais.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Compiladores.
Setores de atividade: Transporte aéreo; Transporte terrestre.
2008 - 2009
Mestrado em Sistemas e Computação.
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
Título: Aplicação do Método B ao Projeto Formal de Software Embarcado,Ano de Obtenção: 2009.
Orientador: David Boris Paul Déharbe.
Bolsista do(a): Agência Nacional do Petróleo e Gás, ANP, Brasil.
Palavras-chave: Engenharia de Software; metodologia B; compilação formal; assembly.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Computabilidade e Modelos de Computação.
Setores de atividade: Extração de Petróleo e Gás Natural.
2003 - 2007
Graduação em Ciencias da Computação - Sistema de Informação.
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
Título: Aplicação do método B para a construção de programas de Assemblagem.
Orientador: David Boris Paul Déharbe.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.




Atuação Profissional



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

2008 - 2009
Vínculo: Bolsista, Enquadramento Funcional: Bolsista de Mestrado, Regime: Dedicação exclusiva.
Outras informações
Bolsista da Agência Nacional do Petróleio e Gás

Vínculo institucional

2007 - 2008
Vínculo: Bolsista, Enquadramento Funcional: Bolsista de Iniciação Científica, Carga horária: 20, Regime: Dedicação exclusiva.
Outras informações
Atuação no projeto BASM desenvolvendo um método para estender a verificação de programas até o nível de assembly.

Vínculo institucional

2004 - 2007
Vínculo: Bolsista de graduação, Enquadramento Funcional: Bolsista de Iniciação Científica, Carga horária: 20, Regime: Dedicação exclusiva.
Outras informações
Desenvolvimento da ferramenta Batcave

Atividades

07/2008 - 12/2008
Pesquisa e desenvolvimento , Centro de Ciências Exatas, Departamento de Informática e Matemática Aplicada.


Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte, IFRN, Brasil.
Vínculo institucional

2009 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Professor de Sistemas de Informação

Atividades

01/2009 - Atual
Pesquisa e desenvolvimento , Campus João Câmara, .


Aix-Marseille Université, AMU, França.
Vínculo institucional

2017 - 2017
Vínculo: Sem vínculo, Enquadramento Funcional: Pesquisador visitante, Carga horária: 40
Outras informações
Desenvolvimento de pesquisa com o professor Traian Muntean da universidade de Aix-Marseille em parceria com a companhia francesa ClearSy sobre geração de código seguro.



Linhas de pesquisa


1.
Engenharia de Software/Verificação Formal

Objetivo: Pesquisa no projeto Basm com objetivo de estender a verificação formal tradicional até o nível de assembly. Este linha de pesquisa descreve uma possível prática para a construção de programas até o nível de assembly.Essa prática permite projetar e construir componentes de software em assembly de um modo rigoroso.Ela é fundamentada no método B e pode contribuir na resposta de um importante problema,que pertence aos grandes desafios da computação, conhecido como ?The Verifying Compiler?..
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Arquitetura de Sistemas de Computação.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.
Palavras-chave: assembly; microcontroladores; metodologia B; compilação formal.
2.
Desenvolvimento de ferramentas computacionais de apoio docente para uma educação ágil e eficaz


Projetos de pesquisa


2013 - 2014
Sistema para Medição do Nível De Combustível em Postos de Abastecimentos
Descrição: Projetar, construir e testar um sistema automatizado capaz de monitorar o nível de combustível presente nos tanques dos postos de abastecimento, de modo a aperfeiçoar o processo de verificação e reduzir os riscos relacionados à atividade..
Situação: Concluído; Natureza: Pesquisa.
2011 - 2013
Desenvolvimento de ferramentas de apoio ao docente
Descrição: Este projeto iniciou com o desenvolvimento de um sistema corretor automático de avaliação, posteriormente desenvolveu um módulo de geração de avaliações e recentemente vem desenvolvendo outros componentes de software..
Situação: Concluído; Natureza: Pesquisa.


Projetos de extensão


2012 - Atual
Sistema de Gerênciamento de Refeições
Descrição: O objetivo principal deste projeto é exercitar a prática profissional de alunos de Informática desenvolvendo um simplificado sistemas de informação. Este projeto especificamente visa gerenciar as reservas das refeições dos alunos..
Situação: Em andamento; Natureza: Extensão.


Outros Projetos


2010 - 2011
Desenvolvimento de protótipos de software para robôs da indústria de petróleo e gás
Descrição: A indústria de petróleo e gás exige a programação e automação de um número significativo de processos. Esses processos envolvem dispositivos desenvolvidos no Brasil e importados, além de exigir profissionais cada vez mais capacitados. Assim, este projeto tem como objetivo: desenvolver habilidades e despertar o interesse dos alunos nesta área tecnológica, especificamente a programação de dispositivos eletrônicos utilizando conceitos de software embarcado, da robótica e da indústria de petróleo e gás. Dessa forma, os alunos envolvidos obterão uma experiência no desenvolvimento de protótipos de robôs capazes de realizar tarefas simples, as quais executam procedimentos repetitivos, envolvem riscos ou a presença humano é opcional. Finalmente, este projeto também trabalha conceitos importantes e necessários para toda a formação humana e profissional, como: ética, criatividade, inovação, pesquisa, trabalho em equipe entre outros..
Situação: Em andamento; Natureza: Outra.


Revisor de projeto de fomento


2012 - 2012
Agência de fomento: Instituto Federal de Educação Ciência e Tecnologia do Rio Grande do Norte


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.


Idiomas


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


Prêmios e títulos


2009
Aprovado em 1º no IFRN (Macau), IFRN.
2005
Finalista estadual do Desafio Sebrae, Sebrae - RN..


Produções



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

1.
ANAMARIA M. MOREIRA,2015ANAMARIA M. MOREIRA, ; CLEVERTON HENTZ, ; DAVID DEHARBE, ; ERNESTO C. B. DE MATOS, ; JOAO B. SOUZA NETO, ; Medeiros Jr., Valério G. . Verifying Code Generation Tools for the B-Method Using Tests: A Case Study. Lecture Notes in Computer Science, v. 9154, p. 76-91, 2015.

2.
Medeiros, Valério2014Medeiros, Valério; DÉHARBE, David . BEval: A Plug-in to Extend Atelier B with Current Verification Technologies. Electronic Proceedings in Theoretical Computer Science, v. 139, p. 53-58, 2014.

3.
RICHARD BONICHON,2014RICHARD BONICHON, ; DAVID DEHARBE, ; THIERRY LECOMTE, ; Medeiros Jr., Valério G. . LLVM-Based Code Generation for B. Lecture Notes in Computer Science, v. 8941, p. 1-16, 2014.

4.
Dantas, Bartira2009Dantas, Bartira ; DÉHARBE, David ; Galvão, Stephenson ; Moreira, Anamaria Martins ; Medeiros Jr., Valério G. . Verified Compilation and the B Method: A Proposal and a First Appraisal. Electronic Notes in Theoretical Computer Science, v. 240, p. 79-96, 2009.

Capítulos de livros publicados
1.
Bonichon, Richard ; DÉHARBE, David ; Lecomte, Thierry ; Medeiros, Valério . LLVM-Based Code Generation for B. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2015, v. 8941, p. 1-16.

Trabalhos completos publicados em anais de congressos
1.
Medeiros Jr., Valério G.; NOGUEIRA, A. C. O. . Uma Ferramenta Automatizada para Processamento de Avaliações. In: VI Congresso de Pesquisa e Inovação da Rede Norte Nordeste de Educação Tecnológica - VI CONNEPI, 2011, Natal. VI CONNEPI - Ciências Exatas, 2011.

2.
AQUINO, F. S. ; Medeiros Jr., Valério G. ; MELO, M. D. . Apredizagem de Programação Usando Lego Mindstroms NXT. In: VIII Congresso de Iniciação Científica do IFRN, 2011, Natal. Ciências Exatas e da Terra, 2011.

3.
DANTAS, B. P ; DÉHARBE, David ; GALVAO, S. S. L. ; MOREIRA, A. M. ; Medeiros Jr., Valério G. . Proposta e Avaliação de uma Abordagem de Desenvolvimento de Software Fidedigno por Construção com o Método B. In: XXXV Seminário Integrado de Software e Hardware, 2008, Belém. Anais do XXXV Seminário Integrado de Software e Hardware. São Paulo: SONOPRESS-RIMO, 2008. p. 1-15.

4.
DANTAS, B. P ; DÉHARBE, David ; GALVAO, S. S. L. ; MOREIRA, A. M. ; Medeiros Jr., Valério G. . Applying the B method to take on the grand challenge of verified compilation. In: Brazilian Symposium on Formal Methods (SBMF2008), 2008, Salvador, BA. Brazilian Symposium on Formal Methods (SBMF2008) - Proceedings. Salvador: Editora Gráfica da UFBA - EDUFBA, 2008. v. 1. p. 35-50.

5.
Medeiros Jr., Valério G.; MARINHO, É. S. ; DIAS, Ricardo Rocha ; TAVARES, Cláudia ; DÉHARBE, David . Batcave - Uma Ferramenta de Apoio à Verificação Formal na Metodologia B. In: IV Workshop Técnico Científico do DIMAp, 2005, Natal. IV Workshop Técnico Científico do DIMAP. NATAL: EDUFRN, 2005. v. 1. p. 95-106.

Resumos expandidos publicados em anais de congressos
1.
RODARTE, G. ; Medeiros Jr., Valério ; GUILHERME, Y. . Estratégias de teste de software usando modelos e o ProB. In: XI Congresso de Iniciação Científica do IFRN, 2015, Santa Cruz. Congic, 2015. v. 1.

2.
Medeiros Jr., Valério G.; DÉHARBE, David . Proposal: Translation of B implementations to LLVM-IR. In: Brazilian Symposium on Formal Methods, 2013, Brasilía. SBMF 2013 : XVI Simpósio Brasileiro de Métodos Formais. Brasilia: UnB / CIC, 2013. v. 1. p. 18.

3.
Medeiros Jr., Valério G.; DÉHARBE, David . Experience in Modeling a Microcontroller Instruction Set Using B. In: Simpósio Brasileiro de Métodos Formais, 2012, Natal. Brazilian Conference on Software: Theory and Practice, 2012. v. 1. p. 7-13.

4.
GURGEL, A. C. ; Medeiros Jr., Valério G. ; MEDEIROS JR, Valério G. ; OLIVEIRA, M. V. M. ; DÉHARBE, David . Integrating SMT-Solvers in Z and B Tools. In: ABZ, 2010, Orford, QC. Abstract State Machines, Alloy, B and Z. Berlin: Springer, 2010. v. 5977. p. 412-413.

5.
Medeiros Jr., Valério G.; MEDEIROS JR, Valério G. ; DÉHARBE, David . Formal Modelling of a Microcontroller Instruction Set in B. In: SBMF, 2009, Gramado. Formal Methods: Foundations and Applications. Berlin: Springer, 2009. v. 5902. p. 282-289.

6.
MARINHO, É. S. ; Medeiros Jr., Valério G. ; DÉHARBE, David ; GOMES, Bruno ; TAVARES, Cláudia . A Ferramenta Batcave para a Verificação de Especificações Formais na Notação B. In: Simpósio Brasileiro de Engenharia de Software (SBES), 2008, Campinas, SP. XV Sessão de Ferramentas do SBES, 2008. v. 1.

7.
Medeiros Jr., Valério G.; GALVAO, S. S. L. ; DÉHARBE, David . Modelagem de Micro controladores em B. In: VIII Encontro Regional de Matemática Aplicada e Computacional (ERMAC), 2008, Natal. Anais do VIII Encontro Regional de Matemática Aplicada e Computacional (ERMAC), 2008. v. 1.

Resumos publicados em anais de congressos
1.
MARINHO, É. S. ; Medeiros Jr., Valério G. ; DÉHARBE, David . Batcave - Ferramena gratuíta de código aberto, que automatiza a geração de fórmulas lógicas a partir de uma especificificação formal na metodologia B. In: XVIII Congresso de Iniciação Científica 2007 da UFRN, 2007, Natal. XVIII CIC 2007 (UFRN). Natal: Estúdio Lua4, 2007. v. 18. p. 43-43.

2.
MARINHO, É. S. ; Medeiros Jr., Valério G. ; TAVARES, Cláudia ; DÉHARBE, David . Batcave - Um ambiente de Verificação Automática para o Método B. In: SBMF - Simpósio Brasileiro de Métodos Formais 2007, 2007, Ouro Preto. Brazilian Symposium on Formal Methods (SBMF2007). Ouro Preto: SBC/Universidade Federal de Ouro Preto, 2007. v. 1. p. 184-184.

3.
MARINHO, É. S. ; Medeiros Jr., Valério G. ; DÉHARBE, David . Batcave - Um ambiente de verificação para o método B. In: XVII Congresso de Iniciação Científica 2006 da UFRN, 2006, NATAL. XVII CIC 2006 (UFRN). Natal: Estúdio Lua4, 2006. v. 17. p. 46-46.

4.
Medeiros Jr., Valério G.; MARINHO, É. S. ; DIAS, Ricardo Rocha ; DÉHARBE, David . Automação da Verificação Formal na Metodologia B. In: XVI Congresso de Iniciação Científica 2005 da UFRN, 2005, Natal. XVI CIC 2005 (UFRN). Natal: Estúdio Lua4, 2005. v. 16. p. 46-46.

Artigos aceitos para publicação
1.
DANTAS, B. P ; DÉHARBE, David ; GALVAO, S. S. L. ; MOREIRA, A. M. ; Medeiros Jr., Valério G. . Applying the B Method to Take on the Grand Challenge of Verified Compilation. Electronic Notes in Theoretical Computer Science, 2008.

Apresentações de Trabalho
1.
PALHARES, E. S. ; MACHADO, L. F. E. S. ; SILVA, P. C. N. ; Medeiros Jr., Valério G. . CONTROLE DE ACESSO E FREQUÊNCIA DE PESSOAS USANDO IoT. 2017. (Apresentação de Trabalho/Outra).

2.
GURGEL, A. C. ; Medeiros Jr., Valério G. ; MEDEIROS JR, Valério G. ; OLIVEIRA, M. V. M. ; DÉHARBE, David . Integrating SMT-Solvers in Z and B Tools. 2010. (Apresentação de Trabalho/Conferência ou palestra).

3.
AQUINO, F. S. ; Medeiros Jr., Valério G. . Iniciando no Mundo da Programação de Protótipos de Software. 2010. (Apresentação de Trabalho/Outra).

4.
Medeiros Jr., Valério G.. Métodos Formais na Engenharia de Software. 2010. (Apresentação de Trabalho/Conferência ou palestra).

5.
Medeiros Jr., Valério G.; MEDEIROS JR, Valério G. ; DÉHARBE, David . Formal Modelling of a Microcontroller Instruction Set in B. 2009. (Apresentação de Trabalho/Simpósio).

6.
Medeiros Jr., Valério G.; MARINHO, É. S. ; TAVARES, Cláudia ; DÉHARBE, David . Ferramentas de Apoio ao Desenvolvimento em Metodologia B - Um Estado da Arte. 2005. (Apresentação de Trabalho/Conferência ou palestra).


Produção técnica
Programas de computador sem registro
1.
DÉHARBE, David ; Medeiros Jr., Valério G. . B2LLVM - LLVM code generator for the B metho. 2015.

2.
Medeiros Jr., Valério G.; DÉHARBE, David . BEval - a tool to systematize the evaluation of B expressions. 2013.

3.
DÉHARBE, David ; MARINHO, É. S. ; Medeiros Jr., Valério G. ; TAVARES, Cláudia . Batcave - B Automated Computer Aided Verification (Verificação automática B auxiliada por computador). 2004.

4.
Medeiros Jr., Valério G.; LINCOLN , Samuel ; ALENCAR, Kaio . The Maze. 2003.

Trabalhos técnicos
1.
DANTAS, B. P ; DÉHARBE, David ; GALVAO, S. S. L. ; MOREIRA, A. M. ; Medeiros Jr., Valério G. . Verified Compilation based on the B method: An initial appraisal (extended version). 2008.



Patentes e registros



Patente

A Confirmação do status de um pedido de patentes poderá ser solicitada à Diretoria de Patentes (DIRPA) por meio de uma Certidão de atos relativos aos processos
1.
 NOGUEIRA, A. C. O. ; Medeiros Jr., Valério G. . Processo de Avaliação de Pessoas. 2012, Brasil.
Patente: Privilégio de Inovação. Número do registro: BR1020120083353, título: "Processo de Avaliação de Pessoas" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial. Depósito: 10/04/2012



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Festival Latino Americano de Instalação de Software Livre - FLISOL. 2012. (Encontro).

2.
CBSoft - Congresso Brasileiro de Software: Teoria e Prática. 2011. (Congresso).

3.
CBSoft - Minucurso em: Sistemas Distribuídos e Verificação de Modelo 3 horas-aula. 2011. (Outra).

4.
CBSoft - Minucurso em: Teste de Software: aspectos técnicos e gerenciais 3 horas/aulas. 2011. (Outra).

5.
V SAST - Workshop Brasileiro de Teste de Software Sistemático e Automatizado. 2011. (Outra).

6.
V SBCARS - Simpósio Brasileiro de Componentes, Arquiteturas, e Reutilização de Software. 2011. (Simpósio).

7.
XIV SBMF - Simpósio Brasileiro de Métodos Formais. 2011. (Simpósio).

8.
XV SBLP - Simpósio Brasileiro de Linguagens de Programação. 2011. (Simpósio).

9.
XXV SBES - Simpósio Brasileiro de Engenharia de Software. 2011. (Simpósio).

10.
XXXI Congresso da Sociedade Brasileira de Computação. 2011. (Congresso).

11.
XXXI CSBC - Minicurso: Desenvolvimento de software embarcado. 2011. (Congresso).

12.
XXXI CSBC - Minicurso: Software Livre e Propriedade Intelectual: Aspectos jurídicos, Licenças, e Modelos de Negócios. 2011. (Congresso).

13.
Abstract State Machines, Alloy, B and Z.Integrating SMT-Solvers in Z and B Tools. 2010. (Outra).

14.
ICTAC School on Software Engineering - Component-based Software Development. 2010. (Outra).

15.
I Exposição Tecnológica e Científica do Campus Macau.Minicurso: Primeiros Passos na Programação. 2010. (Outra).

16.
I Exposição Tecnológica e Científica do Campus Macau.Métodos Formais na Engenharia de Software. 2010. (Outra).

17.
SBMF - Simpóisio Brasileiro de Métodos Formais. 2010. (Simpósio).

18.
WORKSHOP ON B DISSEMINATION. 2010. (Outra).

19.
SBLP - Simpósio Brasileirode Linguagens de Programação. 2009. (Simpósio).

20.
SBMF - Simpósio Brasileiro de Métodos Formais.Formal Modelling of a Microcontroller Instruction Set in B. 2009. (Simpósio).

21.
Seminário Integrado de Software e Hardware-(SEMISH).Proposta e Avaliação de uma Abordagem de Desenvolvimento de Software Fidedigno por Construção com o Método B. 2008. (Seminário).

22.
VIII Encontro Regional de Matemática Aplicada e Computacional.Modelagem de Micro controladores em B. 2008. (Encontro).

23.
XXVIII Congresso da Sociedade Brasileira de Computação. 2008. (Congresso).

24.
III - Natal Java Day. 2007. (Encontro).

25.
SBBD - Simpósio Brasileiro de Banco de Dados. 2007. (Simpósio).

26.
SBES - Simpósio Brasileirode Engenharia de Software ; Mini-curso em:Programação orientada a aspectos com aspectJ. 2007. (Simpósio).

27.
SBLP - Simpósio Brasileirode Linguagens de Programação. 2007. (Simpósio).

28.
XVIII Congresso de Iniciação Científica 2007 da UFRN. BATCAVE - FERRAMENTA GRATUITA DE CÓDIGO ABERTO, QUE AUTOMATIZA A GERAÇÃO DE FÓRMULAS LÓGICAS A PARTIR DE UMA ESPECIFICAÇÃO FORMAL DE SOFTWARE NA METODOLOGIA B. 2007. (Congresso).

29.
ICGT - International Conference on Graph Transformation. 2006. (Congresso).

30.
II - Encontro Potiguar de Software Livre. 2006. (Encontro).

31.
SBBD - Simpósio Brasileirode Banco de Dados. 2006. (Simpósio).

32.
SBES - Simpósio Brasileirode Engenharia de Software. 2006. (Simpósio).

33.
SBMF - Simpóisio Brasileiro de Métodos Formais - Mini-curso em: Uma Ferramenta de Apoio à Construção de Sistemas de Tempo Real Confiáveis - SBMF. 2006. (Outra).

34.
SBMF - Simpósio Brasileiro de Métodos Formais. 2006. (Simpósio).

35.
XVII Congresso de Iniciação Científica 2006 da UFRN. Batcave - Uma Ferramenta de Apoio à Verificação Formal na Metodologia B. 2006.. 2006. (Congresso).

36.
I - Encontro Potiguar de Software Livre.Ferramentas de Apoio ao Desenvolvimento em Metodologia B - Um Estado da Arte. 2005. (Encontro).

37.
IV Workshop Técnico Científico do DIMAp.Batcave - Uma Ferramenta de Apoio à Verificação Formal na Metodologia B. 2005. (Outra).

38.
XVI Congresso de Iniciação Científica 2005 da UFRN. Uma Ferramenta de Apoio à Verificação Formal na Metodologia B. 2005. (Congresso).

39.
I Workshop Técnico Científico do DIMAp. 2003. (Outra).

40.
SINEC - V Seminário de Informática e Engenharia de Computação - Minicurso em: PHP e Mysql. 2003. (Seminário).


Organização de eventos, congressos, exposições e feiras
1.
Medeiros Jr., Valério G.. CSBC - Encontro Nacional de Computação dos Institutos Federais. 2013. (Congresso).

2.
Medeiros Jr., Valério G.. Exposição Tecnológica e Científica do Campus Macau. 2010. (Exposição).

3.
Medeiros Jr., Valério G.. SBLP - Simpósio Brasileiro de Linguagens de Programação. 2007. (Congresso).

4.
Medeiros Jr., Valério G.. SBMF - Simpósio Brasileiro de Métodos Formais. 2006. (Congresso).

5.
Medeiros Jr., Valério G.. ICGT - International Conference on Graph Transformation. 2006. (Congresso).



Orientações



Orientações e supervisões em andamento
Orientações de outra natureza
1.
Caio Gustavo Alves de Lima. SigRef - Sistema de gerênciamento de refeições. Início: 2012. Orientação de outra natureza. Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte. (Orientador).

2.
Edmilson Dias Tavares Filho. SigRef - Sistema de gerênciamento de refeições. Início: 2012. Orientação de outra natureza. Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte. (Orientador).


Orientações e supervisões concluídas
Iniciação científica
1.
Felipe Silva de Souza Aquino. Desenvolvimento de protótipos de software para robôs da indústria de petróleo e gás. 2010. Iniciação Científica - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Valério Gutemberg de Medeiros Júnior.

Orientações de outra natureza
1.
EDMILSON DIAS TAVARES FILHO. SigRef ? Sistema de Gerenciamento de Refeições. 2013. Orientação de outra natureza. (Desenvolvimento de Software) - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte. Orientador: Valério Gutemberg de Medeiros Júnior.

2.
Caio Gustavo Alves de Lima. SigRef ? Sistema de Gerenciamento de Refeições. 2013. Orientação de outra natureza - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte, Instituto Federal de Educação Ciência e Tecnologia do Rio Grande do Norte. Orientador: Valério Gutemberg de Medeiros Júnior.

3.
Deusirene de Maria Araujo Tomaz. Desenvolvimento de protótipos de software para robôs da indústria de petróleo e gás. 2010. Orientação de outra natureza - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte, Programa petrobras de formação de recursos humanos. Orientador: Valério Gutemberg de Medeiros Júnior.

4.
Rodrigo da Cruz Silva. Desenvolvimento de protótipos de software para robôs da indústria de petróleo e gás. 2010. Orientação de outra natureza - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte, Programa petrobras de formação de recursos humanos. Orientador: Valério Gutemberg de Medeiros Júnior.

5.
Eliane Pereira de Lima. Desenvolvimento de protótipos de software para robôs da indústria de petróleo e gás. 2010. Orientação de outra natureza - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte. Orientador: Valério Gutemberg de Medeiros Júnior.

6.
Ricardo Maciel dos Santos. Desenvolvimento de protótipos de software para robôs da indústria de petróleo e gás. 2010. Orientação de outra natureza - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte. Orientador: Valério Gutemberg de Medeiros Júnior.

7.
Jonathan Kennedy Justo Pessoa. Desenvolvimento de protótipos de software para robôs da indústria de petróleo e gás. 2010. Orientação de outra natureza - Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte. Orientador: Valério Gutemberg de Medeiros Júnior.



Inovação



Patente
1.
 NOGUEIRA, A. C. O. ; Medeiros Jr., Valério G. . Processo de Avaliação de Pessoas. 2012, Brasil.
Patente: Privilégio de Inovação. Número do registro: BR1020120083353, título: "Processo de Avaliação de Pessoas" , Instituição de registro: INPI - Instituto Nacional da Propriedade Industrial. Depósito: 10/04/2012


Programa de computador sem registro
1.
DÉHARBE, David ; Medeiros Jr., Valério G. . B2LLVM - LLVM code generator for the B metho. 2015.



Educação e Popularização de C & T



Apresentações de Trabalho
1.
PALHARES, E. S. ; MACHADO, L. F. E. S. ; SILVA, P. C. N. ; Medeiros Jr., Valério G. . CONTROLE DE ACESSO E FREQUÊNCIA DE PESSOAS USANDO IoT. 2017. (Apresentação de Trabalho/Outra).




Página gerada pelo Sistema Currículo Lattes em 21/10/2018 às 2:49:52