Felipe Rodrigues Monteiro Sousa

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


Possui graduação em Engenharia da Computação pela Universidade Federal do Amazonas (UFAM) em 2018, participando do programa de graduação sanduíche Ciência sem Fronteiras na Goldsmiths Univeristy of London (2013-2014), e formação técnica em Programação de Sistemas obtido pelo Serviço Nacional de Aprendizagem Industrial (SENAI) em 2011. Atualmente, trabalha como Engenheiro de Software no Instituto de Pesquisas Eldorado, está cursando mestrado em Informática no Instituto de Computação da UFAM e colabora com grupo de pesquisa de Verificação de Software e Sistemas do Centro de P&D de Tecnologia Eletrônica e da Informação (CETELI). Tem experiência principalmente em verificação formal de hardware e software, model checking e desenvolvimento de sistemas. Desde o início de sua graduação em 2011, já trabalhou em 7 projetos de pesquisa e desenvolvimento (P&D) recebendo suporte financeiro do CNPq, FAPEAM, CAPES, INdT, Samsung, Microsoft Research, NSF, Google, ACM e CADE. Possui 15 publicações revisadas, h-index de 5 e uma medalha de prata na ACM Student Research Competition em 2016. (Texto informado pelo autor)


Identificação


Nome
Felipe Rodrigues Monteiro Sousa
Nome em citações bibliográficas
SOUSA, F. R. M.;SOUSA, FELIPE;MONTEIRO, Felipe;Felipe R. Monteiro;Felipe R. M. Sousa;SOUSA, FELIPE R. M.;MONTEIRO, FELIPE R.

Endereço


Endereço Profissional
Instituto de Pesquisa Eldorado.
Avenida Mário Ypiranga 315
Adrianópolis
69057000 - Manaus, AM - Brasil
Telefone: (92) 33477684
URL da Homepage: http://www.eldorado.org.br/


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


2018
Mestrado em andamento em Informática.
Universidade Federal do Amazonas, UFAM, Brasil. Orientador: Lucas Carvalho Cordeiro.
Palavras-chave: Verificação Formal; Métodos Formais; Model Checking; Engenharia de Software.
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: Linguagem Formais e Autômatos.
2011 - 2018
Graduação em Engenharia da Computação.
Universidade Federal do Amazonas, UFAM, Brasil.
com período sanduíche em Goldsmiths, University of London (Orientador: Sebastian Danicic).
Título: Bounded Model Checking of C++ Programs based on the Qt Cross-Platform Framework.
Orientador: Lucas C. Cordeiro.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
2010 - 2011
Curso técnico/profissionalizante.
SENAI - Departamento Regional do Amazonas, SENAI/AM, Brasil.
Bolsista do(a): Fundação Centro de Análise, Pesquisa e Inovação Tecnológica, FUCAPI, Brasil.
2008 - 2010
Ensino Médio (2º grau).
Centro Educacional Santa Teresinha, CEST, Brasil.
2003 - 2007
Ensino Fundamental (1º grau).
Centro Educacional SESI 80, SESI - 80, Brasil.




Formação Complementar


2016 - 2016
Modelagem e Controle de VANTs. (Carga horária: 10h).
Universidade Federal do Amazonas, UFAM, Brasil.
2015 - 2016
Francês nível A1 - Iniciante. (Carga horária: 80h).
Aliança Francesa, AF, Brasil.
2015 - 2015
Proc. de Imagens e Reconhecimento de Padrões usando o Numpy. (Carga horária: 40h).
Universidade Estadual de Campinas, UNICAMP, Brasil.
2013 - 2013
Pre-sessional English Language Programme. (Carga horária: 180h).
Goldsmiths, University of London, GOLDSMITHS, Inglaterra.
2011 - 2013
Inglês.
Instituto Cultural Brasil - Estados Unidos, ICBEU, Brasil.
2012 - 2012
Programação para Dispositivos Móveis Utilizando QT. (Carga horária: 20h).
Universidade Federal do Amazonas, UFAM, Brasil.
2012 - 2012
Capacitação em Desenvolvimento de Apps para IOS. (Carga horária: 40h).
Universidade Federal do Amazonas, UFAM, Brasil.
2011 - 2011
Programação C++ Avançado. (Carga horária: 20h).
Universidade Federal do Amazonas, UFAM, Brasil.
2011 - 2011
Programação C++ Básico. (Carga horária: 20h).
Universidade Federal do Amazonas, UFAM, Brasil.
2011 - 2011
Verificação Formal de Software. (Carga horária: 20h).
Universidade Federal do Amazonas, UFAM, Brasil.
2011 - 2011
Programação JAVA. (Carga horária: 30h).
Fundação Centro de Análise Pesquisa e Inovação Tecnológica, FUCAPI, Brasil.
2007 - 2007
Manutenção de Microcomputadores.
CNI - INFORMÁTICA, CNI, Brasil.
2007 - 2007
Informática Avançada.
CNI - INFORMÁTICA, CNI, Brasil.


