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. Book or Monograph

5. Report

6. Slides
 
 

1. Journal Article (24)

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 		 
  

An algorithm for combinatorial interaction testing: definitions and rigorous evaluations
Balera, J. M.; Santiago Júnior, V. A.
2017 - How to cite? - Restricted access 		 
  

H-Switch Cover: a new test criterion to generate test case from finite state machines
Souza, É. F.; Santiago Júnior, V. A.; Vijaykumar, N. L.
2017 - 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 		 
  

The protoMIRAX hard X-ray imaging balloon experiment
Braga, J.; D'Amico, F.; Avila, M. A. C.; Penacchioni, A. V.; Reyes, J. R. S.; Santiago Júnior, V. A.; Mattiello-Francisco, M. F.; Strauss, C.; Fialho, M. A. A.
2015 - How to cite? 		 
  

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 		 
  

Tool support for generating model-based test cases via web
Arantes, A. O.; Santiago Junior, V. A.; Vijaykumar, N. L.; Souza, E. F. D.
2014 - 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 		 
  

XIPE: the X-ray imaging polarimetry explorer
Soffitta, P.; Barcons, X.; Bellazzini, R.; Braga, J.; Costa, E.; Fraser, G. W.; Gburek, S.; Huovelin, J.; Matt, G.; Pearce, M.; Poutanen, J.; Reglero, V.; Santangelo, A.; Sunyaev, R. A.; Tagliaferri, G.; Weisskopf, M.; Aloisio, R.; Amato, E.; Attiná, P.; Axelsson, M.; Baldini, L.; Basso, S.; Bianchi, S.; Blasi, P.; Bregeon, J.; Brez, A.; Bucciantini, N.; Burderi, L.; Burwitz, V.; Casella, P.; Churazov, E.; Civitani, M.; Covino, S.; Curado da Silva, R. M.; Cusumano, G.; Dadina, M.; D'Amico, F.; Rosa, A. D.; Cosimo, S. D.; Persio, G. D.; Salvo, T. D.; Dovciak, M.; Elsner, R.; Eyles, C. J.; Fabian, A. C.; Fabiani, S.; Feng, H.; Giarrusso, S.; Goosmann, R. W.; Grandi, P.; Grosso, N.; Israel, G.; Jackson, M.; Kaaret, P.; Karas, V.; Kuss, M.; Lai, D.; Rosa, G. L.; Larsson, J.; Larsson, S.; Latronico, L.; Maggio, A.; Maia, J.; Marin, F.; Massai, M. M.; Mineo, T.; Minuti, M.; Moretti, E.; Muleri, F.; O'Dell, S. L.; Pareschi, G.; Peres, G.; Pesce, M.; Petrucci, P.-O.; Pinchera, M.; Porquet, D.; Ramsey, B.; Rea, N.; Reale, F.; Rodrigo, J. M.; RózaDska, A.; Rubini, A.; Rudawy, P.; Ryde, F.; Salvati, M.; Santiago Junior, V. A.; Sazonov, S.; Sgró, C.; Silver, E.; Spandre, G.; Spiga, D.; Stella, L.; Tamagawa, T.; Tamborra, F.; Tavecchio, F.; Dias, T. T.; Adelsberg, M.; Wu, K.; Zane, S.
2013 - 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 (52)

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? 		 
  

Poster
Dias, C. E.; Pereira, H. C. S.; Shiguemori, E. H.; Santiago Junior, V. A.
2024 - How to cite? - Restricted access 		 
  

Previsăo de precipitaçăo para o outono na América do Sul usando técnicas de deep learning e machine learning
Domingos, M. C.; Santiago Júnior, V. A.; Shiguemori, E. H.; Anochi, J. A.
2024 - How to cite? 		 
  

Scene classification for mining sites from satellite images using 3D covolutional networks
Oliveira, A. E. C.; Domingos, M. C.; Santiago Júnior, V. A.
2024 - How to cite? 		 
  

Poster
Pereira, H. C. S.; Santiago Júnior, V. A.; Shiguemori, E. H.
2024 - How to cite? - Restricted access 		 
  

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? 		 
  

Cerimônia de encerramento do hackathon
Miranda, M. S.; Rodrigues, M. L.; Marinho, R.; Santiago Júnior, V. A.
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? 		 
  

Test Case/Step Minimization for Visual Programming Language Models and its Application to Space Systems
Alarcon, P. N. S.; Santiago Júnior, V. A.
2017 - How to cite? 		 
  

Uma Revisăo Sistemática da Literatura sobre Sobre Sistemas Reconfiguráveis
Fornari, G.; Santiago Júnior, V. A.
2017 - How to cite? 		 
  

Model Checking Probabilístico para comparaçăo de técnicas de mitigaçăo de SEU em FPGAs
Pereira, V. C.; Santiago Júnior, V. A.
2017 - How to cite? 		 
  

SEU mitigation for SRAM FPGAs: a comparison via probabilistic model checking
Pereira, V. C.; Santiago Júnior, V. A.; Manea, S.
2017 - How to cite? 		 
  

From statecharts into model checking: A hierarchy-based translation and specification patterns properties to generate test cases
Santiago Júnior, V. A.; Silva, F. E. C.
2017 - 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? 		 
  

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

Um experimento controlado para teste combinatorial
Balera, J. M.; Santiago Júnior, V. A.
2016 - How to cite? 		 
  

Evoluçăo de software: uma revisăo sistemática de literatura
Marinke, R.; Santiago Júnior, V. A.; Vijaykumar, N. L.
2016 - 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? 		 
  

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 		 
  

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 Junior, V. A.; Vijaykumar, N. L.
2015 - How to cite? - Restricted access 		 
  

Converting UML behavioral diagrams to transition systems
Santos, L. B. R.; Santiago Júnior, V. A.; Vijaykumar, N. L.
2014 - How to cite? 		 
  

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? 		 
  

CYCLOPS-Web: Um portal de simulaçőes da emissăo de estrelas do tipo polares
Emygdio, D.; Vilega, C. R.; 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? 		 
  

FMEA as a design improvement tool of protoMIRAX attitude control subsystem
Véras, P.; Scherer, P.; Silva, F.; Barros, P. R. S.; Júnior, V. A. S.
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? 		 
  

From Statecharts to Test Case Generation on Web
Arantes, A. O.; Vijaykumar, N. L.; Santiago Junior, V. A.
2007 - 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 (9)

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 		 
  

Test case/step minimization for visual programming language models and its application to space systems
Alarcon, P. N. S.; Santiago Júnior, V. A.
2017 - How to cite? - Restricted access 		 
  

A rigorous evaluation of the benefits of usability improvements within model checking-aided software inspections
Santos, L. B. R.; Santiago Júnior, V. A.; Freitas, A. V.
2017 - 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 		 
  

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. Book or Monograph (1)

Natural language requirements: automating model-based testing and analysis of defects
Santiago Júnior, V. A.
2010 - How to cite? 		 
  


5. Report (15)

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? 		 
  

Model-based test case generation using statecharts and z: a comparison and a combined approach
Santiago Júnior, V. A.; Cristiá, M.; Vijaykumar, N. L.
2010 - How to cite? 		 
  


6. Slides (5)

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? 		 
  

Hyper-heuristics based on Evolutionary Algorithms and their applications
Santiago Júnior, V. A.
2020 - How to cite? 		 
  

 
 
 
 

- reloading completed -