Departamento de Sistemas de Computação

Paulo Sergio Lopes de Souza

Paulo Sérgio Lopes de Souza recebeu título de Doutor pelo IFSC/USP em 2000, pesquisando em Computação de Alto Desempenho e Escalonamento de Processos. Realizou pós-doutorado na University of Southampton/UK (2010/2011), em parceria com o Prof. Ed Zaluska, investigando o teste de programas concorrentes. Ele foi docente da UEPG por 14 anos (1991/2005) e atua desde 2005 no Departamento de Sistemas de Computação do ICMC/USP em São Carlos, onde desenvolve suas atividades como Professor Associado junto ao Laboratório de Sistemas Distribuídos e Programação Concorrente (LASDPC), orientando alunos de Doutorado, Mestrado, Iniciação Científica e TCC. Ministra disciplinas na graduação e na pós-graduação como: arquitetura de computadores, sistemas operacionais, computação de alto desempenho, programação paralela, redes de computadores e estruturas de dados. Recebeu diversas homenagens pelos cursos ministrados à graduação. É responsável por projetos de pesquisa e de extensão universitária. Na administração acadêmica atua em cargos de chefia e em diversas comissões. Atualmente é o ouvidor do ICMC/USP. É revisor de projetos e artigos para agências de fomento à pesquisa, periódicos e congressos. Já organizou diferentes eventos da sua área de atuação e é editor de edições especiais em periódicos internacionais. É membro da SBC (Sociedade Brasileira de Computação), onde atua nas áreas de Arquitetura de Computadores e Processamento de Alto Desempenho, Educação em Computação e em Engenharia de Software (Testes de Software). É membro da ACM (Association for Computing Machinery).

  • http://lattes.cnpq.br/4254001833729264 (07072022)
  • Rótulo/Grupo:
  • Bolsa CNPq:
  • Período de análise:
  • Endereço: Universidade de São Paulo. Departamento de Sistemas de Computação. Instituto de Ciências Matemáticas e de Computação. Av. Trabalhador São-carlense, 400 (ICMC/SSC) CEP 13560970 - São Carlos, SP - Brasil
  • Grande área: [sem-grandeArea]
  • Área: [sem-area]
  • 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 (22)
    1. 2002-2002. PAD-Ambiental - Suporte Computacional de alto desempenho em
      CNPq - PDPGTI - dez/2002 a jun/2005 - Financiamento Total de R$150.000,00. O uso de pesticidas está associado ao aumento da produção de alimentos. O Brasil, ocupa a quinta posição entre os países que mais utilizam pesticidas. No entanto, o fator mais preocupante é que não há a contrapartida necessária em pesquisa que determine o impacto do uso desses pesticidas, como a Atrazina. A Atrazina (AT) tem sido largamente utilizada no Brasil e no mundo. A modelagem de sistemas moleculares (como os encontrados entre a Atrazina e a MOS) pode ser realizada por meio de métodos de mecânica quântica conhecidos como: métodos semi-empíricos ou ab-initio. O cálculo semi-empírico embora facilite a simulação de moléculas de cadeias médias e longas, apresenta resultados menos precisos que os feitos com ab-initio. O cálculo ab-initio (primeiros princípios) produz resultados precisos com relação às propriedades geométricas e eletrônicas das moléculas, porém, é impraticável para sistemas com um grande (real) número de átomos, simulados em plataformas monoprocessadas. Desse modo, sem um suporte adequado da Computação de Alto Desempenho, o cálculo ab-initio tem sua utilização restrita ao estudo teórico de moléculas pequenas e interação entre pequenas estruturas, estas distantes das moléculas encontradas na realidade. O objetivo deste projeto é empregar técnicas avançadas de computação de alto desempenho para melhorar a qualidade e o desempenho do método da mecânica quântica ab-initio, aplicado ao uso de pesticidas, considerando a Atrazina. Para tanto, este projeto estudará a aplicação de técnicas de computação alto desempenho para a mecânica quântica, como: modelagem e simulação de aplicações paralelas, escalonamento de processos, mecanismos de comunicação e sincronização, plataformas paralelas/distribuídas e arquiteturas avançadas de computadores.
      Membro: Paulo Sérgio Lopes de Souza.
    2. 2001-2001. Kit Enxoval Recem Doutor - CNPq - Monitoração de Clusters
      Este trabalho teve o objetivo de desenvolver uma ferramenta de monitoração de clusters voltada ao escalonamento de processos. Esta ferramenta agrupa várias métricas usadas em políticas de escalonamento, permitindo visualizar e avaliar o desempenho de clusters. A ferramenta fornece informações em tempo real, através de sua interface gráfica amigável, e posterior a sua execução, através dos arquivos de rastro. A análise da ferramenta por meio de experimentos demonstrou que a mesma, possui comportamento estável, e que alcançou seus objetivos, auxiliando no desenvolvimento de políticas de escalonamento e contribuindo com o balanceamento de carga no cluster.
      Membro: Paulo Sérgio Lopes de Souza.
    3. 1993-1993. Desenvolvimento de um Software para Seleção e Planejamento do Uso da Maquinaria Agrícola no Programa de Produção da Fazenda Escola na UEPG

      Membro: Paulo Sérgio Lopes de Souza.
    4. 2008-2008. TestPar - Subsídios para o Teste Estrutural de Aplicações Distribuídas
      O projeto visa estender os resultados já obtidos pelos pesquisadores com o projeto ValiPVM, investigando e propondo um modelo de teste que representa os requisitos de teste necessários à validação de aplicações concorrentes, englobando os dois principais paradigmas de comunicação e sincronização: troca de mensagens e memória compartilhada. A proposta é que esse modelo seja genérico o suficiente para permitir que uma aplicação concorrente desenvolvida sob esses paradigmas possa ser testada utilizando os critérios de teste propostos. Outro objetivo é investigar as técnicas para tratar o não-determinismo e o problema de geração de pares de sincronização. Espera-se definir um método eficiente para testar esses problemas na ferramenta de teste ValiPar, em desenvolvimento pelo grupo. Como subproduto dessa investigação, a ferramenta ValiPar será estendida para que ela possa ser aplicada em programas concorrentes que utilizemm tanto memória compartilhada como troca de mensagens.
      Membro: Paulo Sérgio Lopes de Souza.
    5. 2000-2000. AMIGO - dynamical flexible scheduling environment
      O AMIGO (DynAMical FlexIble SchedulinG EnvirOnment) é uma ferramenta de software capaz de viabilizar a união de diferentes algoritmos de escalonamento, de uma maneira completamente transparente ao usuário. O AMIGO flexibiliza o escalonamento (em tempo de execução da aplicação) desde a sua configuração até a sua efetiva aplicação. Além da flexibilidade dinâmica e da transparência, o AMIGO também é modular: o seu projeto está dividido em módulos que, entre outras vantagens, facilitam sua execução em diferentes plataformas. Este projeto reúne diferentes investigações em torno do tema "escalonamento de processos em plataformas distribuídas", realizadas no grupo de Sistemas Distribuídos e Programação Concorrente do ICMC/USP.
      Membro: Paulo Sérgio Lopes de Souza.
    6. 2008-2008. Otimizando a Distribuição de Requisições em Clusters de Web Services: uma abordagem flexível, dinâmica e transparente
      O uso de clusters de web services é comum no dia-a-dia de empresas que desenvolvem e integram suas aplicações baseando-se em serviços sobre a web. A implementação desses serviços por parte de aplicações é conhecida como SOA (Service Oriented Architecture). Apesar do uso de clusters nesse contexto tornar-se cada vez mais comum, há ainda uma lacuna para a distribuição eficiente de requisições aos servidores, pois o máximo que as ferramentas de software oferecem é uma distribuição round-robin. Uma distribuição das requisições deve considerar diferentes regras e objetivos. Devem ser usadas heurísticas eficientes e adaptadas à realidade das execuções em andamento. A heterogeneidade da plataforma e a influência de cargas externas aos serviços também devem ser consideradas. Em um ambiente assim, uma distribuição de requisições correta assume um papel importante para o melhor aproveitamento da estrutura computacional. Este projeto de pesquisa visa otimizar o desempenho de clusters de web services, no contexto de SOA. Pretende-se desenvolver um novo modelo e o protótipo de uma nova ferramenta capazes de incluir a atividade de escalonamento de requisições diretamente nos servidores de web services de maneira flexível, dinâmica, transparente e tolerante a falhas; viabilizando com isso um uso mais eficiente da plataforma computacional distribuída. Outro objetivo é investigar e adequar as ferramentas de monitoração de plataformas distribuídas ao contexto de SOA.
      Membro: Paulo Sérgio Lopes de Souza.
    7. 2007-2007. Instalação e Configuração de Clusters Beowulf
      Instalação e configuração de cluster diskfull; instalação e configuração de cluster diskless; instalação e configuração de RAMDISK; instalação e configuração de ambientes de passagem de mensagens; exemplos de aplicações paralelas, desenvolvidas com ambientes de passagem de mensagens.
      Membro: Paulo Sérgio Lopes de Souza.
    8. 2009-2009. Tendência do Mercado x Processo Seletivo
      Difusão cultural destinada aos alunos da graduação da USP em São Carlos e a Comunidade em Geral, a fim de transmitir conhecimentos práticos sobre as atividades desenvolvidas pelas empresas durante seus processos seletivos de contratação de estagiários. A proposta do curso é trazer aos alunos de Ciências Exatas e de Tecnologia, aspectos pertinentes a dinâmicas de grupo, entrevistas e análise de currículos, estes realizados pelas empresas durante seus processos seletivos. Espera-se como este curso fornecer aos participantes uma visão sobre aspectos comportamentais, preparando-os para esta etapa da sua vida profissional, p potencializando, com isso, seu ingresso em boas empresas. O objetivo do curso é transmitir aos alunos aspectos práticos da participação em dinâmicas de grupo, entrevistas para seleção de estagiários e elaboração de currículos aos alunos vitae.
      Membro: Paulo Sérgio Lopes de Souza.
    9. 2013-2013. Teste Paralelo de Programas Concorrentes
      A computação na atualidade é considerada pervasiva e distribuída. Sistemas computacionais estão presentes em diferentes setores da sociedade e interagem para melhorar nossa qualidade de vida. A programação concorrente está presente em tais sistemas, oferecendo primitivas para a interação (comunicação e sincronização) de processos. Estas primitivas são muito utilizadas e são responsáveis por defeitos difíceis de serem revelados, pois tais defeitos são fortemente influenciados pelo não determinismo inerente à programação concorrente. O teste de programas concorrentes insere-se nesse contexto como uma atividade essencial à busca de defeitos, valendo-se de critérios de teste específicos e do apoio de ferramentas de teste. O projeto TestPar, em desenvolvimento no ICMC/USP, visa aprimorar o teste de programas concorrentes, porém, um problema ainda está em aberto: o alto custo de aplicação deste teste. Este projeto de pesquisa em particular aborda o problema do custo, propondo a paralelização da atividade de teste estrutural de programas concorrentes desenvolvidos nos paradigmas de passagem de mensagens e memória compartilhada. O principal objetivo da paralelização é a redução do tempo de resposta do teste, reduzindo-se com isso o custo sem reduzir a qualidade em termos de cobertura do código fonte. As investigações consideram o processo de teste como um todo, incluindo modelos, critérios e a ferramenta de teste ValiPar. A equipe de desenvolvimento conta com a contribuição de pesquisadores da Universidade de Southampton/UK e da Universidade Nova de Lisboa. Alunos da graduação e da pós-graduação também estão envolvidos neste projeto. As principais contribuições deste projeto são: (1) melhorar a eficácia da atividade de teste de programas concorrentes, reduzindo seu custo sem perder qualidade e (2) disponibilizar uma plataforma paralela voltada a este tipo de teste, a qual contribuirá diretamente com a indústria, as pesquisas e o ensino em Engenharia de Software, Computação Paralela e Sistemas Distribuídos.
      Membro: Paulo Sérgio Lopes de Souza.
    10. 2015-2015. Introdução à Computação de Alto Desempenho com GPU e CUDA
      De forma geral, ao final do curso os alunos deverão ser capazes de desenvolver programas concorrentes usando um modelo de programação heterogêneo centrado em CUDA e com MPI/OpenMP. De maneira específica, os objetivos deste curso de extensão são: -Transmitir conhecimentos básicos de computação de alto desempenho em unidades de processamento gráfico (Graphics Processing Unit - GPU), utilizando CUDA e a linguagem C. -Capacitar o estudante na resolução de problemas não gráficos que requerem alto poder de processamento com GPU e CUDA. -Ensinar o desenvolvimento de programas paralelos que utilizam CUDA, MPI e OpenMP.
      Membro: Paulo Sérgio Lopes de Souza.
    11. 2014-2014. Recurso Educacional Aberto para o Ensino de Hierarquia de Memória
      Projeto submetido ao ICMC em atendimento ao edital 01/2014 - Programa de Incentivo às Atividades de Extensão do ICMC.
      Membro: Paulo Sérgio Lopes de Souza.
    12. 2016-2016. CEPID-CeMEAI - Centro de Ciências Matemáticas Aplicadas à Indústria
      MISSÃO Fornecer amplos recursos e mecanismos para conectar cientistas, engenheiros, matemáticos e especialistas em computação, a fim de enfrentar os desafios científicos e tecnológicos em um ambiente colaborativo e envolvente, formando recursos humanos de alto nível, bem como desenvolvendo novas técnicas matemáticas transformadoras e explorando suas aplicações em benefício da sociedade. VISÃO Ser líder e referência em ciências matemáticas no Brasil e no mundo, aumentando seu impacto no setor produtivo e servindo de ponte entre a matemática de mais alto nível e problemas de importância científica e tecnológica. Ser visto como Centro de excelência em áreas estratégicas para o desenvolvimento tecnológico do País, expandindo e fortalecendo a base de talentos em ciências matemáticas que possuam habilidades para aplicações interdisciplinares. E assim, futuramente, transformar-se em um Instituto Especializado. OBJETIVOS ESPECÍFICOS 1. O CEPID-CeMEAI deverá constituir-se num centro irradiador de informação em aplicações das ciências matemáticas, identificando problemas e áreas que possam beneficiar-se de novas pesquisas em ciências matemáticas e colocando-as em contato com pesquisadores de alta qualidade. O Centro deverá promover o contato de especialistas em ciências matemáticas com empresários, agentes de inovação, trabalhadores da indústria, pesquisadores e praticantes de outras áreas do conhecimento para a discussão de problemas comuns. 2. O CEPID-CeMEAI proporcionará um ambiente e terá uma programação, propícios ao desenvolvimento de pesquisas aplicadas ao setor produtivo. O Centro possibilitará a colaboração com outras áreas e a difusão do conhecimento em ciências matemáticas aplicadas. 3. O CEPID-CeMEAI deverá contribuir no sentido de construir uma comunidade multidisciplinar mais sólida e duradoura, treinando estudantes para que possam colaborar na resolução de problemas práticos e estejam preparados para propagar a filosofia do Centro a outras regiões do país. 4. O CEPID-CeMEAI promoverá a educação multidisciplinar de matemáticos e estatísticos desde o início de suas carreiras, contribuindo para a formação de uma comunidade mais aberta ao diálogo com outras áreas do conhecimento, o que deve contribuir para a utilização da matemática e da estatística numa gama maior de aplicações. 5. O CEPID-CeMEAI deverá promover as ciências matemáticas como uma ferramenta útil no desenvolvimento científico e tecnológico do Brasil e não apenas como uma arte de interesse puramente acadêmico. 6. O CEPID-CeMEAI se tornará uma referência internacional na cooperação entre universidade e indústria/governo em aplicações das ciências matemáticas.
      Membro: Paulo Sérgio Lopes de Souza.
    13. 2018-2018. Predição de Estruturas de Proteínas com Algoritmos Paralelos Ortogonais às Plataformas Paralelas
      Projeto FAPESP nr 2017/25410-8 aprovado pela FAPESP sobre Computação de Alto Desempenho Aplicada à Predição de Estrutura de Proteínas, para a IC de Matheus Henrique Junqueira Saldanha.
      Membro: Paulo Sérgio Lopes de Souza.
    14. 2018-2018. Introdução à Programação Paralela com C/PThreads
      Curso de Extensão de Difusão Cultural voltado para alunos que estão cursando o primeiro ano da graduação em cursos de computação e comunidade em geral com conhecimentos básicos de programação estruturada em C. Os objetivos deste projeto de extensão são: estimular os alunos de computação de começo de curso a pensarem em paralelo no desenvolvimento de algoritmos; introduzir a programação de threads para máquinas MIMD com memória compartilhada; e introduzir o modelo de programação C/Pthreads.
      Membro: Paulo Sérgio Lopes de Souza.
    15. 2016-2016. FAPESP- Auxílio à Pesquisa - Organização de Reunião Científica - 8a Escola Regional de Alto Desempenho de São Paulo - ERAD-SP 2017
      Projeto FAPESP nr 2016/25819-0 A ERAD-SP 2017 dissemina conhecimentos de Processamento de Alto Desempenho, Arquitetura de Computadores e Sistemas Distribuídos a alunos de graduação, pós-graduação e profissionais das ciências de todo o nosso país. A Escola tradicionalmente tem unido jovens talentos da academia, pesquisadores e profissionais em torno de um tema estratégico para a geração de conhecimento, vantagem competitiva e riqueza para São Paulo. A ERAD-SP mostra as pesquisas que vêm sendo desenvolvidas na academia, tanto aos profissionais que atuam no mercado de trabalho quanto para novos alunos que buscam entender o que significa trabalhar com a computação de alto desempenho. Pesquisa de ponta, reciclagem e disseminação de conhecimento são características inerentes da ERAD-SP em todas as suas edições. A ERAD-SP 2017 inova em relação às edições anteriores, alterando sua programação para dar ênfase aos minicursos e ao caráter de escola do evento. Fechando os minicursos, no último dia será realizado um desafio de programação paralela, para que os participantes apliquem os novos conhecimentos adquiridos. A ERAD-SP é, portanto, uma oportunidade única em São Paulo para que profissionais da indústria, academia e alunos participem de minicursos, palestras, apresentem trabalhos com foco em tecnologias de ponta e sejam desafiados a aprimorar seus conhecimentos. Minicursos básicos apresentam conceitos e tecnologias já consolidados na atualidade para novos e jovens talentos. Minicursos avançados abordam tecnologias emergentes em Computação de Alto Desempenho. Palestras norteadoras apresentam temas específicos, desenvolvimentos em curso e novas tendências na área. Sessões de Pós-Graduação e a Sessão de Iniciação Científica oferecem a oportunidade de alunos apresentarem seus trabalhos acadêmicos em desenvolvimento, além de aproximar pessoas, fomentar o ingresso de novos alunos e consolidar a comunidade científica que atua em Computação de Alto Desempenho em São Paulo.
      Membro: Paulo Sérgio Lopes de Souza.
    16. 2017-2017. CAPES - Auxílio à Pesquisa - PAEP - Organização da ERAD-SP 2017
      CAPES processo nr 88881.123431/2016-01 A 8ª ERAD-SP, ou ERAD-SP 2017, (http://www.sbc.org.br/eradsp2017) foi realizada de 08/04/2017 a 10/04/2017 no Instituto de Ciências Matemáticas e de Computação da Universidade de São Paulo (ICMC/USP), em São Carlos. Além da instituição sede (ICMC/USP), o comitê organizador deste evento também contou com colaboradores de diferentes instituições, como: Universidade Federal de São Carlos (UFSCar), Universidade Federal de São Paulo (UNIFESP), Universidade Federal do ABC (UFABC), Universidade Presbiteriana Mackenzie (Mackenzie), Instituto Federal de Educação de São Paulo (IFSP - São Carlos, Catanduva e Araraquara), Faculdade de Tecnologia de São Paulo (FATEC) e Universidade Paulista (UNIP). O principal objetivo da ERAD-SP 2017 foi disseminar a importância, os desafios e as perspectivas dos conhecimentos de Processamento de Alto Desempenho, Arquitetura de Computadores e Sistemas Distribuídos, a estudantes de graduação (em especial), pós-graduação e profissionais das ciências exatas de todo o nosso país. Além deste, a ERAD-SP 2017 visou integrar pesquisadores, estudantes e profissionais, alinhando a comunidade em relação ao presente e ao futuro da Computação de Alto Desempenho.
      Membro: Paulo Sérgio Lopes de Souza.
    17. 2019-2019. Estudo e desenvolvimento de técnicas de teste de software e suas aplicações
      Este projeto de pesquisa visa contribuir com a área de teste de software por meio da proposição de novas estratégias, técnicas e critérios para apoiar o desenvolvimento de produtos de software modernos. A tecnologia de desenvolvimento de software evolui de forma cada vez mais rápida, abrangendo novos ambientes, novos domínios de aplicação e novas arquiteturas. Com a necessidade cada vez maior de garantir qualidade no produto de software, é necessário desenvolver e adaptar técnicas de teste que acompanhem essa evolução. Em particular, sistemas de Realidade Virtual, software concorrente, robôs móveis, requisitos não funcionais e controle de acesso são temas que serão abordados no presente projeto. Além do desenvolvimento de técnicas de teste nesses contextos, estudos experimentais serão realizados visando avaliar as novas propostas de modo a construir um corpo de conhecimento sobre avaliação de técnicas, critérios e ferramentas de teste de software. Ainda, material de ensino e treinamento sobre as abordagens estudadas devem ser preparados com o propósito de transferir as novas abordagens produzidas para estudantes e profissionais de Engenharia de Software. Sobretudo, a oportunidade de colaboração entre as equipes, ambas especialistas na área de teste de software, deverá produzir resultados de extremo impacto social e econômico, dada a importância que a Computação e o desenvolvimento de software, com qualidade, têm na vida das pessoas e na economia dos países.
      Membro: Paulo Sérgio Lopes de Souza.
      Este projeto de pesquisa visa contribuir com a área de teste de software por meio da proposição de novas estratégias, técnicas e critérios para apoiar o desenvolvimento de produtos de software modernos. A tecnologia de desenvolvimento de software evolui de forma cada vez mais rápida, abrangendo novos ambientes, novos domínios de aplicação e novas arquiteturas. Com a necessidade cada vez maior de garantir qualidade no produto de software, é necessário desenvolver e adaptar técnicas de teste que acompanhem essa evolução. Em particular, sistemas de Realidade Virtual, software concorrente, robôs móveis, requisitos não funcionais e controle de acesso são temas que serão abordados no presente projeto. Além do desenvolvimento de técnicas de teste nesses contextos, estudos experimentais serão realizados visando avaliar as novas propostas de modo a construir um corpo de conhecimento sobre avaliação de técnicas, critérios e ferramentas de teste de software. Ainda, material de ensino e treinamento sobre as abordagens estudadas devem ser preparados com o propósito de transferir as novas abordagens produzidas para estudantes e profissionais de Engenharia de Software. Sobretudo, a oportunidade de colaboração entre as equipes, ambas especialistas na área de teste de software, deverá produzir resultados de extremo impacto social e econômico, dada a importância que a Computação e o desenvolvimento de software, com qualidade, têm na vida das pessoas e na economia dos países.
      Membro: Márcio Eduardo Delamaro.
      Este projeto de pesquisa visa contribuir com a área de teste de software por meio da proposição de novas estratégias, técnicas e critérios para apoiar o desenvolvimento de produtos de software modernos. A tecnologia de desenvolvimento de software evolui de forma cada vez mais rápida, abrangendo novos ambientes, novos domínios de aplicação e novas arquiteturas. Com a necessidade cada vez maior de garantir qualidade no produto de software, é necessário desenvolver e adaptar técnicas de teste que acompanhem essa evolução. Em particular, sistemas de Realidade Virtual, software concorrente, robôs móveis, requisitos não funcionais e controle de acesso são temas que serão abordados no presente projeto. Além do desenvolvimento de técnicas de teste nesses contextos, estudos experimentais serão realizados visando avaliar as novas propostas de modo a construir um corpo de conhecimento sobre avaliação de técnicas, critérios e ferramentas de teste de software. Ainda, material de ensino e treinamento sobre as abordagens estudadas devem ser preparados com o propósito de transferir as novas abordagens produzidas para estudantes e profissionais de Engenharia de Software. Sobretudo, a oportunidade de colaboração entre as equipes, ambas especialistas na área de teste de software, deverá produzir resultados de extremo impacto social e econômico, dada a importância que a Computação e o desenvolvimento de software, com qualidade, têm na vida das pessoas e na economia dos países.
      Membro: Jose Carlos Maldonado.
    18. 2020-2020. Um Catálogo de Recursos Educacionais para Apoiar Docentes de Teste de Software
      Ensinar a atividade de teste de software não é trivial, também pela dificuldade em elaborar exercícios práticos. Por outro lado, sabe-se que professores produzem recursos educacionais com conceitos, exemplos e atividades práticas sobre a atividade de teste. No entanto, a disseminação desses recursos dificulta a localização desse tipo de material. Este projeto visa estimular a divulgação de recursos educacionais da área de teste de software, objetos de aprendizagem, jogos educacionais, listas de exercícios), reunindo metadados dos mesmos em um único ambiente. Espera-se criar um catálogo inspirado na teoria do design, centrado no usuário, para conceber um sistema que facilite a localização dos recursos educacionais e estimule a reusabilidade desse tipo de material. Com este catálogo de recursos educacionais, espera-se beneficiar professores da área e encorajar autores a disponibilizar os seus recursos educacionais.
      Membro: Paulo Sérgio Lopes de Souza.
    19. 2021-2021. Projeto Siflor Cerrado: Desenvolvimento de Software de apoio ao Cultivo de Espécies Florestais no Cerrado Brasileiro
      Este projeto está sendo desenvolvido em parceria com pesquisadores da ESALQ/USP - Escola Superior de Agricultura Luiz de Queiroz. O projeto está inserido no Plano de Agricultura de Baixo Carbono do Ministério da Agricultura, Pecuária e Floresta, compreendendo as ações em que o componente florestal integra o sistema de produção. O projeto visa desenvolver um software/aplicativo que contemple informações relacionadas a clima, solo, altitude, etc., e apresente ao produtor rural informações sobre aptidão de diferentes espécies florestais/clones para cultivo na região do Cerrado Brasileiro. O software/aplicativo deverá apresentar ao público alvo, de forma amigável e usando recursos de informação geográfica (mapas e localização geográfica), as recomendações de espécies florestais adaptadas ao cultivo em sistema de monocultivo e de Integração Lavoura Pecuária e Floresta na região de abrangência do bioma Cerrado no Brasil, de acordo com as características de solo e clima da propriedade rural indicada.
      Membro: Paulo Sérgio Lopes de Souza.
    20. 2007-2007. Políticas de Escalonamento e Controle de Admissão para Servidores Web com Diferenciação de Serviço
      Este projeto tem por objetivo pesquisar e desenvolver novas tecnologias voltadas à QoS, no contexto Web Services.
      Membro: Paulo Sérgio Lopes de Souza.

      Membro: Júlio Cezar Estrella.
    21. 2010-2010. Teste de Aplicações Distribuídas: Desafios Usando o Paradigma de Passagem de Mensagens
      A computação distribuída é impulsionada constantemente por avanços tecnológicos que oferecem novas soluções e novos serviços. No centro dessa evolução há aspectos de software concorrente que norteiam o desenvolvimento de aplicações distribuídas. Apesar do uso intenso de processos concorrentes, observa-se uma grande carência de mecanismos e ferramentas de apoio para atividades de garantia de qualidade nesse contexto. O projeto interdisciplinar TestPar, em desenvolvimento no ICMC/USP, visa auxiliar a validação dessas aplicações e envolve pesquisadores da Engenharia de Software e de Sistemas Distribuídos. O TestPar investiga modelos e critérios de teste para fornecer uma medida de cobertura da atividade de teste no contexto de aplicações distribuídas. Este projeto de pós-doutorado dá continuidade às pesquisas realizadas pelo candidato no projeto TestPar. O objetivo deste projeto de pós-doutorado é investigar possíveis extensões aos modelos e critérios de teste aplicados aos processos concorrentes, permitindo que esses representem outras semânticas de primitivas de comunicação e sincronização, considerando passagem de mensagens. Atualmente apenas as semânticas de primitivas ponto-a-ponto bloqueantes foram investigadas no TestPar. Serão investigadas as semânticas das primitivas não bloqueantes, coletivas e também diferentes modos da primitiva send bloqueante e não bloqueante. Os principais resultados esperados são: a extensão do modelo e dos critérios de teste para processos concorrentes com primitivas de comunicação para passagem de mensagens, a implementação de tais extensões na ferramenta de teste ValiPar. Pretende-se realizar este pós-doutorado no grupo de pesquisa interdisciplinar IAM (Intelligence, Agents, Multimedia Group) da Universidade de Southampton/UK. O IAM destaca-se internacionalmente pelas suas pesquisas no desenvolvimento de grandes e complexos sistemas distribuídos, onde diferentes agentes interagem de maneira flexível para atingir suas metas.
      Membro: Paulo Sérgio Lopes de Souza.
    22. 2018-2018. CAPES - Auxílio à Pesquisa - PAEP - Organização do WSCAD 2018
      Projeto CAPES nr 88887.191254/2018-00 para o financiamento do 19o Simpósio em Sistemas Computacionais de Alto Desempenho - WSCAD 2018. O 19º Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD 2018) é um evento anual promovido pela Sociedade Brasileira de Computação (SBC), vinculado ao tradicional International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD). O SBAC-PAD é realizado a mais de duas décadas, sendo um ano no Brasil outro ano no exterior. O 19o WSCAD foi realizado separadamente do SBAC-PAD, e ocorreu em Lyon-FR de 24 a 27 de setembro de 2018. O WSCAD 2018 foi coordenado pela Universidade Presbiteriana Mackenzie e pelo Instituto de Ciências Matemáticas e de Computação da USP (ICMC/USP), e ocorreu na Universidade Presbiteriana Mackenzie, em São Paulo, de 01º a 03/10/2018. Os objetivos do WSCAD são promover o já tradicional encontro nacional de pesquisadores, estimular a cooperação entre a comunidade científica nacional e internacional, promover parcerias Universidade/Empresa, com a participação de empresas apoiadoras da P&D em CAD, proporcionar a formação de redes colaborativas multi-institucionais e investir na Formação de Recursos Humanos com o incentivo à participação de alunos (grad/pós). Sob o WSCAD também são realizados estes eventos: Workshop de Computação Heterogênea, Concurso de Teses e Dissertações, Workshop de Iniciação Científica, Workshop de Educação em Arquitetura de computadores e a Maratona de Programação Paralela.
      Membro: Paulo Sérgio Lopes de Souza.