Atuação Profissional



Google Inc., Google, Estados Unidos.
Vínculo institucional

2017 - 2017
Vínculo: Estagiário, Enquadramento Funcional: Google Summer of Code Student, Carga horária: 20


Universidade Federal do Rio Grande do Sul, UFRGS, Brasil.
Vínculo institucional

2016 - 2016
Vínculo: Bolsista, Enquadramento Funcional: Aluno de Intercâmbio Interinstitucional, Carga horária: 20


Goldsmiths, University of London, GOLDSMITHS, Inglaterra.
Vínculo institucional

2014 - 2014
Vínculo: Bolsista, Enquadramento Funcional: Bolsista, Carga horária: 20
Outras informações
Trabalhando no projeto FoldSynth: Estudo de uma Plataforma Interativa de Última Geração para Visualização Molecular


Universidade Federal do Amazonas, UFAM, Brasil.
Vínculo institucional

2011 - 2012
Vínculo: Bolsista, Enquadramento Funcional: Bolsista, Carga horária: 20
Outras informações
Bolsista do Instituto de Computação.


Fundação Centro de Análise Pesquisa e Inovação Tecnológica, FUCAPI, Brasil.
Vínculo institucional

2010 - 2011
Vínculo: Menor Aprendiz, Enquadramento Funcional: Auxiliar Técnico, Carga horária: 20
Outras informações
As principais funções exercidas foram o suporte técnico na manutenção e utilização do sistema RP e na construção de consultas em SQL.


Instituto de Pesquisa Eldorado, ELDORADO, Brasil.
Vínculo institucional

2018 - Atual
Vínculo: Celetista, Enquadramento Funcional: Engenheiro de Software, Carga horária: 40



Projetos de pesquisa


