Paulo Sergio Lopes de Souza

Pós-doutorado

Formação complementar

Idiomas

Áreas de atuação

Organização de eventos

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• LUZ, HELDER J. F. ; SOUZA, PAULO S. L. ; SOUZA, SIMONE R. S. . Structural testing for CUDA programming model. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE , v. 36, p. 1-26, 2024.

• DA ROCHA SANTOS, LUCÉLIA CUNHA ; BRUSCHI, SARITA MAZZINI ; DE SOUZA, PAULO SERGIO LOPES ; UEYAMA, JÓ ; DE JESUS DOS SANTOS, ALYSON ; BARBOSA, JEZREEL SOUTO . Performance analysis of a Vehicular Ad Hoc network Using LoRa technology and IoT devices in Amazon Rivers. Ad Hoc Networks , v. 152, p. 103301-12, 2024.

• FERREIRA VILELA, RICARDO ; CHOMA NETO, JOÃO ; SANTIAGO COSTA PINTO, VICTOR HUGO ; LOPES DE SOUZA, PAULO SÉRGIO ; DO ROCIO SENGER DE SOUZA, SIMONE . Bio-inspired optimization to support the test data generation of concurrent software. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE , v. 35, p. 1-30, 2023.

• 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.

• 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 , p. 1-18, 2021.

• ANDRADE, S. A. ; SOUZA, S. R. S. ; SOUZA, PAULO S. L. ; Delamaro, M.E. . 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.

• Brito, M.A.S. ; SOUZA, S. R. S. ; SOUZA, PAULO S. L. . Integration testing for robotic systems. SOFTWARE QUALITY JOURNAL (ONLINE) , v. X, p. 1-33, 2020.

• 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.

• SALDANHA, M. H. J. ; SOUZA, PAULO SERGIO LOPES DE . Protein Structure Prediction with Parallel Algorithms Orthogonal to Parallel Platforms. REVISTA ELETRÔNICA DE INICIAÇÃO CIENTÍFICA , v. 17, p. 1-10, 2019.

• 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.

• 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. 1, p. 1-39, 2017.

• MELO, S. M. ; SOUZA, S. R. S. ; SARMANHO, F. S. ; SOUZA, P. S. L. . Contributions for the Structural Testing of Multithreaded Programs: Coverage Criteria, Testing Tool and Experimental Evaluation. SOFTWARE QUALITY JOURNAL , v. 26, p. 921â??959, 2017.

• 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, 2016.

• 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.

• 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. 310-332, 2015.

• NUNES, L. H. ; ESTRELLA, J. C. ; FERREIRA, C. H. G. ; NAKAMURA, L. H. ; 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.

• 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.

• Souza, P.S.L. ; Santana, R.H.C. ; Santana, M.J. ; Zaluska, E. ; Faical, B.S. ; Estrella, J.C. . Load Index Metrics for an Optimized Management of Web Services: A Systematic Evaluation. Plos One , v. 8, p. e68819, 2013.

• BONETTI, DANIEL R.F. ; DELBEM, ALEXANDRE C.B. ; TRAVIESO, GONZALO ; DE SOUZA, PAULO SERGIO L. . Enhanced Van der Waals calculations in genetic algorithms for protein structure prediction. Concurrency and Computation , v. 25, p. 2170-2186, 2013.

• SOUZA, P. S. L. ; Hitoshi, F. ; Santana, M.J. ; Santana, R.H.C. ; Bruschi, S.M. ; Branco, K.R.L.J.C. . Applying the Heterogeneity Level Metric in a Distributed Platform. INFOCOMP (UFLA. Impresso) , v. 10, p. 17-25, 2011.

• Souza, S.R.S. ; Vergilio, S.R. ; SOUZA, P. S. L. ; Simao, A.S. ; Hausen, A.C. . Structural Testing Criteria for Message-Passing Parallel Programs. Concurrency and Computation. Practice & Experience , v. 20, p. 1893-1916, 2008.

• Matos, J. ; Bortolato, E. ; Camilo Jr., A. ; SOUZA, P. S. L. . A METHODOLOGY FOR MODELING THE COMPLEXITY OF THE HARTREE-FOCK PROCEDURE. Publicatio UEPG. Ciências Exatas e da Terra, Ciências Agrárias e Engenharias (Impresso) , v. 14, p. 79-97, 2008.

• Matos, J. ; Bortolato, E. ; Camilo Jr., A. ; Martini, J.A. ; Goncalves, R.A.L. ; SOUZA, P. S. L. . Binary SCF: GAMESS improvements for energy evaluation based on SCF methods. Computer Physics Communications , Elsevier, v. 174, p. 1-16, 2006.

• Kikuti, D. ; SOUZA, P. S. L. ; Souza, S.R.S. . Using Portable Monitoring for Heterogeneous Clusters on Windows and Linux Operating Systems. Journal of Computer Science and Technology (La Plata. En línea) , Buenos Aires - Argentina, v. 3, n.2, p. 15-21, 2003.

• Zambianco Jr., R.A. ; Souza, S.R.S. ; SOUZA, P. S. L. . REACH-TREE: Uma Ferramenta para Geração de Árvore de Alcançabilidade para Sistemas Especificados em Estelle. Revista Eletrônica de Iniciação Científica , Site da REIC / SBC, v. II, n.setembro, p. 1-10, 2002.

• Giacometti, C. ; Souza, S.R.S. ; SOUZA, P. S. L. . Teste de Mutação para a Validação de Aplicações Concorrentes usando PVM. REIC. Revista Eletrônica de Iniciação Científica , Site da REIC na SBC, v. II, n.Setembro, 2002.

• Oliveira, A. P. ; DE SOUZA, PAULO SERGIO L. ; SOUZA, S. R. S. . Programação Concorrente em Erlang. In: Alexandro Baldassin. (Org.). Minicursos do WSCAD 2017. 1ed.Porto Alegre: SBC, 2017, v. 1, p. 82-94.

• SOUZA, S. R. S. ; SOUZA, P. S. L. ; Melo, S.M. ; Silva, R.A. ; Vergilio, S.R. . Teste de Programas Concorrentes. In: Mario Jino; José Carlos Maldonado; Márcio Eduardo Delamaro. (Org.). Introdução ao Teste de Software - 2a ed.. 2ed.São Paulo: Elsevier, 2016, v. 1, p. 261-296.

• Lima, T.W. ; Caliri, A. ; Silva, F.L.B. ; Tinos, R. ; Travieso, G. ; Silva, I.N. ; SOUZA, P. S. L. ; Marques, E. ; Delbem, A.C.B. ; Bonatto, V. ; Faccioli, R. ; Brasil, C.R.S. ; Gabriel, P.H.R. ; Bonetti, D.R.F. . Some Modeling Issues for Protein Structure Prediction using Evolutionary Algorithms. In: Wellington Pinheiro dos Santos. (Org.). Evolutionary Computation. 1ed.Olajnica: In-Teh, 2009, v. 1, p. 153-178.

• Souza, S.R.S. ; SOUZA, P. S. L. ; Vergilio, S.R. . Teste de programas concorrentes. In: Marcio Eduardo Delamaro; José Carlos Maldonado; Mario Jino. (Org.). Introdução ao Teste de Software. 1ed.São Paulo: Elsevier Editora Ltda, 2007, v. 1, p. 231-250.

• Santana, M.J. ; SOUZA, P. S. L. ; Santana, R.H.C. . Jaz Drive 1.0 Gbyte exige avaliação de custo/benefício. Jornal Folha de São Paulo, São Paulo, p. 7 - 7, 12 jun. 1996.

• RUIZ, K. G. P. ; Delbem, A.C.B. ; SOUZA, P. S. L. . Impact of Distances in an Anomaly Detection Context for Time Series in Software Testing. In: International Conference on Computational Science and Its Applications ? ICCSA 2025, 2025, Istambul/TR. Lecture Notes in Computer Science. Nova Yorque: Springer, Cham, 2025. v. 15649. p. 18-34.

• HERRERA, CAIO GUIMARÃES ; MONTES, V. S. ; SOUZA, S. R. S. ; SOUZA, P. S. L. . An Architecture for a Reliability Tool Applied to Distributed Systems. In: International Conference on Computational Science and Its Applications ? ICCSA 2025, 2025, Istambul/TR. Lecture Notes in Computer Science. Nova Yorque: Springer, Cham, 2025. v. 15649. p. 332-348.

• HERRERA, CAIO GUIMARÃES ; FERREIRA, VINICIUS GOMES ; SOUZA, SIMONE R. S. ; SANTOS, RICARDO ; SOUZA, PAULO SERGIO LOPES DE . A Comprehensive Exploration of the Use of Software Testing Tools for IoT Systems. In: Workshop de Testes e Tolerância a Falhas, 2024, Brasil. Anais do XXV Workshop de Testes e Tolerância a Falhas (WTF 2024). Porto Alegre: Sociedade Brasileira de Computação - SBC, 2024. v. 1. p. 57-70.

• DE CARVALHO FERREIRA, GUSTAVO M. S. ; FARIA, MICHEL HECKER ; DIAS CIRILO, MATHEUS HENRIQUE ; DE OLIVEIRA, ALEXANDRE PONCE ; DE OLIVEIRA CARVALHO, CARLA ROBERTA ; DE SOUZA, PAULO SERGIO LOPES . Enzigame: An Educational Game About Enzymes and Metabolism. In: 2023 IEEE Frontiers in Education Conference (FIE), 2023, College Station. 2023 IEEE Frontiers in Education Conference (FIE). TX, USA: College Station, 2023. v. 1. p. 1-6.

• FARIA, MICHEL HECKER ; DE CARVALHO FERREIRA, GUSTAVO M. S. ; CIRILO, MATHEUS HENRIQUE DIAS ; DE OLIVEIRA, ALEXANDRE PONCE ; DE OLIVEIRA CARVALHO, CARLA ROBERTA ; DE SOUZA, PAULO SERGIO LOPES . Food Battle: Game-Based Learning to Teach Healthy Eating Habits. In: 2023 IEEE Frontiers in Education Conference (FIE), 2023, College Station. 2023 IEEE Frontiers in Education Conference (FIE). TX, USA: College Station, 2023. v. 1. p. 1-6.

• CIRILO, MATHEUS HENRIQUE DIAS ; DE CARVALHO FERREIRA, GUSTAVO M. SARENCI ; FARIA, MICHEL HECKER ; DE OLIVEIRA, ALEXANDRE PONCE ; DE OLIVEIRA CARVALHO, CARLA ROBERTA ; DE SOUZA, PAULO SERGIO LOPES . Health Tycoon: An Educational Simulation Game on Positive Habits. In: 2023 IEEE Frontiers in Education Conference (FIE), 2023, College Station. 2023 IEEE Frontiers in Education Conference (FIE). TX, USA: College Station, 2023. v. 1. p. 1-6.

