Fernando Vernal Salina

Formação complementar

Áreas de atuação

Organização de eventos

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• FRACASSO, N. K. L. ; SILVA, V. L. ; MARTINS, M. J. ; SALINA, F V ; CUTIGI, J. F. ; OLIVEIRA, L. B. R. . Análise do impacto da robótica educacional no desempenho e nas escolhas acadêmicas de alunos do ensino técnico integrado: um estudo no escopo do IFSP São Carlos. WORKSHOP DE INOVAÇÃO, PESQUISA, ENSINO E EXTENSÃO , v. 3, p. 33-36, 2018.

• Mancini, C. M. S. ; SALINA, F V . Web Standards e Usabilidade. Expressão (Guaxupé) , v. 13, p. 65-73, 2010.

• SALINA, F V ; GONÇALVES, Paulo Henrique . Algorítmos de Reconstrução Tomográfica de Imagem. Expressão (Guaxupé) , v. 1, p. 9-22, 2009.

• SALINA, F V ; BORATO, E. . Engenharia Social. Expressão (Guaxupé) , v. 10, p. 27-38, 2009.

• MASCARENHAS, Nelson Delfino D'ávila ; SALINA, F V ; CRUVINEL, Paulo Estevão . Rejection onto Convex Sets Methods in the Tomographic Reconstruction of Images. In: Paulo Estevão Cruvinel; Sérgio Mascarenhas. (Org.). Advanced Studies in Agricultural Instrumentaion. São Carlos: RiMa, 2002, v. , p. 25-51.

• RIBEIRO, E. S. ; MASCARENHAS, Nelson Delfino D'ávila ; SALINA, F V ; CRUVINEL, Paulo Estevão . Noise reduction on CT of Projections by Wiener Filtering and Wavelet Thresholding. In: VI Workshop de Visão Computacional, 2010, Presidente Prudente. VI Workshop de Visão Computacional, 2010.

• SALINA, F V ; MASCARENHAS, Nelson Delfino d'Ávila . A Hybrid Estimation Theoretic-POCS Method for Tomographic Image Reconstruction. In: XVIII Brazilian Symposium on Computer Graphics and Image Processing, 2005, Natal-RN. Proceedings of the XVIII Brazilian Symposium on Computer Graphics and Image Processing, 2005. p. 220-224.

• SALINA, F V ; MASCARENHAS, Nelson Delfino D'ávila ; CRUVINEL, Paulo Estevão . A Comparison of POCS Algorithms for Tomographic Reconstruction Under Noise and Limited View. In: XV SIBIGRAPI - Simposio Brasileiro de Computação Gráfica e Processamento de Imagem, 2002, Fortaleza. XV SIBIGRAPI, 2002. p. 342-346.

• SALINA, F V . Dez Anos do Projeto Saúde em São Carlos: resultados de um primeiro ciclo. In: III Encontro de Extensão da UFSCar: A interação entre Universidade e Sociedade, 2001, São Carlos. CD da 4ª Jornada Científica da UFScar. São Carlos, 2001.

• CAZARIN, R. K. T. ; SALINA, F V . LOCALIZAÇÃO E RECONHECIMENTO DE LANDMARKS APLICADO A SISTEMAS DE NAVEGAÇÃO. In: Wipex - Workshop de Inovação, Pesquisa e Extensão, 2018, São Carlos-SP. III Wipex - Workshop de Inovação, Pesquisa e Extensão, 2018. p. 13-16.

• MATHEUS, G. R. ; SALINA, F. V. . ALGORITMOS PARA DETECÇÃO E RECONHECIMENTO DE PLACAS DE TRÂNSITO. In: Workshop de Inovação, Pesquisa, Ensino e Extensão (WIPEX), 2019, São Carlos - SP. 4 WIPEX. São Carlos-SP: IFSP, 2019. v. 3. p. 1-3.

• LOURENCO, E. F. ; SALINA, F. V. . FERRAMENTAS DE DETECÇÃO DE MÍMICA FACIAL APLICADAS A UM SISTEMA DE CONTROLE DE UMA CADEIRA DE RODAS MOTORIZADA. In: Workshop de Inovação, Pesquisa, Ensino e Extensão (WIPEX), 2019, São Carlos - SP. 4 WIPEX. São Carlos - SP: IFSP, 2019. v. 3. p. 29-32.

