área de pesquisa
- Avaliação comparativa entre técnicas de programação defensiva aplicadas a um sistema crítico simulado.
- Avaliação do Perigo de Colisão entre Aeronaves em Operação de Aproximação em Pistas de Aterrisagem Paralelas
- Criptografia quântica em redes de informação crítica - aplicação a telecomunicações aeronáuticas"
- Fatores e subfatores para avaliação da segurança em software de sistemas críticos
- João Batista Camargo Júnior
- Metodologia de avaliação de segurança das comunicações entre controlador e piloto via enlace de dados (CPDLC) aplicada em áreas terminais.
- Modelo de Veículos Aéreos não tripulados Baseado em Sistemas Mulit-Agentes