Letícia Gindri

Formação complementar

Idiomas

Áreas de atuação

Organização de eventos

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• MELO, A. M. ; Mello, A. V. ; FINGER, A. F. ; GINDRI, L. . Gurias na Computação. In: Jaqueline Carvalho Quadrado. (Org.). (Des)fazendo os saberes na fronteiras: lutas e re-existências. 1ed.Porto Alegre: Evangraf, 2021, v. 1, p. 54-71.

• Mello, A. V. ; FINGER, A. ; GINDRI, L. ; MELO, A. M. . Mapeamento das Ações Realizadas pelos Projetos Parceiros do Programa Meninas Digitais na Região Sul. In: XV Women in Information Technology, 2021. Anais do XV Women in Information Technology, 2021. v. 15. p. 91-100.

• GINDRI, L. ; Araújo-de-Oliveira, P. ; MELO, A. M. ; MACIEL, A. ; VARGAS, K. D. A. R. ; Otokovieski. M. B. ; dos Anjos, R. . Mulheres na Computação: de Norte a Sul - Uma Ação de Extensão na Pandemia na Busca pela Integração das Diferentes Regiões do Brasil. In: XV Women in Information Technology ? WIT 2021, 2021. ANAIS DO XV WOMEN IN INFORMATION TECHNOLOGY, 2021. v. 15201. p. 101-110.

• BORDIN, A. S. ; FINGER, A. F. ; GINDRI, L. ; Mello, A. V. . Tutoria das Gurias: Uma ação de acompanhamento de alunas ingressantes em cursos de Computação. In: XIV WOMEN IN INFORMATION TECHNOLOGY, 2020. 2020: ANAIS DO XIV WOMEN IN INFORMATION TECHNOLOGY.

• GINDRI, L. ; CRUZ, Daniela ; SALGUEIRO, R. J. P. B. ; SALGUEIRO, E. M. . Um Ambiente para Gerenciamento de Experimentos de Simulação com Redes de Petri. In: X Simpósio em Sistemas Computacionais de Alto Desempenho, 2009, São Paulo / SP. Anais do X Simpósio em Sistemas Computacionais de Alto Desempenho - WSCAD - SSC, 2009.

Projetos de pesquisa

• 2021 - Atual

  Tecnologia aplicada ao auxílio do combate à violência doméstica, Descrição: Este projeto de pesquisa procura apresentar uma solução tecnológica para auxiliar a comunidade com o problema da violência doméstica. Em parceria com a ONG Amoras do município de Alegrete, será desenvolvido um sistema de informação (aplicativo para dispositivos móveis) para auxiliar as vítimas de violência doméstica com informações, cadastro de medidas protetivas, entre outras funcionalidades. Para a documentação e análise da ONG Amoras, será criado também uma área na qual será possível inserir dados relativos ao registro de ocorrência policial e ao longo de um período gerar um relatório com dados relativos às ocorrências do referido período, possibilitando realizar uma análise dos dados estatísticos.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Letícia Gindri - Coordenador / Wagner Inácio de Oliveira - Integrante.

• 2018 - 2019

  Verificação de Sistemas Críticos Evolutivos, Descrição: Tem como objetivo encontrar uma maneira de viabilizar a realização de tarefas de verificação em sistemas críticos evolutivos. Sistemas críticos são sistemas nos quais uma falha pode acarretar sérios danos como a perda de serviços críticos para o funcionamento de uma empresa, perdas financeiras ou até mesmo prejuízos à vida humana. Sistemas evolutivos são sistemas que evoluem rapidamente de forma a lidar com mudanças nos requisitos. Contudo, atualmente ainda não existem métodos sedimentados para garantir a qualidade de sistemas evolutivos de missão crítica. A verificação por meio de testes tradicionais não é suficiente, pois estes não são capazes de fornecer evidências da ausência de falhas. A verificação formal e o model checking , por sua vez, são métodos que possuem limitações em relação a desempenho. Tais métodos são normalmente utilizados em fases iniciais de desenvolvimento, tornando-se ineficazes para sistemas evolutivos devido às constantes modificações do produto final (implementação). Esses sistemas, portanto, podem se beneficiar da utilização de um tipo de verificação não-tradicional, baseada na verificação do sistema em tempo de execução. Sendo assim, o objetivo desta pesquisa é analisar e comparar as técnicas disponíveis quando adotadas na verificação de sistemas críticos evolutivos, bem como propor um método a fim de viabilizar a realização das tarefas de verificação em tais sistemas. Com tal intuito planeja-se utilizar o método de verificação não-tradicional Runtime Verification em contraste com técnicas tradicionais como model checking e teste baseado em modelo.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Letícia Gindri - Coordenador.

Prêmios