Programa de Pós-Graduação em Ciência da Computação

Higor Amario de Souza

Graduado em Sistemas de Informação pela Universidade de São Paulo (EACH 2010), possui mestrado em Sistemas de Informação pela Universidade de São Paulo (EACH 2012) e doutorado em Ciência da Computação pela Universidade de São Paulo (IME 2018). Durante o doutorado foi pesquisador visitante no Georgia Institute of Technology (GeorgiaTech - EUA). Atualmente, é Professor Assistente no Departamento de Computação da Universidade Estadual Paulista "Júlio de Mesquita Filho", UNESP-Bauru. Participa como pesquisador do projeto INCT InterSCity - Internet do Futuro para Cidades Inteligentes, IME-USP. Tem experiência na área de Engenharia de Software, Desenvolvimento de Sistemas, Sistemas de Informação e Ciência de Dados, com interesse em Teste e Depuração de Software, Cidades Inteligentes e Mobilidade Urbana. (Texto informado pelo autor)

  • http://lattes.cnpq.br/0958788389261134 (27/01/2025)
  • Rótulo/Grupo:
  • Bolsa CNPq:
  • Período de análise:
  • Endereço: Universidade Estadual Paulista Júlio de Mesquita Filho, Faculdade de Ciências de Bauru, Departamento de Computação. Avenida Engenheiro Luiz Edmundo Carrijo Coube, 14-01 Vargem Limpa 17033360 - Bauru, SP - Brasil Telefone: (11) 31036000 Ramal: 9502 URL da Homepage: https://wwwp.fc.unesp.br/~higor.amario
  • Grande área: Ciências Exatas e da Terra
  • Área: Ciência da Computação
  • Citações: Google Acadêmico

Produção bibliográfica

Produção técnica

Produção artística

Orientações em andamento

Supervisões e orientações concluídas

Projetos de pesquisa

Prêmios e títulos

Participação em eventos

Organização de eventos

Lista de colaborações

Produção bibliográfica

Produção técnica

Produção artística

Orientações em andamento

Supervisões e orientações concluídas