• VALIM, G. S. ; SALINA, F. V. . FILTRAGEM DE RUÍDO COM USO DO MÉTODO PROBABILÍSTICO MAXIMUM A POSTERIORI NA RECONSTRUÇÃO DE IMAGENS TOMOGRÁFICAS. In: Workshop de Inovação, Pesquisa, Ensino e Extensão (WIPEX), 2019, São Carlos - SP. 4 WIPEX. São Carlos: IFSP, 2019. v. 3. p. 33-36.

• KAWABATA, C. L. O. ; SALINA, F. V. ; CUTIGI, J. F. ; VILARONGA, C. A. R. ; BORDIGNON, T. ; NALESSO, A. C. F. ; SANTOS, G. N. ; RUIVO, J. R. ; BRITO, R. C. ; SOUZA, L. R. A. ; VIANA, J. M. A. . INFORMÁTICA PARA PESSOAS COM DEFICIÊNCIA INTELECTUAL. In: 3º Workshop de Inovação, Pesquisa, Ensino e Extensão, 2018, São Carlos. Workshop de Inovação, Pesquisa, Ensino e Extensão do IFSP São Carlos. São Carlos: Workshop de Inovação, Pesquisa, Ensino e Extensão do IFSP São Carlos, 2018. v. 1. p. 25-28.

• FRACASSO, N. K. L. ; SILVA, V. L. ; MARTINS, M. J. ; SALINA, F. V. ; CUTIGI, J. F. ; OLIVEIRA, L. B. R. . ANÁLISE DO IMPACTO DA ROBÓTICA EDUCACIONAL NO DESEMPENHO E NAS ESCOLHAS ACADÊMICAS DE ALUNOS DO ENSINO TÉCNICO INTEGRADO: UM ESTUDO NO ESCOPO DO IFSP SÃO CARLOS2018. In: 3º Workshop de Inovação, Pesquisa, Ensino e Extensão, 2018, São Carlos. Workshop de Inovação, Pesquisa, Ensino e Extensão do IFSP São Carlos. São Carlos: Workshop de Inovação, Pesquisa, Ensino e Extensão do IFSP São Carlos, 2018. v. 1. p. 33-36.

• MATHEUS, G. R. ; SALINA, F. V. . ALGORITMOS PARA DETECÇÃO E RECONHECIMENTO DE PLACAS DE TRÂNSITO. In: 9° Congresso de Inovação, Ciência e Tecnologia do IFSP, 2018, Boituva. 9° Congresso de Inovação, Ciência e Tecnologia do IFSP, 2018. v. 1.

• VALIM, G. S. ; SALINA, F. V. . FILTRAGEM DE RUÍDO COM O MÉTODO PROBABILÍSTICO MAXIMUM A POSTERIORI NO PROCESSO DE RECONSTRUÇÃO DE IMAGENS TOMOGRÁFICAS. In: 9° Congresso de Inovação, Ciência e Tecnologia do IFSP, 2018, Boituva. 9° Congresso de Inovação, Ciência e Tecnologia do IFSP. Boituva: 9° Congresso de Inovação, Ciência e Tecnologia do IFSP, 2018. v. 1.

• LOURENCO, E. F. ; SALINA, F. V. . ALGORITMOS DE RECONHECIMENTO DE MÍMICA FACIAL APLICADO À UM SISTEMA DE CONTROLE DE UMA CADEIRA DE RODAS. In: 9° Congresso de Inovação, Ciência e Tecnologia do IFSP, 2018, Boituva. 9° Congresso de Inovação, Ciência e Tecnologia do IFSP. Boituva: 9° Congresso de Inovação, Ciência e Tecnologia do IFSP, 2018. v. 1.

• OLIVEIRA, I. S. ; SALINA, F. V. . RECONHECIMENTO DE EXPRESSÕES FACIAIS EM SISTEMAS DE TECNOLOGIA ASSISTIVA. In: 8º Congresso de Inovação, Ciência e Tecnologia do IFSP, 2017, Cubatão. 8º Congresso de Inovação, Ciência e Tecnologia do IFSP. Cubatão: 8º Congresso de Inovação, Ciência e Tecnologia do IFSP, 2017. v. 1.