• DE OLIVEIRA, ALEXANDRE PONCE ; DIAS CIRILO, MATHEUS HENRIQUE ; SARENCI DE CARVALHO FERREIRA, GUSTAVO M. ; FARIA, MICHEL HECKER ; DE OLIVEIRA CARVALHO, CARLA ROBERTA ; LOPES DE SOUZA, PAULO SERGIO . Metabuleiro: a Digital Board Game About the Human Body and a Healthy Diet. In: 2023 IEEE Frontiers in Education Conference (FIE), 2023, College Station. 2023 IEEE Frontiers in Education Conference (FIE). TX, USA: College Station, 2023. v. 1. p. 1-5.

• FERREIRA, VINÍCIUS GOMES ; HERRERA, CAIO GUIMARÃES ; SOUZA, SIMONE ; SANTOS, RICARDO RIBEIRO DOS ; SOUZA, PAULO SÉRGIO LOPES DE . Software Testing applied to the Development of IoT Systems: preliminary results. In: SAST 2023: 8th Brazilian Symposium on Systematic and Automated Software Testing, 2023, Campo Grande. 8th Brazilian Symposium on Systematic and Automated Software Testing. Porto Alegre: SBC, 2023. v. 1. p. 113-122.

• SPENGLER, ANA CAROLINE FERNANDES ; SOUZA, PAULO SÉRGIO LOPES DE . The Impact of Hyperledger Fabric Setup on Blockchain Performance when Using Large Volumes of Heterogeneous Medical Data. In: Simpósio em Sistemas Computacionais de Alto Desempenho, 2023, Brasil. Anais do XXIV Simpósio em Sistemas Computacionais de Alto Desempenho (SSCAD 2023). Porto Alegre: Sociedade Brasileira de Computação, 2023. v. 1. p. 133-144.

• NEVES, J. S. ; Nascimento, P. R. M. ; Chapetta, W. A. ; Machado, R. C. S. ; Neves, V. O. ; MELO JR, W. S. ; Delamaro, M.E. ; SOUZA, S. R. S. ; Souza, P.S.L. ; DALLILO, F. D. . Ensaio de Proficiência em Avaliação da Conformidade de Produtos de Software. In: WRAC+/WCiber - VI Workshop sobre Regulação, Avaliação da Conformidade, Testes e Padrões de Segurança (WRAC+) e I Workshop de Segurança Cibernética (WCiber), 2022. Anais do WRAC+/WCiber, 2022. v. 2. p. 1-10.

• SPENGLER, ANA CAROLINE FERNANDES ; SOUZA, PAULO SÉRGIO LOPES DE . Avaliação de desempenho do Hyperledger Fabric com banco de dados para o armazenamento de grandes volumes de dados médicos. In: Workshop em Desempenho de Sistemas Computacionais e de Comunicação, 2021, Brasil. Anais do XX Workshop em Desempenho de Sistemas Computacionais e de Comunicação (WPerformance 2021). Porto Alegre: SBC. v. 1. p. 61-72.

• SPENGLER, A. C. F. ; SOUZA, PAULO S.L. . Armazenamento de Dados Médicos com Blockchain: uma avaliação de desempenho do uso do CouchDB no Hyperledger Fabric. In: Conferência Latino-Americana de Informática (CLEI), 2021, San José, Costa Rica. Proceedings of CLEI 2021. New York: IEEE, 2021. v. 1. p. 1-10.

• SPENGLER, ANA CAROLINE FERNANDES ; SOUZA, PAULO SERGIO LOPES DE . The impact of using CouchDB on Hyperledger Fabric performance for heterogeneous medical data storage. In: 2021 XLVII Latin American Computing Conference (CLEI), 2021, Cartago. 2021 XLVII Latin American Computing Conference (CLEI). New York: IEEE Xplore, 2021. v. 1. p. 1-10.

• BACHIEGA, NAYLOR G. ; DE SOUZA, PAULO S. L. ; BRUSCHI, SARITA M. ; DE SOUZA, SIMONE DO R. S. . Performance Evaluation of Container?s Shared Volumes. In: 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2020, Porto. 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2020. v. 1. p. 114-10.

• 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. In: 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2020, Porto. 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). Portugal: Porto, 2020. v. 1. p. 398-10.

• CONTE, DAVI JOSE ; DE SOUZA, PAULO SERGIO LOPES ; MARTINS, GUILHERME ; BRUSCHI, SARITA MAZZINI . Teaching Parallel Programming for Beginners in Computer Science. In: 2020 IEEE Frontiers in Education Conference (FIE), 2020, Uppsala. 2020 IEEE Frontiers in Education Conference (FIE), 2020. v. 1. p. 1-9.

• MARTINS, GUILHERME ; LOPES DE SOUZA, PAULO SERGIO ; JOSE CONTE, DAVI ; BRUSCHI, SARITA MAZZINI . Learning Parallel Programming Through Programming Challenges. In: 2020 IEEE Frontiers in Education Conference (FIE), 2020, Uppsala. 2020 IEEE Frontiers in Education Conference (FIE). UppSala: IEEE, 2020. v. 1. p. 1-9.

• 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. In: 2020 IEEE Frontiers in Education Conference (FIE), 2020, Uppsala. 2020 IEEE Frontiers in Education Conference (FIE), 2020. v. 1. p. 1-9.

• 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. In: SAST 20: 5th Brazilian Symposium on Systematic and Automated Software Testing, 2020, Natal Brazil. Proceedings of the 5th Brazilian Symposium on Systematic and Automated Software Testing, 2020. p. 69.

• Pinto, V. H. S. C. ; SOUZA, S. R. S. ; SOUZA, PAULO S. L. . A Preliminary Fault Taxonomy for Multi-tenant SaaS systems. In: 19th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID), 2019, Larnaca. International Symposium on Cluster, Cloud and Grid Computing - CCGRID 2019. New York: IEEE Computer Society, 2019. v. 1. p. 178-187.

• SALDANHA, M. H. J. ; SOUZA, PAULO SERGIO LOPES DE . High Performance Algorithms for Counting Collisions and Pairwise Interactions. In: International Conference on Computational Science - ICCS, 2019, Faro. Lecture Notes in Computer Science. Cham: Springer, 2019. v. 11536. p. 182-196.

• DIAZ, S. M. D. ; DE SOUZA, PAULO SERGIO L. ; SOUZA, S. R. S. . A structural testing tool for MPI programs with loops. In: Simpósio de Sistemas Computacionais de Alto Desempenho WSCAD, 2019, Campo Grande. Proceedings of WSCAD 2019. Porto Alegre: Sociedade Brasileira de Computação, 2019. v. 1. p. 1-12.

• MELO, SILVANA M. ; MOURA, F. M. ; DE SOUZA, PAULO SERGIO L. ; SOUZA, S. R. S. . SeleCTT: An Infrastructure for Selection of Concurrent Software Testing Techniques. In: Brazilian Symposium on Systematic and Automated Software Testing (SAST 2019), 2019, Salvador. Processdings of the IV Brazilian Symposium on Systematic and Automated Software Testing. Porto Alegre: Sociedade Brasileira de Computação, 2019. v. 1. p. 62-71.

• SANTOS, I. ; Melo, S.M. ; DE SOUZA, PAULO SERGIO L. ; SOUZA, S. R. S. . Testing Techniques Selection: A Systematic Mapping Study. In: XXXIII Brazilian Symposium on Software Engineering (SBES 2019), 2019, Salvador. Proceedings of the XXXIII Brazilian Symposium on Software Engineering. POA: SBC, 2019. v. 1. p. 347-356.

• LOPES, G. R. ; SOUZA, PAULO S. L. ; Delbem, A.C.B. . A Systematic Mapping on High-Performance Computing for Protein Structure Prediction. In: 13th International Meeting on High Performance Computing for Computational Science, 2018, São Pedro. High Performance Computing for Computational Science - VECPAR 2018. New York: Lecture Notes in Computer Science - Springer, 2018. v. 11333. p. 77-91.

• BACHIEGA, NAYLOR G. ; SOUZA, PAULO S. L. ; BRUSCHI, SARITA M. ; DE SOUZA, SIMONE DO R. S. . Container-Based Performance Evaluation: A Survey and Challenges. In: 2018 IEEE International Conference on Cloud Engineering (IC2E), 2018, Orlando. 2018 IEEE International Conference on Cloud Engineering (IC2E). New York: IEEE, 2018. v. 1. p. 398-403.

• BACHIEGA, N. G. ; SOUZA, PAULO S. L. ; Bruschi, S.M. ; SOUZA, S. R. S. . Um Panorama do Ensino de Programação Paralela e Distribuída em Universidades Brasileiras. In: 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), 2018, Fortaleza. Anais do CBIE 2018. Porto Alegre: SBC, 2018. v. 1. p. 1-10.

• SEGURA, D. C. M. ; Stabile, R. S. ; BRUSCHI, SARITA M. ; SOUZA, PAULO SERGIO LOPES DE . Providing Computing Services through Mobile Devices in a Collaborative Way - A Fog Computing Case Study. In: 20th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM'17), 2017, Miami. 20th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM'17). New York: ACM Press, 2017. v. 1. p. 1-10.

• BACHIEGA, NAYLOR ; SOUZA, PAULO LOPES DE ; BRUSCHI, SARITA ; SOUZA, SIMONE . Mapeamento Sistemático do Ensino Teórico e Prático de Programação Paralela. In: VI Congresso Brasileiro de Informática na Educação, 2017, Recife. org.crossref.xschema._1.Title@4b63bbb2. Porto Alegre: SBC, 2017. v. 1. p. 1089-1098.

• 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. In: the 31st Annual ACM Symposium, 2016, Pisa. Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16. New York: ACM Press. v. 1. p. 225-231.

• VILELA, R. F. ; SOUZA, PAULO S. L. ; Delamaro, M.E. ; Souza, S.R.S. . Evidências sobre Configurações de Algoritmos Genéticos para Geração Automática de Dados de Teste. In: XIX Ibero-American Conference on Software Engineering- (CIBSE 2016), 2016, Quito, Equador. Proceedings of 13th Experimental Software Engineering Latin America Workshop (ESELAW 2016), 2016. v. 1. p. 242-255.

• Brito, M.A.S. ; SANTOS, M. P. ; Souza, S.R.S. ; SOUZA, PAULO S. L. . A Systematic Mapping of Data Generation for Integration Software Testing. In: XIX Ibero-American Conference on Software Engineering- (CIBSE 2016), 2016, Quito, Equador. Proceedings of 13th Experimental Software Engineering Latin America Workshop (ESELAW 2016), 2016. v. 1. p. 229-241.