Projetos de pesquisa

  • Total de projetos de pesquisa (9)
    1. 2024-Atual. Projeto-piloto do Bike SP - Bonificando quem usa a bicicleta como meio de transporte
      Descrição: O programa Bike SP é uma lei municipal (Lei 16.547/2016) que consiste em dar incentivos, por meio da concessão de créditos no Bilhete Único, à realização de deslocamentos cicloviários em substituição a modos de transporte automotores. A lei ainda requer regulamentação. A convite da Secretaria Municipal de Mobilidade e Trânsito de São Paulo (SMT), o IME--USP foi convidado a realizar um projeto-piloto que simulasse a execução real do programa, com ciclistas pedalando nas ruas e registrando seus deslocamentos, de forma a embasar com dados empíricos a melhor forma de implementá-lo. O IME desenvolveu uma metodologia de pesquisa com dois objetivos principais: (1) definir os públicos prioritários, para que o programa seja uma política afirmativa de efetivação do direito à cidade, redução de desigualdades e de promoção da inclusão social; e (2) definir o valor dos créditos a serem concedidos de forma que o programa se torne um incentivo atrativo para novas pessoas ciclistas.Para o edital Vai Longe 2024, propomos fazer uma versão do piloto que dure 3 meses e envolva cerca de 500 ciclistas, a serem escolhidos por meio de um edital público aberto.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (4) . Integrantes: Higor Amario de Souza - Integrante / Fabio Kon - Coordenador / Ana Yoon Faria de Lima - Integrante / Flavio Soares de Freitas - Integrante / Tainá Souza Pacheco - Integrante / Jorge Harrisonn Mantovanelli Thomes Vieira - Integrante / Jonathas Castilho - Integrante / Arthur Pilone - Integrante. Financiador(es): M2 Soluções em Engenharia LTDA - Auxílio financeiro.
      Membro: Higor Amario de Souza.
    2. 2024-Atual. Trajetórias Profissionais dos Egressos dos Cursos de Graduação da UNESP
      Descrição: Trata-se de uma pesquisa com o objeto de descrever as trajetórias profissionais dos egressos dos cursos de graduação da UNESP, com no mínimo 10 anos de formados. Selecionou-se como público-alvo os alunos que ingressaram nos cursos de graduação nos anos de 2003, 2004 e 2005. Para tanto, foi elaborado um roteiro de entrevista flexível capaz de captar as trajetórias profissionais de diferentes cursos de graduação, uma vez a UNESP possui 137 cursos neste nível de ensino. Os dados de cada curso serão analisados individualmente tendo como referência a definição da razão de ser de cada um dos cursos, que será elaborada pelo pesquisador do curso em conjunto com a coordenação do curso. A equipe de pesquisadores da pesquisa é formada por professores que atuam nos cursos de graduação, que conta com o apoio de um bolsista. Como resultado espera-se conhecer as trajetórias profissionais dos egressos, identificar a via de acesso ao mercado de trabalho, o cargo que ocupam e o impacto do curso na vida profissional dos egressos tomados como objeto de estudo.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (99) . Integrantes: Higor Amario de Souza - Integrante / André Luis Debiaso Rossi - Integrante / Roberto Louzada - Coordenador.
      Membro: Higor Amario de Souza.
    3. 2022-Atual. Analisando mudanças de código em repositórios para melhorar a localização de defeitos
      Descrição: Este projeto de pesquisa pretende investigar o impacto do uso de informação de repositórios de código em técnicas de localização de defeitos. Para isso, será investigado se mudanças no código feitas em diferentes períodos de tempo podem reduzir a quantidade de código que precisa ser inspecionado ao procurar por defeitos. Técnicas de mineração de repositórios de código serão usadas para o desenvolvimento da técnica de localização a ser proposta neste projeto. Em seguida, iremos avaliar o uso prático da técnica proposta por meio de um estudo com desenvolvedores. Espera-se que os resultados deste estudo contribuam para melhorar o desempenho de localização de defeitos e para compreender a possibilidade de seu uso em ambientes reais de desenvolvimento.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (1) / Doutorado: (1) . Integrantes: Higor Amario de Souza - Coordenador.
      Membro: Higor Amario de Souza.
    4. 2020-Atual. Sistemas de Software, Ciência e Engenharia de Dados e Computação de Alto Desempenho
      Descrição: O grupo contribui em pesquisa e desenvolvimento em Sistemas de Software. O foco atual do grupo está direcionado para a Internet do Futuro, Cidades Inteligentes, Software Livre e Ciência e Engenharia de Dados. O grupo vem produzindo importantes resultados publicados em periódicos internacionais e anais de conferências da área, além de compartilhados com a comunidade como software livre. Principais projetos do grupo: 1. SIDAM (financiamento FAPESP) 2. Integrade I e II (financiamento CNPq) 3. CHOReOS (financiamento Comissão Europeia) 4. CHOOSING (financiamento CAPES/COFECUB) 5. InterSCity (INCT). Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (8) / Mestrado acadêmico: (12) / Doutorado: (8) . Integrantes: Higor Amario de Souza - Integrante / Fabio Kon - Coordenador / Daniel Macedo Batista - Integrante / Eduardo Felipe Zambom Santana - Integrante / Alfredo Goldman - Integrante / LAGO, NELSON - Integrante / Paulo Roberto Miranda Meirelles - Integrante / Kelly Rosa Braguetto - Integrante.
      Membro: Higor Amario de Souza.
    5. 2018-2020. Gestão e ampliação das funcionalidades da plataforma InterSCity para cidades inteligentes
      Descrição: A plataforma InterSCity é um middleware que permite o desenvolvimento de aplicações para cidades inteligentes. Já existem algumas aplicações usando a InterSCity, como o sistema de análise de internações hospitalares realizados em Unidades do SUS na cidade de São Paulo. No entanto, diversas melhorias são necessárias para facilitar o uso da InterSCity em aplicações futuras. Este treinamento técnico tem por objetivo implementar novas funcionalidades à InterSCity para melhorar e ampliar sua aplicabilidade para demandas de aplicações reais. Tais funcionalidades incluem a visualização das informações sobre os recursos e capacidades disponíveis, o controle de versionamento das APIs do InterSCity, a disponibilização de datasets relacionados a cidades inteligentes, o suporte a gestão e processamento de Big Data, entre outras.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Higor Amario de Souza - Integrante / KON, FABIO - Integrante / Roberto Hirata Junior - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.
      Membro: Higor Amario de Souza.
    6. 2018-Atual. Data-driven analysis of Bike-Sharing Mobility Flows
      Descrição: Este projeto utiliza técnicas de Ciência de Dados para analisar dados de sistemas de compartilhamentro de bicicletas e também dados públicos sobre mobilidade para análise de fluxos mobilidade de bicicletas em cidades como São Paulo e Boston (EUA).. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (2) . Integrantes: Higor Amario de Souza - Integrante / Fabio Kon - Coordenador / Roberto Hirata Junior - Integrante / Fabio Duarte - Integrante / Paolo Santi - Integrante / Carlo Ratti - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
      Membro: Higor Amario de Souza.
    7. 2015-2016. Avaliação do uso prático de técnica de localização de defeitos
      Descrição: Depuração é uma atividade que demanda alto custo de tempo. Técnicas de localização de defeitos têm sido propostas com a intenção de reduzir os custos de desenvolvimento de programas. A maioria das técnicas gera uma lista de trechos de código que são mais suspeitos de conter defeitos. Desta forma, desenvolvedores podem usar tais listas para procurar por defeitos. Entretanto, experimentos com desenvolvedores usando tais técnicas são necessários para obter um melhor entendimento sobre seu uso prático. O objetivo desta proposta é investigar como desenvolvedores usam técnicas de localização de defeitos e qual é o esforço de localização que eles usualmente estão dispostos a gastar procurando por defeitos usando essas técnicas. Nós também pretendemos identificar fatores que influenciam a localização automatizada de defeitos, tais como a qualidade do conjunto de testes e a existência de defeitos múltiplos.O estágio de pesquisa será realizado na Georgia Institute of Technology sob a supervisão do professor Alessandro Orso. Durante o estágio, iremos desenvolver uma técnica de localização de defeitos para fornecer informações de contexto. Dois experimentos serão realizados: um experimento para avaliar o desempenho da técnica com programas e outro experimento com desenvolvedores para entender como a técnica é utilizada na prática.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Higor Amario de Souza - Integrante / Marcos Lordello Chaim - Integrante / Fabio Kon - Coordenador / Alessandro Orso - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa. Número de produções C, T & A: 1
      Membro: Higor Amario de Souza.
    8. 2014-2018. Localização de defeitos em depuração automatizada
      Descrição: A depuração é uma tarefa inerente ao processo de desenvolvimento de programas. A execução de testes e a localização e correção de defeitos correspondem a uma parcela significativa do tempo gasto no processo de criação e manutenção de programas. A automatização da atividade de depuração, principalmente a localização de defeitos, pode colaborar para reduzir tais custos e para melhorar a qualidade dos programas desenvolvidos. Diversas técnicas de localização de defeitos têm sido propostas. A maioria dessas técnicas gera como saída uma lista contendo os trechos do programa mais suspeitos de conter defeitos. No entanto, a avaliação de como os desenvolvedores usam os resultados fornecidos pelas técnicas para depurar programas ainda precisa ser mais estudada. Resultados recentes indicam que os desenvolvedores possuem um ``orçamento de esforço'' associado ao uso de uma técnica de depuração. Se o desenvolvedor não encontra o defeito dentro desse orçamento, ele muda a sua estratégia de busca. A compreensão do esforço de localização dos desenvolvedores ao usar uma técnica de depuração automatizada serve para avaliar o uso prático de tais técnicas. Este projeto de doutorado tem o objetivo de estudar e avaliar como as técnicas de depuração são usadas de forma prática e qual o esforço de localização que os desenvolvedores dispendem para procurar defeitos usando técnicas automatizadas. Dessa forma pretendemos aprimorar as técnicas para que localizem o defeito dentro do orçamento de esforço e avaliar quais são os fatores que influenciam os resultados das técnicas de depuração automatizada, como a presença de múltiplos defeitos e a qualidade do conjunto de teste usados pelas técnicas. Assim, pretende-se colaborar com os estudos sobre localização de defeitos para possibilitar seu uso na indústria de software.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Doutorado: (1) . Integrantes: Higor Amario de Souza - Integrante / Marcos Lordello Chaim - Integrante / Fabio Kon - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa. Número de produções C, T & A: 8
      Membro: Higor Amario de Souza.
    9. 2010-2012. Depuração de programas baseada em cobertura de integração
      Descrição: O objetivo deste projeto é avaliar o uso de informações de cobertura de integração para uso em depuração automatizada. Atualmente, a maioria das técnicas de depuração automatizada baseia-se em informações de cobertura de teste de unidade. O uso de informações da integração entre as unidades pode acrescentar informações sobre o comportamento de execução que ocorre entre as unidades de um programa. Pretende-se realizar experimentos em programas reais, contendo milhares de linhas de código, para avaliar a eficácia da técnica para seu uso em ambientes reais de desenvolvimento.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (1) . Integrantes: Higor Amario de Souza - Integrante / Marcos Lordello Chaim - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.
      Membro: Higor Amario de Souza.