• CHUQUE, R. L. ; ALVES, R. R. ; CUTIGI, J. F. ; SALINA, F. V. . RELATO DE EXPERIÊNCIA DA CRIAÇÃO E CONDUÇÃO DE UM GRUPO DE ESTUDOS DE ARDUINO. In: 2º Workshop de Inovação, Pesquisa, Ensino e Extensão, 2016, São Carlos. 2º Workshop de Inovação, Pesquisa, Ensino e Extensão. São Carlos: Workshop de Inovação, Pesquisa, Ensino e Extensão do IFSP São Carlos, 2016. v. 1. p. 129-132.

• NALESSO, A. C. F. ; SALINA, F. V. . RECONHECIMENTO FACIAL UTILIZANDO WAVELET E PCA. In: 2º Workshop de Inovação, Pesquisa, Ensino e Extensão, 2016, São Carlos. Workshop de Inovação, Pesquisa, Ensino e Extensão do IFSP São Carlos. São Carlos: Workshop de Inovação, Pesquisa, Ensino e Extensão do IFSP São Carlos, 2016. v. 1. p. 133-136.

• AZORLI ; CORDEIRO ; RODRIGUES, V. D. ; SALINA, F. V. . Tutoria da Rede ASA: a rede de apoio aos discentes. 2023. (Apresentação de Trabalho/Outra).

Outras produções

Projetos de pesquisa

• 2022 - Atual

  Teste de Software Baseado em Mutação com Alta Eficácia e Baixa Dívida Técnica: Processo Automatizado e Protótipo de Ambiente de Apoio Livres, Descrição: Objetivo: Considerando a relevância da automatização da atividades de teste para a indústria de produção de software e a relevância do teste baseado em mutação a partir de evidências científicas, neste projeto tem-se por objetivo definir um processo de teste baseado em mutação que possa ser executado de forma 100% automatizado por meio de um ambiente de teste de apoio, ambiente este que será especificado, implementado e validado com aplicações industriais e open-source. Métodos: Investigar e automatizar três problemas clássicos do teste de mutação: 1) geração de mutantes; 2)execução dos mutantes; e a 3) análise dos mutantes vivos e equivalentes no processo de teste. Na geração, pretende-se utilizar análise estática e informações de fluxo de controle e de dados para selecionar os pontos em que as mutações serão realizadas, além de selecionar tipos específicos de operadores a serem utilizados em função das características do produto em teste. Na execução dos mutantes, é importante que seja feita uma seleção de bons casos de teste com alta probabilidade de matar mutantes não equivalentes. Para isso, entende-se que devem ser combinados diferentes geradores automáticos de dados de teste e, possivelmente, desenvolvidos novos algoritmos de geração para matar mutantes gerados por operadores de mutação específicos. Na análise dos mutantes vivos e equivalentes serão definidas e avaliadas estratégias, de forma automatizada, para a determinação de mutantes equivalentes, utilizando-se heurísticas, aprendizado Bayesiano, e a frequência de execução dos mutantes pelos casos de teste. Resultados esperados: serão gerados um processo de teste e um ambiente de apoio gratuito, além de dados de experimentação que permitirão a geração de benchmarks de teste para C, Java e Python, viabilizando o desenvolvimento de novas pesquisas relacionadas ao teste de mutação, principalmente no contexto dessas linguagens de programação. Processo e Ambiente serão aplicados e avaliados em parceiros industriais os quais manifestaram apoio e interesse no uso do processo resultante deste projeto de pesquisa. Débito técnico no contexto desta proposta caracteriza os riscos associados à produção e à liberação de produtos de software, tendo como base o critério deteste baseado em mutação. Conclusões: Pretende-se viabilizar a aplicação do teste de mutação como um importante mecanismo de garantia da qualidade de produtos de software de forma totalmente automatizada, favorecendo a transferência tecnológica e aplicação do teste de mutação para a indústria, com a consequente evolução da capacidade de produção de software da indústria brasileira. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) / Doutorado: (2) . , Integrantes: Fernando Vernal Salina - Integrante / Lucas Bueno Ruas de Oliveira - Integrante / Auri Marcelo Rizzo Vincenzi - Coordenador / José Carlos Maldonado - Integrante / Márcio Eduardo Delamaro - Integrante / Rodrigo Funabashi Jorge - Integrante / Fabiano Cutigi Ferrari - Integrante / Delano Medeiros Beder - Integrante / Anderson Belgamo - Integrante / Ana Cristina Ramada Paiva - Integrante / Rodrigo Elias Bianchi - Integrante / André Di Thommazo - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.

