Parallel Virtual Machine for Windows95. - Marcos José Santana; Regina Helena Carlucci Santana; Paulo Sergio Lopes de Souza; Simone do Rócio Senger de Souza (PVM, 1996)

Evaluating Personal High Performance Computing with PVM on Windows and LINUX Environments. - Paulo S. L. Souza; Luciano José Senger; Marcos José Santana; Regina Helena Carlucci Santana (PVM/MPI, 1997)

A New Dynamical Scheduling Algorithm. - Aletéia Patrícia Favacho de Araújo; Marcos José Santana; Regina Helena Carlucci Santana; Paulo Sergio Lopes de Souza (PDPTA, 1999)

A New Scheduling Environment for Near-Optimal Performance. - Paulo Sergio Lopes de Souza; Marcos José Santana (PDPTA, 1999)

AMIGO: a contribution to the convergence in the area of process scheduling (AMIGO: Uma contribuição para a convergência na área de escalonamento de processos). - Paulo Sergio Lopes de Souza (2000)

A Low-Cost Parallel K-Means VQ Algorithm Using Cluster Computing. - Alceu de Souza Britto Jr.; Paulo Sergio Lopes de Souza; Robert Sabourin; Simone do Rócio Senger de Souza; Díbio Leandro Borges (ICDAR, 2003)

K-Means VQ algorithm using a low-cost parallel cluster computing. - Paulo Sergio Lopes de Souza; Alceu de Souza Britto Jr.; Robert Sabourin; Simone do Rócio Senger de Souza; Díbio Leandro Borges (Parallel and Distributed Computing and Networks, 2004)

ValiPar: A Testing Tool for Message-Passing Parallel Programs. - Simone do Rócio Senger de Souza; Silvia Regina Vergilio; Paulo Sergio Lopes de Souza; Adenilso da Silva Simão; Thiago Bliscosque Goncalves; Alexandre de Melo Lima; Alexandre Ceolin Hausen (SEKE, 2005)

Binary SCF: GAMESS improvements for energy evaluation based on SCF methods. - Jonathan de Matos; Eduardo Bortolato; Alexandre Camilo Jr.; João Angelo Martini; Ronaldo Augusto Lara Gonçalves; Paulo Sergio Lopes de Souza (Comput. Phys. Commun., 2006)

Structural Testing for Semaphore-Based Multithread Programs. - Felipe S. Sarmanho; Paulo Sergio Lopes de Souza; Simone do Rócio Senger de Souza; Adenilso da Silva Simão (ICCS (1), 2008)

ValiPVM - A Graphical Tool for Structural Testing of PVM Programs. - Paulo Sergio Lopes de Souza; Eduardo T. Sawabe; Adenilso da Silva Simão; Silvia Regina Vergilio; Simone do Rócio Senger de Souza (PVM/MPI, 2008)

Structural testing criteria for message-passing parallel programs. - Simone do Rócio Senger de Souza; Silvia Regina Vergilio; Paulo Sergio Lopes de Souza; Adenilso da Silva Simão; Alexandre Ceolin Hausen (Concurr. Comput. Pract. Exp., 2008)

Optimizing van der Waals calculi using Cell-lists and MPI. - Daniel Rodrigo Ferraz Bonetti; Alexandre C. B. Delbem; Gonzalo Travieso; Paulo Sergio Lopes de Souza (IEEE Congress on Evolutionary Computation, 2010)

Jerrymouse: A Tool for a Flexible and Dynamic Distribution of Web Service Requests. - Paulo Sergio Lopes de Souza; Bruno S. Faiçal; Marcos José Santana; Regina H. C. Santana; Jonathan de Matos; Ed Zaluska (IEEE SCC, 2011)

Research in concurrent software testing: a systematic review. - Simone do Rócio Senger de Souza; Maria A. S. Brito; Rodolfo A. Silva; Paulo Sergio Lopes de Souza; Ed Zaluska (PADTAD, 2011)

Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality. - Simone do Rócio Senger de Souza; Paulo Sergio Lopes de Souza; Mario C. C. Machado; Mário S. Camillo; Adenilso da Silva Simão; Ed Zaluska (SEKE, 2011)

Mutation operators for concurrent programs in MPI. - Rodolfo Adamshuk Silva; Simone do Rócio Senger de Souza; Paulo Sergio Lopes de Souza (LATW, 2012)

