![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Paulo Sergio Lopes de Souza
Person information
- affiliation: University of São Paulo, Institute of Mathematics and Computer Sciences, Brazil
Other persons with the same name
- Paulo Souza — disambiguation page
- Paulo Silas Severo de Souza
(aka: Paulo Souza 0002) — Pontifical Catholic University of Rio Grande do Sul, Porto Alegre, Brazil
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2000
- [b1]Paulo Sergio Lopes de Souza:
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). University of São Paulo, Brazil, 2000
Journal Articles
- 2024
- [j15]Lucélia Cunha da Rocha Santos
, Sarita Mazzini Bruschi
, Paulo Sergio Lopes de Souza
, Jó Ueyama
, Alyson de Jesus dos Santos
, Jezreel Souto Barbosa
:
Performance analysis of a Vehicular Ad Hoc network Using LoRa technology and IoT devices in Amazon Rivers. Ad Hoc Networks 152: 103301 (2024) - [j14]Helder J. F. Luz
, Paulo S. L. Souza
, Simone R. S. Souza
:
Structural testing for CUDA programming model. Concurr. Comput. Pract. Exp. 36(14) (2024) - 2023
- [j13]Ricardo Ferreira Vilela
, João Choma Neto
, Victor Hugo Santiago Costa Pinto
, Paulo Sergio Lopes de Souza
, Simone do Rócio Senger de Souza
:
Bio-inspired optimization to support the test data generation of concurrent software. Concurr. Comput. Pract. Exp. 35(2) (2023) - 2022
- [j12]Silvana M. Melo
, Ítalo Santos
, Paulo S. L. Souza
, Simone R. S. Souza
:
A survey on the practices of software testing: a look into Brazilian companies. J. Softw. Eng. Res. Dev. 10: 11:1-11:15 (2022) - [j11]Maria A. S. Brito
, Simone R. S. Souza, Paulo S. L. Souza
:
Integration testing for robotic systems. Softw. Qual. J. 30(1): 3-35 (2022) - 2021
- [j10]Sílvia M. D. Diaz
, Paulo S. L. Souza
, Simone R. S. Souza
:
Structural testing for communication events into loops of message-passing parallel programs. Concurr. Comput. Pract. Exp. 33(18) (2021) - [j9]Márcio E. Delamaro, Stevão Alves de Andrade, Simone do Rócio Senger de Souza, Paulo Sergio Lopes de Souza
:
Parallel Execution of Programs as a Support for Mutation Testing: A Replication Study. Int. J. Softw. Eng. Knowl. Eng. 31(3): 337-380 (2021) - 2019
- [j8]Silvana M. Melo
, Jeffrey C. Carver
, Paulo S. L. Souza
, Simone R. S. Souza
:
Empirical research on concurrent software testing: A systematic mapping study. Inf. Softw. Technol. 105: 226-251 (2019) - 2018
- [j7]Silvana Morita Melo, Simone do Rócio Senger de Souza
, Felipe S. Sarmanho, Paulo Sergio Lopes de Souza
:
Contributions for the structural testing of multithreaded programs: coverage criteria, testing tool, and experimental evaluation. Softw. Qual. J. 26(3): 921-959 (2018) - 2017
- [j6]Rodolfo Adamshuk Silva, Simone do Rócio Senger de Souza
, Paulo Sergio Lopes de Souza
:
A systematic review on search based mutation testing. Inf. Softw. Technol. 81: 19-35 (2017) - 2015
- [j5]Simone R. S. Souza
, Paulo S. L. Souza
, Maria A. S. Brito, Adenilso da Silva Simão
, Ed Zaluska:
Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs. Softw. Test. Verification Reliab. 25(3): 310-332 (2015) - 2014
- [j4]Paulo S. L. Souza
, Simone do Rócio Senger de Souza
, Ed Zaluska:
Structural testing for message-passing concurrent programs: an extended test model. Concurr. Comput. Pract. Exp. 26(1): 21-50 (2014) - 2013
- [j3]Daniel Rodrigo Ferraz Bonetti, Alexandre C. B. Delbem
, Gonzalo Travieso
, Paulo Sergio Lopes de Souza
:
Enhanced Van der Waals calculations in genetic algorithms for protein structure prediction. Concurr. Comput. Pract. Exp. 25(15): 2170-2186 (2013) - 2008
- [j2]Simone do Rócio Senger de Souza, Silvia Regina Vergilio, Paulo Sergio Lopes de Souza
, Adenilso da Silva Simão
, Alexandre Ceolin Hausen:
Structural testing criteria for message-passing parallel programs. Concurr. Comput. Pract. Exp. 20(16): 1893-1916 (2008) - 2006
- [j1]Jonathan de Matos, Eduardo Bortolato, Alexandre Camilo Jr., João Angelo Martini, Ronaldo Augusto Lara Gonçalves, Paulo Sergio Lopes de Souza
:
Binary SCF: GAMESS improvements for energy evaluation based on SCF methods. Comput. Phys. Commun. 174(1): 1-16 (2006)
Conference and Workshop Papers
- 2023
- [c49]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:
Health Tycoon: An Educational Simulation Game on Positive Habits. FIE 2023: 1-7 - [c48]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:
Food Battle: Game-Based Learning to Teach Healthy Eating Habits. FIE 2023: 1-6 - [c47]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:
Enzigame: An Educational Game About Enzymes and Metabolism. FIE 2023: 1-6 - [c46]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:
Metabuleiro: a Digital Board Game About the Human Body and a Healthy Diet. FIE 2023: 1-5 - [c45]Vinícius Gomes Ferreira
, Caio Guimarães Herrera
, Simone R. S. Souza
, Ricardo Ribeiro dos Santos
, Paulo Sergio Lopes de Souza
:
Software Testing applied to the Development of IoT Systems: preliminary results. SAST 2023: 113-122 - 2021
- [c44]Ana Caroline Fernandes Spengler, Paulo Sergio Lopes de Souza
:
The impact of using CouchDB on Hyperledger Fabric performance for heterogeneous medical data storage. CLEI 2021: 1-10 - 2020
- [c43]Davi Jose Conte, Paulo Sergio Lopes de Souza
, Guilherme Martins, Sarita Mazzini Bruschi:
Teaching Parallel Programming for Beginners in Computer Science. FIE 2020: 1-9 - [c42]Thiago de Jesus Oliveira Duraes, Paulo Sergio Lopes de Souza, Guilherme Martins, Davi Jose Conte, Naylor Garcia Bachiega
, Sarita Mazzini Bruschi:
Research on Parallel Computing Teaching: state of the art and future directions. FIE 2020: 1-9 - [c41]Guilherme Martins, Paulo Sergio Lopes de Souza
, Davi Jose Conte, Sarita Mazzini Bruschi:
Learning Parallel Programming Through Programming Challenges. FIE 2020: 1-9 - [c40]Naylor G. Bachiega
, Paulo Sergio Lopes de Souza
, Sarita Mazzini Bruschi
, Simone do Rócio Senger de Souza:
Performance Evaluation of Container's Shared Volumes. ICST Workshops 2020: 114-123 - [c39]Ítalo Santos, Silvana Morita Melo, Paulo Sergio Lopes de Souza
, Simone R. S. Souza:
Towards a unified catalog of attributes to guide industry in software testing technique selection. ICST Workshops 2020: 398-407 - [c38]Ítalo Santos, Andre B. P. Furlanetti, Silvana M. Melo, Paulo Sergio Lopes de Souza
, Márcio E. Delamaro, Simone R. S. Souza:
Contributions to improve the combined selection of concurrent software testing techniques. SAST 2020: 69-78 - 2019
- [c37]Victor Hugo Santiago C. Pinto, Simone R. S. Souza, Paulo S. L. Souza
:
A Preliminary Fault Taxonomy for Multi-tenant SaaS Systems. CCGRID 2019: 178-187 - [c36]Matheus Henrique Junqueira Saldanha
, Paulo Sergio Lopes de Souza
:
High Performance Algorithms for Counting Collisions and Pairwise Interactions. ICCS (1) 2019: 182-196 - [c35]Silvana M. Melo, Felipe M. Moura, Paulo S. L. Souza
, Simone R. S. Souza:
SeleCTT: An Infrastructure for Selection of Concurrent Software Testing Techniques. SAST 2019: 62-71 - [c34]Ítalo Santos, Silvana M. Melo, Paulo Sergio Lopes de Souza
, Simone R. S. Souza
:
Testing Techniques Selection: A Systematic Mapping Study. SBES 2019: 347-356 - 2018
- [c33]Naylor G. Bachiega
, Paulo S. L. Souza
, Sarita Mazzini Bruschi
, Simone do Rócio Senger de Souza:
Container-Based Performance Evaluation: A Survey and Challenges. IC2E 2018: 398-403 - [c32]Gesiel Rios Lopes, Paulo Sergio Lopes de Souza
, Alexandre C. B. Delbem:
A Systematic Mapping on High-Performance Computing for Protein Structure Prediction. VECPAR 2018: 77-91 - 2017
- [c31]Danilo Costa Marim Segura, Rafael de Souza Stabile, Sarita Mazzini Bruschi
, Paulo Sergio Lopes de Souza
:
Providing Computing Services through Mobile Devices in a Collaborative Way - A Fog Computing Case Study. MSWiM 2017: 117-121 - [c30]Silvana Morita Melo, Simone do Rócio Senger de Souza, Paulo Sergio Lopes de Souza
, Jeffrey C. Carver:
How to test your concurrent software: an approach for the selection of testing techniques. SEPS@SPLASH 2017: 42-43 - 2016
- [c29]Maria A. S. Brito, Marcos Pereira, Simone R. S. Souza, Paulo Sergio Lopes de Souza:
A Systematic Mapping of Data Generation for Integration Software Testing. CIbSE 2016: 229-242 - [c28]Ricardo Ferreira Vilela, Paulo S. L. Souza, Márcio E. Delamaro, Simone R. S. Souza:
Evidências sobre Configurações de Algoritmos Genéticos para Geração Automática de Dados de Teste. CIbSE 2016: 243-256 - [c27]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
:
A Suite of Java Message-Passing Benchmarks to Support the Validation of Testing Models, Criteria and Tools. ICCS 2016: 2226-2230 - [c26]Carlos Emilio de Andrade Cacho, Paulo S. L. Souza
, Sarita Mazzini Bruschi, Ellen F. Barbosa, Fernando Tiosso:
An interactive approach for the teaching of virtual memory using open educational resources. SAC 2016: 225-231 - [c25]Alexandre P. Oliveira, Paulo S. L. Souza
, Simone R. S. Souza:
ValiErlang: A Structural Testing Tool for Erlang Programs. SAST 2016: 13:1-13:10 - [c24]Silvana M. Melo, Paulo S. L. Souza, Simone R. S. Souza:
Towards an Empirical Study Design for Concurrent Software Testing. SE-HPCCSE@SC 2016: 49 - [c23]Victor H. S. C. Pinto, Helder J. F. Luz, Ricardo R. Oliveira, Paulo S. L. Souza
, Simone R. S. Souza:
A Systematic Mapping Study on the Multi-tenant Architecture of SaaS Systems. SEKE 2016: 396-401 - 2015
- [c22]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
:
Extracting static and dynamic structural information from java concurrent programs for coverage testing. CLEI 2015: 1-8 - [c21]Fernando Tiosso, Sarita Mazzini Bruschi, Paulo S. L. Souza
, Ellen F. Barbosa, Carlos Emilio de Andrade Cacho:
Amnesia: A learning object for memory hierarchy teaching. FIE 2015: 1-7 - [c20]Maria A. S. Brito, Marcos Santos, Paulo S. L. Souza
, Simone R. S. Souza:
Integration testing criteria for mobile robotic systems. SEKE 2015: 182-187 - [c19]Silvana M. Melo, Simone R. S. Souza, Rodolfo A. Silva, Paulo S. L. Souza
:
Concurrent software testing in practice: a catalog of tools. A-TEST@SIGSOFT FSE 2015: 31-40 - 2014
- [c18]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
:
Design and implementation of fault tolerance techniques to improve QoS in SOA. CNSM 2014: 37-45 - 2013
- [c17]Paulo Sergio Lopes de Souza
, Simone do Rócio Senger de Souza, Murilo G. Rocha, Rafael R. Prado, Raphael Negrisoli Batista:
Data Flow Testing in Concurrent Programs with Message Passing and Shared Memory Paradigms. ICCS 2013: 149-158 - [c16]Maria A. S. Brito, Simone do Rócio Senger de Souza, Paulo Sergio Lopes de Souza
:
An Empirical Evaluation of the Cost and Effectiveness of Structural Testing Criteria for Concurrent Programs. ICCS 2013: 250-259 - 2012
- [c15]Rodolfo Adamshuk Silva, Simone do Rócio Senger de Souza
, Paulo Sergio Lopes de Souza
:
Mutation operators for concurrent programs in MPI. LATW 2012: 1-6 - [c14]Silvana M. Melo, Simone do Rócio Senger de Souza, Paulo Sergio Lopes de Souza:
Structural Testing for Multithreaded Programs: An Experimental Evaluation of the Cost, Strength and Effectiveness. SEKE 2012: 476-479 - 2011
- [c13]Paulo Sergio Lopes de Souza
, Bruno S. Faiçal
, Marcos José Santana, Regina H. C. Santana, Jonathan de Matos, Ed Zaluska:
Jerrymouse: A Tool for a Flexible and Dynamic Distribution of Web Service Requests. IEEE SCC 2011: 520-527 - [c12]Simone do Rócio Senger de Souza, Maria A. S. Brito, Rodolfo A. Silva, Paulo Sergio Lopes de Souza
, Ed Zaluska:
Research in concurrent software testing: a systematic review. PADTAD 2011: 1-5 - [c11]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:
Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality. SEKE 2011: 207-212 - 2010
- [c10]Daniel Rodrigo Ferraz Bonetti, Alexandre C. B. Delbem
, Gonzalo Travieso
, Paulo Sergio Lopes de Souza
:
Optimizing van der Waals calculi using Cell-lists and MPI. IEEE Congress on Evolutionary Computation 2010: 1-7 - 2008
- [c9]Felipe S. Sarmanho, Paulo Sergio Lopes de Souza
, Simone do Rócio Senger de Souza, Adenilso da Silva Simão
:
Structural Testing for Semaphore-Based Multithread Programs. ICCS (1) 2008: 337-346 - [c8]Paulo Sergio Lopes de Souza
, Eduardo T. Sawabe, Adenilso da Silva Simão
, Silvia Regina Vergilio, Simone do Rócio Senger de Souza:
ValiPVM - A Graphical Tool for Structural Testing of PVM Programs. PVM/MPI 2008: 257-264 - 2005
- [c7]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:
ValiPar: A Testing Tool for Message-Passing Parallel Programs. SEKE 2005: 386-391 - 2004
- [c6]Paulo Sergio Lopes de Souza, Alceu de Souza Britto Jr., Robert Sabourin, Simone do Rócio Senger de Souza, Díbio Leandro Borges:
K-Means VQ algorithm using a low-cost parallel cluster computing. Parallel and Distributed Computing and Networks 2004: 392-397 - 2003
- [c5]Alceu de Souza Britto Jr., Paulo Sergio Lopes de Souza
, Robert Sabourin, Simone do Rócio Senger de Souza, Díbio Leandro Borges:
A Low-Cost Parallel K-Means VQ Algorithm Using Cluster Computing. ICDAR 2003: 839-843 - 1999
- [c4]Paulo Sergio Lopes de Souza, Marcos José Santana:
A New Scheduling Environment for Near-Optimal Performance. PDPTA 1999: 2573-2579 - [c3]Aletéia Patrícia Favacho de Araújo, Marcos José Santana, Regina Helena Carlucci Santana, Paulo Sergio Lopes de Souza:
A New Dynamical Scheduling Algorithm. PDPTA 1999: 3075-3078 - 1997
- [c2]Paulo S. L. Souza
, Luciano José Senger, Marcos José Santana, Regina Helena Carlucci Santana:
Evaluating Personal High Performance Computing with PVM on Windows and LINUX Environments. PVM/MPI 1997: 49-56 - 1996
- [c1]Marcos José Santana, Regina Helena Carlucci Santana, Paulo Sergio Lopes de Souza
, Simone do Rócio Senger de Souza:
Parallel Virtual Machine for Windows95. PVM 1996: 288-295
Editorship
- 2022
- [e2]Marcelo de Almeida Maia, Fabiano A. Dorça, Rafael Dias Araújo, Breno Alexandro Ferreira de Miranda, Paulo Sergio Lopes de Souza, Edna Dias Canedo:
SAST 2022: 7th Brazilian Symposium on Systematic and Automated Software Testing, Uberlandia, Brazil, October 3 - 7, 2022. ACM 2022, ISBN 978-1-4503-9753-7 [contents] - 2020
- [e1]Calebe P. Bianchini
, Carla Osthoff
, Paulo Souza
, Renato Ferreira:
High Performance Computing Systems - 19th Symposium, WSCAD 2018, São Paulo, Brazil, October 1-3, 2018, Revised Selected Papers. Communications in Computer and Information Science 1171, Springer 2020, ISBN 978-3-030-41049-0 [contents]
Informal and Other Publications
- 2019
- [i1]Matheus Henrique Junqueira Saldanha, Paulo Sergio Lopes de Souza:
High Performance Algorithms for Counting Collisions and Pairwise Interactions. CoRR abs/1901.11204 (2019)
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-18 21:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint