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 (7)

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? 		 
  

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 		 
  

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 (21)

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? 		 
  

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? 		 
  

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 		 
  

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

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 (3)

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 		 
  

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

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 (1)

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

 
 
 
 

- reloading completed -