Automatically generated by URLibService


Some of my publications

Valdivino Alexandre de Santiago Junior

Original document URL:
<http://urlib.net/ibi/8JMKD3MGP5W/3C9JJB5>


 
 

Contents

1. Journal Article

2. Conference Paper

3. Book Section

4. Report

5. Slides
 
 

1. Journal Article (19)

Sampling process to support an artificial intelligence approach for determining the structural parameters of open star clusters
Mendes, D. C.; Santiago Júnior, V. A.; Angelo, M. S.
2026 - How to cite? 		 
  

Mining Scene Classification and Semantic Segmentation Using 3D Convolutional Neural Networks
Oliveira, A. E. C.; Domingos, M. C.; Santiago Júnior, V. A.; Escada, M. I. S.
2026 - How to cite? 		 
  

CerraData-4 MM: A Multimodal Benchmark Dataset on Cerrado for Land Use and Land Cover Classification
Miranda, M. S.; Hansch, R.; Santiago Júnior, V. A.; Körting, T. S.; Monteiro, E. C. S.
2025 - How to cite? - Restricted access 		 
  

A multi-view evaluation on semantic segmentation supported by deep neural networks for the Cerrado savanna
Santiago Júnior, V. A.; Miranda, M. S.; Rodrigues, M. L.; Silva, B. L. C.; Körting, T. S.
2025 - How to cite? - Restricted access 		 
  

Characterizing Colored Noise Time Series Patterns with Deep Learning Models
Ferreira, L. O. O. B.; Rosa, R. R.; Wuensche, C. A.; Sautter, R. A.; Santiago Júnior, V. A.; Shiguemori, E. H.; Pádua, M. B.
2024 - How to cite? - Restricted access 		 
  

AI4LUC: deep learning and automated mask labelling to support land use and land cover mapping in the Cerrado biome
Miranda, M. S.; Santiago Júnior, V. A.; Körting, T. S.; Monteiro, E. C. S.; Silva, J. Q.
2024 - How to cite? - Restricted access 		 
  

Empirical Evidence Regarding Few-Shot Learning for Scene Classification in Remote Sensing Images
Santiago Júnior, V. A.
2024 - How to cite? - Restricted access 		 
  

Evaluating Deep Learning Techniques for Blind Image Super-Resolution within a High-Scale Multi-Domain Perspective
Santiago Júnior, V. A.
2023 - How to cite? - Restricted access 		 
  

Deep learning techniques for blind image super-resolution: a high-scale multi-domain perspective evaluation
Santiago Júnior, V. A.
2023 - How to cite? - Restricted access 		 
  

Radio resource allocation in a 6G D-OMA network with imperfect SIC: a framework aided by a bi-objective hyper-heuristic
Torres, F. O.; Santiago Júnior, V. A.; Costa, D. B.; Cardoso, D. L.; Oliveira, R. C. L.
2023 - How to cite? - Restricted access 		 
  

Throughput maximization for a multicarrier cell-less NOMA network: a framework based on ensemble metaheuristics
Torres, F. O.; Santiago Júnior, V. A.; Costa, D. B.; Cardoso, D. L.; Oliveira, R. C. L.
2023 - How to cite? - Restricted access 		 
  

Throughput Maximization for a Multicarrier Cell-Less NOMA Network: A Framework Based on Ensemble Metaheuristics
Torres, F. O.; Santiago Júnior, V. A.; Costa, D. B.; Cardoso, D. L.; Oliveira, R. C. L.
2023 - How to cite? - Restricted access 		 
  

Many-objective test case generation for graphical user interface applications via search-based and model-based testing
Santiago Júnior, V. A.; Özcan, E.; Balera, J. M.
2022 - How to cite? - Restricted access 		 
  

Hyper-Heuristics based on reinforcement learning, balanced heuristic selection and group decision acceptance
Santiago Júnior, V. A.; Özcan, E.; Carvalho, V. R.
2020 - How to cite? - Restricted access 		 
  

Software requirements testing approaches: a systematic literature review
Santos, J.; Martins, L. E. G.; Santiago Júnior, V. A.; Povoa, L. V.; Santos, L. B. R.
2020 - How to cite? - Restricted access 		 
  

Time Performance Formal Evaluation of Complex Systems
Santiago Júnior, V. A.; Tahar, S.
2016 - How to cite? - Restricted access 		 
  

Towards a wide acceptance of formal methods to the design of safety critical software: an approach based on UML and model checking
Eras, E. R.; Santos, L. B. R.; Santiago Júnior, V. A.; Vijaykumar, N. L.
2015 - How to cite? - Restricted access 		 
  

Transformation of UML behavioral diagrams to support software model checking
Santos, L. B. R.; Santiago Júnior, V. A.; Vijaykumar, N. L.
2014 - How to cite? - Restricted access 		 
  

Generating model-based test cases from natural language requirements for space application software
Santiago Júnior, V. A.; Vijaykumar, N. L.
2012 - How to cite? - Restricted access 		 
  


2. Conference Paper (32)

Subseasonal precipitation forecasting in Southeastern Brazil using machine learning with explainable artificial intelligence
Costa, J. V. F.; Domingos, M. C.; Santiago Júnior, V. A.; Gomes, J. L.
2026 - How to cite? 		 
  

Geração automática de relatórios para o Programa Queimadas via modelos de linguagem de grande escala
Cruz, M. C. S.; Júnior, V. A. S.
2025 - How to cite? 		 
  

Automatic Detection of Spots on Coffee Leaves using Deep Learning
Dias, C. E.; Santiago Júnior, V. A.; Shiguemori, E. H.
2025 - How to cite? 		 
  

Automatic Detection of Spots on Coffee Leaves using Deep Learning
Dias, C. E.; Santiago Júnior, V. A.; Shiguemori, E. H.
2025 - How to cite? 		 
  

Exploring Deep Learning Techniques for Climate Prediction of Precipitation for the Autumn Season in South America
Domingos, M. C.; Santiago Júnior, V. A.; Anochi, J. A.; Shiguemori, E. H.
2025 - How to cite? 		 
  

Identifying changes in open-pit mining areas using satellite imagery and deep learning
Pereira, H. C. S.; Santiago Júnior, V. A.; Shiguemori, E. H.; Mendes, D. C.; Dias, C. E.; Domingos, M. C.; Santos, L. M. C.
2025 - How to cite? 		 
  

Identificação de mudanças em áreas de mineração a céu aberto por meio de imagens de satélite e aprendizado profundo
Pereira, H. C. S.; Santiago Júnior, V. A.; Shiguemori, E. H.; Mendes, D. C.; Dias, C. E.; Domingos, M. C.; Santos, L. M. C.
2025 - How to cite? 		 
  

LULC mapping via 3D CNN with noisy data, supervised and weakly supervised learning
Santiago Junior, V. A.; Oliveira, A. E. C.
2025 - How to cite? - Restricted access 		 
  

AURORAS: Automated Remote Observation for Recognition and Analysis of Safe Landing Sites via Deep Learning
Santos, L. M. C.; Domingos, M. C.; Pereira, H. C. S.; Santos, R. D. C.; Vieira, L. E. A.; Santiago Júnior, V. A.; Shiguemori, E. H.
2025 - How to cite? 		 
  

On the benefits of automated tuning of hyper-parameters: an experiment related to temperature prediction on UAV computers
Maximiano, R. S.; Santiago Júnior, V. A.; Shiguemori, E. H.
2022 - How to cite? 		 
  

A High-Spatial Resolution Dataset and Few-shot Deep Learning Benchmark for Image Classification
Miranda, M. S.; Silva, L. F. A.; Santos, S. F.; Santiago Júnior, V. A.; Körting, T. S.; Almeida, J.
2022 - How to cite? 		 
  

Uso de inteligência artificial na escolha automática de técnicas e parâmetros de processamento de imagens obtidas por drones para sensoriamento remoto
Pereira, H. C. S.; Santiago Júnior, V. A.; Shiguemori, E. H.
2022 - How to cite? 		 
  

A Method and Experiment to evaluate Deep Neural Networks as Test Oracles for Scientific Software
Santiago Júnior, V. A.
2022 - How to cite? - Restricted access 		 
  

Otimização em teste de software para análise de desempenho de software de pré-processamento de dados do CPTEC
Costa, A. G. C. M.; Santiago Junior, V. A.; Barbosa, E. B. M.
2021 - How to cite? 		 
  

