Franciny Medeiros Barreto

Possui graduação em Ciência da Computação pela Universidade Federal de Goiás (2012), mestrado (2015) e doutorado (2020) em Ciência da Computação pela Universidade Federal de Uberlândia. Atua profissionalmente como professora na Universidade Federal de Jataí (antes nomeada Universidade Federal de Goiás - Regional Jataí). Os interesses de pesquisa são em Engenharia de Software, especialmente em modelagem e análise de software, e teoria e aplicações de redes de Petri.

Informações coletadas do Lattes em 27/01/2025

Acadêmico

Formação acadêmica

Doutorado em Ciência da Computação

2015 - 2020

Universidade Federal de Uberlândia
Título: Uma abordagem baseada em Redes de Petri para Modelagem, Análise e Simulação de Cenários de Vídeo Games Singleplayer e Multiplayer
, Ano de obtenção: 2020. Stéphane Julia. Palavras-chave: Engenharia de Software; Redes de Petri; WorkFlow nets; Video Games; Redes de Petri Coloridas.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Engenharia de Software.

Mestrado em Ciência da Computação

2013 - 2015

Universidade Federal de Uberlândia
Título: Modelagem e análise de vídeo games baseadas em WorkFlow net e Grafos de estado, Ano de Obtenção: 2015
Stéphane Julia.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Grande área: Ciências Exatas e da Terra

Graduação em Ciência da Computação

2009 - 2012

Universidade Federal de Goiás
Título: Viabilidade da análise de websites de comércio eletrônico sob a ótica do neuromarketing
Orientador: Joslaine Cristina Jeske de Freitas

Formação complementar

2023 - 2023

Fase preparatória das contratações na nova Lei de Licitações. (Carga horária: 16h). , Excelência Educação, EE, Brasil.

2020 - 2020

Temos que dar aulas remotas... E agora?. (Carga horária: 10h). , Escola Nacional de Administração Pública, ENAP, Brasil.

2018 - 2018

Oficina: o trabalho da comissão de heteroidentificação. (Carga horária: 8h). , Universidade Federal de Goiás - Regional Jataí, UFG, Brasil.

2016 - 2016

Gestão de Projetos 1 - Como trabalhar com projetos?. (Carga horária: 11h). , Fundação Bradesco, BRADESCO, Brasil.

2016 - 2016

Curso de Docência no Ensino Superior na Regional Jataí. (Carga horária: 50h). , Universidade Federal de Goiás - Regional Jataí, UFG, Brasil.

2016 - 2016

Processo de desenvolvimento de software. (Carga horária: 12h). , Fundação Bradesco, BRADESCO, Brasil.

Idiomas

Bandeira representando o idioma Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Bandeira representando o idioma Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.

Organização de eventos

BORGES, F. F. ; BARRETO, F. M. ; SILVA JUNIOR, A. F. ; SILVA, M. A. ; ASSIS, D. V. B. ; MORAES, L. F. ; JESKE DE FREITAS, J. C. ; BARBOSA, B. M. . Secomp & UFJ TechWeek. 2024. (Congresso).

SILVEIRA NETO, A. N. ; LUIZ, A. R. ; BARBOSA, B. M. ; LEAL, C. R. A. A. ; BORGES, C. J. ; SILVA, D. F. P. ; REIS, E. F. ; CASTELHANO, E. C. ; LEITE, G. R. ; COELHO, K. R. ; ELIAS, L. A. ; MAIA, L. G. ; DIAS, M. S. ; IORI, P. ; CRUZ, S. C. S. ; SOUZA, A. F. ; BARRETO, FRANCINY M. ; SOUSA, G. V. ; BEVILAQUA, I. T. ; SILVA, L. G. ; et.al . VIII Conepe - Ciências Básicas para o Desenvolvimento Sustentável. 2023. (Congresso).

Participação em eventos

Fórum Nacional de Pró-reitores de Assuntos Comunitários e Estudantis. 2023. (Outra).

VIII Conepe - Ciências Básicas para o Desenvolvimento Sustentável. Minicurso - Trabalhos orais: metodologia, dicas de superação das principais dificuldades, e a utilização de plataformas digitais. 2023. (Congresso).

VIII Conepe - Ciências Básicas para o Desenvolvimento Sustentável. 2023. (Congresso).

11th Brazilian Conference on Software ? CBSoft 2020. 2020. (Congresso).

III CONEPE - CONGRESSO DE ENSINO, PESQUISA E EXTENSÃO. 2018. (Congresso).

XIII SECOMP. 2018. (Congresso).

VIII Congresso Brasileiro de Software. Modeling of Video Games Using Workflow Nets and State Graphs. 2017. (Congresso).

V Congresso Brasileiro de Informática na Educação. 2016. (Congresso).

24th Annual International Conference on Computer Science and Software Engineering.Modeling and analysis of video games based on WorkFlow nets and State Graphs. 2014. (Outra).

II Mostra de monografias.Viabilidade da análise de websites de comércio eletrônico sob a ótica do neuromarketing. 2013. (Outra).

III Seminário de Pesquisa da UFG.Estudo da viabilidade do uso de neuromarketing na construção de websites de comércio eletrônico. 2012. (Seminário).

IX CONPEEX - Congresso de Pesquisa, Ensino e Extensão. 2012. (Congresso).

V SEREX - Seminário de Extensão Universitária da Região Centro-Oeste. 2012. (Seminário).

V SEREX - Seminário de Extensão Universitária da Região Centro-Oeste.ANÁLISE DA USABILIDADE DE EDITOR DE TEXTO PARA USUÁRIOS DA TERCEIRA IDADE. 2012. (Seminário).

XIX SIMPEP - Simpósio de Engenharia de Produção. 2012. (Simpósio).

XIX SIMPEP - Simpósio de Engenharia de Produção.Análise da viabilidade do uso de neuromarketing na construção de websites de comércio eletrônico. 2012. (Simpósio).

VII SECOMP. 2011. (Congresso).

2º Workshop de tecnologia. 2010. (Outra).

Espaço das Profissões - CAJ-UFG.Apresentação para estudantes de ensino médio sobre o curso de Ciência da Computação - CAJ-UFG. 2010. (Outra).

6º Semana de Licenciatura. 2009. (Congresso).

Top English. 2009. (Oficina).

V SECOMP. 2009. (Congresso).

Participação em bancas

Aluno: Daniel Silva Carvalho

CASTRO, P. A.; FERNANDES SOBRINHO, M.; ROSALEM, V.;BARRETO, F. M.. Eficiência e sustentabilidade na educação superior: análise estratégica de ferramentas de nuvem e suas implicações financeiras. 2024. Dissertação (Mestrado em Programa de Pós-Graduação em Gestão Organizacional Mestrado Profissional em) - Universidade Federal de Catalão.