2015 - 2016
Verificação de Controladores Digitais de Ponto Fixo Representados por Espaço de Estados
Descrição: Em sistemas controlados por computador, o computador faz as funções dos componentes eletrônicos nos clássicos sistemas de controle analógico, a computação de erros, bem como a execução de algoritmos de controle. Os controladores digitais são amplamente utilizados pela comunidade de engenharia de controle devido às várias vantagens sobre os controladores analógicos, tais como a melhoria da confiabilidade, sensibilidade, flexibilidade e custo. No entanto, existem algumas desvantagens no uso de controladores digitais, como por exemplo, os erros que são introduzidos durante o processo de quantização. Neste contexto, existem algumas iniciativas para resolver os problemas que aparecem no domínio de tempo discreto, e em particular, os problemas relacionados com o comprimento finito da palavra. Portanto, o cenário mencionado requer uma melhor compreensão e um melhor tratamento dos problemas típicos relacionados aos controladores digitais para que a quantização e os efeitos do comprimento da palavra sejam, potencialmente, reduzidos durante o projeto do controlador digital. Este trabalho visa descrever uma metodologia de verificação, apoiada pelo Digital System Verifier (DSVerifier), que é uma ferramenta para verificar propriedades relacionadas ao overflow, ciclo-limite, restrições temporais, estabilidade e fase mínima na implementação de controladores digitais. Através do DSVerifier, os engenheiros de controle podem verificar que o controlador digital concebido apresenta o desempenho desejado, quando ele é incorporado em um determinado hardware com certas limitações de recursos. Desta forma, este projeto visa ampliar a automação do processo de verificação com o DSVerifier através do suporte à verificação de controladores digitais representados em espaço de estado.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) .
Integrantes: Felipe Rodrigues Monteiro Sousa - Integrante / Lucas Carvalho Cordeiro - Coordenador.
2014 - 2014
FoldSynth: Estudo de uma Plataforma Interativa de Última Geração para Visualização Molecular
Descrição: Através da utilização de um modelo simples de forças moleculares, FoldSynth oferece uma animação do processo de docking e folding em tempo real. Na verdade, FoldSynth é uma plataforma multimídia interativa projetada para ajudar a entender as características de fios moleculares com ênfase em proteínas. Como uma visualização em 3D, a forma de um fio molecular é mostrado flutuando acima de uma matriz 2D que representa restrições de distância, mapa de contato ou outras características do par residual. A visualização 2D também é interativa, e pode ser usada mesmo para criar novas moléculas. Neste trabalho, o FoldSynth é estudado a fim de identificar abordagens para expandir as características de uma versão JavaScript do mesmo com base em outra versão em Java.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) .
Integrantes: Felipe Rodrigues Monteiro Sousa - Integrante / Frederic Fol Leymarie - Coordenador.
2012 - 2013
Verificação Formal de Programas C++ que Usam o Framework Multi-Plataforma Qt
Descrição: Este trabalho de pesquisa tem como objetivo implementar uma estrutura simplificada com a finalidade de verificar a utilização de cada método do framework Qt e integrá-la no verificador ESBMC. Nesta pesquisa, pretende-se verificar de forma automática aplicações reais desenvolvidas na linguagem C++ que utilizem o framework Qt. A metodologia empregada nesta pesquisa pode ser dividia em três etapas principais. Primeiramente, iremos realizar uma revisão da literatura a respeito da teoria de Verificação de Modelos. Nesta etapa, a maioria dos conceitos importantes acerca de Lógica Proposicional, Lógica Temporal Linear (LTL), Lógica de Árvore de Computação (CTL) serão estudados com o intuito de entender o funcionamento do verificador ESBMC. Esta parte contemplará também um estudo aprofundado sobre o framework Qt, onde o acadêmico realizará análises sistemáticas de códigos que utilizam este framework. A partir do conteúdo estudado, nesta etapa será construída uma estrutura simplificada do framework, com as bibliotecas e os métodos mais utilizados. Essa estrutura será montada a partir da implementação das bibliotecas definidas com as assinaturas dos seus métodos e definições de tipos. Finalmente, iremos modelar os métodos definidos na estrutura simplificada, de forma que possa ser checada todas as propriedades do mesmo, e assim validar o seu uso. Vários testes serão realizados nessa etapa para validar o fato de que as implementações desenvolvidas possam ser aplicadas em sistemas reais. Após finalizada a modelagem, todas as implementações serão integradas no nosso verificador de software ESBMC.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) .
Integrantes: Felipe Rodrigues Monteiro Sousa - Integrante / Lucas Carvalho Cordeiro - Coordenador.
Número de produções C, T & A: 1
2011 - 2013
Verificação Contínua de Programas C++ Empregando SMT-based Bounded Model Checking
Descrição: O objetivo principal deste projeto é estender o verificador de modelos ESBMC para suportar a verificação de programas C++ e depois integrá-lo no processo de engenharia de software do Instituto NOKIA de Tecnologia (INdT) através de práticas de exploração, como o desenvolvimento incremental e testes de regressão. Em particular, pretende-se definir um modelo de objeto para capturar a semântica dos programas C++ e então integrá-lo ao verificador de modelos ESBMC. Depois disso, pretendemos aplicar o conceito de verificação contínua juntamente com ESBMC para verificar aplicações reais em C++. A abordagem de verificação contínua combina ideias existentes de engenharia de software (por exemplo, integração contínua) e verificação formal (por exemplo, verificação de equivalência) visando detectar automaticamente erros de projeto e problemas de integração o mais rápido possível, explorando informações do gerenciamento de configuração de software, sistematicamente focando o esforço de verificação de funções novas ou modificadas. Pretendemos usar verificação de equivalência para determinar se as funções modificadas precisam ser reverificadas formalmente e usar casos de teste existentes para reduzir o espaço de busca para o verificador, combinando assim a verificação dinâmica e estática.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) .
Integrantes: Felipe Rodrigues Monteiro Sousa - Integrante / Lucas Carvalho Cordeiro - Coordenador / Mikhail Yasha Ramalho Gadelha - Integrante / Mauro Lopes de Freitas - Integrante / Hendrio Medeiros Marques - Integrante.
Número de produções C, T & A: 3
2011 - 2012
Interfaces Adaptativas em Software Imersivo para Crianças com Dificuldades Típicas aos Transtornos do Espectro Autista
Descrição: Trata-se de uma investigação em software imersivo de realidade virtual, desenvolver ambientes virtuais dentro dessas plataformas de acordo com as necessidades de crianças com transtornos do espectro autístico relacionadas à sua socialização e desenvolvimento cognitivo levantadas através de entrevistas com pais, fonoaudiólogos e psicólogos e realizar testes para aprimoramento contínuo das interfaces desenvolvidas. Para isso, serão efetuados testes em software configuráveis, utilizando computadores e tablets com manipulação direta e alto poder de processamento, visando as possibilidades de colaboração em tempo real entre crianças.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (2) .
Integrantes: Felipe Rodrigues Monteiro Sousa - Integrante / CASTRO, THAIS HELENA CHAVES DE - Coordenador.
Número de produções C, T & A: 3


