Hendrio Medeiros Marques

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


Possui graduação em Engenharia da Computação pela Universidade Federal do Amazonas(2018) e curso-tecnico-profissionalizantepelo Fundação Nokia de Ensino(2009). Tem experiência na área de Ciência da Computação, com ênfase em Engenharia da Computação. (Texto gerado automaticamente pela aplicação CVLattes)


Identificação


Nome
Hendrio Medeiros Marques
Nome em citações bibliográficas
MARQUES, H. M.;MARQUES, HENDRIO


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


2010 - 2018
Graduação em Engenharia da Computação.
Universidade Federal do Amazonas, UFAM, Brasil.
Título: Um Método Baseado em UML-RT Para o Desenvolvimento de Sistemas Embarcados.
Orientador: Raimundo de Sousa Barreto.
2007 - 2009
Curso técnico/profissionalizante.
Fundação Nokia de Ensino, FNE, Brasil.




Áreas de atuação


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


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Razoavelmente, Fala Pouco, Lê Pouco, Escreve Razoavelmente.
Alemão
Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.


Produções



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

1.
PEREIRA, PHILLIPE2016PEREIRA, PHILLIPE ; ALBUQUERQUE, HIGO ; DA SILVA, ISABELA ; MARQUES, H. M. ; SOUSA, F. R. M. ; FERREIRA, RICARDO ; CORDEIRO, LUCAS . SMT-based context-bounded model checking for CUDA programs. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, v. 29, p. e3934, 2016.

Resumos publicados em anais de congressos
1.
RAMALHO, MIKHAIL ; FREITAS, MAURO ; SOUSA, FELIPE ; MARQUES, HENDRIO ; CORDEIRO, LUCAS ; FISCHER, BERND . SMT-Based Bounded Model Checking of C++ Programs. In: 2013 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS), 2013, Scottsdale. 2013 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS). p. 147.




Página gerada pelo Sistema Currículo Lattes em 17/10/2018 às 8:34:01