Prêmios e títulos

  • Total de prêmios e títulos (2)
    1. Melhor artigo do IV Workshop de Computação Urbana, Sociedade Brasileira da Computação.. 2020.
      Membro: Higor Amario de Souza.
    2. Vencedor do Concurso Radartona SP - Hackathona com dados de radares, Prefeitura de São Paulo.. 2019.
      Membro: Higor Amario de Souza.

Participação em eventos

  • Total de participação em eventos (22)
    1. 2º Ciclo de Formação e Desenvolvimento Profissional Docente UNESP. 2024. (Encontro).
    2. 38th Brazilian Symposium on Software Engineering.Mining Repositories to Analyze the Lifecycle of Frameworks and Libraries. 2024. (Simpósio).
    3. 38th Brazilian Symposium on Software Engineering - Tools track.Tools track reviewer. 2024. (Simpósio).
    4. 4th Workshop on Open Science Practices for Software Engineering (OpenScienSE 2024).Artifact reviewer. 2024. (Oficina).
    5. Encontro de Docentes do Câmpus de Bauru - XV ENDOC. 2024. (Encontro).
    6. XXIX Maratona de Programação -1a. fase. Coach. 2024. (Olimpíada).
    7. 3rd Workshop on Open Science Practices for Software Engineering (OpenScienSE 2023).Artifact reviewer. 2023. (Oficina).
    8. Endoculturação da Comunidade UNESP. 2023. (Encontro).
    9. XXIV Brazilian Symposium on Geoinformatics (GEOINFO).BikeScienceWeb: a tool for bicycle-related urban planning. 2023. (Simpósio).
    10. XXVIII Maratona de Programação -1a. fase - Bauru - SP. Monitor. 2023. (Olimpíada).
    11. EU-IoT Hackathon Sustainable Next Generation IoT Applications.Sustainable Irrigation System. 2022. (Outra).
    12. The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 21). Artifact track. 2021. (Congresso).
    13. Radartona SP - Hackathona com dados de radares.Radartona 2019 - InterSCity team. 2019. (Oficina).
    14. 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST). Jaguar: a spectrum-based fault localization tool for real-world software. 2018. (Congresso).
    15. XXXII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos.A Service Selection Mechanism Using Fault-Tolerance Techniques. 2014. (Simpósio).
    16. 7th Brazilian Workshop on Systematic and Automated Software Testing.Avaliação de Heurísticas para Localização de Defeitos. 2013. (Oficina).
    17. III Congresso Brasileiro de Software: Teoria e Prática - CBSoft 2012. Depuração de programas baseada em cobertura de integração. 2012. (Congresso).
    18. III Semana de Sistemas de Informação da EACH-USP.Mesa de Egressos. 2012. (Outra).
    19. VIII Simpósio Brasileiro de Sistemas de Informação - SBSI 2012. 2012. (Simpósio).
    20. II Congresso Brasileiro de Software: Teoria e Prática - CBSoft 2011. 2011. (Congresso).
    21. Workshop de Capacitação para Pesquisadores da USP em Publicação Científica. 2011. (Outra).
    22. II Semana de Sistemas de Informação da EACH-USP. 2010. (Outra).

