Gerado automaticamente pelo URLibService


Some of my publications

Valdivino Alexandre de Santiago Junior

URL do documento original:
<http://urlib.net/ibi/8JMKD3MGP5W/3C9JJB5>


 
 

Sumário

1. Artigo em Revista Científica

2. Artigo em Evento

3. Capítulo de Livro

4. Livro ou Monografia

5. Relatório

6. Slides
 
 

1. Artigo em Revista Científica (14)

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 - Como citar? - Acesso restrito 		 
  

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 - Como citar? - Acesso restrito 		 
  

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 - Como citar? - Acesso restrito 		 
  

Hyper-Heuristics based on reinforcement learning, balanced heuristic selection and group decision acceptance
Santiago Júnior, V. A.; Özcan, E.; Carvalho, V. R.
2020 - Como citar? - Acesso restrito 		 
  

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 - Como citar? - Acesso restrito 		 
  

An algorithm for combinatorial interaction testing: definitions and rigorous evaluations
Balera, J. M.; Santiago Júnior, V. A.
2017 - Como citar? - Acesso restrito 		 
  

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 - Como citar? - Acesso restrito 		 
  

Time Performance Formal Evaluation of Complex Systems
Santiago Júnior, V. A.; Tahar, S.
2016 - Como citar? - Acesso restrito 		 
  

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 - Como citar? 		 
  

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 - Como citar? - Acesso restrito 		 
  

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 - Como citar? - Acesso restrito 		 
  

Transformation of UML behavioral diagrams to support software model checking
Santos, L. B. R.; Santiago Júnior, V. A.; Vijaykumar, N. L.
2014 - Como citar? - Acesso restrito 		 
  

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 - Como citar? - Acesso restrito 		 
  

Generating model-based test cases from natural language requirements for space application software
Santiago Júnior, V. A.; Vijaykumar, N. L.
2012 - Como citar? - Acesso restrito 		 
  


2. Artigo em Evento (35)

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 - Como citar? 		 
  

Cerimônia de encerramento do hackathon
Miranda, M. S.; Rodrigues, M. L.; Marinho, R.; Santiago Júnior, V. A.
2022 - Como citar? 		 
  

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 - Como citar? 		 
  

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 - Como citar? 		 
  

A Method and Experiment to evaluate Deep Neural Networks as Test Oracles for Scientific Software
Santiago Júnior, V. A.
2022 - Como citar? - Acesso restrito 		 
  

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 - Como citar? 		 
  

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 - Como citar? - Acesso restrito 		 
  

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 - Como citar? 		 
  

Investigating Multi and Many-Objective Metaheuristics to Support Software Integration Testing
Sales, C. P.; Santiago Júnior, V. A.
2020 - Como citar? - Acesso restrito 		 
  

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

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

A self-adaptive approach for autonomous UAV navigation via computer vision
Fornari, G.; Santiago Júnior, V. A.; Shiguemori, E.
2018 - Como citar? - Acesso restrito 		 
  

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 - Como citar? 		 
  

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

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

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

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

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 - Como citar? 		 
  

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

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

A controlled experiment for combinatorial testing
Balera, J. M.; Santiago Júnior, V. A.
2016 - Como citar? 		 
  

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

Evolução de software: uma revisão sistemática de literatura
Marinke, R.; Santiago Júnior, V. A.; Vijaykumar, N. L.
2016 - Como citar? 		 
  

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

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 - Como citar? - Acesso restrito 		 
  

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 - Como citar? - Acesso restrito 		 
  

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

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 - Como citar? 		 
  

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 - Como citar? 		 
  

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 - Como citar? 		 
  

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

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 - Como citar? 		 
  

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 - Como citar? 		 
  

From Statecharts to Test Case Generation on Web
Arantes, A. O.; Vijaykumar, N. L.; Santiago Junior, V. A.
2007 - Como citar? 		 
  

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 - Como citar? 		 
  


3. Capítulo de Livro (9)

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

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 - Como citar? 		 
  

Metaheuristics and Hyper-heuristics Based on Evolutionary Algorithms for Software Integration Testing
Santiago Júnior, V. A.; Sales, C. P.
2022 - Como citar? - Acesso restrito 		 
  

Aircraft Navigation Systems Safety Assessment via Probabilistic Model Checking
Passa, G. D.; Santiago Júnior, V. A.
2021 - Como citar? - Acesso restrito 		 
  

A self-adaptive approach for autonomous UAV navigation via computer vision
Fornari, G.; Santiago Júnior, V. A.; Shiguemori, E. H.
2018 - Como citar? - Acesso restrito 		 
  

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 - Como citar? - Acesso restrito 		 
  

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 - Como citar? - Acesso restrito 		 
  

Time performance formal evaluation of complex systems
Santiago Júnior, V. A.; Tahar, S.
2016 - Como citar? - Acesso restrito 		 
  

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 - Como citar? - Acesso restrito 		 
  


4. Livro ou Monografia (1)

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


5. Relatório (10)

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 - Como citar? 		 
  

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 - Como citar? 		 
  

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 - Como citar? 		 
  

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 - Como citar? 		 
  

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

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

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

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

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 - Como citar? 		 
  

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 - Como citar? 		 
  


6. Slides (3)

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

Some applications of formal methods
Santiago Júnior, V. A.
2022 - Como citar? 		 
  

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

 
 
 
     

- recarregamento concluido -