• 2019 - Atual

  Onde Ajudar, Descrição: Este projeto de pesquisa tem por objetivo investigar aspectos de visibilidade de Instituições usando ferramentas computacionais. Nesse sentido, o projeto almeja gerar como produção técnica um aplicativo (Web e Mobile) que permita apresentar Instituições de uma determinada região com o objetivo de democratizar a visibilidade delas. Muitas vezes uma Instituição acaba sendo mais "ajudada" que outras por ter mais divulgação ou por ser mais conhecida. Isto é um problema, pois muitas vezes Instituições que precisam de mais recursos, às vezes, acabam não sendo nem conhecidas, consequentemente não ajudadas. A plataforma visa dar mais visibilidade às Instituições que mais estão precisando de ajuda de forma centralizada. O aplicativo que será desenvolvido não somente visa manter uma interface que possibilita unir ajudadores às Instituições que precisam de ajuda, mas também controlar todo processo de implantação, divulgação e plano de expansão em nível nacional.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Fernando Vernal Salina - Coordenador., Financiador(es): Instituto Federal de São Paulo - Outra.

• 2019 - Atual

  Controle de Competições de Robôs, Descrição: O projeto intitulado ?Desenvolvimento de um Sistema Web e Mobile para controlar e. Incentivar a Robótica Educacional no IFSP? visa produzir um software, tanto para Web quanto para dispositivos móveis (tablets e celulares), para controlar competições de robótica. O Sistema será desenvolvido inicialmente para ser utilizado em competições interna ao IFSP, porém será disponibilizado posteriormente para outras instituições que desejam utilizá-lo. As competições inicialmente previstas são: Busca e Resgate (voltado para o ensino fundamental e médio), Sumô de Robôs (autônomos e radiocontrolados), Corrida de Robôs Seguidores de Faixas e também de batalhas de robôs. O sistema deverá permitir inserir novas modalidades de competições, bem como o uso de hardware para o controle da competição.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Fernando Vernal Salina - Coordenador., Financiador(es): Instituto Federal de São Paulo - Outra.Número de orientações: 1

• 2018 - 2019

  Desenvolvimento de Algoritmos para Tomografia de Solos, Descrição: O projeto intitulado ?Desenvolvimento de Algoritmos para Tomografia de Solos? visa produzir algoritmos computacionais mais eficientes para ser utilizados em tomógrafo de solos. Tais algoritmos devem prever o tratamento de ruído presente na aquisição dos dados tomográficos bom como a impossibilidade de aquisição dos dados em um determinado ângulo.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Fernando Vernal Salina - Coordenador / Gustavo de Souza Valim - Integrante., Financiador(es): Instituto Federal de São Paulo - Bolsa., Número de produções C, T & A: 5

• 2017 - 2019

  Sistema para controle de uma cadeira de rodas motorizada por meio da mímica facial, Descrição: O projeto visa o desenvolvimento de um software, para controle de uma cadeira de rodas motorizada, a ser utilizado por usuários tetraplégicos. Na literatura é relatado que um dos últimos músculos voluntários a serem paralisados, por doenças que causam a tetraplegia, são os olhos. Sendo assim, um sistema que controle uma cadeira de rodas pela mímica facial seria muito útil para este tipo de usuário. O sistema proposto envolve tanto a parte de software, a ser embarcado em um dispositivo como tablet ou celular, bem como o sistema de interface (hardware) com a cadeira de rodas.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (1) . , Integrantes: Fernando Vernal Salina - Coordenador / Caio Junio Canalli - Integrante / Ingrid da Silva Oliveira - Integrante / Estevão Ferreira Lourenço - Integrante., Financiador(es): Instituto Federal de São Paulo - Bolsa., Número de produções C, T & A: 6