Supervisions

Supervisions in Progress:

Doctorate

1. Inaldo Capistrano Costa. Uma abordagem baseada em compponentes para a interoperabilidade de sistemas de tempo real. Início: 2010. Tese (Doutorado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica. (Orientador).
2. Fabiano Costa Carvalho. Métodos Formais para Certificação de Sistemas Aviônicos. Início: 2009. Tese (Doutorado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica. (Orientador).
3. Henrique Costa Marques. Fusão Semântica de Dados de Comando e Controles. Início: 2009. Tese (Doutorado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica, Comando da Aeronáutica. (Orientador).
4. Adalberto Dias Costa. Um método para alinhamento de ontologias. Início: 2009. Tese (Doutorado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica. (Orientador).
5. Rovedy Aparecida Busquim e Silva. Uma abordagem formal para o processo de verificação de Software Espacial. Início: 2008. Tese (Doutorado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica. (Orientador).
6. Andrea Dal Ponte Novelli. CAtegorização Semântica de Documentos. Início: 2008. Tese (Doutorado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica. (Orientador).

Master of Science

1. Wagner Barp Meyer. Integração Semântica de Dados. Início: 2008. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica, Exército Brasileiro. (Orientador).
2. Bernardo de Pádua dos Santos. Projeto ITA-Alumni Rede Social com fins profissionais para ex-alunos de instituições de ensino superior. Início: 2008. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).

Concluded Supervisions:

Doctorate

1. Emília de Menezes Colonesse. A new Architectural Approach for Interoperability of Real-Time System Components. 2010. Tese (Doutorado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica, Comando da Aeronáutica. Orientador: José Maria Parente de Oliveira.

Master of Science

1. Eliane Santiago Ramos. Especificação e Verificação Formal de um Modelo de STI-PBL por Redes de Petri Coloridas. 2009. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica . Orientador: José Maria Parente de Oliveira.
2. Johanlemberg Ferreira de Almeida. Um Modelo de Alinhamento de Sistemas de Comando e Controle. 2009. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica, Comando da Aeronáutica. Orientador: José Maria Parente de Oliveira.
3. Frederico Guilherme Álvares de Oliveira Júnior. Uma abordagem para composição de serviços baseada em descrição semântica e restrições de QoS. 2009. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: José Maria Parente de Oliveira.
4. Fabiano Costa Carvalho. On the Development of Integrated Modular Avionics. 2009. Dissertação (Mestrado em Engenharia Aeronautica) - Instituto Tecnológico de Aeronáutica, . Orientador: José Maria Parente de Oliveira.
5. Adalberto Dias Costa. DocSense - Infra-estrutura para Categorização, Atribuição e Recuperação Semântica de Categorização de Documentos. 2009. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica, . Orientador: José Maria Parente de Oliveira.
6. Rodrigo Rizzi Starr. Uso de Mapas Conceituais e Ontologias Como Suporte à Aquisição Desassistida de Conhecimento. 2009. Dissertação (Mestrado em Engenharia Aeronautica) - Instituto Tecnológico de Aeronáutica, EMBRAER. Orientador: José Maria Parente de Oliveira.
7. Érick de Souza Carvalho. Base de Dados Semântica. 2008. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica, . Orientador: José Maria Parente de Oliveira.
8. Ferrucio de Franco Rosa. Uma abordagem para busca de serviços web usando anotações semânticas, perfis individuais de usuário e CBR. 2008. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica, . Orientador: José Maria Parente de Oliveira.
9. D´Ilton Moreira Silveira. Uma Arquitetura para Sistemas Web Adaptativos Baseada em Técnicas e Ferramentas da Web Semântica. 2008. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica, . Orientador: José Maria Parente de Oliveira.
10. Inaldo Capistrano Costa. Uma Abordagem Baseada em Cenários para Desenvolvimento de Sistemas Multiagentes. 2007. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica, . Orientador: José Maria Parente de Oliveira.
11. Kátia Regina Borgi. Uma Investigação dos Efeitos da Adaptação em Sistemas Hipermídia Adaptativos Educacionais. 2007. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica, . Orientador: José Maria Parente de Oliveira.
12. Adriana da Silva Jacinto. Uma Arquitetura para Sistemas Tutores Inteligentes Apoiada por Fundamentos de Web Semântica. 2006. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica, . Orientador: José Maria Parente de Oliveira.

Undergraduate

1. Felipe Simon. Um Modelo Consistente para Requisitos. 2009. Trabalho de Conclusão de Curso. (Graduação em Engenahria de Computação) - Instituto Tecnológico de Aeronáutica. Orientador: José Maria Parente de Oliveira.
2. Arthur Almeida Rodrigues. Proposal of Analysis Method of Integration Software Adequacy. 2007. Trabalho de Conclusão de Curso. (Graduação em Engenahria de Computação) - Instituto Tecnológico de Aeronáutica. Orientador: José Maria Parente de Oliveira.
3. Jordan Guimarães Lombardi. Abordagem para um ambiente de simulação de cenários competitivos e econômicos em empresas. 2007. Trabalho de Conclusão de Curso. (Graduação em Engenahria de Computação) - Instituto Tecnológico de Aeronáutica. Orientador: José Maria Parente de Oliveira.

Scientific Initiation

1. Vitor Hugo Oliveira Albuquerque. Projeto de Desenvolvimento de Um Sistema Hipermídia Adaptativo para o Ensino de Programação. 2007. Iniciação científica (Engenahria de Computação) - Instituto Tecnológico de Aeronáutica.
2. LUIZ HENRIQUE MARTINS LINS ROLIM. MODELO DE APOIO À GERAÇÃO ALGORITMOS A PARTIR DE MAPAS CONCEITUAIS. 2006. Iniciação científica (Engenahria de Computação) - Instituto Tecnológico de Aeronáutica.