2023ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
2023ARAUJO, GUILHERME JOSÉ FERREIRA DE; GOMES, A. S.
Projetos
2025Em progresso
Inovação Aberta para o Setor de Transportes
2024Concluído
Pesquisa e Desenvolvimento de materiais digitais para cursos a serem publicados nas Plataformas AVAMEC e Escolas Conectadas
2022Concluído
Modelagem do Sistema Hidráulico dos Grandes Anéis do Recife
2021Concluído
Mineração de Processos Educacionais de e-Learning no Ambiente de Aprendizagem Redu
2021Em progresso
Pesquisar e desenvolver 1860 horas de cursos interativos para o AVAMEC a partir de conteúdos produzidos pela SEB/MEC
2020Em progresso
Comunidade de aprendizagem e desenvolvimento profissional docente
2019Concluído
Mineração de Dados de Processos de Desenvolvimento de Software
2019Concluído
Desenvolvimento de novos modelos conceituais de recursos educacionais digitais para as áreas de Ciências da Natureza e suas Tecnologias e Matemática e suas Tecnologias para o Ensino Médio
2017Concluído
Edital Universal - Faixa B - Modelagem e Avaliação de Desempenho de Sistemas Dinâmicos de Eventos Discretos
2017Concluído
Atlas de Energia Elétrica do Brasil publicado pela ANEEL
2016Concluído
Avaliação de Sistemas Dinâmicos de Eventos Discretos
2015Concluído
Sistema de Apoio à Decisão para o Desenvolvimento de Aditivos de Carbono e Estudo do Impacto de suas Propriedades Microeytruturais no Desempenho de Baterias de Chumbo-ácido para Sistemas Fotovoltáicos
2014Concluído
Lumen - Monitoramento de Access Points para Redes Wifi Mesh
2014Concluído
Plataforma Virtus - UFPE
2013Concluído
Avaliação de Sistemas Dinâmicos de Eventos Discretos
2013Concluído
Small Business Server Elcoma
2012Concluído
Descobrindo e Otimizando Modelos Simuláveis: uma abordagem focada em processos operacionais usando redes de Petri estocásticas
Apoio - CNPQ e Outros financiadores
2011Concluído
Descobrindo e Otimizando Modelos Simuláveis: uma abordagem focada em processos operacionais usando redes de Petri estocásticas
Apoio - CAPES e Outros financiadores
2009Em progresso
Utilização de Redes de Petri para Avaliação de Sistemas Dinâmicos de Eventos Discretos: um enfoque em melhoria de processos de negócio - PPP/FACEPE/CNPq - N 06/2008 - R$ 20mil - Coordenador
Apoio - CAPES e Outros financiadores
2007Em progresso
MPhyScaS Multi-Physics and Multi-Scale Solver Environment - FINEP/Petrobras
2007Em progresso
Exploração de Arquiteturas Visando a Aspectos Inteligentes para Redução do Consumo de Energia - Chamada Pública MCT/FINEP/FNDCT - Promove - Laboratórios de Inovação - R$400 mil - Coordenador
2005Concluído
Modelagem e Estimativas no Projeto de Sistemas Embarcados - Edital Universal - CNPq nº 019/2004.
Apoio - CNPQ e Outros financiadores
2005Concluído
Teaching Formal Methods Through Eclipse - IBM Faculty Award
2005Concluído
R-TOOL: Análise Precisa de Confiabilidade em Plantas Abertas.
Projetos
2025Em progresso
Inovação Aberta para o Setor de Transportes
2024Concluído
Pesquisa e Desenvolvimento de materiais digitais para cursos a serem publicados nas Plataformas AVAMEC e Escolas Conectadas
2022Concluído
Modelagem do Sistema Hidráulico dos Grandes Anéis do Recife
2021Concluído
Mineração de Processos Educacionais de e-Learning no Ambiente de Aprendizagem Redu
2021Em progresso
Pesquisar e desenvolver 1860 horas de cursos interativos para o AVAMEC a partir de conteúdos produzidos pela SEB/MEC
2020Em progresso
Comunidade de aprendizagem e desenvolvimento profissional docente
2019Concluído
Mineração de Dados de Processos de Desenvolvimento de Software
2019Concluído
Desenvolvimento de novos modelos conceituais de recursos educacionais digitais para as áreas de Ciências da Natureza e suas Tecnologias e Matemática e suas Tecnologias para o Ensino Médio
2017Concluído
Edital Universal - Faixa B - Modelagem e Avaliação de Desempenho de Sistemas Dinâmicos de Eventos Discretos
2017Concluído
Atlas de Energia Elétrica do Brasil publicado pela ANEEL
2016Concluído
Avaliação de Sistemas Dinâmicos de Eventos Discretos
2015Concluído
Sistema de Apoio à Decisão para o Desenvolvimento de Aditivos de Carbono e Estudo do Impacto de suas Propriedades Microeytruturais no Desempenho de Baterias de Chumbo-ácido para Sistemas Fotovoltáicos
2014Concluído
Lumen - Monitoramento de Access Points para Redes Wifi Mesh
2014Concluído
Plataforma Virtus - UFPE
2013Concluído
Avaliação de Sistemas Dinâmicos de Eventos Discretos
2013Concluído
Small Business Server Elcoma
2012Concluído
Descobrindo e Otimizando Modelos Simuláveis: uma abordagem focada em processos operacionais usando redes de Petri estocásticas
Apoio - CNPQ e Outros financiadores
2011Concluído
Descobrindo e Otimizando Modelos Simuláveis: uma abordagem focada em processos operacionais usando redes de Petri estocásticas
Apoio - CAPES e Outros financiadores
2009Em progresso
Utilização de Redes de Petri para Avaliação de Sistemas Dinâmicos de Eventos Discretos: um enfoque em melhoria de processos de negócio - PPP/FACEPE/CNPq - N 06/2008 - R$ 20mil - Coordenador
Apoio - CAPES e Outros financiadores
2007Em progresso
MPhyScaS Multi-Physics and Multi-Scale Solver Environment - FINEP/Petrobras
2007Em progresso
Exploração de Arquiteturas Visando a Aspectos Inteligentes para Redução do Consumo de Energia - Chamada Pública MCT/FINEP/FNDCT - Promove - Laboratórios de Inovação - R$400 mil - Coordenador
2005Concluído
Modelagem e Estimativas no Projeto de Sistemas Embarcados - Edital Universal - CNPq nº 019/2004.
Apoio - CNPQ e Outros financiadores
2005Concluído
Teaching Formal Methods Through Eclipse - IBM Faculty Award
2005Concluído
R-TOOL: Análise Precisa de Confiabilidade em Plantas Abertas.