Prêmios e títulos

  • Total de prêmios e títulos (1)
    1. Homenagem pelo reconhecimento ao trabalho como docente na disciplina SSC0903 - Computação de Alto Desempenho. Secretaria Acadêmica do Curso de Engenharia de Computação (SAECOMP) - ICMC/EESC. 2020.
      Membro: Paulo Sérgio Lopes de Souza.

Participação em eventos

  • Total de participação em eventos (29)
    1. I Congresso do Departamento de Sistemas de Computação do ICMC/USP. I Congresso do Departamento de Sistemas de Computação do ICMC/USP
    2. . XIII Congresso de Iniciação Científica e Tecnológica em Engenharia
    3. . 3o. Congresso de Graduação da Universidade de São Paulo
    4. XXI Congresso da Sociedade Brasileira de Computação - Apresentador da tese de doutorado AMIGO: uma Contribuição para a - Apresentador da tese de doutorado AMIGO: uma Contribuição para a Convergência na Área de Escalonamento de Processos no XIV CTD. XXI Congresso da Sociedade Brasileira de Computação, XIV CTD - Concurso de Teses e Dissertações
    5. XXII Congresso da Sociedade Brasileira de Computação. XXII Congresso da Sociedade Brasileira de Computação
    6. Jornadas Chilenas de Computacion, VI Worshop de Sistemas Distribuidos y Paralelismo. VI Workshop de Sistemas Distribuídos e Paralelismo
    7. III WSCAD/SBC - Worshop em Sistemas Computacionais de Alto Desempenho da Sociedade Brasileira de Computação. III WSCAD/SBC - Worshop em Sistemas Computacionais de Alto Desempenho da Sociedade Brasileira de Computação
    8. . XX Congresso da Sociedade Brasileira de Computação
    9. . Conferência Internacional de Software Livre
    10. . PROCOMP2003 - I Mostra de projetos em computação
    11. XXIII Congresso da Sociedade Brasileira de Computação. XXIII Congresso da Sociedade Brasileira de Computação
    12. Congresso anual da Sociedade Brasileira de Computação - SBC. XXIV Congresso da Sociedade Brasileira de Computação - SBC 2004
    13. Computação Embarcada: Projeto e Implementação de Veículos Autônomos Inteligentes (Curso JAI). XXV Congresso da Sociedade Brasileira de Computação - SBC 2005, JAI 2005 e ENIA 2005
    14. 1o. Congresso do Curso Interunidades Engenharia de Computação. 1o. Congresso do Curso Interunidades Engenharia de Computação
    15. A Utilização de Aprendizado Baseado em Equipes como Técnica de Aprendizagem Ativa em Programação Concorrente. 4o.Congresso de Graduação da Universidade de São Paulo
    16. . X BRAZILIAN CONFERENCE ON SOFTWARE: THEORY AND PRACTICE (CBSOFT 2019)
    17. ValiPVM - A Graphical Tool for Structural Testing of PVM Programs. 15th European PVM/MPI User's Group Meeting
    18. Web Services Composition Testing: a Strategy Based on Structural Testing of Parallel Programs. TAIC PART 2008 - Testing Academic and Industrial Conference - Practice and Research Techniques
    19. . II Congresso do Departamento de Sistemas de Computação do ICMC/USP
    20. Structural Testing for Semaphore-Based Multithread Programs. International Conference on Computer Science 2008
    21. Testing of Concurrent Programs and Amnesia Project. Workshop on Distributed Computing
    22. Teste de Aplicações de Alto Desempenho. V Escola Regional de Alto Desempenho de São Paulo - ERAD-SP 2014
    23. Mestrado Acadêmico, MEstrado Profissionalizante e o MErcado de Trabalho: Qual caminho seguir após a Graduação? (Mesa Redonda). 12a Semana da Computação
    24. . III Congresso do Departamento de Sistemas de Computação
    25. Aprendendo a Ensinar Sistemas Operacionais. 2o. Congresso de Graduação da Universidade de São Paulo
    26. Performance Evaluation of Container's Shared Volumes. 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
    27. . VII Congresso do Departamento de Sistemas de Computação (CongreSSC 2013),
    28. . VI Congresso do Departamento de Sistemas de Computaçãão
    29. Relacionando Conceitos de Áreas de Estudo de Desempenho da Ciência da Computação. XXXV Congresso da Sociedade Brasileira de Computação ( CSBC 2015)