Structural Testing for Multithreaded Programs: An Experimental Evaluation of the Cost, Strength and Effectiveness. - Silvana M. Melo; Simone do Rócio Senger de Souza; Paulo Sergio Lopes de Souza (SEKE, 2012)

An Empirical Evaluation of the Cost and Effectiveness of Structural Testing Criteria for Concurrent Programs. - Maria A. S. Brito; Simone do Rócio Senger de Souza; Paulo Sergio Lopes de Souza (ICCS, 2013)

Data Flow Testing in Concurrent Programs with Message Passing and Shared Memory Paradigms. - Paulo Sergio Lopes de Souza; Simone do Rócio Senger de Souza; Murilo G. Rocha; Rafael R. Prado; Raphael Negrisoli Batista (ICCS, 2013)

Enhanced Van der Waals calculations in genetic algorithms for protein structure prediction. - Daniel Rodrigo Ferraz Bonetti; Alexandre C. B. Delbem; Gonzalo Travieso; Paulo Sergio Lopes de Souza (Concurr. Comput. Pract. Exp., 2013)

Design and implementation of fault tolerance techniques to improve QoS in SOA. - Edvard Martins de Oliveira; Júlio Cezar Estrella; Bruno Tardiole Kuehne; Dionisio Machado Leite Filho; Lucas Junqueira Adami; Luiz Henrique Nunes; Luis Hideo Vasconcelos Nakamura; Rafael Mira De Oliveira Libardi; Paulo Sergio Lopes de Souza; Stephan Reiff-Marganiec (CNSM, 2014)

Structural testing for message-passing concurrent programs: an extended test model. - Paulo S. L. Souza; Simone do Rócio Senger de Souza; Ed Zaluska (Concurr. Comput. Pract. Exp., 2014)

Extracting static and dynamic structural information from java concurrent programs for coverage testing. - Rafael R. Prado; Paulo S. L. Souza; George G. M. Dourado; Simone R. S. Souza; Júlio Cezar Estrella; Sarita Mazzini Bruschi; João Lourenço (CLEI, 2015)

Amnesia: A learning object for memory hierarchy teaching. - Fernando Tiosso; Sarita Mazzini Bruschi; Paulo S. L. Souza; Ellen F. Barbosa; Carlos Emilio de Andrade Cacho (FIE, 2015)

Integration testing criteria for mobile robotic systems. - Maria A. S. Brito; Marcos Santos; Paulo S. L. Souza; Simone R. S. Souza (SEKE, 2015)

Concurrent software testing in practice: a catalog of tools. - Silvana M. Melo; Simone R. S. Souza; Rodolfo A. Silva; Paulo S. L. Souza (A-TEST@SIGSOFT FSE, 2015)

Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs. - Simone R. S. Souza; Paulo S. L. Souza; Maria A. S. Brito; Adenilso da Silva Simão; Ed Zaluska (Softw. Test. Verification Reliab., 2015)

A Systematic Mapping of Data Generation for Integration Software Testing. - Maria A. S. Brito; Marcos Pereira; Simone R. S. Souza; Paulo Sergio Lopes de Souza (CIbSE, 2016)

Evidências sobre Configurações de Algoritmos Genéticos para Geração Automática de Dados de Teste. - Ricardo Ferreira Vilela; Paulo S. L. Souza; Márcio E. Delamaro; Simone R. S. Souza (CIbSE, 2016)

A Suite of Java Message-Passing Benchmarks to Support the Validation of Testing Models, Criteria and Tools. - George Gabriel Mendes Dourado; Paulo Sergio Lopes de Souza; Rafael R. Prado; Raphael Negrisoli Batista; Simone R. S. Souza; Júlio Cezar Estrella; Sarita Mazzini Bruschi; João Lourenço (ICCS, 2016)

An interactive approach for the teaching of virtual memory using open educational resources. - Carlos Emilio de Andrade Cacho; Paulo S. L. Souza; Sarita Mazzini Bruschi; Ellen F. Barbosa; Fernando Tiosso (SAC, 2016)

ValiErlang: A Structural Testing Tool for Erlang Programs. - Alexandre P. Oliveira; Paulo S. L. Souza; Simone R. S. Souza (SAST, 2016)

