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

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

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? 		 
  

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? 		 
  

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. Report (12)

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


 
 
 
 

- reloading completed -