Deep Convolutional Neural Network for Classifying Satellite Images with Heterogeneous Spatial Resolutions
Miranda, M. S.; Santiago Júnior, V. A.; Körting, T. S.; Leonardi, R.; Freitas Júnior, M. L.
2021 - How to cite? - Restricted access 		 
  

Uso de inteligência artificial na escolha automática de técnicas e parâmetros de processamento de imagens obtidas por drones para sensoriamento remoto
Pereira, H. C. S.; Santiago Junior, V. A.; Shiguemori, E. H.
2021 - How to cite? 		 
  

Investigating Multi and Many-Objective Metaheuristics to Support Software Integration Testing
Sales, C. P.; Santiago Júnior, V. A.
2020 - How to cite? - Restricted access 		 
  

Inteligência Artificial para a Área Aeroespacial: Teste de Software e Veículos Aéreos Não Tripulados
Santiago Júnior, V. A.
2020 - How to cite? 		 
  

HRMA: hyper-heuristic based on the random choice of move acceptance methods
Santiago Júnior, V. A.; Özcan, E.
2019 - How to cite? 		 
  

A self-adaptive approach for autonomous UAV navigation via computer vision
Fornari, G.; Santiago Júnior, V. A.; Shiguemori, E.
2018 - How to cite? - Restricted access 		 
  

Sistema auto reconfigurável para navegação autônoma de vants usando visão computacional
Fornari, G.; Santiago Júnior, V. A.; Shiguemori, E. H.
2018 - How to cite? 		 
  

Testing environmental models supported by machine learning
Santiago Júnior, V. A.; Silva, L. A. R.; Andrade Neto, P. R.
2018 - How to cite? 		 
  

XMITS: software inspections via formal verification
Santos, L. B. R.; Sales, C. P.; Santiago Júnior, V. A.
2018 - How to cite? 		 
  

Teste de modelos ambientais desenvolvidas via Terrame
Silva, L. A. R.; Santiago Júnior, V. A.
2018 - How to cite? 		 
  

A controlled experiment for combinatorial testing
Balera, J. M.; Santiago Júnior, V. A.
2016 - How to cite? 		 
  

On proposing a test oracle generator based on static and dynamic source code analysis
Arantes, A. O.; Santiago Júnior, V. A.; Vijaykumar, N. L.
2015 - How to cite? - Restricted access 		 
  

Testes de Software de aplicações espacias: abordagem por modelos formais e oráculos
Arantes, A.; Santiago Júnior, V. A.; Vijaykumar, N. L.
2013 - How to cite? 		 
  

CYCLOPS-Web: Um portal de simulações da emissão de estrelas do tipo polares
Emygdio, D.; Rodrigues, C. V.; Antunes, W. D.; Costa, J. E. R.; Santiago Júnior, V. A.; Silva, K. M. G.
2013 - How to cite? 		 
  

EXTFV: Automated Test Case Execution and Automated Generation of Artifacts related to the Verification and Validation Process
Santiago Júnior, V. A.; Silva, W. P.; Costa, R. C.; Santos, D. V.
2013 - How to cite? 		 
  

An algorithm to translate UML behavioral diagrams for formal verification
Santos, L. B. R.; Santiago Júnior, V. A.; Vijaykumar, N. L.
2013 - How to cite? 		 
  

GTSC: Automated Model-Based Test Case Generation from Statecharts and Finite State Machines
Santiago Júnior, V. A.; Vijaykumar, N. L.; Ferreira, É.; Guimarães, D. S.; Costa, R. C.
2012 - How to cite? 		 
  

Verificação e validação na terceirização de software embarcado em aplicações espaciais
Mattiello-Francisco, M. F.; Santiago Júnior, V. A.; Ambrósio, A. M.; Costa, R.; Leise, J.
2006 - How to cite? 		 
  


3. Book Section (6)

Multiperspective Web Testing Supported by a Generation Hyper-Heuristic
Balera, J. M.; Santiago Júnior, V. A.
2022 - How to cite? 		 
  

Artificial Neural Networks to Analyze Energy Consumption and Temperature of UAV On-Board Computers Executing Algorithms for Object Detection
Maximiano, R. S.; Santiago Júnior, V. A.; Shiguemori, E. H.
2022 - How to cite? 		 
  

