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

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

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

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 -