• Prado, R.R. ; SOUZA, PAULO 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. In: 13th Information Technology: New Generation (ITNG 2016), 2016, Las Vegas. Proceedings of 13th Information Technology: New Generation (. Berlim: Springer International Publishing - Conference Publishing Services, 2016. v. 448. p. 581-590.

• 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. In: The 28th International Conference on Software Engineering & Knowledge Engineering (SEKE 2016), 2016, Redwood City, California, USA. Proceedings of the Twenty-Eighth International Conference on Software Engineering & Knowledge Engineering, 2016. v. 1. p. 1-6.

• OLIVEIRA, ALEXANDRE P. ; SOUZA, PAULO S. L. ; SOUZA, SIMONE R. S. . ValiErlang. In: the 1st Brazilian Symposium, 2016, Maringa. Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing - SAST. New York: ACM Press, 2016. v. 1. p. 1-10.

• 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. In: XXI Congreso Internacional de Informática Educativa (TISE 2016), 2016, Santiago, Chile. XXI Congreso Internacional de Informática Educativa (TISE 2016). Santiago: Universidad de Chile, 2016. v. 1. p. 1-12.

• 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. In: XVII Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD 2016), 2016, Aracajú. XVII Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD 2016). Porto Alegre: SBC, 2016. v. 1. p. 230-241.

• 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. In: 2015 XLI Latin American Computing Conference (CLEI), 2015, Arequipa. 2015 Latin American Computing Conference (CLEI). v. 1. p. 1-73.

• TIOSSO, F. ; Bruschi, S.M. ; SOUZA, PAULO S. L. ; BARBOSA, E. F. ; Cacho, C. E. A. . Amnesia:a Learning Object for Memory Hierarchy Teaching. In: Frontiers in Education, 2015, El Paso, Texas. Proceedings of FIE2015. New York: IEEE, 2015. v. 1. p. 1558-1564.

• Oliveira, A. P. ; SOUZA, PAULO S. L. ; Estrella, J.C. ; Bruschi, S.M. ; Souza, S.R.S. . Teste Estrutural Aplicado à Linguagem Funcional Erlang. In: 9th Brazilian Workshop on Systematic and Automated Software Testing, 2015, Belo Horizonte. Proceedings of SAST2015. Porto Alegre: SBC, 2015. v. 1. p. 41-50.

• BRITO, MARIA ; SANTOS, MARCOS ; SOUZA, PAULO ; SOUZA, SIMONE . Integration testing criteria for mobile robotic systems. In: The 27th International Conference on Software Engineering and Knowledge Engineering, 2015. v. 1. p. 182-187.

• Oliveira, A. P. ; SOUZA, PAULO S. L. ; Souza, S.R.S. ; Estrella, J.C. ; Bruschi, S.M. . A Systematic Mapping about Testing of Functional Programs. In: International Conference on Software Engineering Research and Practice, 2015, Las Vegas. Proceedings of SERP2015, 2015. v. 1. p. 64-70.

• 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. In: V Workshop de Teses e Dissertações do CBSoft, 2015, Belo Horizonte. Anais do WTDSOFT/CBSOFT 2015. Porto Alegre: SBC, 2015. v. 1. p. 1-7.

• VILELA, R. F. ; Souza, S.R.S. ; SOUZA, PAULO S. L. . Avaliação Experimental de Abordagens para a Geração Automática de Dados de Teste para Programas Concorrentes. In: V Workshop de Teses e Dissertações do CBSoft, 2015, Belo Horizonte. Anais do WTDSOFT/CBSOFT 2015. Porto Alegre: Sociedade Brasileira de Computação - SBC, 2015. v. 1. p. 1-6.

• MELO, SILVANA M. ; SOUZA, SIMONE R. S. ; SILVA, RODOLFO A. ; SOUZA, PAULO S. L. . Concurrent software testing in practice: a catalog of tools. In: the 6th International Workshop, 2015, Bergamo. Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation - A-TEST 2015. v. 1. p. 31-40.

• SILVA, J. D. P. ; Souza, S.R.S. ; SOUZA, PAULO S. L. . Geração Automática de Dados de Teste para Programas Concorrentes com uso de Meta-heurísticas. In: 8th Brazilian Workshop on Systematic and Automated Software Testing - SAST 2014 (CBSOFT2014), 2014, Maceió. Proceedings of the CBSOFT 2014. Porto Alegre: Sociedade Brasileira de Computação, 2014. v. 1. p. 71-80.

• TIOSSO, F. ; Bruschi, S.M. ; SOUZA, PAULO S. L. ; BARBOSA, E. F. . Amnesia: um Objeto de Aprendizagem para o Ensino de Hierarquia de Memória. In: 25º Simpósio Brasileiro de Informática na Educação (SBIE 2014), 2014, Dourados. Proceedings of the 25o. Simpósio Brasileiro de Informática na Educação. Porto Alegre: Sociedade Brasileira de Computação, 2014. v. 1. p. 1-10.

• 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. In: 2014 10th International Conference on Network and Service Management (CNSM), 2014, Rio de Janeiro. 10th International Conference on Network and Service Management (CNSM) and Workshop, 2014. p. 37-45.

• 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. In: International Conference on Computational Science (ICCS2013), 2013, Barcelona. Procedia Computer Science. Amsterdam: Elsevier, 2013. v. 18. p. 149-158.

• Brito, M.A.S. ; Souza, S.R.S. ; Souza, P.S.L. . An Empirical Evaluation of the Cost and Effectiveness of Structural Testing Criteria for Concurrent Programs. In: International Conference on Computational Science (ICCS2013), 2013, Barcelona. Procedia Computer Science. Amsterdam: Elsevier, 2013. v. 18. p. 250-259.

• 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. In: 10th CONTECSI International Conference on Information Systems and Technology Management, 2013, São Paulo. Proceedings of the 10th CONTECSI. São Paulo: Editora da Universidade de São Paulo, 2013. v. 1. p. 862-878.

• Silva, R.A. ; Souza, S.R.S. ; SOUZA, P. S. L. . Mutation Operators for Concurrent Programs in MPI. In: 13th IEEE Latin American Test Workshop, 2012, Quito. Proceedings of 13th IEEE Latin American Test Workshop. Quito: IEEE, 2012. v. 1. p. 69-74.

• Silva, R.A. ; Souza, S.R.S. ; SOUZA, P. S. L. . Execução Determinística de Programas Concorrentes Durante o Teste de Mutação. In: 6th Brazilian Workshop on Systematic and Automated Software Testing, 2012, Natal. Proceedings of 6th Brazilian Systematic and Automated Software Testing. Porto Alegre: Sociedade Brasileira de Computação, 2012. v. 1. p. 1-10.

• SOUZA, P. S. L. ; Faical, B.S. ; Matos, J. ; Santana, M.J. ; Santana, R.H.C. ; Zaluska, E. . Jerrymouse: a tool for a flexible and dynamic distribution of web service requests. In: 8th IEEE 2011 International Conference on Services Computing (SCC 2011), 2011, Washington. Proceedings of SCC2011. Washington: IEEE, 2011. v. 1. p. 520-527.

• Souza, S.R.S. ; SOUZA, P. S. L. ; Machado, M.C.C. ; Simao, A.S. ; Zaluska, E. . Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality. In: 23rd International Conference on Software Engineering and Knowledge Engineering, 2011, Miami Beach. Proceedings of SEKE2011. Skokie, IL, USA: Knowledge Systems Institut Graduate School, 2011. v. 1. p. 207-212.

• Bonetti, D.R.F. ; Delbem, A.C.B. ; Travieso, G. ; SOUZA, P. S. L. . Optimizing Van der Waals calculi using Cell-lists and MPI. In: World Congress on Computational Intelligence - IEEE, 2010, Barcelona. World Congress on Computational Intelligence - IEEE, 2010. v. 1. p. 3657-3663.

• Sarmanho, F.S. ; SOUZA, P. S. L. ; Souza, S.R.S. ; Simao, A.S. . Structural Testing for Semaphore-Based Multithread Programs. In: International Conference on Computational Science ICCS2008, 2008, Krakow. Lecture Notes in Computer Science. Berlin: Springer-Verlag, 2008. v. 5101. p. 337-346.

• SOUZA, P. S. L. ; Sawabe, E.T. ; Simao, A.S. ; Souza, S.R.S. ; Vergilio, S.R. ; Sarmanho, F.S. . ValiPVM - A Graphical Tool for Structural Testing of PVM Programs. In: 15th European PVM/MPI Users' Group Meeting, 2008, Dublin. Lecture Notes in Computer Science. Berlin: Springer-Verlag, 2008. v. 5205. p. 257-264.

• Endo, A.T. ; Simao, A.S. ; Souza, S.R.S. ; SOUZA, P. S. L. . Web Services Composition Testing: a Strategy Based on Structural Testing of Parallel Programs. In: TAIC PART 2008 - Testing: Academic and Industrial Conference - Practice and Research Techniques, 2008, Windsor. Proceedings of TAIC PART 2008. Washington: IEEE Computer Society, 2008. v. 1. p. 3-12.

• Oliveira, B.H. ; Santos, J.H. ; SOUZA, P. S. L. ; Bruschi, S.M. ; Souza, S.R.S. . Amnésia: Um Simulador de Hierarquia de Memória. In: International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) / Workshop sobre Educação em Arquitetura de Computadores (WEAC), 2008, Campo Grande. Proceedings of 20th SBAC-PAD. Washington: IEEE Computer Society, 2008. v. 1. p. 13-16.

• Hausen, A.C. ; Vergilio, S.R. ; Souza, S.R.S. ; SOUZA, P. S. L. ; Simao, A.S. . A tool for Structural Testing of MPI Programs. In: 8th LATW - IEEE Latin-American Test Workshop, 2007, Cuzco - Peru. Proceedings of LATW2007. Cuzco: Pontificia Universidad Catolica del Peru, 2007. v. 1. p. 1-6.

• Endo, A.T. ; Simao, A.S. ; Souza, S.R.S. ; SOUZA, P. S. L. . Aplicação de Teste Estrutural para Composição de Web Services. In: 1st Brazilian Workshop on Systematic and Automated Software Testing (SAST 2007), 2007, João Pessoa. Brazilian Workshop on Systematic and Automated Software Testing (SAST 2007) - collocated with XXI Simpósio Brasileiro de Engenharia de Software. Porto Alegre: Sociedade Brasileira de Computação, 2007. v. 1. p. 13-20.

• Ueda, C. ; Goncalves, R.A.L. ; Martini, J.A. ; SOUZA, P. S. L. ; Camilo Jr., A. . Uso do GAMESS na Modelagem da Atrazina e Uso de Redes de Petri na Modelagem do GAMESS. In: VII Fórum de Informática e Tecnologia de Maringá - FITEM2006, 2006, Maringá. V Forúm de Informática e Tecnologia de Maringá - VII Mostra de Trabalhos de Maringá ¿ FITEM, 2006. v. 1. p. 1-12.

• Santos, M.R. ; Matos, J. ; Bortolato, E. ; Camilo Jr., A. ; SOUZA, P. S. L. ; Goncalves, R.A.L. ; Martini, J.A. . Caracterizando o GAMESS como Benchmark para o SimpleScalar. In: VII Fórum de Informática e Tecnologia de Maringá - FITEM2006, 2006, Maringá. V Forúm de Informática e Tecnologia de Maringá - VII Mostra de Trabalhos de Maringá ¿ FITEM, 2006. v. 1. p. 104-113.

• Vergilio, S.R. ; Souza, S.R.S. ; SOUZA, P. S. L. . Coverage Testing Criteria for Message-Passing Parallel Programs. In: 6th IEEE Latin-American Test Workshop - LATW2005, 2005, Salvador Bahia. Proceedings of 6th IEEE Latin-American Test Workshop. Salvador: UFBa, 2005. p. 161-166.

• Souza, S.R.S. ; Vergilio, S.R. ; SOUZA, P. S. L. ; Simao, A.S. ; Goncalves, T.B. ; Lima, A.M. ; Hausen, A.C. . ValiPar: a testing tool for message-passing parallel programs. In: 17th International Conference on Software Engineering & Knowledge Engineering SEKE2005, 2005, Taipei, Taiwan. Proceedings of 17th International Conference on Software Engineering & Knowledge Engineering SEKE2005. Skokie, USA: Knowledge Systems Institute Graduate School, 2005. p. 386-391.

• Britto Jr., A.S. ; SOUZA, P. S. L. ; Sabourin, R. ; Souza, S.R.S. ; Borges, D.L. . A Low-Cost Parallel K-Means VQ Algorithm Using Cluster Computing. In: International Conference on Document Analysis and Recognition, 2003, Edinburgh. Proceedings of 7th International Conference on Document Analysis and Recognition. Edinburgh: University of Essex, 2003. v. 2. p. 839-843.

• Figueiredo, T.C. ; Santana, M.J. ; Santana, R.H.C. ; SOUZA, P. S. L. . Melhorias no Desempenho de Aplicações LAM/MPI: Uso do Ambiente AMIGO para o Escalonamento Eficiente de Processos. In: Wperfomance - Workshop em Desempenho de Sistemas Computacionais e de Comunicação / XXII CONGRESSO DA SOCIEDADE BRASILEIRA DE COMPUTAÇÃO, 2002, Florianópolis. Proceedings of WPerformance/XXII SBC. Florianópolis: Sociedade Brasileira de Computação, 2002. v. 6. p. 1358-1368.

• Kikuti, D. ; SOUZA, P. S. L. ; Souza, S.R.S. . XPVM-W95 - A Performance Monitoring Tool for PVM Clusters on Windows Operating Systems. In: XXII International Conference of the Chilean Computer Science Society - VI Workshop on Distrbuted Systems and Parallelism, 2002, Copiapo - Atacama. Proceedings of XXII International Conference of the Chilean Computer Science Society. Santiago: Chilean Computer Science Society, 2002. v. 1. p. 1-10.

• Santos, R.R. ; SOUZA, P. S. L. ; Santana, M.J. ; Santana, R.H.C. . Performance Evaluation of Distributed Applications Development Tools Under The Interprocess Communications ViewPoint. In: The 2001 International Conference on Parallel and Distributed Processing Techniques and Applications, 2001, Las Vegas, Nevada. Proceedings of International Conference on Parallel and Distributed Processing Techniques and Applications. Nevada: CSREA Press, 2001.

• SOUZA, P. S. L. ; Santana, M.J. ; Santana, R.H.C. . AMIGO: Uma Contribuição para a Convergência na Área de Escalonamento de Processos. In: CTD - Concurso de Teses e Dissertações - XXI Congresso da Sociedade Brasileira de Computação, 2001, Fortaleza. XXI Congresso da Sociedade Brasileira de Computação, 2001. v. 1. p. 112-113.

• SOUZA, P. S. L. ; Araujo, A.P.F. ; Santana, M.J. ; Santana, R.H.C. . Migração de Processos como Técnica de Distribuição de Cargas para Sistemas Localmente Distribuídos. In: Semana de Informática de 1999 da UFPA, 1999, Belém. Anais da Semana de Informática de 1999 da UFPA, 1999.

• SOUZA, P. S. L. ; Santana, M.J. ; Santana, R.H.C. . AMIGO - A Dynamical Flexible Scheduling Environment. In: 5th International Conference on Information Systems Analysis and Synthesis-ISAS'99, 1999, Orlando - Flórida. Proceedings of 5th International Conference on Information Systems Analysis and Synthesis, 1999.

• Araujo, A.P.F. ; SOUZA, P. S. L. ; Santana, M.J. ; Santana, R.H.C. . DPWP - A New Load Balancing Algorithm. In: 5th International Conference on Information Systems Analysis and Synthesis-ISAS'99, 1999, Orlando - Flórida. Proceedings of 5th International Conference on Information Systems Analysis and Synthesis-ISAS'99, 1999.

• SOUZA, P. S. L. ; Santana, M.J. ; Santana, R.H.C. . A New Scheduling Environment for Near-Optimal Performance. In: International Conference on Parallel and Distributed Processing Techniques and Applications - PDPTA'99, 1999, Las Vegas, Nevada. Proceedings of International Conference on Parallel and Distributed Processing Techniques and Applications - PDPTA'99. Las Vegas, Nevada, USA: Computer Science Research, Education, and Applications Press, 1999. v. 5. p. 2573-2579.

• Araujo, A.P.F. ; SOUZA, P. S. L. ; Santana, M.J. ; Santana, R.H.C. . A New Dynamical Scheduling Algorithm. In: International Conference on Parallel and Distributed Processing Techniques and Applications - PDPTA'99, 1999, Las Vegas, Nevada. Proceedings of International Conference on Parallel and Distributed Processing Techniques and Applications - PDPTA'99, 1999.

• SOUZA, P. S. L. ; Santana, M.J. ; Santana, R.H.C. ; Araujo, A.P.F. . PVM and a Viable and Flexible Scheduling. In: 11th IASTED Int. Conference on Parallel and Distributed Computing and Systems, 1999, Cambridge, Massachusetts. Proceedings of the 11th IASTED International Conference. Zurich: IASTED/ACTA Press, 1999. p. 29-34.

• SOUZA, P. S. L. ; Araujo, A.P.F. ; Santana, M.J. ; Santana, R.H.C. . Escalonamento de Processos: características, divergências e soluções. In: XII Semana Paraense de Informática - SEPAI'98, 1998, Belém. Anais da Semana Paraense de Informática, 1998. p. 9-17.

• SOUZA, P. S. L. ; Santana, M.J. ; Santana, R.H.C. ; Senger, L.J. ; Picinato, R. . O Impacto do Protocolo TCP/IP na Computação Paralela Distribuída no Ambiente Windows95. In: 15o. Simpósio Brasileiro de Redes de Computadores (SBRC97), 1997, São Carlos. Anais do 15o. Simpósio Brasileiro de Redes de Computadores (SBRC97), 1997. p. 36-47.

• SOUZA, P. S. L. ; Senger, L.J. ; Santana, M.J. ; Santana, R.H.C. . Evaluating Personal High Performance Computing with PVM on Windows and Linux Environments. In: Fourth European PVM-MPI Conference - EuroPVM-MPI'97, 1997, Krakow. EuroPVM-MPI'97 - Lecture Notes in Computer Science. Berlin: Springer-Verlag Berlin Heidelberg, 1997. v. 1332. p. 49-56.

• SOUZA, P. S. L. ; Santana, M.J. ; Santana, R.H.C. . Parallel Virtual Machine for Windows95. In: Third European PVM Conference EuroPVM96, 1996, Munique. Parallel Virtual Machine - EuroPVM'96 - Lecture Notes in Computer Science. Berlin: Springer-Verlag Berlin Heidelberg, 1996. v. 1156. p. 288-295.

• SOUZA, S. R. S. ; Santos, C. J. ; LOPES, E. P. ; LANG, R. G. ; ARANTES, P. P. J. S. ; Delamaro, M.E. ; HIGA, A. R. ; Duque, L. ; SOUZA, P.S.L. . Siflor Cerrado: Sistema de Informações para Planejamento Florestal no Cerrado Brasileiro. In: Simpósio Brasileiro de Sistemas de Informação - SBSI, 2023, Maceió. Anais Estendido do SBSI. Porto Alegre: Sociedade Brasileira de Computação, 2023. v. 1. p. 87-89.

• SPENGLER, A. C. F. ; SOUZA, PAULO S. L. . Rumo à Avaliação do Ethereum e do Hyperlegder Fabric com Dados Heterogêneos. In: Escola Regional de Alto Desempenho de São Paulo, 2020, São Paulo. Anais da ERAD-SP 2020. Porto Alegre: SBC, 2020. v. 1. p. 1-4.

• SCHAEFER, M. A. T. ; BACHIEGA, N. G. ; DE SOUZA, PAULO SERGIO L. ; Bruschi, S.M. . Avaliação do Docker Volume e do NFS no Compartilhamento de Sistemas de Arquivos em Contêineres. In: Simpósio de Sistemas Computacionais de Alto Desempenho - WSCAD, 2019, Campo Grande. Proceedings of WSCAD 2019. Porto Alegre: Sociedade Brasileira de Computação, 2019. v. 1. p. 1-8.

• Bonetti, D.R.F. ; LOPES, G. R. ; Delbem, A.C.B. ; SOUZA, PAULO S. L. ; Branco, K.R.L.J.C. ; Travieso, G. . Comparing Parallel Algorithms for Van der Waals Energy with Cell-List Techinique for Protein Structure Prediction. In: 17o. Workshop em Desempenho de Sistemas Computacionais e de Comunicação (WPerformance), 2018, Natal. Anais do WPerformance 2018. Porto Alegre: SBC, 2018. v. 1. p. 328-333.

• DAMASCENO, C. ; SOUZA, PAULO SERGIO LOPES DE ; Simao, A.S. . Um Algoritmo Paralelo para Priorização de Testes Baseada em Similaridade usando OpenMPI. In: 8a Escola Regional de Alto Desempenho de São Paulo (ERAD-SP 2017), 2017, São Carlos. 8a Escola Regional de Alto Desempenho de São Paulo (ERAD-SP 2017). Porto Alegre: SBC, 2017. v. 8. p. 65-68.

• BARROS, V. A. ; NUNES, LUIZ HENRIQUE ; SOUZA, PAULO SERGIO LOPES DE ; ESTRELLA, JULIO CEZAR . Paralelização do algoritmo Fast Non-Dominated Sorting para o ranqueamento de cidades de acordo com informações do clima. In: 8a Escola Regional de Alto Desempenho de São Paulo (ERAD-SP 2017), 2017, São Carlos. 8a Escola Regional de Alto Desempenho de São Paulo (ERAD-SP 2017). Porto Alegre: SBC, 2017. v. 8. p. 69-72.

• LOPES, G. R. ; SOUZA, PAULO SERGIO LOPES DE . Programação Paralela em GPU com o uso da Integração CUDA e MATLAB. In: 8a Escola Regional de Alto Desempenho de São Paulo (ERAD-SP 2017), 2017, São Carlos. 8a Escola Regional de Alto Desempenho de São Paulo (ERAD-SP 2017). Porto Alegre: SBC, 2017. v. 8. p. 53-56.

• Luz, H. J. F. ; SOUZA, PAULO SERGIO LOPES DE ; Souza, S.R.S. . Contribuições ao teste de cobertura de aplicações CUDA. In: 8a Escola Regional de Alto Desempenho (ERAD-SP 2017), 2017, São Carlos. 8a Escola Regional de Alto Desempenho (ERAD-SP 2017). Porto Alegre: SBC, 2017. v. 8. p. 81-84.