Organização de eventos

  • Total de organização de eventos (17)
    1. . II Semana de Informática do Departamento de Informática da UEPG. Universidade Estadual de Ponta Grossa - UEPG. 1992. Organizacao
    2. . Ciclo de Palestras do SSC em 2013. SSC/ICMC/USP. 2013. Nao_informado
    3. . Comissão Organizadora do VII Congresso do Departamento de Sistemas de Computação - 2013. Universidade de São Paulo - SSC/ICMC/USP. 2013. Montagem
    4. . Programa de Eventos de Integração do SSC para 2013. Universidade de São Paulo - SSC/ICMC/USP. 2013. Organizacao
    5. . Comissão de Programa do WEI2004/SBC2004. Sociedade Brasileira de Computação - Porto Alegre. 2004. Organizacao
    6. . Comissão Organizadora do SBAC-PAD2004. Sociedade Brasileira de Computação - Porto Alegre. 2004. Organizacao
    7. . Comitê de Programa do Simpósio Brasileiro de Sistemas de Informação 2004. Sociedade Brasileira de Computação - Porto Alegre. 2004. Organizacao
    8. . Membro da Comissão Organizadora da Semana Comemorativa dos 20 Anos da Pós-Graduação em Ciência de Computação e Matemática Computacional do ICMSC/USP. Instituto de Ciências Matemáticas e de Computação Usp São Carlos. 1995. Organizacao
    9. . Organização do ProComp2003 - I Mostra de Projetos em Copmutação. Universidade Estadual de Ponta Grossa. 2003. Organizacao
    10. . Membro da Comissão Organizadora do ProComp2004 - II Mostra de Projetos em Computação. Universidade Estadual de Ponta Grossa. 2004. Organizacao
    11. . Workshop on Distributed Computing. Universidade de São Paulo. 2014. Organizacao
    12. . 7a. Escola Regional de Alto Desempenho de São Paulo - ERAD-SP 2016 (Coordenador Geral de Programa). Sociedade Brasileira de Computação - SBC. 2016. Organizacao
    13. . 8a Escola Regional de Alto Desempenho de São Paulo (ERAD-SP 2017). Sociedade Brasileira de Computação - SBC. 2017. Organizacao
    14. . Coordenador Geral do XIX Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD). ICMC/USP e Mackenzie. 2018. Organizacao
    15. . Coordenador de Programa do XXI Simpósio em Sistemas Computacionais de Alto Desempenho. Sociedade Brasileira de Computação. 2020. Organizacao
    16. . VII Simpósio Brasileiro de Teste de Software Sistemático e Automatizado - SAST2022. Sociedade Brasileira de Computação. 2022. Organizacao
    17. . Curso de Extensão Introdução à Linguagem C - Assessor de Coordenação. Universidade Estadual de Ponta Grossa - UEPG. 2001. Montagem