Aluno: Felipe Nedopetalski

JULIA, S.BARRETO, F. M.; FERNANDES, M. A.; SILVA, J. R.. Modelo de Simulação de Vídeo Games baseado em um Ambiente 3D e em Redes de Petri Coloridas. 2024. Dissertação (Mestrado em Programa de Pós-graduação em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Regis Michel dos Santos Sousa

LIMA, L. V.; LOPES, J. E. F.; MELO, S. L.;BARRETO, F. M.; REZENDE, L. P.. Uma abordagem de arquitetura em nuvem para dados educacionais em um sistematutor inteligente em contexto de Big Data. 2022. Tese (Doutorado em Programa de Pós-graduação em Engenharia Elétrica) - Universidade Federal de Uberlândia.

Aluno: Sara Luzia de Melo

LIMA, L. V.; REZENDE, L. P.; ARAUJO, R. D.;BARRETO, F. M.; LOPES, J. E. F.. Arquitetura de um sistema tutor inteligente para recomendação personalizada de objetos de aprendizagem considerando as características afetivas e o conhecimento do estudante. 2021. Tese (Doutorado em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal de Uberlândia.

Aluno: Regis Michel dos Santos Sousa

LIMA, L. V.; LOPES, J. E. F.;BARRETO, F. M.. Uma abordagem de infraestrutura para recuperação e análise de informação no contexto de Big Data em um Sistema Tutor Inteligente. 2021. Exame de qualificação (Doutorando em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal de Uberlândia.

Aluno: Daniel Silva Carvalho

FERNANDES SOBRINHO, M.; CASTRO, P. A.; LEAL, G. S.;BARRETO, F. M.. Ferramentas de nuvem, Google Workspace e Microsoft Office 365: Estudo de custo entre serviços pagos e gratuitos. 2024. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Gestão Organizacional Mestrado Profissional em) - Universidade Federal de Catalão.

Aluno: Wagner Xavier Pereira

JESKE DE FREITAS, J. C.; COSTA, WALTER ALVES;BARRETO, F. M.. Estudo Sobre Técnicas de Inteligência Artificial para a Seleção de Perfis Profissionais. 2024. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.

Aluno: Henderson Martins Barroso

JESKE DE FREITAS, J. C.; JUNQUEIRA, ​BARRETO, F. M.. Modelagem de Processo de Negócios: Um Estudo de Caso Sistema de Matrícula da UFJ. 2024. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.

Aluno: Gabriel Virgílio de Lima Oliveira

JESKE DE FREITAS, J. C.; FASSINI, J.;BARRETO, F. M.. Ferramentas de Inteligência Artificial e Neuromarketing na Divulgação de Produtos. Um Estudo de Caso.. 2024. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.

Aluno: Pedro Augusto Borges Assis

JESKE DE FREITAS, J. C.; BARBOSA, B. M.;BARRETO, F. M.. Avaliação de Tecnologias Assistivas: Uma Abordagem Comparativa. 2024. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.

Aluno: Hilster Barbosa Santos

BORGES, F. F.; JESKE DE FREITAS, J. C.;BARRETO, F. M.. Técnicas de Análise de Dados na Detecção de Fraudes Financeiras. 2024. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.

Aluno: Renato Marques Cunha

JESKE DE FREITAS, J. C.; REZENDE, C.M.C.;BARRETO, F. M.. Inteligência Artificial na Educação Brasileira: uma Revisão Sistemática da Literatura. 2023. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.

Aluno: Jhonata Kumaki Rodrigues

JESKE DE FREITAS, J. C.; REZENDE, C.M.C.;BARRETO, F. M.. Simulação de cenários para melhoria do tráfego de Jataí. 2023. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.

Aluno: Guilherme Castro Assis

BARRETO, F. M.; JESKE DE FREITAS, J. C.; REZENDE, C.M.C.. Análise e Modelagem de sistemas de disponibilidade de satélite de navegação utilizando Redes de Petri Coloridas. 2023. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.

Aluno: Gabriel Vilela de Sousa

BARRETO, F. M.; JESKE DE FREITAS, J. C.; REZENDE, C.M.C.. Modelagem do problema da mochila com Rede de Petri Colorida. 2023. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.

Aluno: Gustavo Borges Guimarães

BARRETO, F. M.; JESKE DE FREITAS, J. C.; REZENDE, C.M.C.. Modelagem e Simulação de Processos Biológicos com Redes de Petri Coloridas. 2023. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.

Aluno: Vinicius C

INOCENCIO, A. C. G.; JESKE DE FREITAS, J. C.;BARRETO, F. M.. Girard.Metodologia GamE para o desenvolvimento de habilidades empreendedoras. 2023. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.

Aluno: VÍTOR MARTINS COSTA

BARRETO, F. M.; JESKE DE FREITAS, J. C.; REZENDE, C.M.C.. Modelagem de Processos de Negociação em Ambientes Corporativos. 2023. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.

Aluno: Hugo Francisco Medeiros Barreto

BARRETO, F. M.; JESKE DE FREITAS, J. C.; REZENDE, C.M.C.. Modelagem de Fluxo de Atividades Agrícolas por meio de Redes de Petri. 2023. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.

Aluno: Luciano Ferreira de Carvalho Neto

BARRETO, F. M.; JESKE DE FREITAS, J. C.; REZENDE, C.M.C.. Modelagem de Redes Neurais Artificiais utilizando Redes de Petri Coloridas. 2023. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.

Aluno: Lígia Gouveia Silva

JESKE DE FREITAS, J. C.;BARRETO, F. M.; RIBEIRO, M.W. de S.. Home office e Modelagem de Processos de Negócios. 2023. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.

Aluno: Vitor Ferreira da Silva

REZENDE, C.M.C.; JESKE DE FREITAS, J. C.;BARRETO, F. M.. Um Estudo sobre o Pensamento Computacional no Ensino Superior. 2023. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.

Aluno: Paulo Sergio de Oliveira e Silva

JESKE DE FREITAS, J. C.;BARRETO, F. M.; REZENDE, C.M.C.. Utilização de ferramenta de simulação para análise de vias sinalizadas semaforicamente na cidade de Jataí. 2023. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.

Aluno: Marcelo Gouveia de Assis

LOPES, M. M.;BARRETO, F. M.; FREITAS, M. S.. Migração de Contêineres Serverless no Contexto de Computação em Névoa. 2022. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.

Aluno: Marco Aurelio Bastos Souza

COSTA, A. A.;BARRETO, F. M.; GOMES, P. F.. Simulação computacional do comportamento de ratos sob efeitos ansiolíticos e ansiogênicos no teste da caixa claro-escuro por meio de redes neurais artificiais e algoritmo genético. 2022. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.

Aluno: Elias Gregore Vieira Dias

BARRETO, F. M.; JESKE DE FREITAS, J. C.; REZENDE, C.M.C.. Roteiro para Proporcionar a Criação de Podcasts para Uso Acadêmico. 2022. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.

Aluno: Gabriel Coutinho de Freitas

INOCENCIO, A. C. G.; REZENDE, C.M.C.;BARRETO, F. M.. GAMEIZI: Auxiliando docentes na estratégia de gamifi cação. 2022. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.

Aluno: JOAO MARCELO TEODORO DE SOUSA

OLIVEIRA, T. B.;BARRETO, F. M.; FRANCA JUNIOR, P.. Histograma Espacial Híbrido para Melhoria da Precisão da Seletividade de Consultas de Janela. 2022. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.

Aluno: Estela Ferreira Silva

BARRETO, F. M.; GABRIEL, P. H. R.;JULIA, S.. Simulação 3D de cenários de Vídeo Games modelados por redes de Petri Coloridas no software SIMIO. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Christian Marlon Martins Barbosa

REZENDE, C.M.C.;BARRETO, F. M.; JESKE DE FREITAS, J. C.. O Uso de Jogos Digitais em um Contexto Inclusivo: um Mapeamento Sistemático. 2021. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.

Aluno: Felipe Nedopetalski

JULIA, S.BARRETO, F. M.; JESKE DE FREITAS, J. C.. Geração de Event Logs Fuzzy por meio de Simulação para Análise de Diferentes Cenários de uma Workflow net Fuzzy Utilizando Mineração de Processos. 2021. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.

Aluno: Walter Alves Costa

INOCENCIO, A. C. G.;BARRETO, F. M.; SILVA, T. A.; MARCELINO, G. G.. CAATec - Um Conjunto de Critérios Desenvolvido para Análise de Tecnologias Assistivas para Surdos. 2021. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí.

Aluno: Laura Verginassi Chaves

BARRETO, F. M.; REZENDE, C.M.C.; JESKE DE FREITAS, J. C.. Software Assistivos Aplicados a Deficientes Visuais - Uma Revisão da Literatura. 2019. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí.

Aluno: Henrique de Araújo Silva

Inocêncio, A. C. G.; BOAVENTURA, A. P. F. V.;BARRETO, F. M.. HOALDI - Um Conjunto de Heurísticas para Avaliação e Desenvolvimento de Objetos de Aprendizagem para a Lousa Digital Interativa. 2018. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí.

Aluno: Dekster de Oliveira Souza

JESKE DE FREITAS, J. C.;BARRETO, F. M.; REZENDE, C.M.C.. Modelagem e Verificação Formal de um Sistema de Reserva de um Hotel. 2018. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí.

Aluno: Iago Soares de Carvalho

BARRETO, F. M.; JESKE DE FREITAS, J. C.; REZENDE, C.M.C.. Modelagem Formal de Vídeo Games. 2018. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí.

Aluno: Douglas Neves Silva

BARRETO, F. M.; JESKE DE FREITAS, J. C.; REZENDE, C.M.C.. Estudo do estado da arte dos métodos de modelagem de jogos em nível de projeto. 2018. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí.

Aluno: PAULO HENRIQUE LIMA OLIVEIRA

BOAVENTURA, A. P. F. V.;BARRETO, FRANCINY M.; Inocêncio, A. C. G.. Repositório temático para compartilhamento de redes PERT/CPM criadas com a ferramenta PERTool. 2018. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí.

Aluno: Jhonatan Thallisson Cabral Néry

JESKE DE FREITAS, J. C.; REZENDE, C.M.C.;BARRETO, F. M.. Construção de um modelo de simulação para o escalonamento de processos não-preemptivos. 2018. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí.

Aluno: Diego Guerra Pereira

REZENDE, C.M.C.;BARRETO, F. M.; BORGES, F. F.. Softwares para Gestão da Bovinocultura Leiteira Brasileira: Um Mapeamento Sistemático. 2018. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí.

Aluno: Andrey G

OLIVEIRA, T. B.; ROCHA, B.M.;BARRETO, F. M.. França.Precisão da Estimativa de Seletividade de Tarefas de Junção Espacial Distribuída usando Histogramas de Euler. 2018. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí.

Aluno: Danilo Martins Rodrigues

OLIVEIRA, T. B.; JESKE DE FREITAS, J. C.;BARRETO, F. M.. Elaboração de uma Linguagem de Programação Específica para Robótica Educacional. 2018. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí.

Aluno: [Nome removido após solicitação do usuário]

OLIVEIRA, T. B.; JESKE DE FREITAS, J. C.;BARRETO, F. M.. Avaliação da Precisão da Estimativa de Seletividade em Histogramas de Grade para Objetos Espaciais do Tipo Linha Decompostos. 2018. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí.

Aluno: MAIKON RODRIGUES FERREIRA

BOAVENTURA, A. P. F. V.;BARRETO, F. M.; LOPES, M. M.. Proposta de um metódo hibrido baseado em Crowdsourcing e Gamificação para apoiar a criação de Objetos de Aprendizagem. 2018. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí.

Aluno: Cláudio Henrique Rodrigues Rezende Scopel

BARRETO, F. M.; JESKE DE FREITAS, J. C.; BOAVENTURA, A. P. F. V.. Conjunto de Heurísticas para Avaliação de Jogabilidade de Vídeo Games. 2018. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí.

Aluno: Roger Mendonça de Assis

BOAVENTURA, A. P. F. V.; REZENDE, C.M.C.;BARRETO, F. M.. Mapeamento Sistemático de Ferramentas para Simulação Acústica de Salas. 2017. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí.

Aluno: Diego de Oliveira Braga

ROCHA, B.M.;BARRETO, F. M.; REZENDE, C.M.C.. APPortuguês - Um aplicativo de ensino de português para estrangeiros. 2016. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí.

FREITAS, M. S.; CUNHA, I. T.;BARRETO, FRANCINY M.; OLIVEIRA, T. B.. Banca Examinadora do Processo Seletivo Simplificado para contratação de Professor Substituto. 2024. Universidade Federal de Jataí.

JESKE DE FREITAS, J. C.;BARRETO, F. M.; BISPO JUNIOR, E. L.. Banca examinadora do processo seletivo simplificado para contratação de professor substituto. 2019. Universidade Federal de Goiás - Regional Jataí.

OLIVEIRA, T. B.;BARRETO, F. M.; LOPES, M. M.. Banca examinadora do processo seletivo simplificado para contratação de professor substituto. 2018. Universidade Federal de Goiás - Regional Jataí.

JESKE DE FREITAS, J. C.; Inocêncio, A. C. G.;BARRETO, F. M.. Banca Examinadora do Processo Seletivo Simplificado para contratação de Professor Substituto. 2018. Universidade Federal de Goiás - Regional Jataí.

JESKE DE FREITAS, J. C.;BARRETO, F. M.; BISPO JUNIOR, E. L.; OLIVEIRA, T. B.. Banca examinadora do processo seletivo simplificado para contratação de professor substituto. 2017. Universidade Federal de Goiás - Regional Jataí.

CUNHA, I. T.; BISPO JUNIOR, E. L.;BARRETO, F. M.; OLIVEIRA, T. B.. Banca examinadora do processo seletivo simplificado para contratação de professor substituto. 2017. Universidade Federal de Goiás - Regional Jataí.

Orientou

Samuel Do Carmo Queiros

Ferramentas de Inteligência Artificial na Educação básica: uma revisão de literatura; Início: 2024; Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí; (Orientador);

EDUARDO OLIVEIRA PACHECO

Modelagem e Análise Formal Baseada em Rede de Petri de Sistema de Gestão Acadêmica (SGA); Início: 2024; Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí; (Orientador);

João Pedro Lopes Teixeira

Modelagem da comunicação entre neurônios artificiais baseada em rede de Petri; Início: 2024; Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal de Jataí; (Orientador);

Hugo Gabriel Batista Borges

Análise de jogabilidade em modelos formais de jogos; Início: 2024; Iniciação científica (Graduando em Ciências da Computação) - Universidade Federal de Jataí; (Orientador);

Lucas Emereciano Ramos

Modelagem hierárquica e análise formal de cenários de jogos; Início: 2024; Iniciação científica (Graduando em Ciências da Computação) - Universidade Federal de Jataí; (Orientador);

Gustavo Pamplona Melo Coelho

Estágio Curricular Obrigatório; Local: Secretaria de Comunicação (Secom/UFJ); Início: 2024; Orientação de outra natureza; Universidade Federal de Jataí; (Orientador);

Jaires Gomes de Sousa Filho

Estágio Curricular Obrigatório; Local: Coordenação de Ciência da Computação (BCC/UFJ); Início: 2024; Orientação de outra natureza; Universidade Federal de Jataí; (Orientador);

Geovanna Campos Pires

Estágio Curricular Obrigatório; Local: Secretaria de Comunicação (Secom/UFJ); Início: 2024; Orientação de outra natureza; Universidade Federal de Jataí; (Orientador);

Thiago de Abreu Cardoso

Estágio Curricular Obrigatório; Local: Coordenação de Ciência da Computação (BCC/UFJ); Início: 2024; Orientação de outra natureza; Universidade Federal de Jataí; (Orientador);

Verônica Mendes da Silva

Estágio Curricular Obrigatório; Local: Planeta Waka; Início: 2024; Orientação de outra natureza; Universidade Federal de Jataí; (Orientador);

Arthur Alves Silva

Estágio Curricular Obrigatório; Local: Secretaria de Tecnologia e Informação (SeTI/UFJ); Início: 2024; Orientação de outra natureza; Universidade Federal de Jataí; (Orientador);

Lucas Emereciano Ramos

Estágio Curricular Obrigatório; Local: Secretaria de Tecnologia e Informação (SeTI/UFJ); Início: 2024; Orientação de outra natureza; Universidade Federal de Jataí; (Orientador);

KELLYTON MOURAO ALVES DA SILVA

Estágio Curricular Obrigatório; Local: Secretaria de Tecnologia e Informação (SeTI/UFJ); Início: 2024; Orientação de outra natureza; Universidade Federal de Jataí; (Orientador);

João Pedro Vendrame de Medeiros

Estágio Curricular Obrigatório; Local: Secretaria de Tecnologia e Informação (SeTI/UFJ); Início: 2024; Orientação de outra natureza; Universidade Federal de Jataí; (Orientador);

Felipe Nedopetalski

Modelo de Simulação de Vídeo Games baseado em um Ambiente 3D e em Redes de Petri Coloridas; 2022; Dissertação (Mestrado em Programa de Pós-graduação em Ciência da Computação) - Universidade Federal de Uberlândia, ; Coorientador: Franciny Medeiros Barreto;

Elias Januário Marques Filho

Modelagem Formal de Sistema Especialista Com o Uso De Redes De Petri; 2024; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;

Marilene Rodrigues Santana

Estudo da viabilidade do uso de Mineração de Processos para auxiliar no processo de desenvolvimento de jogos; 2024; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;

Guilherme Castro Assis

Análise e Modelagem de sistemas de disponibilidade de satélite de navegação utilizando Redes de Petri Coloridas; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;

Luciano Ferreira de Carvalho Neto

Modelagem de Redes Neurais Artificiais utilizando Redes de Petri Coloridas; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;

Hugo Francisco Medeiros Barreto

Modelagem de Fluxo de Atividades Agrícolas por meio de Redes de Petri; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;

Gustavo Borges Guimarães

Modelagem e Simulação de Processos Biológicos com Redes de Petri Coloridas; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;

VÍTOR MARTINS COSTA

Modelagem de Processos de Venda Utilizando Redes de Petri; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;

Gabriel Vilela de Sousa

Modelagem do problema da mochila com Rede de Petri Colorida; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;

Elias Gregore Vieira Dias

O desenvolvimento e uso de Podcasts como ferramenta de auxílio no ensino-aprendizagem de um curso de Ciências da Computação; 2022; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;

Genildo Ferreira Costa Filho

Uma abordagem baseada em redes de Petri para a modelagem, análise e simulação defluxos de processos administrativos; 2020; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;

Ronaldo Júnio Barbosa de Leles

Uma Abordagem Formal para a Representação de Níveis de Videogames Multiplayer; 2020; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;

Victor Paula Rodrigues

Método para análise de quests baseado em Redes de Petri; 2020; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;

Laura Verginassi Chaves

Softwares Assistivos Aplicados a Deficientes Visuais - Uma Revisão da Literatura; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí; Orientador: Franciny Medeiros Barreto;

Icaro Rodrigues Costa Vinciaqui

Uma Solução Computacional Como Ferramenta de Apoio à Tomada de Decisões em Ambientes Médicos; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí; Orientador: Franciny Medeiros Barreto;

Douglas Neves Silva

Estudo do estado da arte dos métodos de modelagem de jogos em nível de projeto; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí; Orientador: Franciny Medeiros Barreto;

Iago Soares de Carvalho

Modelagem formal de vídeo games; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí; Orientador: Franciny Medeiros Barreto;

Cláudio Henrique Rodrigues Rezende Scopel

Conjunto de Heurísticas para Avaliação de Jogabilidade de Vídeo Games; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí; Orientador: Franciny Medeiros Barreto;

Diego Guerra Pereira

Softwares para gestão da bovinocultura leiteira: uma revisão bibliográfica; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí; Orientador: Franciny Medeiros Barreto;

Guilherme Castro Assis

Análise e Modelagem de sistemas de disponibilidade de satélite de navegação utilizando Redes de Petri Coloridas; 2023; Iniciação Científica; (Graduando em Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;

Marilene Rodrigues Santana

Uma revisão da literatura sobre o uso e a relação entre Mineração de Processos, Redes de Petri e Jogos Virtuais; 2023; Iniciação Científica; (Graduando em Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;

Elias Januário Marques Filho

Modelagem de análise de Sistemas Especialistas usando Redes de Petri; 2023; Iniciação Científica; (Graduando em Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;

Allison Dantas Rocha de Souza Júnior

Monitoria de Estrutura de Dados I; 2024; Orientação de outra natureza; (Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;

Ryan Francys Mendes dos Santos

Monitoria de Estrutura de Dados 1; 2023; Orientação de outra natureza; (Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;

Vinicius Costa Girard

Monitoria de Estrutura de Dados 1; 2023; Orientação de outra natureza; (Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;

Gabriel Pacini Oliveira Valadares

Monitoria de Estrutura de Dados 1; 2022; Orientação de outra natureza; (Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;

Gabriel Portela Macedo Souza

Monitoria de Estrutura de Dados 2; 2021; Orientação de outra natureza; (Ciências da Computação) - Universidade Federal de Jataí; Orientador: Franciny Medeiros Barreto;

CARLOS GABRIEL SILVA STEDILE

Monitoria de Estrutura de Dados; 2019; Orientação de outra natureza; (Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí; Orientador: Franciny Medeiros Barreto;

Wandaymo Gomes de Sousa

Monitoria de Estrutura de Dados; 2018; Orientação de outra natureza; (Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí; Orientador: Franciny Medeiros Barreto;

[Nome removido após solicitação do usuário]

Monitoria de Estrutura de Dados; 2017; Orientação de outra natureza; (Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí; Orientador: Franciny Medeiros Barreto;

[Nome removido após solicitação do usuário]

Monitoria de Engenharia de Software; 2016; Orientação de outra natureza; (Ciências da Computação) - Universidade Federal de Goiás - Regional Jataí; Orientador: Franciny Medeiros Barreto;

Produções bibliográficas

  • SILVA, LIGIA GOUVEIA ; BARRETO, FRANCINY M. ; Freitas, Joslaine Cristina Jeske de . Análise de Usabilidade da Ferramenta BPMN Sketch Miner. Academic Journal on Computing, Engineering and Applied Mathematics , v. 4, p. 87-90, 2023.

  • BARRETO, FRANCINY M. ; JULIA, STÉPHANE . Formal Approach Based on Petri Nets for Modeling and Verification of Video Games. Computing and Informatics , v. 40, p. 216-248, 2021.

  • VINCIAQUI, ICARO RODRIGUES COSTA ; FRETIAS, JOSLAINE CRISTINA JESKE DE ; AMARAL, LAURENCE RODRIGUES DO ; Barreto, Franciny Medeiros . Uma solução computacional baseada em inteligência artifical como ferramenta de apoio para o processo de tomada de decisão em ambientes médicos. Brazilian Journal of Development , v. 6, p. 47832-47836, 2020.

  • SILVA, GUILHERME ALVES ; TEIXEIRA, FILIPE NASCIMENTO ; FILHO, GENILDO FERREIRA COSTA ; PEREIRA, VICTOR TURCATTO ; COSTA, WALTER ALVES ; Barreto, Franciny Medeiros . Sistema para controle de fluxo de passageiros via microcontrolador de baixo custo autenticado por QR-Code. Brazilian Journal of Development , v. 6, p. 47870-47875, 2020.

  • Nery, Jhonatan Thálisson Cabral ; Barreto, Franciny Medeiros ; Freitas, Joslaine Cristina Jeske de . MODELO DE SIMULAÇÃO PARA ESCALONAMENTO DE PROCESSOS NÃO PREEMPTIVOS. In: Ernane Rosa Martins. (Org.). Fundamentos da Ciência da Computação. 1ed.Ponta Grossa - PR: Antonella Carvalho de Oliveira, 2019, v. , p. 78-92.

  • NEDOPETALSKI, F. ; Silva, Estela Ferreira ; BARRETO, FRANCINY M. ; JULIA, S. . 3D Video Game Simulation Based on Colored Petri Net and SIMIO. In: International Conference on Information Technology-New Generations, 2024, Las Vegas. ITNG 2024: 21st International Conference on Information Technology-New Generations, 2024. v. 1456. p. 521-530.

  • NEDOPETALSKI, F. ; BARRETO, FRANCINY M. ; JESKE DE FREITAS, J. C. ; JULIA, S. . Simulation and Comparison of Different Scenarios of a Workflow Net Using Process Mining. In: International Conference on Information Technology-New Generations, 2023, Las Vegas. ITNG 2023 20th International Conference on Information Technology-New Generations, 2023. v. 1445. p. 209-215.

  • BARRETO, FRANCINY M. ; JULIA, STÉPHANE . A Possibilistic Simulation Model for Multiplayer Game Scenarios Using CPN Tools. In: SBES '20: 34th Brazilian Symposium on Software Engineering, 2020, Natal Brazil. Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020. p. 114-119.

  • LOPES, M. M. ; JESKE DE FREITAS, J. C. ; BARRETO, F. M. ; FREITAS, M. S. ; SOUZA, Z. H. ; BISPO JUNIOR, E. L. . Observatório UFJ Covid-19: Uma plataforma de auxílio à tomada de decisão de gestores e cidadãos do sudoeste goiano. In: SEMINÁRIO REGIONAL DE EXTENSÃO UNIVERSITÁRIA DA REGIÃO CENTRO-OESTE-SEREX, 2020, Cuiabá - MT. SEMINÁRIO REGIONAL DE EXTENSÃO UNIVERSITÁRIA DA REGIÃO CENTRO-OESTE-SEREX, 2020.

  • FABBRI, AUGUSTO GARCIA ; Barreto, Franciny Medeiros ; JESKE DE FREITAS, JOSLAINE CRISTINA . Modeling and Simulating Enterprise Architecture Activities Using a Non Preemptive Multiprocessor System. In: 2019 Systems and Information Engineering Design Symposium (SIEDS), 2019, Charlottesville. 2019 Systems and Information Engineering Design Symposium (SIEDS), 2019. p. 1.

  • BARRETO, FRANCINY ; ANDRADE, RAFAEL ; BISPO JR., ESDRAS . Uso de Mineração de Dados para o Auxílio de Produção de Material Didático em Disciplinas de Algoritmos. In: XXVII Workshop sobre Educação em Computação, 2019. Anais do Workshop sobre Educação em Computação (WEI), 2019. p. 348-359.

  • NERY, J. T. C. ; BARRETO, F. M. ; JESKE DE FREITAS, J. C. . Construção de um Modelo de Simulação para Escalonamento de Processos não-preemptivos. In: XXXVIII Congresso Brasileiro da Sociedade Brasileira de Computação (CSBC), 2018, Natal - RN. Anais do 17º Workshop em Desempenho de Sistemas Computacionais e de Comunicação (WPerformance), 2018. p. 322-327.

  • BARRETO, FRANCINY M. ; JESKE DE FREITAS, J. C. ; JULIA, S. . A Timed Petri Net Model to Specify Scenarios of Video Games. Advances in Intelligent Systems and Computing. In: International Conference on Information Technology, 2018, Las Vegas. Information Technology - New Generations, 2018. v. 738. p. 467-473.

  • BARRETO, FRANCINY M. ; REZENDE, L. P. ; JULIA, S. . An Approach Based on Possibilistic WorkFlow Nets to Model Multiplayer Video Games. In: International Conference on Information Technology, 2018, Las Vegas. Information Technology - New Generations, 2018. v. 738. p. 509-515.

  • BARRETO, FRANCINY M. ; JULIA, STÉPHANE . Modeling of Video Games Using Workflow Nets and State Graphs. In: the 31st Brazilian Symposium, 2017, Fortaleza. Proceedings of the 31st Brazilian Symposium on Software Engineering - SBES'17. New York: ACM Press, 2017. p. 261-266.

  • BARRETO, F. M. ; JESKE DE FREITAS, J. C. ; SOARES, M. S. ; JULIA, S. . A Straightforward Introduction to Formal Methods Using Coloured Petri Nets. In: 16th International Conference on Enterprise Information Systems, 2014, Lisbon. Proceedings of the 16th International Conference on Enterprise Information Systems. v. 2. p. 145-152.

  • BARRETO, F. M. ; JULIA, S. . Modeling and analysis of video games based on WorkFlow nets and State Graphs. In: 24th Annual International Conference on Computer Science and Software Engineering, 2014, Markham, Ontario. CASCON '14 Proceedings of 24th Annual International Conference on Computer Science and Software Engineering. Riverton, NJ, USA: IBM Corp., 2014. p. 106-119.

  • BARRETO, F. M. ; JESKE DE FREITAS, J. C. . Análise da viabilidade do uso de neuromarketing na construção de websites de comércio eletrônico. In: XIX SIMPEP - Simpósio de Engenharia de Produção, 2012, Bauru. Anais do XIX SIMPEP, 2012.

  • SILVA, GUILHERME ALVES ; TEIXEIRA, FILIPE NASCIMENTO ; FILHO, GENILDO FERREIRA COSTA ; PEREIRA, VICTOR TURCATTO ; COSTA, WALTER ALVES ; BARRETO, F. M. . CATE - Controle de Acesso ao Transporte Estudantil. In: IV CONEPE - Congresso de Ensino, Pesquisa e Extensão da Universidade Federal de Jataí, 2019, Jataí. IV CONEPE, 2019.

  • VINCIAQUI, ICARO RODRIGUES COSTA ; JESKE DE FREITAS, J. C. ; AMARAL, L. R. ; BARRETO, F. M. . Uma Solução Computacional como Ferramenta de Apoio à Tomada de Decisão em Ambientes Médicos. In: IV CONEPE - Congresso de Ensino, Pesquisa e Extensão da Universidade Federal de Jataí, 2019, Jataí. IV CONEPE, 2019.

  • CHAVES, L. V. ; RODRIGUES, D. M. ; BARRETO, F. M. . Uma Proposta de Desenvolvimento e Validação de um Aplicativo para o Agendamento de Revisão Veiculares. In: XIII SECOMP, 2018, Jataí. III Simpósio de Pesquisa em Computação (SPC), 2018.

  • CHAVES, L. V. ; RODRIGUES, D. M. ; BARRETO, F. M. . Sistema para Cálculo de Horas Atividades. In: II CONEPE - CONGRESSO DE ENSINO PESQUISA E EXTENSÃO, 2017, Jataí. Anais do II CONEPE. Jataí - GO: Universidade Federal de Goiás - Regional Jataí, 2017.

  • de CARVALHO, I.S. ; BARRETO, F. M. . Modelagem formal de vídeo games. In: II CONEPE - CONGRESSO DE ENSINO PESQUISA E EXTENSÃO, 2017, Jataí. Anais do II CONEPE. Jataí - GO: Universidade Federal de Goiás - Regional Jataí, 2017.

  • SOUZA, D. O. ; BARRETO, F. M. ; JESKE DE FREITAS, J. C. . Modelagem e Verificação Formal de um Sistema de Reserva de Hotel. In: II Congresso de Ensino Pesquisa e Extensão, 2017, Jataí. II CONEPE, 2017.

  • BARRETO, F. M. ; BORGES, F. F. ; Inocêncio, A. C. G. . Análise da Usabilidade de Editor de Texto para Usuários da Terceira Idade. In: V SEREX - Seminário de Extensão Universitária da Região Centro-Oeste, 2012, Goiânia. V SEREX - Seminário de Extensão Universitária da Região Centro-Oeste, 2012.

  • BARRETO, F. M. ; JESKE DE FREITAS, J. C. . Estudo da viabilidade do uso de neuromarketing na construção de websites de comércio eletrônico. In: IX CONPEEX - Congresso de Pesquisa, Ensino e Extensão, 2012, Goiânia. IX CONPEEX, 2012.

  • SILVA, R. G. O. ; BEVILAQUA, A. ; BARRETO, F. M. ; NASCIMENTO, T. H. ; AMARAL, L. R. . Construção de Conhecimento de Alto Nível a Partir de Datasets Biológicos com Alta Dimensionalidade Utilizando Algoritmos Geneticos. In: IX Encontro Anual de Computação (ENACOMP), 2011, Catalão. IX Encontro Anual de Computação. Goiânia: Editora da UFG, 2011. v. 1. p. 8-14.

  • RODRIGUES, F. A. ; BEVILAQUA, A. ; BARRETO, F. M. ; SILVA, R. G. O. ; NASCIMENTO, T. H. ; AMARAL, L. R. . Mineração de Genes Ligados ao Câncer utilizando Ferramentas de Aprendizado de Máquina em Bases de Dados Biológicas. In: IX Encontro Anual de Computação, 2011, Catalão. IX Encontro Anual de Computação. Goiânia: Editora da UFG, 2011. v. 1. p. 15-22.

  • GUIMARAES, G. B. ; BARRETO, H. F. M. ; MARTINS, R. C. A. ; BARRETO, F. M. . Promovendo a saúde mental por meio de conexões entre tecnologia e subjetividade. In: VI CONEPE - Congresso de Ensino, Pesquisa e Extensão da Universidade Federal de Jataí, 2021, Jataí - GO. Anais do VI Congresso de Ensino, Pesquisa e Extensão. Jataí: UFJ, 2021.

  • VENTURA, A. S. ; SILVA, A. D. F. ; SILVA, L. F. ; BARRETO, F. M. ; MARTINS, R. C. A. ; BARRETO, H. F. M. ; GUIMARAES, G. B. . Projeto Reexitências - Oficinas para o autocuidado e promoção da saúde. In: VI CONEPE - Congresso de Ensino, Pesquisa e Extensão da Universidade Federal de Jataí, 2021, Jatai - GO. Anais do VI Congresso de Ensino, Pesquisa e Extensão. Jataí: UFJ, 2021.

  • BARRETO, F. M. ; JULIA, S. . A Possibilistic Simulation Model for Multiplayer Game Scenarios Using CPN Tools. 2020. (Apresentação de Trabalho/Congresso).

  • BARRETO, F. M. ; JULIA, S. . Redes de Petri para Modelagem, Análise e Simulação de Vídeo Games. 2018. (Apresentação de Trabalho/Outra).

  • BARRETO, F. M. ; JULIA, S. . Modeling of Video Games Using Workflow Nets and State Graphs. 2017. (Apresentação de Trabalho/Simpósio).

  • BARRETO, F. M. ; JULIA, S. . Modeling and analysis of video games based on WorkFlow nets and State Graphs. 2014. (Apresentação de Trabalho/Conferência ou palestra).

  • BARRETO, F. M. . Análise da usabilidade de editor de texto para usuário da terceira idade. 2012. (Apresentação de Trabalho/Seminário).

  • BARRETO, F. M. ; JESKE DE FREITAS, J. C. . Análise da viabilidade do uso de neuromarketing na construção de websites de comércio eletrônico. 2012. (Apresentação de Trabalho/Simpósio).

  • BARRETO, F. M. ; JESKE DE FREITAS, J. C. . Estudo da viabilidade do uso de neuromarketing na construção de websites de comércio eletrônico. 2012. (Apresentação de Trabalho/Seminário).

Projetos de pesquisa

  • 2022 - Atual

    Estudos de Métodos Formais em Engenharia de Software, Descrição: Este projeto tem como objetivo promover o estudo dos métodos formais para o desenvolvimento de metodologias de modelagem e análise para sistemas a eventos discretos, no âmbito da Engenharia de Software.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Franciny Medeiros Barreto - Coordenador / Joslaine Cristina Jeske de Freitas - Integrante.

  • 2017 - 2022

    Modelagem e Simulação de Workflow net com Gerenciamento de Recursos usando Redes de Petri Híbridas Fuzzy, Descrição: O principal objetivo desta pesquisa é propor um novo modelo de processo de negócios para uma gestão eficiente (e realista) dos recursos e do tempo em Workflow nets. Esta pesquisa teve como ponto de partida a validação do modelo de alocação de recursos fuzzy apresentado em em [Jeske et al. 2006]. Em particular, um mecanismo de inferência especializado do tipo token player adaptado a um modelo de alocação de recurso híbrido fuzzy foi implementado na ferramenta de modelagem, análise e simulação de redes de Petri coloridas chamada CPN Tools. Tais simulações mostraram que o novo modelo em relação a um mecanismo simples de alocação de recurso com uma política de disparo mais cedo (FIFO) permite uma melhoria da proporção de casos que respeitam os prazos estabelecidos. Para resolver o problema do escalonamento em Sistemas de Gerenciamento de Workflow deverão ser consideradas características importantes inerentes a estes sistemas. Em particular, quando muitos casos são executados simultaneamente, situações de conflito por recursos compartilhados podem ocorrer e devem ser resolvidas em tempo real (sem um mecanismo de retrocesso). Também, deverão ser consideradas restrições temporais relativas aos prazos de entrega de casos específicos. Com o objetivo de tornar o comportamento do novo modelo o mais próximo e consistente com o comportamento de funcionários humanos envolvidos na execução de atividades de processos de negócios, a noção de possibilidade conjunta que envolve o caráter incerto e nebuloso foi inserida no modelo. . Novas regras de disparo de transições foram então definidas baseadas no conceito apresentado. Jogadores de rede de Petri do tipo token player baseados no novo modelo apresentado foram definidos, implementados, simulados e validados na ferramenta CPN Tools. Com o uso da ferramenta CPN Tools será possível avaliar o comportamento do sistema em funcionamento esperado ou em situação mais crítica. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Franciny Medeiros Barreto - Integrante / Joslaine Cristina Jeske de Freitas - Coordenador.

  • 2017 - 2021

    Redes de Petri para Modelagem, Análise e Simulação de Vídeo Games, Descrição: A ludologia (o estudo dos jogos em geral, particularmente dos video games) aponta a necessidade de criar modelos para especificar os mecanismos dos jogos, pois a falta deste conhecimento tem sido um dos grandes problemas do tradicional projeto de jogos. Um dos maiores problemas do desenvolvimento de jogos é a utilização de metodologias pobres, fazendo com que projetos não sejam finalizados no tempo estimado e com custos elevados. Isto ocorre devido ao gerenciamento errôneo das atividades na fase de pré-produção do jogo prototipagem, engenharia de requisitos, estimativas, etc.). Portanto, é necessário encontrar novos conceitos e ferramentas para suprir os desafios do desenvolvimento de jogos. Neste sentindo, a Engenharia de Software se torna indispensável para ajudar a suprir os desafios de desenvolvimento de jogos, melhorando a gerência dos projetos, diminuindo os riscos e garantindo o sucesso futuro da indústria de jogos. A modelagem baseada em redes de Petri pode ser especialmente importante para simular jogos com vários jogadores. Com a presente pesquisa, pretende-se criar uma representação formal de cenários de video games que aborde os aspectos presentes na maioria dos jogos atuais. Objetiva-se também a criação de um método para a verificação e análise de cenários de jogos ainda em fase de projeto. O propósito é identificar problemas antes do jogo ser de fato desenvolvido. Além disso, será possível validar o bom funcionamento do jogo em termos de jogabilidade. Para tanto, será considerado nessa pesquisa a teoria das redes de Petri. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Franciny Medeiros Barreto - Coordenador / Joslaine Cristina Jeske de Freitas - Integrante.

  • 2015 - 2017

    Modelagem, análise e monitoramento de processos de negócio flexíveis utilizando as workflow nets e lógicas não clássicas, Projeto certificado pelo(a) coordenador(a) Stéphane Julia em 25/04/2016., Descrição: A área de gerenciamento de processos de negócios , do inglês Business Process Management (BPM), tem recebido atenção considerável nos últimos anos em razão de seu potencial em aumentar significativamente a produtividade e economizar gastos nas organizações. Além disso. o conceito de processo serve como ponto de partida para o entendimento de como o negócio opera e quais oportunidades existem para coordenar suas atividades constituintes. Considerando tais questões, uma abordagem para modelagem, analise e monitoramento de processos de negócios será proposta. O modelo utilizado será baseado nas Workflow nets que são redes de Petri usadas para representar processos de negócios. Inicialmente, árvores de prova da lógica linear serão consideradas para analisar processos que devem verificar os principais critérios de corretude, em particular a propriedade chamada Sound. Uma análise quantitativa baseada no cálculo de datas simbólicas para a atribuição de atividades especificas aos atores do processo poderá ser realizada a partir das provas obtidas na verificação da propriedade Sound. A segunda parte do projeto está relacionada com o estudo de processos de negócios flexíveis embutidos em estruturas organizacionais já existentes onde os critérios de corretude não podem ser sistematicamente garantidos. Neste caso, através da reconstituição e reconfiguração dos processos, técnicas de detecção de estados perigosos serão apresentadas. Também, modelos de monitoramento baseados em redes de Petri com marcação fuzzy serão utilizados para considerar problemas de desvios que acontecem quando os atores envolvidos não respeitam as sequencias de atividades previstas nos modelos do processo. Estudos de casos na área dos sistemas de informação e dos jogos eletrônicos validarão a abordagem proposta.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (4) . , Integrantes: Franciny Medeiros Barreto - Integrante / Joslaine Cristina Jeske de Freitas - Integrante / Stéphane Julia - Coordenador / Lígia Maria Soares Passos - Integrante / Leiliane Pereira de Rezende - Integrante / Luciane de Fátima Silva - Integrante / Janette Cardoso - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro.

Histórico profissional

Endereço profissional

  • Universidade Federal de Jataí, Ciências da Computação. , Rodovia BR-364, Setor Francisco Antônio, 75801615 - Jataí, GO - Brasil, Telefone: (64) 36068295

Experiência profissional

2016 - Atual

Universidade Federal de Jataí

Vínculo: Servidor Público, Enquadramento Funcional: Professor efetivo, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Universidade Federal de Goiás - Regional Jataí foi emancipada em 2018 se tornando a Universidade Federal de Jataí (UFJ)

Atividades

  • 03/2024 - 07/2024

    Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados I - 64h, Lógica para Ciência da Computação - 64h

  • 04/2023 - 03/2024

    Direção e administração, Serviço de Informação ao Cidadão - SIC/UFJ.,Cargo ou função, Gestora do SIC.

  • 10/2023 - 02/2024

    Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados 2 - 64h, Linguagens Formais e Autômatos - 64h

  • 05/2023 - 01/2024

    Direção e administração, Secretaria de Comunicação - UFJ.,Cargo ou função, Secretária de Comunicação.

  • 06/2023 - 10/2023

    Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados 1 - 64h, Projeto de Software - 64h

  • 01/2023 - 05/2023

    Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados 2 - 64h, Linguagens Formais e Autômatos - 64h

  • 10/2022 - 03/2023

    Direção e administração, PROGRAD - UFJ.,Cargo ou função, Coordenadora Geral de Monitoria.

  • 11/2021 - 03/2023

    Direção e administração, PROGRAD - UFJ.,Cargo ou função, Coordenação de Mobilidade Acadêmica Estudantil.

  • 08/2022 - 12/2022

    Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados 1 - 64h, Projeto de Software - 64h

  • 03/2022 - 07/2022

    Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados 2 - 64 hrs, Linguagens Formais e Autômatos - 64 hrs

  • 10/2021 - 02/2022

    Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados 1 - 64 hrs, Projeto de Software - 64 hrs

  • 05/2018 - 12/2021

    Direção e administração, Ciências da Computação.,Cargo ou função, Coordenação de Estágio do curso de Ciências da Computação.

  • 05/2021 - 09/2021

    Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados 2 - 64 hrs, Estágio Supervisionado - 32 hrs, Linguagens Formais e Autômatos - 64 hrs

  • 03/2020 - 04/2021

    Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados 1 - 64 hrs, Projeto de Software - 64 hrs

  • 02/2018 - 04/2021

    Direção e administração, Diretoria da Regional Jataí/UFG.,Cargo ou função, Membro Titular da Comissão Permanente de Auto-Declaração - Portaria nº 1080.

  • 01/2020 - 02/2020

    Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Banco de Dados 1 - 64 hrs

  • 08/2019 - 12/2019

    Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados 2 - 64 hrs, Estágio Supervisionado - 32 hrs

  • 03/2019 - 07/2019

    Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados 1 - 64 hrs, Projeto de Software - 64 hrs

  • 08/2018 - 12/2018

    Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados 2 - 64 hrs, Estágio Supervisionado - 32 hrs

  • 03/2018 - 12/2018

    Direção e administração, Ciências da Computação.,Cargo ou função, Membro do Núcleo Docente Estruturante (NDE) do curso de Ciências da Computação.

  • 03/2018 - 07/2018

    Ensino, Engenharia Florestal, Nível: Graduação,Disciplinas ministradas, Introdução a Informática- 64 hrs

  • 03/2018 - 07/2018

    Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados 1 - 64 hrs, Projeto de Software - 64 hrs

  • 10/2017 - 03/2018

    Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Banco de Dados 1 - 64 hrs, Estrutura de Dados 2 - 64 hrs, Modelagem de Software - 64 hrs

  • 04/2017 - 09/2017

    Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados 1 - 64 hrs, Projeto de Software - 64 hrs

  • 02/2017 - 04/2017

    Conselhos, Comissões e Consultoria, Diretoria da Regional Jataí/UFG.,Cargo ou função, Membro da Comissão de Renda do SISU/2017/REJ/UFG - Portaria nº 008/2017.

  • 09/2016 - 03/2017

    Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Engenharia de Software - 64hrs, Empreendedorismo - 64 hrs

2015 - 2016

Universidade Federal de Uberlândia

Vínculo: , Enquadramento Funcional: Professor substituto, Carga horária: 40

Atividades

  • 05/2016 - 07/2016

    Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Banco de Dados II - 30 hrs.

  • 02/2016 - 07/2016

    Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Banco de Dados II, Programação Orientada a Objetos I

  • 02/2016 - 07/2016

    Ensino, Engenharia de Agrimensura e Cartográfica, Nível: Graduação,Disciplinas ministradas, Banco de Dados I

  • 08/2015 - 12/2015

    Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Programação Orientada a Objetos I

  • 08/2015 - 12/2015

    Ensino, Engenharia de Agrimensura e Cartográfica, Nível: Graduação,Disciplinas ministradas, Banco de Dados I

  • 05/2015 - 07/2015

    Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Interação Humano Computador, Programação Orientada a Objetos 1, Programação para Dispositivos Móveis