• DIAZ, S. M. D. ; SOUZA, PAULO SERGIO LOPES DE . Systematic mapping of structural testing criteria for concurrent programs considering dynamic aspects. In: 8a Escola Regional de Alto Desempenho de São Paulo (ERAD-SP 2017), 2017, São Carlos. 8a Escola Regional de Alto Desempenho de São Paulo (ERAD-SP 2017). Porto Alegre: SBC, 2017. v. 8. p. 89-92.

• BACHIEGA, N. G. ; SOUZA, PAULO SERGIO LOPES DE ; Bruschi, S.M. . Avaliação de Desempenho de Virtualização Baseada em Contêiner. In: 8a Escola Regional de Alto Desempenho de São Paulo (ERAD-SP 2017), 2017, São Carlos. 8a Escola Regional de Alto Desempenho de São Paulo (ERAD-SP 2017). Porto Alegre: SBC, 2017. v. 8. p. 77-80.

• 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. In: the 4th ACM SIGPLAN International Workshop, 2017, Vancouver. Proceedings of the 4th ACM SIGPLAN International Workshop on Software Engineering for Parallel Systems - SEPS 2017. New York: ACM Press, 2017. p. 42.

• 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. In: The International Conference on Computational Science (ICCS 2016), 2016, San Diego. Procedia Computer Science. New York: elsevier, 2016. v. 80. p. 2226-2230.

• SOUZA, PAULO S. L. ; Bruschi, S.M. . Aprendendo a Ensinar Sistemas Operacionais. In: 2o. Congresso de Graduação da Universidade de São Paulo, 2016, Piracicaba. Anais do 2o. Congresso de Graduação da Universidade de São Paulo. São Paulo: Universidade de São Paulo, 2016. v. 1. p. 1-2.

• 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. In: Escola Regional de Alto Desempenho de São Paulo, 2015, São José do Rio Preto. Anais do ERAD-SP 2015. Porto Alegre: SBC, 2015. v. 1. p. 1-4.

• Stabile, R. S. ; Bruschi, S.M. ; SOUZA, PAULO S. L. . Relacionando Conceitos de Áreas de Estudo de Desempenho da Ciência da Computação. In: XIV Workshop em Desempenho de Sistemas Computacionais e de Comunicação, 2015, Recife. Anais do 14o. WPerformance. Porto Alegre: SBC, 2015. v. 1. p. 1-5.

• SHISHIDO, H. Y. ; AZEVEDO, L. J. M. ; SOUZA, PAULO S. L. ; Estrella, J.C. ; Bruschi, S.M. . Basoper: a Web-based Open Educational Resource for the Teaching of Scheduling Algorithms for Batch Systems. In: XX Conferência Internacional sobre Informática na Educação TISE2015, 2015, Santiago. Proceedings of TISE2015. Santiago, Chile: Universidade do Chile, Faculdade de Ciências Físicas e Matemáticas, 2015. v. 11. p. 498-503.

• SANTOS, F. C. ; YIFEI, Z. ; Bruschi, S.M. ; SOUZA, PAULO S. L. . Avaliação de desempenho de diferentes estruturas de dados utilizadas por aplicações paralelas na plataforma Android. In: Escola Regional de Alto Desempenho de São Paulo (ERAD-SP 2014), 2014, São Bernardo do Campo. Proceeding of the ERAD-SP 2014. Porto Alegre: Sociedade Brasileira de Computação, 2014. v. 1. p. 1-4.

• YIFEI, Z. ; SANTOS, F. C. ; Bruschi, S.M. ; SOUZA, PAULO S. L. . Proposta de uma metodologia para escalonamento em grades móveis considerando a mobilidade dos dispositivos. In: Escola Regional de Alto Desempenho de São Paulo (ERAD-SP 2014), 2014, São Bernardo do Campo. Proceeding of the ERAD-SP 2014. Porto Alegre: Sociedade Brasileira de Computação, 2014. v. 1. p. 5-8.

• Melo, S.M. ; Souza, S.R.S. ; SOUZA, P. S. L. . Structural Testing for Multithread Programs: An Experimental Evaluation of the Cost, Strength and Effectiveness. In: 24th International Conference on Software Engineering and Knowledge Engineering (SEKE2012), 2012, San Francisco. Proceedings of 24th International Conference on Software Engineering and Knowledge Engineering (SEKE2012), 2012. v. 1. p. 476-479.

• Souza, S.R.S. ; Brito, M.A.S. ; SOUZA, P. S. L. ; Zaluska, E. . Research in Concurrent Software Testing: A Systematic Review. In: Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging - International Symposium on Software Testing and Analysis (ISSTA 2011), 2011, Toronto. Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, 2011. v. 1. p. 1-5.

• Brito, M.A.S. ; Felizardo, K. ; SOUZA, P. S. L. ; Souza, S.R.S. . Concurrent Software Testing: A Systematic Review. In: 22nd IFIP International Conference on Testing Software and Systems, 2010, Natal. 22nd IFIP International Conference on Testing Software and Systems, 2010. v. 1. p. 79-84.

• Sarmanho, F.S. ; SOUZA, P. S. L. ; Souza, S.R.S. ; Simao, A.S. . Aplicação de Teste Estrutural para Programas Multithreads Baseados em Semáforos. In: Workshop on Languages and Tools for Parallel and Distributed Programing (LTPD2007-SBAC/PAD2007), 2007, Gramado. Proceedings of LTPD2007 - collocated with SBAC/PAD 2007. Porto Alegre: Sociedade Brasileira de Computação, 2007. v. 1. p. 18-21.

• Hausen, A.C. ; Vergilio, S.R. ; Souza, S.R.S. ; SOUZA, P. S. L. ; Simao, A.S. . ValiMPI: Uma Ferramenta para Teste de Programas Paralelos. In: XX Simpósio Brasileiro de Engenharia de Software, 2006, Florianópolis. Anais da XIII Sessão de Ferramentas do SBES2006, 2006. v. 1. p. 7-12.

• SPENGLER, A. C. F. ; CONTE, D. J. ; MARTINS, G. ; SOUZA, PAULO S. L. . A Utilização de Aprendizado Baseado em Equipes como Técnica de Aprendizagem Ativa em Programação Concorrente. In: 4o. Congresso de Graduação da Universidade de São Paulo, 2018, São Paulo. Anais do 4o. Congresso de Graduação da Universidade de São Paulo. São Paulo: USP, 2018. v. 1. p. 1-1.

• SALDANHA, M. H. J. ; LOPES, G. R. ; DE SOUZA, PAULO SERGIO L. . Protein Structure Prediction with Parallel Algorithms Orthogonal to Parallel Platforms. In: 26o. Simpósio Internacional de Iniciação Científica da Universidade de São Paulo (SIICUSP 2018), 2018, São Carlos. Proceedings of 26th SIICUSP. São Paulo: USP, 2018. v. 1. p. 1-1.

• MELO, SILVANA MORITA ; SOUZA, P. S. L. ; Souza, S.R.S. . Towards an empirical study design for concurrent software testing. In: Fourth International Workshop on Software Engineering for HPC in Computational Science and Engineering (SE-HPCCSE16), 2016, Salt Lake City, Utah. Fourth International Workshop on Software Engineering for HPC in Computational Science and Engineering (SE-HPCCSE16). New Jersey: IEEE Press Piscataway, 2016. v. 1. p. 1-1.

• SOUZA, P. S. L. ; Santana, M.J. ; Santana, R.H.C. . Máquina Paralela Virtual em Ambiente Windows95. In: 1o. Workshop de Sistemas Distribuídos da VI Semana de Informática da UFBA, 1996, Salvador. I Worshop de Sistemas Distribuídos, 1996.

• SOUZA, PAULO S.L. ; Pereira, R. ; Falcão, T. P. . Painel: Abrindo a caixa de Pandora do Ensino Remoto no WEI 2021. 2021. (Apresentação de Trabalho/Conferência ou palestra).

• SOUZA, PAULO S. L. . Programação OpenMP com Alto Desempenho (uma visão SIMD) - Minicurso Convidado. 2020. (Apresentação de Trabalho/Conferência ou palestra).

• SOUZA, PAULO SERGIO LOPES DE . Sistemas Computacionais Avançados e a Computação Distribuída. 2017. (Apresentação de Trabalho/Conferência ou palestra).

• Cacho, C. E. A. ; SOUZA, PAULO S. L. ; Bruschi, S.M. ; BARBOSA, E. F. ; TIOSSO, F. . An Interative Approach for the Teaching of Virtual Memory Using Open Educational Resources. 2016. (Apresentação de Trabalho/Simpósio).

• SOUZA, PAULO S. L. ; Bruschi, S.M. . Aprendendo a Ensinar Sistemas Operacionais. 2016. (Apresentação de Trabalho/Congresso).

• Stabile, R. S. ; Bruschi, S.M. ; SOUZA, PAULO S. L. . Relacionando Conceitos de Áreas de Estudo de Desempenho da Ciência da Computação. 2015. (Apresentação de Trabalho/Congresso).

• SOUZA, PAULO S. L. . Testing of Concurrent Programs. 2014. (Apresentação de Trabalho/Conferência ou palestra).

• SOUZA, PAULO S. L. . Amnesia Project. 2014. (Apresentação de Trabalho/Conferência ou palestra).

• SOUZA, PAULO S. L. . Teste de Aplicações de Alto Desempenho. 2014. (Apresentação de Trabalho/Conferência ou palestra).

• SOUZA, PAULO S. L. . Computação de Alto Desempenho com Qualidade: Desafios e Perspectivas. 2014. (Apresentação de Trabalho/Conferência ou palestra).

• SOUZA, PAULO S. L. ; SOUZA, SIMONE R.S. ; Rocha, M.G. ; Prado, R.R. ; Batista, R. N. . Data flow testing in concurrent programs with message passing and shared memory paradigms. 2013. (Apresentação de Trabalho/Conferência ou palestra).

• Brito, M.A.S. ; Souza, S.R.S. ; DE SOUZA, PAULO SERGIO L. . An Empirical Evaluation of the Cost and Effectiveness of Structural Testing Criteria for Concurrent Programs. 2013. (Apresentação de Trabalho/Conferência ou palestra).

• SOUZA, PAULO S. L. . Encontrando Defeitos em Programas Concorrentes. 2009. (Apresentação de Trabalho/Conferência ou palestra).

• Sarmanho, F.S. ; SOUZA, P. S. L. ; Souza, S.R.S. ; Simao, A.S. . Structural Testing for Semaphore-Based Multithread Programs. 2008. (Apresentação de Trabalho/Congresso).

• SOUZA, P. S. L. ; Sawabe, E.T. ; Simao, A.S. ; Souza, S.R.S. ; Sarmanho, F.S. . ValiPVM - A Graphical Tool for Structural Testing of PVM Programs. 2008. (Apresentação de Trabalho/Congresso).

