Gerado automaticamente pelo URLibService


Some of my publications

Valdivino Alexandre de Santiago Junior

URL do documento original:
<http://urlib.net/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 (11)

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

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? 		 
  

Aircraft Navigation Systems Safety Assessment via Probabilistic Model Checking
Pasa, G. D.; Santiago Júnior, V. A.
2021 - 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 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 (5)

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

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? 		 
  

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

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

 
 
 
     
Content-Type: text/html 
can't read "translationTable(reload completed)": no such element in array
can't read "translationTable(reload completed)": no such element in array
    while executing
"puts "
					

					- $translationTable(reload completed) -
				
			
		""
    invoked from within
"if !$run {
# slow loading - not used
# code found in: http://www.electrictoolbox.com/load-content-jquery-ajax-loading-image/
		puts "