Towards an Empirical Study Design for Concurrent Software Testing. - Silvana M. Melo; Paulo S. L. Souza; Simone R. S. Souza (SE-HPCCSE@SC, 2016)

A Systematic Mapping Study on the Multi-tenant Architecture of SaaS Systems. - Victor H. S. C. Pinto; Helder J. F. Luz; Ricardo R. Oliveira; Paulo S. L. Souza; Simone R. S. Souza (SEKE, 2016)

Providing Computing Services through Mobile Devices in a Collaborative Way - A Fog Computing Case Study. - Danilo Costa Marim Segura; Rafael de Souza Stabile; Sarita Mazzini Bruschi; Paulo Sergio Lopes de Souza (MSWiM, 2017)

How to test your concurrent software: an approach for the selection of testing techniques. - Silvana Morita Melo; Simone do Rócio Senger de Souza; Paulo Sergio Lopes de Souza; Jeffrey C. Carver (SEPS@SPLASH, 2017)

A systematic review on search based mutation testing. - Rodolfo Adamshuk Silva; Simone do Rócio Senger de Souza; Paulo Sergio Lopes de Souza (Inf. Softw. Technol., 2017)

Container-Based Performance Evaluation: A Survey and Challenges. - Naylor G. Bachiega; Paulo S. L. Souza; Sarita Mazzini Bruschi; Simone do Rócio Senger de Souza (IC2E, 2018)

A Systematic Mapping on High-Performance Computing for Protein Structure Prediction. - Gesiel Rios Lopes; Paulo Sergio Lopes de Souza; Alexandre C. B. Delbem (VECPAR, 2018)

Contributions for the structural testing of multithreaded programs: coverage criteria, testing tool, and experimental evaluation. - Silvana Morita Melo; Simone do Rócio Senger de Souza; Felipe S. Sarmanho; Paulo Sergio Lopes de Souza (Softw. Qual. J., 2018)

A Preliminary Fault Taxonomy for Multi-tenant SaaS Systems. - Victor Hugo Santiago C. Pinto; Simone R. S. Souza; Paulo S. L. Souza (CCGRID, 2019)

High Performance Algorithms for Counting Collisions and Pairwise Interactions. - Matheus Henrique Junqueira Saldanha; Paulo Sergio Lopes de Souza (ICCS (1), 2019)

SeleCTT: An Infrastructure for Selection of Concurrent Software Testing Techniques. - Silvana M. Melo; Felipe M. Moura; Paulo S. L. Souza; Simone R. S. Souza (SAST, 2019)

Testing Techniques Selection: A Systematic Mapping Study. - Ítalo Santos; Silvana M. Melo; Paulo Sergio Lopes de Souza; Simone R. S. Souza (SBES, 2019)

Empirical research on concurrent software testing: A systematic mapping study. - Silvana M. Melo; Jeffrey C. Carver; Paulo S. L. Souza; Simone R. S. Souza (Inf. Softw. Technol., 2019)

Teaching Parallel Programming for Beginners in Computer Science. - Davi Jose Conte; Paulo Sergio Lopes de Souza; Guilherme Martins; Sarita Mazzini Bruschi (FIE, 2020)

Research on Parallel Computing Teaching: state of the art and future directions. - Thiago de Jesus Oliveira Duraes; Paulo Sergio Lopes de Souza; Guilherme Martins; Davi Jose Conte; Naylor Garcia Bachiega; Sarita Mazzini Bruschi (FIE, 2020)

Learning Parallel Programming Through Programming Challenges. - Guilherme Martins; Paulo Sergio Lopes de Souza; Davi Jose Conte; Sarita Mazzini Bruschi (FIE, 2020)

Performance Evaluation of Container's Shared Volumes. - Naylor G. Bachiega; Paulo Sergio Lopes de Souza; Sarita Mazzini Bruschi; Simone do Rócio Senger de Souza (ICST Workshops, 2020)

Towards a unified catalog of attributes to guide industry in software testing technique selection. - Ítalo Santos; Silvana Morita Melo; Paulo Sergio Lopes de Souza; Simone R. S. Souza (ICST Workshops, 2020)

Contributions to improve the combined selection of concurrent software testing techniques. - Ítalo Santos; Andre B. P. Furlanetti; Silvana M. Melo; Paulo Sergio Lopes de Souza; Márcio E. Delamaro; Simone R. S. Souza (SAST, 2020)