Projetos de desenvolvimento


2017 - 2017
Google Summer of Code 2017
Descrição: Checker Framework provides a collection of type systems to prevent bugs on Java programs at development time. Although a type system might be useful to prevent certain types of errors, it requires the effort to write all the types, which might be an annoying task for developers. In order to tackle such problem, developers might use a type inference tool to write the types for a program. Particularly, to determine what type should be written for a procedure?s formal parameter, a type inference tool must examine the type of the argument at every call to that procedure. Thus, the type inference process requires a whole-program analysis. In conclusion, the main goal of this project is to create a single type inference tool that will work for any type system available in Checker Framework (e.g., Nullness and Interning Checker)..
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (1) .
Integrantes: Felipe Rodrigues Monteiro Sousa - Integrante / Michael Ernst - Coordenador.
2015 - 2016
Programa de Formação Complementar CETELI - SAMSUNG de Tecnologias Móveis
Descrição: Financiado pela Samsung Eletrônica da Amazônia Ltda., este projeto tem como objetivo a formação de alunos de graduação e pós-graduação nas áreas de desenvolvimento e teste de dispositivos móveis. O programa é composto por um módulo de treinamento e um de desenvolvimento tecnológico, onde os alunos se dividem em equipes para criação de um aplicativo móvel para a plataforma Android.
Situação: Concluído; Natureza: Desenvolvimento.
Alunos envolvidos: Graduação: (19) .
Integrantes: Felipe Rodrigues Monteiro Sousa - Integrante / Lucas Carvalho Cordeiro - Coordenador.


Outros Projetos


2016 - 2016
Cooperação Acadêmica na Área de Sistemas de Automação e Controle para Tecnologias Assistivas
Descrição: Participou com intercambista no Departamento de Engenharia Elétrica da Universidade Federal do Rio Grande do Sul. O objetivo geral deste projeto é a pesquisa das tecnologias necessárias à concepção e o desenvolvimento de soluções científicas e tecnológicas para a integração de equipamentos de mobilidade (e.g. cadeira de rodas), equipamentos de interação com o usuário (e.g. dispositivos móveis em geral) e um ambiente inteligente (e.g. sistema de automação inteligente). Estes dispositivos e sistemas devem interagir de forma automática resultando em um ambiente de computação ubíqua e pervasiva capaz de oferecer serviços de maneira transparente ao usuário. O tema central envolve principalmente disciplinas relacionadas à engenharia elétrica como sistemas de controle, automação de sistemas e de produtos, redes de comunicação, acionamento de dispositivos elétricos, desenvolvimento de software para sistemas embarcados e sistemas de tempo-real, etc. Está desta forma plenamente alinhado com os três programas participantes os PPGEEs da UFRGS, da UFES e da UFAM.
Situação: Concluído; Natureza: Outra.
Alunos envolvidos: Graduação: (1) .
Integrantes: Felipe Rodrigues Monteiro Sousa - Integrante / Vicente Ferreira de Lucena Junior - Integrante / Carlos Eduardo Pereira - Coordenador / Renato Ventura Bayan Henriques - Integrante.


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
2.
Grande área: Engenharias / Área: Engenharia Elétrica.
3.
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.


Idiomas


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


Prêmios e títulos


2018
Woody Bledsoe Award, CADE Inc..
2016
Prêmio de Melhor Aplicativo Mobile do III Encontro de Inovação Tecnológica, Samsung Eletrônica da Amazônia Ltda..
2016
Medalha de Prata na ACM Student Research Competition, Association for Computing Machinery.


Produções



Produção bibliográfica
Citações

SCOPUS
Total de trabalhos:7
Total de citações:24
Monteiro, Felipe R.  Data: 08/01/2018

Outras
Total de trabalhos:15
Total de citações:87
Felipe R. Monteiro  Data: 09/08/2018

