Valdivino Alexandre de Santiago Júnior

   Research



   Publications



   IDeepS



   Divulgation



   Projects



   Students



   Contact



  

These are my current and past PhD, Master and Undergraduate students.

Current Students

PhD Students

  • Mateus de Souza Miranda. Started: 2023.

Master Students

  • André Estevam Costa Oliveira. Started: 2024.

  • Caio Eduardo Dias. Started: 2024.

  • Dener César Mendes. Started: 2024.

  • Hércules Carlos dos Santos Pereira. Started: 2024.

  • Matheus Corrêa Domingos. Started: 2024.

Undergraduate Students

  • Maria Clara de Souza Cruz. Started: 2024.

Past Students

PhD Students

  • Juliana Marino Balera. Automatização do Teste de Aplicações Web apoiada por Hiper-heurística de Geração. 2023. PhD Thesis in Applied Computing, Instituto Nacional de Pesquisas Espaciais (INPE).

  • Gabriel Fornari. Caracterização e Desenvolvimento de um Sistema Autoadaptativo para Estimação da Posição de Veículos Aéreos Não Tripulados baseado em Imagens. 2020. PhD Thesis in Applied Computing, Instituto Nacional de Pesquisas Espaciais (INPE).

  • Alessandro Oliveira Arantes. REACTOR: Combining Static Analysis, Testing and Reverse Engineering to detect Software Defects. 2016. PhD Thesis in Applied Computing, Instituto Nacional de Pesquisas Espaciais (INPE).

  • Luciana Brasil Rebelo dos Santos. A Methodology to Apply Formal Verification to UML-Based Software. 2015. PhD Thesis in Applied Computing, Instituto Nacional de Pesquisas Espaciais (INPE).

Master Students

  • Mateus de Souza Miranda. AI4LUC: Pixel-based Classification of Land Use and Land Cover via Deep Learning and a Cerrado Image Dataset. 2023. Master in Applied Computing, Instituto Nacional de Pesquisas Espaciais (INPE).

  • Renato de Sousa Maximiano. Redes Neurais Artificiais para analisar o Consumo de Energia e prever Temperatura de Computadores Embarcados em VANTs. 2023. Master in Applied Computing, Instituto Nacional de Pesquisas Espaciais (INPE).

  • Camila Pereira Sales. Uma Investigação sobre Meta e Hiper-heurísticas para Teste de Integração de Software. 2021. Master in Applied Computing, Instituto Nacional de Pesquisas Espaciais (INPE).

  • Eduardo Rohde Eras. Singularity: Um Método para Geração Automática de Casos de Testes Unitários baseado em Contraexemplos de Verificador de Modelos para Aplicações em C++. 2020. Master in Applied Computing, Instituto Nacional de Pesquisas Espaciais (INPE).

  • Viny Cesar Pereira. Model Checking Probabilístico para Apoiar a Mitigação de Evento de Falta Única em Field Programmable Gate Arrays (FPGAs). 2018. Master in Applied Computing, Instituto Nacional de Pesquisas Espaciais (INPE).

  • Paulo Nolberto dos Santos Alarcon. Minimização de Casos/Passos de Teste para Linguagens de Programação Visual. 2017. Master in Applied Computing, Instituto Nacional de Pesquisas Espaciais (INPE).

  • Juliana Marino Balera. Um Algoritmo para Geração de Casos de Teste Combinatorial via Matriz de Cobertura com Níveis Variados. 2017. Master in Applied Computing, Instituto Nacional de Pesquisas Espaciais (INPE).

  • Wendell Pereira da Silva. QSEE-TAS: Execução Automatizada de Casos de Teste para Software Embarcado em Aplicações Espaciais. 2008. Master in Applied Computing, Instituto Nacional de Pesquisas Espaciais (INPE). P.S.: Co-supervisor.

Undergraduate Students

  • Hércules Carlos dos Santos Pereira. Análise de Técnicas de Aprendizado Profundo e de Aprendizado de Máquina Tradicional para Classificação de Imagens de Drones. 2022. Computer Engineering, Universidade Paulista, São José dos Campos, SP.

  • Renata Bitencourt Vaz. Teste Metamórfico para Produtos de Software relacionados à Definição de Características Hidrológicas. 2019. Mathematics, Universidade Estadual Paulista Júlio de Mesquita Filho, Guaratinguetá, SP.

  • Leoni Augusto Romain da Silva. Teste de modelos ambientais desenvolvidos via TerraME. 2018. Computer Science, Centro Universitário Salesiano São Paulo, Lorena, SP.

  • Felipe Elias Costa da Silva. Testes de Software via Model Checking para Sistemas Espaciais Críticos. 2017. Computer Engineering, Centro Universitário Salesiano São Paulo, Lorena, SP.

  • Juliana Marino Balera. TTR: Um Algoritmo para criar Matrizes de Cobertura com Níveis Variados para apoiar a Geração de Casos de Teste de Software. 2014. Systems Development and Analysis, Faculdade de Tecnologia de São José dos Campos Professor Jessen Vidal, São José dos Campos, SP.




Last Update: October/2024



 Picture of Valdivino