• Endo, A.T. ; Simao, A.S. ; Souza, S.R.S. ; SOUZA, P. S. L. . Web Services Composition Testing: a strategy based on stractural testing of parallel programs. 2008. (Apresentação de Trabalho/Congresso).

• SOUZA, PAULO S. L. . Desenvolvimento de Aplicações Paralelas com Qualidade: Desafios e Perspectivas. 2008. (Apresentação de Trabalho/Conferência ou palestra).

• SOUZA, PAULO S. L. . Sistemas Distribuídos, Programação Concorrente e Redes de Computadores. 2008. (Apresentação de Trabalho/Conferência ou palestra).

• SOUZA, PAULO S. L. . Sistemas Distribuídos, Programação Concorrente e Redes de Computadores. 2007. (Apresentação de Trabalho/Conferência ou palestra).

• Sarmanho, F.S. ; SOUZA, P. S. L. ; Souza, S.R.S. ; Simao, A.S. . Aplicação de Teste Estrutural para Programas Multithreads Baseados em Semáforos. 2007. (Apresentação de Trabalho/Simpósio).

• SOUZA, P. S. L. . Computação de Alto Desempenho Aplicada à Mecânica Quântica. 2005. (Apresentação de Trabalho/Conferência ou palestra).

• SOUZA, P. S. L. . Integrando a Pesquisa Científica e a Graduação: um caso de sucesso. 2005. (Apresentação de Trabalho/Conferência ou palestra).

• SOUZA, P. S. L. . Computação de Alto Desempenho nos Campos Gerais: situação atual e perspectivas futuras. 2003. (Apresentação de Trabalho/Conferência ou palestra).

• SOUZA, P. S. L. . Escalonamento de Processos em Plataformas Distribuídas: situação atual e perspectivas futuras das pesquisas desenvolvidas na UEPG.. 2002. (Apresentação de Trabalho/Conferência ou palestra).

• SOUZA, P. S. L. . Cluster para Computação de Alto Desempenho. 2002. (Apresentação de Trabalho/Conferência ou palestra).

• SOUZA, P. S. L. . Política I/O Bound para escalonamento de processos utilizando as ferramentas PVM e AMIGO. 2002. (Apresentação de Trabalho/Conferência ou palestra).

• SOUZA, P. S. L. . Benchmark e Escalonamento de Processos. 2001. (Apresentação de Trabalho/Conferência ou palestra).

• SOUZA, P. S. L. . AMIGO: a Arte de Escalonar Processos em Plataformas Distribuídas com Eficiência. 2000. (Apresentação de Trabalho/Conferência ou palestra).

• SOUZA, P. S. L. . Escalonamento de Processos em Plataformas Distribuídas: resultados de um doutoramento.. 2000. (Apresentação de Trabalho/Conferência ou palestra).

• SOUZA, PAULO S. L. . Um Elo entre Computação Paralela e Sistemas Distribuídos. 1995. (Apresentação de Trabalho/Conferência ou palestra).

• Brito, M.A.S. ; Felizardo, K. ; SOUZA, P. S. L. ; Souza, S.R.S. . Concurrent Software Testing: A Systematic Review. São Calos: ICMC/USP, 2010 (Relatório Técnico).

• Faical, B.S. ; SOUZA, P. S. L. ; Matos, J. ; Santana, M.J. ; Santana, R.H.C. . Jerrymouse ? Manual de Instalação. São Carlos: ICMC/USP, 2010 (Relatório Técnico).

• Sawabe, E.T. ; SOUZA, P. S. L. ; Souza, S.R.S. . Interface Gráfica para a ValiPVM: uma ferramenta de Teste de Programas Paralelos (Resumo de IC - WICT Comp 2007). São Carlos: ICMC/USP - WICT Comp da 10a. Semana da Computação, 2007 (Publicação em Evento de Iniciação Científica).

• Oliveira, B.H. ; SOUZA, P. S. L. ; Bruschi, S.M. ; Souza, S.R.S. . Uso da UML para Modelagem da Hierarquia de Memória - Módulo Memória Cache. São Carlos: Grupo PET do ICMC/USP, 2007 (Resumo de Iniciação Científica).

• 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. S: Grupo PET do ICMC/USP, 2007 (Resumo de Iniciação Científica).

• 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. São Carlos: Grupo PET do ICMC/USP, 2007 (Resumo de Iniciação Científica).

• Sarmanho, F.S. ; Estrella, J.C. ; SOUZA, P. S. L. ; Santana, M.J. ; Santana, R.H.C. ; Torres, G.M. . Instalação e configuração de clusters beowulf. São Carlos: ICMC/USP, 2007 (Notas Didáticas do ICMC/USP).

• Bortolato, E. ; Matos, J. ; SOUZA, P. S. L. ; Camilo Jr., A. ; Goncalves, R.A.L. ; Martini, J.A. . Algoritmos Paralelos Aplicados à Mecânica Qüântica (Resumo de IC). Ponta Grossa: IV Encontro de Pesquisa de Ponta Grossa, 2004 (Publicação em Evento de Iniciação Científica).

• Pereira, D.C. ; Bruno, J.W. ; SOUZA, P. S. L. . Aplicação da UML para o desenvolvimento de um simulador de hierarquia de memória (resumo de IC). Londrina: XIII Encontro Anual de Iniciação Científica, 2004 (Publicação em Evento de Iniciação Científica).

• Arruda, T.H. ; Coelho, A.N. ; SOUZA, P. S. L. ; Souza, S.R.S. . Caracterização e uso de Benchmarks para a avaliação de políticas de escalonamento em plataformas distribuídas (resumo de IC). Londrina: XIII Encontro Anual de Iniciação Científica, 2004 (Publicação em Evento de Iniciação Científica).

• Bruno, J.W. ; Souza, S.R.S. ; SOUZA, P. S. L. . Implementação de Recursos para Extração de Requisitos de Teste de Programas Paralelos em PVM (resumo de IC). Londrina: XIII Encontro Anual de Iniciação Científica, 2004 (Publicação em Evento de Iniciação Científica).

• Lima, A.M. ; Goncalves, T.B. ; Souza, S.R.S. ; SOUZA, P. S. L. ; Vergilio, S.R. . Implementação de Recursos para Extrair Informações de Troca de Mensagens de Aplicações Paralelas em PVM (resumo de IC). Londrina: XIII Encontro Anual de Iniciação Científica, 2004 (Publicação em Evento de Iniciação Científica).

• Goncalves, T.B. ; Lima, A.M. ; SOUZA, P. S. L. ; Vergilio, S.R. ; Souza, S.R.S. . Implementação de Recursos para Instrumentação de Programas Paralelos em PVM (resumo de IC). Londrina: XIII Encontro Anual de Iniciação Científica, 2004 (Publicação em Evento de Iniciação Científica).

• Matos, J. ; Bortolato, E. ; SOUZA, P. S. L. ; Camilo Jr., A. ; Goncalves, R.A.L. ; Martini, J.A. . O Emprego de Estruturas de Dados Avançadas para a Simulação Molecular (resumo de IC). Londrina: XIII Encontro Anual de Iniciação Científica, 2004 (Publicação em Evento de Iniciação Científica).

• Inacio, P.L. ; Camilo Jr., A. ; SOUZA, P. S. L. ; Goncalves, R.A.L. ; Martini, J.A. . Simulação de Espectros de Infra-Vermelho do Herbicida Atrazina via Métodos AB-Initio HF/DFT (resumo de IC). Londrina: XIII Encontro Anual de Iniciação Científica, 2004 (Publicação em Evento de Iniciação Científica).

• Matos, J. ; Bortolato, E. ; SOUZA, P. S. L. ; Camilo Jr., A. ; Goncalves, R.A.L. ; Martini, J.A. . Simulação Molecular com Algoritmos de Alto Desempenho (resumo de IC). Ponta Grossa: IV Encontro de Pesquisa da UEPG, 2004 (Publicação em Evento de Iniciação Científica).

• Matos, J. ; Bortolato, E. ; SOUZA, P. S. L. ; Camilo Jr., A. ; Goncalves, R.A.L. ; Martini, J.A. . Uso Eficiente da Mecânica Qüântica Através do GAMESS (resumo de IC). Londrina: XIII Encontro Anual de Iniciação Científica, 2004 (Publicação em Evento de Iniciação Científica).

• SOUZA, P. S. L. ; Matos, J. ; Bortolato, E. . Análise de Algoritmos de Mecânica Qüântica Aplicados em Arquiteturas Superescalares (resumo de IC). Foz do Iguaçu: XII Encontro Anual de Iniciação Científica, 2003 (Publicação em Evento de Iniciação Científica).

• Bruno, J.W. ; Souza, S.R.S. ; SOUZA, P. S. L. . Definição de Critérios de Teste e de Uma Interface Gráfica para a Ferramenta de Teste ValiPVM (resumo de IC). Ponta Grossa: III Encontro de Pesquisa da UEPG, 2003 (Publicação em Evento de Iniciação Científica).

• Inacio, P.L. ; Camilo Jr., A. ; SOUZA, P. S. L. ; Goncalves, R.A.L. ; Martini, J.A. . Estudo Teórico da Estrutura Eletrônica do Herbicida Atrazina via Métodos ab-initio (HF/DFT) (resumo de IC). Ponta Grossa: IX Semana da Física da UEPG, 2003 (Publicação em Evento de Iniciação Científica).

• Pereira, D.C. ; SOUZA, P. S. L. . MinMax: uma proposta para lidar com plataformas heterogêneas e multiusuárias em clusters usando recursos mínimos (resumo de IC). Ponta Grossa: III Encontro de Pesquisa da UEPG, 2003 (Publicação em Evento de Iniciação Científica).

• Pereira, D.C. ; SOUZA, P. S. L. . Uma Nova Política de Escalonamento para Clusters Beowulf Heterogêneos e Multiusuários (resumo de IC). Foz do Iguaçu: XII Encontro Anual de Iniciação Científica, 2003 (Publicação em Evento de Iniciação Científica).

• Kikuti, D. ; SOUZA, P. S. L. . Monster: uma ferramenta para monitoração de clusters voltada ao escalonamento de processos. Ponta Grossa: I Mostra de Projetos em Computação - PROCOMP2003, 2003 (Resumo de Iniciação Científica).

• Voorsluys, W. ; SOUZA, P. S. L. . Balanceamento de carga dinâmico e índices de carga utilizando Linux (resumo de IC). Maringá: XI Encontro Anual de Iniciação Científica, 2002 (Publicação em Evento de Iniciação Científica).

• Pereira, D.C. ; SOUZA, P. S. L. . Escalonamento de Processos em Plataformas Distribuídas (resumo de IC). Ponta Grossa: II Encontro de Pesquisa da UEPG, 2002 (Publicação em Evento de Iniciação Científica).

• SOUZA, P. S. L. ; Pereira, D.C. . MinMax: uma nova proposta ao escalonamento de processos para ambiente LINUX/PVM/AMIGO (resumo de IC). Maringá: XI Encontro Anual de Iniciação Científica, 2002 (Publicação em Evento de Iniciação Científica).