Artigos completos publicados em periódicos

1.
MONTEIRO, FELIPE R.2017 MONTEIRO, FELIPE R.; GARCIA, MÁRIO A. P. ; CORDEIRO, LUCAS C. ; DE LIMA FILHO, EDDIE B. . Bounded model checking of C++ programs based on the Qt cross-platform framework. SOFTWARE TESTING VERIFICATION & RELIABILITY, v. 27, p. e1632, 2017.

2.
MONTEIRO, FELIPE R.2017 MONTEIRO, FELIPE R.; DA S. ALVES, ERICKSON H. ; SILVA, ISABELA S. ; ISMAIL, HUSSAMA I. ; CORDEIRO, LUCAS C. ; DE LIMA FILHO, EDDIE B. . ESBMC-GPU A Context-Bounded Model Checking Tool to Verify CUDA Programs. SCIENCE OF COMPUTER PROGRAMMING, v. 152, p. 63-69, 2017.

3.
MONTEIRO, FELIPE R.2017MONTEIRO, FELIPE R.; JANUÁRIO, FRANCISCO A.P. ; CORDEIRO, LUCAS C. ; DE LIMA FILHO, EDDIE B. . BMCLua. SOFTWARE ENGINEERING NOTES, v. 42, p. 1-10, 2017.

4.
PEREIRA, PHILLIPE2016PEREIRA, PHILLIPE ; ALBUQUERQUE, HIGO ; DA SILVA, ISABELA ; MARQUES, HENDRIO ; MONTEIRO, Felipe ; FERREIRA, RICARDO ; CORDEIRO, LUCAS . SMT-based context-bounded model checking for CUDA programs. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, v. 29, p. e3934, 2016.

Trabalhos completos publicados em anais de congressos
1.
GADELHA, M. Y. R. ; Felipe R. Monteiro ; MORSE, J. ; CORDEIRO, LUCAS C. ; FISCHER, BERND ; NICOLE, D. A. . ESBMC 5.0: An Industrial-Strength C Model Checker. In: 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, Montpellier. 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018. p. 887-890.

2.
GADELHA, M. Y. R. ; Felipe R. Monteiro ; CORDEIRO, LUCAS C. ; NICOLE, D. A. . Towards Counterexample-guided k-Induction for Fast Bug Detection. In: 25th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE), 2018. 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2018.

3.
MONTEIRO, FELIPE R.; PEREIRA, PHILLIPE A. ; CORDEIRO, LUCAS C. ; FILHO, CICERO F. F. COSTA ; COSTA, MARLY G. F. . Complementary training programme for electrical and computer engineering students through an industrial-academic collaboration. In: 2016 IEEE Frontiers in Education Conference (FIE), 2016, Eire. 2016 IEEE Frontiers in Education Conference (FIE). p. 1-9.

4.
GARCIA, MÁRIO A. P. ; Felipe R. Monteiro ; CORDEIRO, L. C. ; DE LIMA FILHO, EDDIE B. . ESBMCQtOM: A Bounded Model Checking Tool to Verify Qt Applications. In: International Symposium on Model Checking Software, 2016, Eindhoven. Model Checking Software. Cham: Springer, 2016. v. 9641. p. 97-103.

5.
Felipe R. M. Sousa; CORDEIRO, L. C. ; L. FILHO, E. B. . Verificação de Programas C++ Baseados no Framework Multiplataforma Qt. In: ENCOSIS, 2015, Manaus. IV Encontro Regional de Computação e Sistemas de Informação. Manaus, 2015. v. 4. p. 181-190.

6.
SOUSA, FELIPE R. M.; CORDEIRO, LUCAS C. ; DE LIMA FILHO, EDDIE B. . Bounded model checking of C++ programs based on the Qt framework. In: 2015 IEEE 4th Global Conference on Consumer Electronics (GCCE), 2015, Osaka. 2015 IEEE 4th Global Conference on Consumer Electronics (GCCE). p. 179-447.

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

8.
SOUSA, F. R. M.; COSTA, E. A. B. ; CASTRO, THAIS HELENA CHAVES DE . WorldTour: Software para Suporte no Ensino de Crianças Autistas. In: Congresso Brasileiro de Informática na Educação (CBIE 2012), 2012, Rio de Janeiro. 23º Simpósio Brasileiro de Informática na Educação (SBIE), 2012.