Lista de colaborações

  • Colaborações endôgenas (9)
    • Paulo Sérgio Lopes de Souza ⇔ Simone do Rocio Senger de Souza (63.0)
      1. SANTOS, I.; MELO, S. M.; SOUZA, P. S. L.; Souza, S. R. S. A survey on the practices of software testing: a look into Brazilian companies. JOURNAL OF SOFTWARE ENGINEERING RESEARCH AND DEVELOPMENT. v. 10, p. 1-15, 2022.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      2. DELAMARO, MÁRCIO E.; ANDRADE, STEVÃO A.; DE SOUZA, SIMONE R. S.; DE SOUZA, PAULO S. L.. Parallel Execution of Programs as a Support for Mutation Testing: A Replication Study. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING. v. 31, p. 337-380, 2021.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      3. DIAZ, S. M. D.; SOUZA, PAULO S. L.; SOUZA, S. R. S.. Structural testing for communication events into loops of message-passing parallel programs. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE. v. 1, p. 1-19, 2021.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      4. Brito, M.A.S.; SOUZA, S. R. S.; SOUZA, PAULO S. L.. Integration testing for robotic systems. SOFTWARE QUALITY JOURNAL (ONLINE). v. 1, p. 1-33, 2020.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      5. MELO, SILVANA M.; CARVER, JEFFREY C.; SOUZA, PAULO S.L.; SOUZA, SIMONE R.S.. Empirical research on concurrent software testing: A systematic mapping study. INFORMATION AND SOFTWARE TECHNOLOGY. v. 105, p. 226-251, 2019.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      6. BACHIEGA, N. G.; SOUZA, PAULO SERGIO LOPES DE; SOUZA, S. R. S.. The World Teaching of Parallel and Distributed Programming. INTERNATIONAL JOURNAL OF COMPUTER ARCHITECTURE EDUCATION. v. 8, p. 1-9, 2019.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      7. MELO, SILVANA MORITA; DE SOUZA, SIMONE DO ROCIO SENGER; SARMANHO, FELIPE SANTOS; SOUZA, Paulo Sergio Lopes de. Contributions for the structural testing of multithreaded programs: coverage criteria, testing tool, and experimental evaluation. SOFTWARE QUALITY JOURNAL. v. 26, p. 921-959, 2017.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      8. Silva, R.A.; SOUZA, S. R. S.; SOUZA, P. S. L.. A Systematic Review on Search Based Mutation Testing. Information and Software Technology. p. 1-19, 2016.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      9. SOUZA, S. R. S.; SOUZA, P. S. L.; BRITO, M. A. S.; SIMAO, A. S.; ZALUSKA, E. J.. Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs. Software Testing, Verification & Reliability. v. 25, p. n/a-n/a, 2015.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      10. SOUZA, PAULO S.L.; SOUZA, SIMONE R.S.; ZALUSKA, ED. Structural testing for message-passing concurrent programs: an-extended test model. Concurrency and Computation. v. 26, p. 21-50, 2014.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      11. SOUZA, S. R. S.; VERGILIO, Silvia Regina; SOUZA, Paulo Sergio Lopes de; SIMÃO, Adenilso da Silva; HAUSEN, Alexandre Ceolin. Structural Testing Criteria for Message-Passing Parallel Programs. Concurrency and Computation. Practice & Experience. v. 20, p. 1893-1916, 2008.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      12. KIKUTI, D.; SOUZA, Paulo Sérgio Lopes de; SOUZA, S. R. S.. Using Portable Monitoring for Heterougeneous Clusters on Window and Linux Operating Systems. Journal of Computer Science and Technology (La Plata. En línea). v. 3, n. 2, p. 15-21, 2003.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      13. ZAMBIANCO JUNIOR, Rivaldo Antonio; SOUZA, S. R. S.; SOUZA, Paulo Sérgio Lopes de. REACH-TREE: Uma Ferramenta para Geração de Árvore de Alcançabilidade para Sistemas Especificados em Estelle. REIC. Revista Eletrônica de Iniciação Científica. v. II, n. setembro, p. 1-10, 2002.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      14. GIACOMETTI, Cassiano; SOUZA, S. R. S.; SOUZA, Paulo Sérgio Lopes de. Teste de Mutação para a Validação de Aplicações Concorrentes usando PVM. REIC. Revista Eletrônica de Iniciação Científica. v. II, n. Setembro, p. -, 2002.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      15. SOUZA, S. R. S.; SOUZA, P. S. L.; Melo, S.M.; Silva, R.A.; Vergilio, S.R.. Teste de Programas Concorrentes. Em: Introdução ao Teste de Software - 2a ed.. 2 ed. : Elsevier. 2016.v. 1, p. 261-296.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      16. SOUZA, S. R. S.; VERGÍLIO, Silvia Regina; SOUZA, Paulo Sérgio Lopes de. Teste de Programas Concorrentes. Em: Introdução ao Teste de Software. 1 ed. : Elsevier Editora LTDA - Campus - SBC. 2007.v. 1, p. 231-248.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      17. SANTOS, ITALO; FURLANETTI, ANDRE B. P.; MELO, SILVANA M.; DE SOUZA, PAULO SERGIO LOPES; DELAMARO, MÁRCIO E.; Souza, Simone R. S.. Contributions to improve the combined selection of concurrent software testing techniques. Em: SAST 20: 5th Brazilian Symposium on Systematic and Automated Software Testing, p. 69-78, 2020.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      18. BACHIEGA, NAYLOR G.; DE SOUZA, PAULO S. L.; BRUSCHI, SARITA M.; DE SOUZA, SIMONE DO R. S.. Performance Evaluation of Container?s Shared Volumes. Em: 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), v. 1, p. 114-123, 2020.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      19. SANTOS, ITALO; MELO, SILVANA MORITA; LOPES DE SOUZA, PAULO SERGIO; Souza, Simone R. S.. Towards a unified catalog of attributes to guide industry in software testing technique selection. Em: 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), v. 1, p. 398-407, 2020.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      20. SANTIAGO C. PINTO, VICTOR HUGO; Souza, Simone R. S.; SOUZA, PAULO S. L.. A Preliminary Fault Taxonomy for Multi-tenant SaaS Systems. Em: 2019 19th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID), v. 1, p. 178-187, 2019.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      21. DIAZ, S. M. D.; DE SOUZA, PAULO SERGIO L.; SOUZA, S. R. S.. A structural testing tool for MPI programs with loops. Em: Simpósio de Sistemas Computacionais de Alto Desempenho WSCAD, v. 1, p. 1-12, 2019.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      22. SANTOS, ITALO; MELO, SILVANA M.; DE SOUZA, PAULO SERGIO LOPES; Souza, Simone R. S.. Testing Techniques Selection: A Systematic Mapping Study. Em: XXXIII Brazilian Symposium on Software Engineering (SBES 2019), v. 1, p. 347-356, 2019.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      23. BACHIEGA, NAYLOR G.; SOUZA, PAULO S. L.; BRUSCHI, SARITA M.; DE SOUZA, SIMONE DO R. S.. Container-Based Performance Evaluation: A Survey and Challenges. Em: 2018 IEEE International Conference on Cloud Engineering (IC2E), v. 1, p. 398-403, 2018.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      24. BACHIEGA, NAYLOR GARCIA; SOUZA, PAULO LOPES DE; BRUSCHI, SARITA; SOUZA, SIMONE. Um Panorama do Ensino de Programação Paralela e Distribuída em Universidades Brasileiras. Em: IV Workshop de Ensino em Pensamento Computacional, Algoritmos e Programação (WAlgProg 2018), pertencente ao Congresso Brasileiro de Informática na Educação (CBIE 2018), v. 1, p. 480-, 2018.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      25. BACHIEGA, N. G.; SOUZA, P. S. L.; BRUSCHI, Sarita Mazzini; SOUZA, S. R. S.. Mapeamento Sistemático do Ensino Teórico e Prático de Programação Paralela. Em: CBIE - Congresso Brasileiro de Informática na Educação, v. 6, p. 1089-1098, 2017.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      26. VILELA, Ricardo F.; SOUZA, Paulo Sergio L.; DELAMARO, Márcio Eduardo; SOUZA, Simone do Rocio Senger. Evidências sobre Configurações de Algoritmos Genéticos para Geração Automática de Dados de Teste. Em: 13th Experimental Software Engineering Latin America Workshop (ESELAW 2016), v. 1, p. 242-255, 2016.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      27. BRITO, M. A. S.; SANTOS, M. P.; SOUZA, S. R. S.; Souza, P. S. L.. A Systematic Mapping of Data Generation for Integration Software Testing. Em: 13th Experimental Software Engineering Latin America Workshop (ESELAW 2016), v. 1, p. 229-241, 2016.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      28. PRADO, R. R.; SOUZA, P. S. L.; SOUZA, S. R. S.; DOURADO, G. G. M.; BATISTA, R. N.. ValiPar Service: Structural Testing of Concurrent Programs as a Web Service Composition. Em: International Conference on Information Technology: New Generationsy (ITNG 2016), v. 448, p. 581-590, 2016.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      29. Pinto, V. H. S. C.; Luz, H. J. F.; OLIVEIRA, R. R.; SOUZA, PAULO S. L.; Souza, S.R.S.. A Systematic Mapping Study on the Multi-tenant Architecture of SaaS Systems. Em: The 28th International Conference on Software Engineering & Knowledge Engineering (SEKE 2016), v. 1, p. 1-6, 2016.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      30. OLIVEIRA, ALEXANDRE P.; SOUZA, PAULO S. L.; Souza, Simone R. S.. ValiErlang. Em: the 1st Brazilian Symposium, v. 1, p. 1-10, 2016.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      31. SOUZA, PAULO S. L.; Batista, R. N.; SOUZA, SIMONE R. S.; PRADO, RAFAEL R.; DOURADO, GEORGE G. M.; ESTRELLA, JULIO C.. Trace Generation and Deterministic Execution for Concurrent Programs. Em: XVII Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD 2016), v. 1, p. 240-251, 2016.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      32. OLIVEIRA, A. P.; SOUZA, Paulo Sérgio Lopes de; Souza, S. R. S; ESTRELLA, J. C.; BRUSCHI, Sarita Mazzini. A Systematic Mapping about Testing of Functional Programs. Em: International Conference on Software Engineering Research and Practice (SERP), v. 1, p. 27-30, 2015.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      33. PRADO, RAFAEL R.; SOUZA, PAULO S. L.; DOURADO, GEORGE G. M.; Souza, Simone R. S.; ESTRELLA, JULIO C.; BRUSCHI, SARITA M.; LOURENCO, JOAO. Extracting static and dynamic structural information from java concurrent programs for coverage testing. Em: 2015 XLI Latin American Computing Conference (CLEI), v. 1, p. 667-674, 2015.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      34. OLIVEIRA, A. P.; SOUZA, P. S. L.; SOUZA, S. R. S.; ESTRELLA, J. C.; BRUSCHI, Sarita Mazzini. Teste estrutural aplicado à linguagem funcional Erlang. Em: 9th Brazilian Workshop on Systematic and Automated Software Testing, v. 1, p. 41-50, 2015.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      35. Brito, M. A. S.; SANTOS, M. P.; SOUZA, Paulo Sergio Lopes de; Souza, S. R. S. Integration testing criteria for mobile robotic systems. Em: The 27th International Conference on Software Engineering and Knowledge Engineering, v. 1, p. 182-187, 2015.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      36. Pinto, V. H. S. C.; Souza, S.R.S.; SOUZA, PAULO S. L.. Estudo e definição de uma estratégia sistemática de teste para aplicações na nuvem. Em: V Workshop de Teses e Dissertações do CBSoft, v. 1, p. 1-7, 2015.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      37. MELO, SILVANA M.; SOUZA, SIMONE R. S.; SILVA, RODOLFO A.; SOUZA, PAULO S. L.. Concurrent Software Testing in Practice: A Catalog of Tools. Em: Workshop on Automated Software Testing, v. 1, p. 31-40, 2015.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      38. SILVA, J. D. P.; Souza, S.R.S.; SOUZA, PAULO S. L.. Geração Automática de Dados de teste para Programas Concorrentes com o uso de meta-heurística. Em: Brazilian Workshop on Systematic and Automated Software Testing, co alocado ao Congresso Brasileiro de Software (CBSoft), v. 1, p. 71-80, 2014.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      39. Souza, P. S. L.; SOUZA, S. R. S.; ROCHA, M. G.; PRADO, R. R.; BATISTA, R. N.. Data flow testing in concurrent programs with message-passing and shared-memory paradigms. Em: International Conference on Computational Science, ICCS 2013., v. 18, p. 149-158, 2013.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      40. Brito, M. A. S.; SOUZA, S. R. S.; SOUZA, Paulo Sérgio Lopes de. An Empirical Evaluation of the Cost and Effectiveness of Structural Testing Criteria for Concurrent Programs. Em: International Conference on Computational Science, ICCS 2013., v. 18, p. 250-259, 2013.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      41. Silva, R A; SOUZA, S. R. S.; Souza, P. S. L.. Utilizando uma Arquitetura de Referência para Apoiar o Desenvolvimento de uma Ferramenta de Teste de Programas Concorrentes. Em: 10th CONTECSI International Conference on Information Systems and Technology Management, v. 1, p. 862-878, 2013.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      42. Silva, R A; SOUZA, S. R. S.; Souza, P. S. L.. Mutation Operators for Concurrent Programs in MPI. Em: 13th IEEE Latin American Test Workshop, v. 1, p. 69-64, 2012.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      43. Silva, R A; SOUZA, S. R. S.; Souza, P. S. L.. Execução Determinística de Programas Concorrentes Durante o Teste de Mutação. Em: VI Workshop Brasileiro de Teste de Software Sistemático e Automatizado, co-alocado ao CBSOFT2012, v. 1, p. 1-10, 2012.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      44. SOUZA, S. R. S.; Souza, P. S. L.; Machado, M C C; Camillo, M S; Simão, A.S.; Zaluska, E. Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality. Em: 23rd International Conference on Software Engineering and Knowledge Engineering, v. 1, p. 207-212, 2011.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      45. SOUZA, Paulo Sergio Lopes de; Sawabe, E. T.; SIMÃO, Adenilso da Silva; VERGILIO, Silvia Regina; SOUZA, S. R. S.. ValiPVM - A Graphical Tool for Structural Testing of PVM Programs. Em: 15th European PVM/MPI Users' Group Meeting, v. 5205, p. 257-264, 2008.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      46. Endo, A.T.; SIMÃO, Adenilso da Silva; SOUZA, S. R. S.; SOUZA, Paulo Sérgio Lopes de. Web Services Composition Testing: A Strategy Based on Structural Testing of Parallel Programs. Em: TAIC PART 2008 - Testing: Academic and Industrial Conference - Practice and Research Techniques, v. 1, p. 3-12, 2008.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      47. Sarmanho, F.S.; SOUZA, Paulo Sérgio Lopes de; SOUZA, S. R. S.; SIMÃO, Adenilso da Silva. Structural Testing for Semaphore-Based Multithread Programs. Em: International Conference on Computational Science ICCS2008, v. 5101, p. 337-346, 2008.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      48. HAUSEN, Alexandre Ceolin; VERGÍLIO, Silvia Regina; SOUZA, S. R. S.; SOUZA, Paulo Sérgio Lopes de; SIMÃO, Adenilso da Silva. A Tool for Structural Testing of MPI Programs. Em: 8th LATW - IEEE Latin-American Test Workshop, v. 1, p. 1-6, 2007.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      49. Endo, A.T.; SIMÃO, Adenilso da Silva; SOUZA, S. R. S.; SOUZA, Paulo Sergio Lopes de. Aplicação de Teste Estrutural para Composição de Web Services. Em: Brazilian Workshop on Systematic and Automated Software Testing (SAST?2007) - collocated with XXI Simpósio Brasileiro de Engenharia de Software, v. 1, p. 13-20, 2007.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      50. SOUZA, S. R. S.; VERGÍLIO, Silvia Regina; SOUZA, Paulo Sergio Lopes de; SIMÃO, Adenilso da Silva; BLISCOSQUE, Thiago Gonçalves; LIMA, Alexandre de Melo; HAUSEN, Alexandre Ceolin. ValiPar: A Testing Tool for Message-Passing Parallel Programs. Em: 17th International Conference on Software Engineering & Knowledge Engineering SEKE2005, v. I, p. 386-391, 2005.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      51. VERGÍLIO, Silvia Regina; SOUZA, S. R. S.; SOUZA, Paulo Sergio Lopes de. Coverage Testing Criteria for Message-Passing Parallel Programs. Em: 6th IEEE Latin-American Test Workshop - LATW2005, v. 1, p. 161-166, 2005.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      52. BRITTO JR, A. S.; SOUZA, Paulo Sérgio Lopes de; SABOURIN, R.; SOUZA, S. R. S.; BORGES, D. L.. A Low-Cost Parallel K-Means VQ Algorithm Using Cluster Computing. Em: International Conference on Document Analysis and Recognition, v. 1, p. 839-843, 2003.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      53. KIKUTI, D.; SOUZA, Paulo Sérgio Lopes de; SOUZA, S. R. S.. XPVM-W95 - A Performance Monitoring Tool for PVM Clusters on Windows Operating Systems. Em: XXII International Conference of the Chilean Computer Science Society - VI Workshop on Distributed Systems and Parallelism, v. 1, p. 1-10, 2002.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      54. SOUZA, Paulo Sergio Lopes de; SANTANA, M. J.; SANTANA, R. C.; SOUZA, S. R. S.. Parallel Virtual Machine for Windows95. Em: Third European PVM Conference - EuroPVM'96, v. 1156, p. 288-295, 1996.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      55. MELO, SILVANA MORITA; DE SOUZA, SIMONE DO ROCIO SENGER; DE SOUZA, PAULO SERGIO LOPES; CARVER, JEFFREY C.. How to test your concurrent software: an approach for the selection of testing techniques. Em: SIGPLAN International Workshop on Software Engineering for Parallel Systems, v. 1, p. 42-43, 2017.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      56. MELO, S. M.; SOUZA, S. R. S.; Souza, P. S. L.. Structural Testing for Multithreaded Programs: an Experimental Evaluation of the Cost, Strength and Effectiveness. Em: 24th International Conference on Software Engineering and Knowledge Engineering (SEKE2012), v. 1, p. 476-479, 2012.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      57. Souza, Simone R. S.; BRITO, MARIA A. S.; SILVA, RODOLFO A.; SOUZA, PAULO S. L.; ZALUSKA, ED. Research in Concurrent Software Testing: A Systematic Review. Em: Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging - International Symposium on Software Testing and Analysis (ISSTA 2011), v. 1, p. 1-5, 2011.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      58. Sarmanho, F.S.; SOUZA, Paulo Sergio Lopes de; SOUZA, S. R. S.; SIMÃO, Adenilso da Silva. Aplicação de Teste Estrutural para Programas Multithreads Baseados em Semáforos. Em: Workshop on Languages and Tools for Parallel and Distributed Programming (LTPD´2007) collocated with 19th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2007), v. 1, p. 18-21, 2007.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      59. HAUSEN, Ac; VERGÍLIO, S; SOUZA, S. R. S.; SOUZA, Paulo Sergio Lopes de; SIMÃO, Adenilso da Silva. ValiMPI: Uma Ferramenta para o Teste de Programas Paralelos. Em: Sessão de Ferramentas - Simpósio Brasileiro de Engenharia de Software, v. I, p. 7-12, 2006.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      60. BRUNO FILHO, João Walter; SOUZA, S. R. S.; SOUZA, Paulo Sérgio Lopes de. Implementação de Recursos para Extração de Requisitos de Teste de Programas Paralelos em PVM (resumo de IC). 2004. XIII Encontro Anual de Iniciação Científica. (Publicação em evento de iniciação científica)
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      61. LIMA, Alexandre de Melo; GONÇALVES, Thiago Bliscosque; SOUZA, S. R. S.; SOUZA, Paulo Sérgio Lopes de; VERGÍLIO, Silvia Regina. Implementação de Recursos para Extrair Informações de Troca de Mensagens de Aplicações Paralelas em PVM (resumo de IC). 2004. XIII Encontro Anual de Iniciação Científica. (Publicação em evento de iniciação científica)
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      62. GONÇALVES, Thiago Bliscosque; LIMA, Alexandre de Melo; SOUZA, S. R. S.; SOUZA, Paulo Sérgio Lopes de; VERGÍLIO, Silvia Regina. Implementação de Recursos para Instrumentação de Programas Paralelos em PVM (resumo de IC). 2004. XIII Encontro Anual de Iniciação Científica. (Publicação em evento de iniciação científica)
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      63. . Coordenador de sessão no ii encontro de pesquisa da uepg. 2002.
        [ busca Google | busca Bing ]

    • Paulo Sérgio Lopes de Souza ⇔ Sarita Mazzini Bruschi (19.0)
      1. Cacho, C. E. A.; SOUZA, P. S. L.; BRUSCHI, S. M.; BARBOSA, E. F.; TIOSSO, F.. Amnesia: um Recurso Educacional Aberto para o Ensino de Memoria Virtual. INTERNATIONAL JOURNAL OF COMPUTER ARCHITECTURE EDUCATION. v. 5, p. 13-18, 2016.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      2. SOUZA, Paulo Sérgio Lopes de; Hitoshi, F.; SANTANA, Marcos José; SANTANA, Regina Helena Carlucci; BRUSCHI, Sarita Mazzini; BRANCO, K. R. L. J. C.. Applying the Heterogeneity Level Metric in a Distributed Platform. INFOCOMP (UFLA. Impresso). v. 10, p. 17-25, 2011.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      3. BACHIEGA, NAYLOR G.; DE SOUZA, PAULO S. L.; BRUSCHI, SARITA M.; DE SOUZA, SIMONE DO R. S.. Performance Evaluation of Container?s Shared Volumes. Em: 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), v. 1, p. 114-123, 2020.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      4. CONTE, DAVI JOSE; DE SOUZA, PAULO SERGIO LOPES; MARTINS, GUILHERME; BRUSCHI, SARITA MAZZINI. Teaching Parallel Programming for Beginners in Computer Science. Em: 2020 IEEE Frontiers in Education Conference (FIE), v. 1, p. 1-9, 2020.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      5. MARTINS, GUILHERME; LOPES DE SOUZA, PAULO SERGIO; JOSE CONTE, DAVI; BRUSCHI, SARITA MAZZINI. Learning Parallel Programming Through Programming Challenges. Em: 2020 IEEE Frontiers in Education Conference (FIE), v. 1, p. 1-9, 2020.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      6. DE JESUS OLIVEIRA DURAES, THIAGO; SERGIO LOPES DE SOUZA, PAULO; MARTINS, GUILHERME; JOSE CONTE, DAVI; GARCIA BACHIEGA, NAYLOR; MAZZINI BRUSCHI, SARITA. Research on Parallel Computing Teaching: state of the art and future directions. Em: 2020 IEEE Frontiers in Education Conference (FIE), v. 1, p. 1-9, 2020.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      7. BACHIEGA, NAYLOR G.; SOUZA, PAULO S. L.; BRUSCHI, SARITA M.; DE SOUZA, SIMONE DO R. S.. Container-Based Performance Evaluation: A Survey and Challenges. Em: 2018 IEEE International Conference on Cloud Engineering (IC2E), v. 1, p. 398-403, 2018.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      8. SEGURA, DANILO COSTA MARIM; STABILE, RAFAEL DE SOUZA; BRUSCHI, SARITA MAZZINI; SOUZA, PAULO SERGIO LOPES DE. Providing Computing Services through Mobile Devices in a Collaborative Way - A Fog Computing Case Study. Em: 20th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM'17), v. 1, p. 117-121, 2017.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      9. CACHO, CARLOS E. A.; SOUZA, PAULO S. L.; BRUSCHI, SARITA M.; BARBOSA, ELLEN F.; TIOSSO, FERNANDO. An interactive approach for the teaching of virtual memory using open educational resources. Em: 31st ACM Symposium on Applied Computing (ACM SAC 2016), v. 1, p. 225-231, 2016.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      10. TIOSSO, FERNANDO; BRUSCHI, SARITA MAZZINI; SOUZA, PAULO S.; BARBOSA, ELLEN; DE ANDRADE CACHO, CARLOS EMILIO. Amnesia: A learning object for memory hierarchy teaching. Em: 2015 IEEE Frontiers in Education Conference (FIE), v. 1, p. 1558-1564, 2015.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      11. PRADO, RAFAEL R.; SOUZA, PAULO S. L.; DOURADO, GEORGE G. M.; Souza, Simone R. S.; ESTRELLA, JULIO C.; BRUSCHI, SARITA M.; LOURENCO, JOAO. Extracting static and dynamic structural information from java concurrent programs for coverage testing. Em: 2015 XLI Latin American Computing Conference (CLEI), v. 1, p. 667-674, 2015.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      12. OLIVEIRA, A. P.; SOUZA, P. S. L.; SOUZA, S. R. S.; ESTRELLA, J. C.; BRUSCHI, Sarita Mazzini. Teste estrutural aplicado à linguagem funcional Erlang. Em: 9th Brazilian Workshop on Systematic and Automated Software Testing, v. 1, p. 41-50, 2015.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      13. TIOSSO, FERNANDO; BRUSCHI, SARITA MAZZINI; LOPES DE SOUZA, PAULO SERGIO; BARBOSA, ELLEN FRANCINE. Amnesia: um Objeto de Aprendizagem para o Ensino de Hierarquia de Memória. Em: 25º Simpósio Brasileiro de Informática na Educação (SBIE 2014), v. 1, p. 80-89, 2014.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      14. SCHAEFER, MARCO; BACHIEGA, NAYLOR GARCIA; SOUZA, PAULO LOPES; BRUSCHI, SARITA. Avaliação do Docker Volume e do NFS no Compartilhamento de Sistemas de Arquivos em Contêineres. Em: Simpósio de Sistemas Computacionais de Alto Desempenho - WSCAD, v. 1, p. 446-, 2019.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      15. Dourado, G. G. M.; SOUZA, PAULO S. L.; PRADO, RAFAEL R.; Batista, R. N.; Souza, S.R.S.; Estrella, J.C.; Bruschi, S.M.; Lourenço, J. M. S.. A Suite of Java Message-passing Benchmarks to Support the Validation of Testing Models, Criteria and Tools. Em: The International Conference on Computational Science (ICCS 2016), v. 80, p. 2226-2230, 2016.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      16. Stabile, R. S.; Bruschi, S.M.; SOUZA, PAULO S. L.. Unificando Conceitos de Desempenho de diferentes áreas da Ciência da Computação para a Análise de Sistemas Computacionais. Em: VI Escola Regional de Alto Desempenho de São Paulo, v. 1, p. 1-4, 2015.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      17. Stabile, R. S.; Bruschi, S.M.; SOUZA, PAULO S. L.. Relacionando Conceitos de Áreas de Estudo de Desempenho da Ciência da Computação. Em: XIV Workshop em Desempenho de Sistemas Computacionais e de Comunicação, v. 1, p. 1-5, 2015.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      18. SANTOS, J. H.; SOUZA, P. S. L.; BRUSCHI, S. M.; Souza, S. R. S.. Amnésia: Um Simulador de Hierarquia de Memória - Módulo Processador. 2007. . (I workshop de iniciação científica e tecnológica da computação (wict-comp))
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      19. BUZo, G. R.; BRUSCHI, S. M.; SOUZA, P. S. L.; Souza, S. R. S.. Amnésia: Um Simulador de Hierarquia de Memória - Módulo Memória Virtual. 2007. . (I workshop de iniciação científica e tecnológica da computação (wict-comp))
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

    • Paulo Sérgio Lopes de Souza ⇔ Adenilso da Silva Simão (9.0)
      1. SOUZA, S. R. S.; SOUZA, P. S. L.; BRITO, M. A. S.; SIMAO, A. S.; ZALUSKA, E. J.. Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs. Software Testing, Verification & Reliability. v. 25, p. n/a-n/a, 2015.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      2. SOUZA, S. R. S.; VERGILIO, Silvia Regina; SOUZA, Paulo Sergio Lopes de; SIMÃO, Adenilso da Silva; HAUSEN, Alexandre Ceolin. Structural Testing Criteria for Message-Passing Parallel Programs. Concurrency and Computation. Practice & Experience. v. 20, p. 1893-1916, 2008.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      3. SOUZA, S. R. S.; Souza, P. S. L.; Machado, M C C; Camillo, M S; Simão, A.S.; Zaluska, E. Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality. Em: 23rd International Conference on Software Engineering and Knowledge Engineering, v. 1, p. 207-212, 2011.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      4. SOUZA, Paulo Sergio Lopes de; Sawabe, E. T.; SIMÃO, Adenilso da Silva; VERGILIO, Silvia Regina; SOUZA, S. R. S.. ValiPVM - A Graphical Tool for Structural Testing of PVM Programs. Em: 15th European PVM/MPI Users' Group Meeting, v. 5205, p. 257-264, 2008.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      5. Endo, A.T.; SIMÃO, Adenilso da Silva; SOUZA, S. R. S.; SOUZA, Paulo Sérgio Lopes de. Web Services Composition Testing: A Strategy Based on Structural Testing of Parallel Programs. Em: TAIC PART 2008 - Testing: Academic and Industrial Conference - Practice and Research Techniques, v. 1, p. 3-12, 2008.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      6. Sarmanho, F.S.; SOUZA, Paulo Sérgio Lopes de; SOUZA, S. R. S.; SIMÃO, Adenilso da Silva. Structural Testing for Semaphore-Based Multithread Programs. Em: International Conference on Computational Science ICCS2008, v. 5101, p. 337-346, 2008.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      7. HAUSEN, Alexandre Ceolin; VERGÍLIO, Silvia Regina; SOUZA, S. R. S.; SOUZA, Paulo Sérgio Lopes de; SIMÃO, Adenilso da Silva. A Tool for Structural Testing of MPI Programs. Em: 8th LATW - IEEE Latin-American Test Workshop, v. 1, p. 1-6, 2007.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      8. Endo, A.T.; SIMÃO, Adenilso da Silva; SOUZA, S. R. S.; SOUZA, Paulo Sergio Lopes de. Aplicação de Teste Estrutural para Composição de Web Services. Em: Brazilian Workshop on Systematic and Automated Software Testing (SAST?2007) - collocated with XXI Simpósio Brasileiro de Engenharia de Software, v. 1, p. 13-20, 2007.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      9. SOUZA, S. R. S.; VERGÍLIO, Silvia Regina; SOUZA, Paulo Sergio Lopes de; SIMÃO, Adenilso da Silva; BLISCOSQUE, Thiago Gonçalves; LIMA, Alexandre de Melo; HAUSEN, Alexandre Ceolin. ValiPar: A Testing Tool for Message-Passing Parallel Programs. Em: 17th International Conference on Software Engineering & Knowledge Engineering SEKE2005, v. I, p. 386-391, 2005.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

    • Paulo Sérgio Lopes de Souza ⇔ Júlio Cezar Estrella (6.0)
      1. NUNES, L. H.; ESTRELLA, J.C.; FERREIRA, C. H. G.; NAKAMURA, L. H. V.; LIBARDI, R. M. O.; OLIVEIRA, E. M.; KUEHNE, B. T.; SOUZA, P. S. L.; SANTANA, R. H. C.; SANTANA, M. J.; REIFF-MARGANIEC, S.. DCA-SERVICES: a Distributed and Collaborative Architecture for Conducting Experiments in Service Oriented Systems. International Journal of Services Computing. v. 3, p. 14-28, 2015.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      2. SOUZA, PAULO S. L.; SANTANA, REGINA H. C.; SANTANA, MARCOS J.; ZALUSKA, ED; FAICAL, BRUNO S.; ESTRELLA, JULIO C.. Load Index Metrics for an Optimized Management of Web Services: A Systematic Evaluation. Plos One. v. 8, p. e68819-, 2013.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      3. OLIVEIRA, A. P.; SOUZA, Paulo Sérgio Lopes de; Souza, S. R. S; ESTRELLA, J. C.; BRUSCHI, Sarita Mazzini. A Systematic Mapping about Testing of Functional Programs. Em: International Conference on Software Engineering Research and Practice (SERP), v. 1, p. 27-30, 2015.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      4. PRADO, RAFAEL R.; SOUZA, PAULO S. L.; DOURADO, GEORGE G. M.; Souza, Simone R. S.; ESTRELLA, JULIO C.; BRUSCHI, SARITA M.; LOURENCO, JOAO. Extracting static and dynamic structural information from java concurrent programs for coverage testing. Em: 2015 XLI Latin American Computing Conference (CLEI), v. 1, p. 667-674, 2015.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      5. OLIVEIRA, A. P.; SOUZA, P. S. L.; SOUZA, S. R. S.; ESTRELLA, J. C.; BRUSCHI, Sarita Mazzini. Teste estrutural aplicado à linguagem funcional Erlang. Em: 9th Brazilian Workshop on Systematic and Automated Software Testing, v. 1, p. 41-50, 2015.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      6. OLIVEIRA, EDVARD MARTINS; ESTRELLA, JULIO CEZAR; KUEHNE, BRUNO TARDIOLE; FILHO, DIONISIO MACHADO LEITE; ADAMI, LUCAS JUNQUEIRA; NUNES, LUIZ HENRIQUE; NAKAMURA, LUIS HIDEO; LIBARDI, RAFAEL MIRA; SOUZA, PAULO SERGIO LOPES; REIFF-MARGANIEC, STEPHAN. Design and implementation of fault tolerance techniques to improve QoS in SOA. Em: 2014 10th International Conference on Network and Service Management (CNSM), p. 37-45, 2014.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

    • Paulo Sérgio Lopes de Souza ⇔ Ellen Francine Barbosa (5.0)
      1. Cacho, C. E. A.; SOUZA, P. S. L.; BRUSCHI, S. M.; BARBOSA, E. F.; TIOSSO, F.. Amnesia: um Recurso Educacional Aberto para o Ensino de Memoria Virtual. INTERNATIONAL JOURNAL OF COMPUTER ARCHITECTURE EDUCATION. v. 5, p. 13-18, 2016.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      2. CACHO, CARLOS E. A.; SOUZA, PAULO S. L.; BRUSCHI, SARITA M.; BARBOSA, ELLEN F.; TIOSSO, FERNANDO. An interactive approach for the teaching of virtual memory using open educational resources. Em: 31st ACM Symposium on Applied Computing (ACM SAC 2016), v. 1, p. 225-231, 2016.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      3. FIORAVANTI, M. L.; KAMADA, M. K.; SOUZA, P. S. L.; BARBOSA, E. F.. I3S Simulator: An Open Educational Resource for Teaching Scheduling in Interactive Systems. Em: XXI Congreso Internacional de Informática Educativa (TISE 2016), v. 1, p. 1-12, 2016.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      4. TIOSSO, FERNANDO; BRUSCHI, SARITA MAZZINI; SOUZA, PAULO S.; BARBOSA, ELLEN; DE ANDRADE CACHO, CARLOS EMILIO. Amnesia: A learning object for memory hierarchy teaching. Em: 2015 IEEE Frontiers in Education Conference (FIE), v. 1, p. 1558-1564, 2015.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      5. TIOSSO, FERNANDO; BRUSCHI, SARITA MAZZINI; LOPES DE SOUZA, PAULO SERGIO; BARBOSA, ELLEN FRANCINE. Amnesia: um Objeto de Aprendizagem para o Ensino de Hierarquia de Memória. Em: 25º Simpósio Brasileiro de Informática na Educação (SBIE 2014), v. 1, p. 80-89, 2014.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

    • Paulo Sérgio Lopes de Souza ⇔ Márcio Eduardo Delamaro (3.0)
      1. DELAMARO, MÁRCIO E.; ANDRADE, STEVÃO A.; DE SOUZA, SIMONE R. S.; DE SOUZA, PAULO S. L.. Parallel Execution of Programs as a Support for Mutation Testing: A Replication Study. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING. v. 31, p. 337-380, 2021.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      2. SANTOS, ITALO; FURLANETTI, ANDRE B. P.; MELO, SILVANA M.; DE SOUZA, PAULO SERGIO LOPES; DELAMARO, MÁRCIO E.; Souza, Simone R. S.. Contributions to improve the combined selection of concurrent software testing techniques. Em: SAST 20: 5th Brazilian Symposium on Systematic and Automated Software Testing, p. 69-78, 2020.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      3. VILELA, Ricardo F.; SOUZA, Paulo Sergio L.; DELAMARO, Márcio Eduardo; SOUZA, Simone do Rocio Senger. Evidências sobre Configurações de Algoritmos Genéticos para Geração Automática de Dados de Teste. Em: 13th Experimental Software Engineering Latin America Workshop (ESELAW 2016), v. 1, p. 242-255, 2016.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

    • Paulo Sérgio Lopes de Souza ⇔ Alexandre Cláudio Botazzo Delbem (2.0)
      1. LIMA, T. W.; CALIRI, A.; Silva, F. L. B.; TINOS, R.; TRAVIESO, G.; SILVA, I. N.; SOUZA, P. S. L.; MARQUES, Eduardo; DELBEM, A. C. B.; BONATO, Vanderlei; FACCIOLI, R.; BRASIL, C. R. S.; GABRIEL, P. H. R.; DO O, V. T.; BONETTI, D. R. F.. Some Modeling Issues for Protein Structure Prediction using Evolutionary Algorithms.. Em: Evolutionary Computation. 1 ed. : In-Teh. 2009.v. 9, p. 153-178.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
      2. BONETTI, D. R. F.; DELBEM, A. C. B.; TRAVIESO, G.; SOUZA, P. S. L.. Optimizing Van der Waals calculi using Cell-lists and MPI. Em: Evolutionary Computation (CEC), 2010 IEEE Congress on Computational Intelligence, v. 1, p. 3657-3663, 2010.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

    • Paulo Sérgio Lopes de Souza ⇔ Kalinka Regina Lucas Jaquie Castelo Branco (1.0)
      1. SOUZA, Paulo Sérgio Lopes de; Hitoshi, F.; SANTANA, Marcos José; SANTANA, Regina Helena Carlucci; BRUSCHI, Sarita Mazzini; BRANCO, K. R. L. J. C.. Applying the Heterogeneity Level Metric in a Distributed Platform. INFOCOMP (UFLA. Impresso). v. 10, p. 17-25, 2011.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

    • Paulo Sérgio Lopes de Souza ⇔ Vanderlei Bonato (1.0)
      1. LIMA, T. W.; CALIRI, A.; Silva, F. L. B.; TINOS, R.; TRAVIESO, G.; SILVA, I. N.; SOUZA, P. S. L.; MARQUES, Eduardo; DELBEM, A. C. B.; BONATO, Vanderlei; FACCIOLI, R.; BRASIL, C. R. S.; GABRIEL, P. H. R.; DO O, V. T.; BONETTI, D. R. F.. Some Modeling Issues for Protein Structure Prediction using Evolutionary Algorithms.. Em: Evolutionary Computation. 1 ed. : In-Teh. 2009.v. 9, p. 153-178.
        [ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]




(*) Relatório criado com produções desde 1970 até 2023
Data de processamento: 08/03/2023 08:58:45