• Kikuti, D. ; SOUZA, P. S. L. . Monitoramento de Desempenho em Máquinas Paralelas Virtuais no Ambiente Windows (resumo de IC). Maringá: XI Encontro Anual de Iniciação Científica, 2002 (Publicação em Evento de Iniciação Científica).

• Voorsluys, W. ; SOUZA, P. S. L. . Uma Política de Escalonamento de Processos como uma Ferramenta de Testes para Índices de Carga (resumo de IC). Maringá: XI Encontro Anual de Iniciação Científica, 2002 (Publicação em Evento de Iniciação Científica).

• Kikuti, D. ; SOUZA, P. S. L. . XPVM-W95 - Uma Ferramenta de Apoio ao Monitoramento de Desempenho para o PVM-W95 (resumo de IC). Ponta Grossa: II Encontro de Pesquisa da UEPG, 2002 (Publicação em Evento de Iniciação Científica).

• SOUZA, P. S. L. ; Santana, M.J. ; Santana, R.H.C. . Escalonamento de Processos: uma contribuição para a convergência na área. São Carlos: Instituto de Ciências Matemáticas e de Computação/USP, 2000 (Notas).

• SOUZA, P. S. L. ; Santana, M.J. . Computação Paralela Distribuída no Ambiente Windows. São Carlos: II Worshop de Teses e Dissertações Defendidas (ICMC/USP), 1997 (Publicação em Evento de Pós-Graduação).

• Souza, M.A. ; SOUZA, P. S. L. ; Souza, S.R.S. ; Santana, M.J. ; Santana, R.H.C. . Aplicações RPC no Ambiente SUN-OS. São Carlos: Instituto de Ciências Matemáticas e de Computação, 1995 (Notas Didáticas).

• Spolon, R. ; SOUZA, P. S. L. ; Santana, M.J. ; Santana, R.H.C. . PVM - Parallel Virtual Machine: conceitos básicos e exemplo de aplicação. São Carlos: Intituto de Ciências Matemáticas e de Computação, 1995 (Relatório Técnico).

• SOUZA, P. S. L. ; Santana, M.J. . Máquina Paralela Virtual em Ambiente Windows (resumo). São Carlos: I Workshop de Dissertações em Andamento do ICMC/USP, 1995 (Publicação em Evento de Pós-Graduação).

Outras produções

Projetos de pesquisa

• 2021 - 2024

  Desenvolvimento de uma Metodologia para definição de Ensaios de Proficiência em Avaliação de Software, Projeto certificado pela empresa Instituto Nacional de Metrologia, Qualidade e Tecnologia em 16/05/2022., Descrição: Um Ensaio de Proficiência consiste na avaliação do desempenho de um conjunto de participantes com base em critérios pré-estabelecidos. Ele geralmente é aplicado em contextos onde organismos que realizam a avaliação da conformidade de determinado produto necessitam ter a competência dos participantes demonstrada por meio de uma inter comparação. Embora os Ensaios de Proficiência tenham métodos e procedimentos muito bem definidos em diferentes áreas do conhecimento, o mesmo não ocorre quando os organismos responsáveis têm que avaliar produtos de software. Tal dificuldade se dá principalmente em função da inerente subjetividade associada à avaliação da conformidade de um produto de software, bem como da dificuldade em se determinar métricas eficientes para se verificar quão eficiente é um determinado procedimento de avaliação. Em resposta a isso, o presente projeto propõe o desenvolvimento de uma metodologia própria para especificação de Ensaios de Proficiência em Avaliação de Software, que inclua procedimentos e métricas eficientes para determinar o grau de competência com que um organismos ou laboratório pode avaliar e atestar a conformidade de produtos software. Esta iniciativa é de grande interesse da academia, indústria e governos, considerando-se que cada vez mais provedores de soluções baseadas em software recorrem a avaliações de terceira parte para atestar a conformidade de seus produtos, e consequentemente precisam confiar que os organismos que prestam esses serviços são devidamente competentes.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (3) . , Integrantes: Paulo Sérgio Lopes de Souza - Integrante / Simone do Rocio Senger de Souza - Coordenador / DELAMARO, MÁRCIO E. - Integrante / Raphael Carlos Santos Machado - Integrante / Wladmir Araújo Chapetta - Integrante / Paulo Roberto de Mesquita Nascimento - Integrante / Vania de Oliveira Neves - Integrante / Wilson de Souza Melo Junior - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.

• 2021 - Atual

  Trends on High Performance Computing, from Resource Management to New Computer Architectures, Descrição: In this project we join efforts and expertise from several Computer Science re- searchers on High Performance Computing (HPC). Our main goal is to promote high impact research on two areas of HPC: Resource Management and on New Computer Architectures. Each area is divided in various topics. Each topic is lead by an experienced researcher and it will be tackled with the help of collaborators and students. With this project we want to provide not only the research itself but also the synergy of São Paulo State researchers.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Paulo Sérgio Lopes de Souza - Integrante / Sarita Mazzini Bruschi - Integrante / Helio Crestana Guardia - Integrante / Rodolfo Jardim de Azevedo - Integrante / Luiz Fernando Bittencourt - Integrante / Hermes Senger - Integrante / Alexandro José Baldassin - Integrante / Alvaro Fazenda - Integrante / Guido Costa Souza de Araújo - Integrante / Daniel de Angelis Cordeiro - Integrante / Denise Stringhini - Integrante / Emilio de Camargo Francesquini - Integrante / Kelly Rosa Braghetto - Integrante / Raphael Yokoingawa de Camargo - Integrante / Danilo Carastan dos Santos - Integrante / Pedro Henrique Rocha Bruel - Integrante / Alfredo Goldman vel Lejbman - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.

• 2020 - 2023

  Teaching Parallel Programming with Virtual Local Heterogeneous Infrastructures, Descrição: Providing parallel programming education is an emerging challenge, requires teaching ap-proaches to further the learning process and a complex infrastructure to provide a suitableenvironment for the laboratory practical classes. Do not prioritize parallel programming re-quirements in future computing professionals learning can lead to a significant training gap,negatively impacting the efficient use of current computing platforms. To popularize "parallelthinking," it is essential to adopt practical learning approaches and means to facilitate softwareconfiguration and the infrastructure necessary for laboratory classes. Unfortunately, many publicand private institutions do not have a cluster or an infrastructure to run parallel programs. Also,there is an operational cost to create and maintain a required environment for these laboratory classes. Another point that culminates in barriers to the adoption of parallel education, manytimes, is the lack of teachers without research in high-performance computing and difficulties inmanaging the execution environment. This research aims to evaluate whether developing a tool to assist practical classes in parallel programming can advance this teaching in institutions without infrastructure or qualified personnel. This project seeks to develop an instructional unit for the teaching of parallel computing in the course of computer science, using test methodologies, making the learning environment highly configurable and scalable with the use of containers. We extensively studied existing works to determine how practical teaching was carried out inthe institutions to create the tool. We define the requirements, development, and experimentscarried out with professionals in the computer area and students to assess its practical teaching effectiveness. As a result, we propose Iguana, an open-source tool for teaching parallel program-ming, thinking about students who do not have access to this type of infrastructure, usually low-income persons.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Paulo Sérgio Lopes de Souza - Coordenador / Sarita Mazzini Bruschi - Integrante / Naylor G. Bachiega - Integrante / Pablo Frank-Bolton - Integrante / Rahul Simba - Integrante.

• 2020 - 2022

  Research Collaborations between QUB and USP: Exploring Areas for Joint Research Collaborations on Software Testing, Projeto certificado pelo(a) coordenador(a) Ellen Francine Barbosa em 02/09/2021., Descrição: Esta proposta visa construir uma forte relação de pesquisa entre as equipes da QUB e da USP na área de Teste de Software. Para isso, estão planejadas atividades de intercâmbio (missões de pesquisa), nas quais organizaremos uma ou mais palestras e cursos de curta duração pelo pesquisador convidado, workshops interativos intensivos de um dia e também reuniões individuais entre o pesquisador convidado e os pesquisadores locais.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Paulo Sérgio Lopes de Souza - Integrante / Adenilso da Silva Simao - Integrante / Rosana Teresinha Vaccare Braga - Integrante / Ellen Francine Barbosa - Coordenador / Simone do Rocio Senger de Souza - Integrante / Vahid Garousi - Integrante / DELAMARO, MÁRCIO E. - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.

• 2020 - 2021

  Um Catálogo de Recursos Educacionais para Apoiar Docentes de Teste de Software, Descrição: Ensinar a atividade de teste de software não é trivial, também pela dificuldade em elaborar exercícios práticos. Poroutro 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, objetosde 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 recursoseducacionais.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Doutorado: (1) . , Integrantes: Paulo Sérgio Lopes de Souza - Coordenador / Simone do Rocio Senger de Souza - Integrante / Leo Natan Paschoal - Integrante / Leonardo Antonetti da Motta - Integrante., Financiador(es): Universidade de São Paulo - Bolsa.

• 2019 - 2021

  Estudo e desenvolvimento de técnicas de teste de software e suas aplicações, Descrição: 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.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Paulo Sérgio Lopes de Souza - Integrante / Simone do Rocio Senger de Souza - Integrante / Márcio Eduardo Delamaro - Coordenador / Adenilso da Silva Simao - Integrante / José Carlos Maldonado - Integrante / Ellen Francine Barbosa - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.

• 2018 - 2019

  Predição de Estruturas de Proteínas com Algoritmos Paralelos Ortogonais às Plataformas Paralelas, Descrição: 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.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Paulo Sérgio Lopes de Souza - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa., Número de produções C, T & A: 2

• 2018 - 2018

  CAPES - Auxílio à Pesquisa - PAEP - Organização do WSCAD 2018, Descrição: 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.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Paulo Sérgio Lopes de Souza - Coordenador / Calebe de Paula Bianchini - Integrante., Financiador(es): CAPES - Centro Anhanguera de Promoção e Educação Social - Auxílio financeiro.

• 2018 - 2018

  CNPq - Auxílio à Pesquisa - ARC - Organização do WSCAD 2018, Descrição: Projeto aprovado no CNPq 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.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Paulo Sérgio Lopes de Souza - Coordenador / Calebe de Paula Bianchini - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2018 - 2018

  FAPESP - Auxílio à Pesquisa - Organização de Reunião Científica - WSCAD 2018, Descrição: Projeto FAPESP nr 2018/08343-8 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.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (50) / Mestrado acadêmico: (47) . , Integrantes: Paulo Sérgio Lopes de Souza - Coordenador / Calebe de Paula Bianchini - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.

• 2017 - 2017

  CNPq - Auxílio à Pesquisa - ARC - Organização da ERAD-SP 2017, Descrição: Projeto aprovado no CNPq nr 441761/2016-0 para a realização da ERAD-SP 2017 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.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Paulo Sérgio Lopes de Souza - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2017 - 2017

  CAPES - Auxílio à Pesquisa - PAEP - Organização da ERAD-SP 2017, Descrição: 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.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Paulo Sérgio Lopes de Souza - Coordenador., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.