Metaheuristics and Hyper-heuristics Based on Evolutionary Algorithms for Software Integration Testing
Santiago Júnior, V. A.; Sales, C. P.
2022 - How to cite? - Restricted access 		 
  

Aircraft Navigation Systems Safety Assessment via Probabilistic Model Checking
Passa, G. D.; Santiago Júnior, V. A.
2021 - How to cite? - Restricted access 		 
  

A self-adaptive approach for autonomous UAV navigation via computer vision
Fornari, G.; Santiago Júnior, V. A.; Shiguemori, E. H.
2018 - How to cite? - Restricted access 		 
  

T-tuple reallocation: an algorithm to create mixed-level covering arrays to support software test case generation
Balera, J. M.; Santiago Júnior, V. A.
2015 - How to cite? - Restricted access 		 
  


4. Report (14)

Geração automática de relatórios para o Programa Queimadas via modelos de linguagem de grande escala
Cruz, M. C. S.; Júnior, V. A. S.
2026 - How to cite? 		 
  

Geração automática de relatórios para o Programa Queimadas via modelos de linguagem de grande escala
Cruz, M. C. S.; Júnior, V. A. S.
2025 - How to cite? 		 
  

Blind image super-resolution via deep learning
Santiago Júnior, V. A.
2023 - How to cite? 		 
  

Project IDeepS: Image classification via Deep neural networks and large databases for aeroSpace applications
Santiago Júnior, V. A.
2023 - How to cite? 		 
  

Análise de técnicas de aprendizado profundo e de aprendizado de máquina tradicional para classificação de imagens de drones
Pereira, H. C. S.; Santiago Júnior, V. A.; Shiguemori, E. H.
2022 - How to cite? 		 
  

Emprego de inteligência artificial na escolha automática de algoritmos e parâmetros de técnicas de processamento de imagens obtidas por Drones para aplicação no sensoriamento remoto
Pereira, H. C. S.; Santiago Júnior, V. A.; Shiguemori, E. H.
2022 - How to cite? 		 
  

Otimização em teste de software para análise de desempenho de software de pré-processamento de dados do CPTEC
Costa, A. G. C. M.; Santiago Júnior, V. A.; Barbosa, E. B. M.
2021 - How to cite? 		 
  

Otimização em teste de software para análise de desempenho de software de pré-processamento de dados do CPTEC
Medeiros, R. A.; Santiago Júnior, V. A.
2021 - How to cite? 		 
  

Emprego da inteligência artificial na escolha automática de algoritmos e parâmetros de técnicas de processamento de imagens obtidas por drones para aplicação no sensoriamento remoto
Pereira, H. C. S.; Santiago Júnior, V. A.; Shiguemori, E. H.
2021 - How to cite? 		 
  

Teste de modelos ambientais desenvolvidas via Terrame
Silva, L. A. R.; Santiago Júnior, V. A.
2018 - How to cite? 		 
  

Testes de modelos ambientais desenvolvidos via TerraME
Silva, L. A. R.; Santiago Júnior, V. A.
2017 - How to cite? 		 
  

Testes de software via model checking para sistemas espaciais críticos
Silva, F. E. C.; Santiago Júnior, V. A.
2017 - How to cite? 		 
  

Testes de software via model checking para sistemas espaciais críticos
Silva, F. E. C.; Santiago Júnior, V. A.
2016 - How to cite? 		 
  

Automatização da definição de cenários para apoiar a geração de casos de teste de sistema e aceitação baseados em modelos no contexto da metodologia SOLIMVA
Balera, J. M.; Santiago Júnior, V. A.
2014 - How to cite? 		 
  


5. Slides (4)

Aprendizado profundo aplicado a sensoriamento remoto e drones
Santiago Júnior, V. A.
2023 - How to cite? 		 
  

Image super-resolution via deep learning
Santiago Júnior, V. A.
2023 - How to cite? 		 
  

Semantic segmentation of satellite images via deep neural networks
Santiago Júnior, V. A.
2022 - How to cite? 		 
  

Some applications of formal methods
Santiago Júnior, V. A.
2022 - How to cite? 		 
  

 
 
 
 

- reloading completed -