Organização de eventos

  • Total de organização de eventos (3)
    1. SOUZA, H. A.; YONEZAWA, W. M. ; SPOLON, R. ; LISBOA, C. O.. Meia Maratona de Programação. 2024. 2024.
    2. VIANNA, A. C. G. ; SOUZA, H. A. ; SPOLON, R.. Feira de Profissões da UNESP 2024. 2024. 2024.
    3. KON, F. ; GOLDMAN, A. ; BATISTA, D.M. ; SOUZA, H. A. ; LAGO, N.. II Workhop do projeto InterSCity. 2019. Congresso

Lista de colaborações

  • Colaborações endôgenas (2)
    • Higor Amario de Souza ⇔ Eduardo Felipe Zambom Santana (1.0)
      1. MARTINS, TALLYS G. ; Lago, Nelson ; SANTANA, EDUARDO F. Z. ; TELEA, ALEXANDRU ; Kon, Fabio ; DE SOUZA, HIGOR A.. Using bundling to visualize multivariate urban mobility structure patterns in the São Paulo Metropolitan Area. JOURNAL OF INTERNET SERVICES AND APPLICATIONS. v. 12, p. 1-32, 2021. Qualis: A2

    • Higor Amario de Souza ⇔ Felipe Pontes Guimarães (1.0)
      1. SOUZA, HIGOR AMARIO DE ; GUIMARAES, FELIPE PONTES ; KON, FABIO ; BATISTA, DANIEL MACEDO. A Service Selection Mechanism Using Fault-Tolerance Techniques. Em: 2014 Brazilian Symposium on Computer Networks and Distributed Systems (SBRC), v. 1, p. 457-470, 2014. Qualis: Não identificado (2014 Brazilian Symposium on Computer Networks and Distributed Systems (SBRC))




(*) Relatório criado com produções desde 2000 até 2025
Data de processamento: 12/02/2025 20:44:31