The impact of using CouchDB on Hyperledger Fabric performance for heterogeneous medical data storage. - Ana Caroline Fernandes Spengler; Paulo Sergio Lopes de Souza (CLEI, 2021)

Structural testing for communication events into loops of message-passing parallel programs. - Sílvia M. D. Diaz; Paulo S. L. Souza; Simone R. S. Souza (Concurr. Comput. Pract. Exp., 2021)

Parallel Execution of Programs as a Support for Mutation Testing: A Replication Study. - Márcio E. Delamaro; Stevão Alves de Andrade; Simone do Rócio Senger de Souza; Paulo Sergio Lopes de Souza (Int. J. Softw. Eng. Knowl. Eng., 2021)

A survey on the practices of software testing: a look into Brazilian companies. - Silvana M. Melo; Ítalo Santos; Paulo S. L. Souza; Simone R. S. Souza (J. Softw. Eng. Res. Dev., 2022)

Integration testing for robotic systems. - Maria A. S. Brito; Simone R. S. Souza; Paulo S. L. Souza (Softw. Qual. J., 2022)

Health Tycoon: An Educational Simulation Game on Positive Habits. - Matheus Henrique Dias Cirilo; Gustavo M. Sarenci de Carvalho Ferreira; Michel Hecker Faria; Alexandre Ponce de Oliveira; Carla Roberta de Oliveira Carvalho; Paulo Sergio Lopes de Souza (FIE, 2023)

Food Battle: Game-Based Learning to Teach Healthy Eating Habits. - Michel Hecker Faria; Gustavo M. Sarenci de Carvalho Ferreira; Matheus Henrique Dias Cirilo; Alexandre Ponce de Oliveira; Carla Roberta de Oliveira Carvalho; Paulo Sergio Lopes de Souza (FIE, 2023)

Enzigame: An Educational Game About Enzymes and Metabolism. - Gustavo M. Sarenci de Carvalho Ferreira; Michel Hecker Faria; Matheus Henrique Dias Cirilo; Alexandre Ponce de Oliveira; Carla Roberta de Oliveira Carvalho; Paulo Sergio Lopes de Souza (FIE, 2023)

Metabuleiro: a Digital Board Game About the Human Body and a Healthy Diet. - Alexandre Ponce de Oliveira; Matheus Henrique Dias Cirilo; Gustavo M. Sarenci de Carvalho Ferreira; Michel Hecker Faria; Carla Roberta de Oliveira Carvalho; Paulo Sergio Lopes de Souza (FIE, 2023)

Software Testing applied to the Development of IoT Systems: preliminary results. - Vinícius Gomes Ferreira; Caio Guimarães Herrera; Simone R. S. Souza; Ricardo Ribeiro dos Santos; Paulo Sergio Lopes de Souza (SAST, 2023)

Bio-inspired optimization to support the test data generation of concurrent software. - Ricardo Ferreira Vilela; João Choma Neto; Victor Hugo Santiago Costa Pinto; Paulo Sergio Lopes de Souza; Simone do Rócio Senger de Souza (Concurr. Comput. Pract. Exp., 2023)

Performance analysis of a Vehicular Ad Hoc network Using LoRa technology and IoT devices in Amazon Rivers. - Lucélia Cunha da Rocha Santos; Sarita Mazzini Bruschi; Paulo Sergio Lopes de Souza; Jó Ueyama; Alyson de Jesus dos Santos; Jezreel Souto Barbosa (Ad Hoc Networks, 2024)

Structural testing for CUDA programming model. - Helder J. F. Luz; Paulo S. L. Souza; Simone R. S. Souza (Concurr. Comput. Pract. Exp., 2024)

An Architecture for a Reliability Tool Applied to Distributed Systems. - Caio Guimarães Herrera; Vitor Silva Montes; Simone R. S. Souza; Ricardo Ribeiro dos Santos; Paulo Sergio Lopes de Souza (ICCSA (2), 2025)

Impact of Distances in an Anomaly Detection Context for Time Series in Software Testing. - Kevin Gerardo Polo Ruiz; Alexandre Cláudio Botazzo Delbem; Paulo Sergio Lopes de Souza (ICCSA (2), 2025)