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
 
 

1. Artigo em Revista Científica (9)

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? 		 
  

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

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? 		 
  

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


5. Relatório (6)

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