Resumos publicados em anais de congressos
1.
Felipe R. Monteiro; GARCIA, MÁRIO A. P. ; CORDEIRO, LUCAS C. ; DE LIMA FILHO, EDDIE B. . Bounded Model Checking of C++ Programs based on the Qt Cross-Platform Framework (First-Journal Abstract). In: 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, Montpellier. 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018. p. 953.

2.
MONTEIRO, FELIPE R.. Bounded model checking of state-space digital systems: the impact of finite word-length effects on the implementation of fixed-point digital controllers based on state-space modeling. In: the 2016 24th ACM SIGSOFT International Symposium, 2016, Seattle. Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016. New York: ACM Press. p. 1151-1153.

3.
SOUSA, F. R. M.; CASTRO, THAIS HELENA CHAVES DE . WorldTour: Towards an Adaptive Software to Support Children with Autism in Tour Planning, 2012. v. I. p. 368-368.


Produção técnica
Programas de computador sem registro
1.

2.
SOUSA, F. R. M.; COSTA, E. A. B. . WorldTour. 2012.


Demais tipos de produção técnica
1.
Felipe R. Monteiro. 7th Intl. Competition on Software Verification (SVCOMP) held at TACAS. 2018. (Revisor de artigos).

2.
Felipe R. Monteiro. VIII Brazilian Symposium on Computing Systems Engineering. 2018. (Sub-revisor de artigos).



Eventos



Participação em eventos, congressos, exposições e feiras
1.
7th Federated Logic Conference. 2018. (Congresso).

2.
EARTH - Advanced School on Robotics and Computational SystemS. 2016. (Simpósio).

3.
Frontier in Education (FIE). Complementary Training Programme for Electrical and Computer Engineering Students Through an Industrial-Academic Collaboration. 2016. (Congresso).

4.
III Encontro de Inovação Tecnológica. 2016. (Encontro).

5.
the 2016 24th ACM SIGSOFT International Symposium.Bounded model checking of state-space digital systems: the impact of finite word-length effects on the implementation of fixed-point digital controllers based on state-space modeling. 2016. (Simpósio).

6.
Congresso de Iniciação Científica. Verificação de Programas C++ Baseados no Framework Multiplataforma Qt. 2015. (Congresso).

7.
ENCOSIS.Verificação de Programas C++ Baseados no Framework Multiplataforma Qt. 2015. (Encontro).

8.
II Encontro CETELI/UFAM-SAMSUNG de Inovação Tecnológica. 2015. (Encontro).

9.
Simpósio em Métodos Quantitativos em Imagens Médicas e Biosensores. 2015. (Simpósio).

10.
Apps World. 2014. (Congresso).

11.
Microsoft Future Decoded. 2014. (Outra).

12.
Congresso Brasileiro de Informática na Educação (CBIE 2012). WorldTour: Software para Suporte no Ensino de Crianças Autistas. 2012. (Congresso).

13.
IEEE International Conference on Computer Software and Applications. WorldTour: Towards an Adaptive Software to Support Children with Autism in Tour Planning. 2012. (Congresso).

14.
III Workshop de Verificação Formal de Software.Verificação de Programas C++ usando Representação Intermediária. 2012. (Seminário).

15.
II Workshop de Pesquisa em Informática. 2012. (Outra).

16.
II Workshop de Verificação Formal de Software.Verificando Programas C++ usando Verificação de Modelos Limitada por Contexto Baseada nas Teorias do Módulo da Satisfação. 2012. (Seminário).

17.
XXI Congresso de Iniciação Científica ? UFAM. WorldTour: Software Adaptativo para Suporte no Desenvolvimento Cognitivo de Crianças Autistas. 2012. (Congresso).

18.
2012 ISSNIP Biosignals and Biorobotics Conference: Biosignals and Robotics for Better and Safer Living (BRC). 2011. (Congresso).

19.
II SEMINFO. 2011. (Seminário).

20.
I Workshop de Verificação Formal de Software. 2011. (Seminário).

21.
Workshop Sobre Ambientes Imersivos e Manipulação de Arduíno. 2011. (Seminário).



Inovação



Programa de computador sem registro
1.


Projetos de pesquisa

Projeto de desenvolvimento tecnológico


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



Programa de Computador sem registro de patente
1.
SOUSA, F. R. M.; COSTA, E. A. B. . WorldTour. 2012.




Página gerada pelo Sistema Currículo Lattes em 11/12/2018 às 18:46:29