• 2016 - 2017

  FAPESP- Auxílio à Pesquisa - Organização de Reunião Científica - 8a Escola Regional de Alto Desempenho de São Paulo - ERAD-SP 2017, Descrição: 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.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (20) . , Integrantes: Paulo Sérgio Lopes de Souza - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.

• 2016 - Atual

  CEPID-CeMEAI - Centro de Ciências Matemáticas Aplicadas à Indústria, Descrição: MISSÃOFornecer 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ÃOSer 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.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Paulo Sérgio Lopes de Souza - Integrante / José Alberto Cuminato - Coordenador / José Mario Martinez - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.

• 2015 - Atual

  Recursos Educacionais Abertos para o Ensino da Computação, Descrição: Este projeto visa o desenvolvimento de Recursos Educacionais Abertos (REA) para o ensino da computação para alunos da graduação e da pós-graduação. Os REA desenvolvidos estão disponíveis em http://rea.lasdpc.icmc.usp.br/en/. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (50) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Paulo Sérgio Lopes de Souza - Coordenador / Sarita Mazzini Bruschi - Integrante., Número de produções C, T & A: 4

• 2013 - Atual

  Teste Paralelo de Programas Concorrentes, Projeto certificado pela empresa Aker Security Solutions em 11/09/2015., Descrição: 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.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (3) / Doutorado: (3) . , Integrantes: Paulo Sérgio Lopes de Souza - Coordenador / Marcos José Santana - Integrante / Regina Helena Carlucci Santana - Integrante / Simone do Rocio Senger de Souza - Integrante / Sarita Mazzini Bruschi - Integrante / Júlio Cézar Estrella - Integrante / Edward John Zaluska - Integrante / Murilo Giacometti Rocha - Integrante / Rafael Regis do Prado - Integrante / Raphael Negrisoli Batista - Integrante / Igor Vitório Custódio - Integrante / João Manuel dos Santos Lourenço - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro., Número de produções C, T & A: 16

• 2010 - 2011

  Teste de Aplicações Distribuídas: Desafios Usando o Paradigma de Passagem de Mensagens, Descrição: 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.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Paulo Sérgio Lopes de Souza - Coordenador / Edward John Zaluska - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa., Número de produções C, T & A: 3

• 2008 - 2010

  TestPar - Subsídios para o Teste Estrutural de Aplicações Distribuídas, Descrição: 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.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Paulo Sérgio Lopes de Souza - Integrante / Simone do Rocio Senger de Souza - Coordenador / Silvia Regina Vergilio - Integrante / Adenilso da Silva Simao - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro., Número de produções C, T & A: 19

• 2008 - 2010

  Otimizando a Distribuição de Requisições em Clusters de Web Services: uma abordagem flexível, dinâmica e transparente, Descrição: 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.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . , Integrantes: Paulo Sérgio Lopes de Souza - Coordenador / Marcos José Santana - Integrante / Regina Helena Carlucci Santana - Integrante / Simone do Rocio Senger de Souza - Integrante / Jonathan de Matos - Integrante / Sarita Mazzini Bruschi - Integrante / Rodrigo Ferreira Ladeira - Integrante / Bruno Squizato Faiçal - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro., Número de produções C, T & A: 5

• 2007 - 2009

  Políticas de Escalonamento e Controle de Admissão para Servidores Web com Diferenciação de Serviço, Descrição: Este projeto tem por objetivo pesquisar e desenvolver novas tecnologias voltadas à QoS, no contexto Web Services.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Paulo Sérgio Lopes de Souza - Integrante / Marcos José Santana - Coordenador / Regina Helena Carlucci Santana - Integrante / Sarita Mazzini Bruschi - Integrante / Júlio Cézar Estrella - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro., Número de produções C, T & A: 1

• 2006 - 2015

  Amnésia - um simulador de hierarquia de memória, Descrição: O objetivo deste projeto é desenvolver o Amnésia, um simulador da hierarquia de memória para máquinas de von Neumann, voltado ao ensino da matéria Arquitetura de Computadores nos cursos de graduação em computação. O Amnésia simulará o funcionamento dos registradores, caches, memória principal e virtual, sendo dividido em três módulos: memória cache, memória virtual e processador. O módulo Memória Cache contemplará os diferentes níveis de cache que antecedem o acesso à RAM. O módulo Memória Virtual converterá endereços virtuais em reais, abordando inclusive o uso de discos para armazenamento temporário de posições de memória. O módulo Processador fará a geração das chamadas ao subsistema de memória, permitindo a simulação dos registradores. Como resultado espera-se contribuir para o ensino na graduação e determinar a eficiência do uso da UML na modelagem dos dispositivos básicos de hardware e software envolvidos com memória.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Paulo Sérgio Lopes de Souza - Coordenador / Simone do Rocio Senger de Souza - Integrante / Sarita Mazzini Bruschi - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa / Universidade de São Paulo - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 7

• 2002 - 2008

  PAD-Ambiental - Suporte Computacional de alto desempenho em, Descrição: 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.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Paulo Sérgio Lopes de Souza - Coordenador / Jonathan de Matos - Integrante / Eduardo Bortolato - Integrante / Alexandre Camilo Júnior - Integrante / Patrícia Loren Inácio - Integrante / Ronaldo Augusto de Lara Gonçalves - Integrante / João Ângelo Martini - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 4

• 2002 - 2005

  VALIPVM - Teste e Validação de Programas Concorrentes em PVM, Descrição: CNPq - PDPGTI - dez/2002 a jun/2005 - Financiamento Total de R$150.000,00. A atividade de teste de software é crucial para garantir a qualidade do software, entretanto, o alto custo de aplicação compromete sua utilização prática. Este custo ocorre devido à falta de pessoas qualificadas, de ferramentas de apoio e de técnicas adequadas para a condução desta atividade. Esses problemas se agravam quando são considerados softwares paralelos. Assim, a atividade de validação de programas paralelos ainda é considerada um problema no contexto de tecnologia da informação. Muitas questões caracterizadas para programas seqüenciais não são suficientes para programas paralelos, devido às características adicionais que precisam ser consideradas durante a validação como: não determinismo, sincronização, concorrência e comunicação. Este projeto tem por objetivo principal estudar novas técnicas e critérios na área de teste de aplicações paralelas em ambientes de passagem de mensagens. Como resultado principal deste projeto pretende-se disponibilizar uma ferramenta de teste que automatize as técnicas e critérios de teste definidos e que possa ser aplicada em problemas reais que necessitem desta tecnologia. A ferramenta irá propiciar as seguintes atividades: geração, seleção e execução de testes, avaliação da cobertura dos testes, depuração e análise dos resultados. Em um primeiro momento, pretende-se definir a ferramenta voltada para o ambiente de passagem de mensagem PVM - Parallel Virtual Machine e, na seqüência, para o ambiente MPI - Message Passing Interface. Com a disponibilidade da ferramenta, pretende-se capacitar pessoas para atuarem na área de teste de software, disseminando a cultura de validação de softwares paralelos em empresas e centros de pesquisa da região. Outro objetivo que se pretende atingir é identificar parcerias com empresas da região que possam ser favorecidas com o fruto desta pesquisa, fortalecendo a interação entre Universidade e Empresa.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Paulo Sérgio Lopes de Souza - Integrante / Simone do Rocio Senger de Souza - Coordenador / João Walter Bruno - Integrante / Thiago Bliscosque Gonçalves - Integrante / Alexandre de Melo Lima - Integrante / Silvia Regina Vergilio - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2001 - 2002

  Kit Enxoval Recem-Doutor - CNPq - Escalonamento de Processos, Descrição: O uso de microprocessadores heterogêneos genéricos tem contribuído para o avanço da computação paralela em plataformas distribuídas, como uma alternativa barata e eficiente de operar dados científicos. Para um melhor aproveitamento do potencial computacional destas plataformas se deve considerar um bom escalonamento dos processos envolvidos, inclusive considerando microprocessadores de diferentes arquiteturas. Este trabalho aborda a MinMax (Minimal Resources for Maximal Performance), uma nova política de escalonamento CPU-Bound que adota como diretivas de escalonamento o balanceamento de carga e o conceito de Recursos Mínimos. A MinMax está inserida em um projeto maior, denominado AMIGO - DynAMcal FlexIble SchedulinG EnvirOnment, uma ferramenta de software aberta que cria um ambiente gerenciador de escalonamento dinâmico e transparente ao usuário, através do uso de diferentes políticas de escalonamento. O AMIGO age como um mediador entre as políticas e o ambiente de passagem de mensagens (MPI, Corba, PVM, etc.). Os Recursos Mínimos da MinMax funcionam como um filtro da plataforma distribuída, selecionando máquinas que se enquadram em pré-requisitos estabelecidos pela aplicação a ser processada, considerando itens como: processador, arquitetura, memória, freqüência, cache e taxa de transferência de rede. A partir desta pré-seleção, é ativado o balanceamento de carga que se encarrega de distribuir uniformemente os processos dentre os hosts aprovados para tal, buscando sempre um escalonamento sub-ótimo. A MinMax apresenta características de portabilidade, as quais permitem a sua execução em diferentes arquiteturas, tais como a x86 e a SPARC. Para a troca de informações entre arquiteturas heterogêneas está sendo estudado o padrão XDR(eXternal Data Representation), o qual permite que a comunicação entre os processos esteja em um padrão reconhecido por todas as máquinas.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Paulo Sérgio Lopes de Souza - Coordenador / Diogo Colla Pereira - Integrante / William Voorsluys - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 4

• 2001 - 2002

  Kit Enxoval Recem Doutor - CNPq - Monitoração de Clusters, Descrição: 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.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Paulo Sérgio Lopes de Souza - Coordenador / Daniel Kikuti - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 3

• 2000 - 2005

  AMIGO - dynamical flexible scheduling environment, Descrição: 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.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Paulo Sérgio Lopes de Souza - Coordenador / Marcos José Santana - Integrante / Regina Helena Carlucci Santana - Integrante., Número de produções C, T & A: 29

• 1993 - 1994

  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, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Paulo Sérgio Lopes de Souza - Coordenador / Altair Justino - Integrante.

Projetos de desenvolvimento

• 2021 - Atual

  Projeto Siflor Cerrado: Desenvolvimento de Software de apoio ao Cultivo de Espécies Florestais no Cerrado Brasileiro, Descrição: 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.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Paulo Sérgio Lopes de Souza - Integrante / Simone do Rocio Senger de Souza - Coordenador / DELAMARO, MÁRCIO E. - Integrante / Luciana Duque - Integrante.

• 2021 - 2023

  Projeto Siflor Cerrado: Desenvolvimento de Software de apoio ao Cultivo de Espécies Florestais no Cerrado Brasileiro, Projeto certificado pelo(a) coordenador(a) Márcio Eduardo Delamaro em 16/05/2022., Descrição: 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.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Paulo Sérgio Lopes de Souza - Integrante / Simone do Rocio Senger de Souza - Coordenador / DELAMARO, MÁRCIO E. - Integrante / Luciana Duque - Integrante.

Prêmios