Prioritizing Test Cases with Markov Chains: A Preliminary Investigation Luciana Rebelo, Érica Souza, Gian Berkenbrock, Gerson Barbosa, Marlon Silva, et al. Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2023
Input Data Optimization for Pauliceia 2.0 Platform's Historical Geocoding Web Service Proceedings of the Brazilian Symposium on Geoinformatics, 2023
A system to Support the Physiotherapeutic Treatment of Chronic Pain in the Spine Luciana Brasil Rebelo dos Santos, Miriele dos Santos Silverio, Cleyton de Castro Mario, Cinara Guellner Ghedini, Renato Jose Soares Iberian Conference on Information Systems and Technologies Cisti, 2021 Backache is one of the biggest worldwide problems and has been studied by researchers worldwide. Nevertheless, there is a gap of applications to support the decision making in physiotherapy treatments. A possibility is to verify if there are patient's evolutionary patterns and thus, to understand if it is feasible to generate an early evolutionary prognosis before the beginning of the treatment. Hence, this work introduces an information system that allows maintaining the data of patients and their entire treatment, from therapies adopted to patient's evolution. The system was evaluated in the development environment to show its feasibility in a few scenarios. The next step is to apply appropriate data analysis techniques to support a more personalized treatment.
Vulnerabilities and Open Issues of Smart Contracts: A Systematic Mapping Gabriel de Sousa Matsumura, Luciana Brasil Rebelo dos Santos, Arlindo Flavio da Conceição, Nandamudi Lankalapalli Vijaykumar Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2021
Collaborative Historical Platform for Historians: Extended Functionalities in Pauliceia 2.0 International Conference on Web Information Systems and Technologies Webist Proceedings, 2021
A formal verification tool for UML behavioral diagrams Luciana Brasil Rebelo dos Santos, Eduardo Rohde Eras, Valdivino Alexandre de Santiago Júnior, Nandamudi Lankalapalli Vijaykumar Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, 2014
RECENT SCHOLAR PUBLICATIONS
Reference Architecture for Autonomy and Adaptivity in Satellites F Basciani, L Rebelo, P Pelliccione Journal of Systems and Software, 112802 , 2026 2026
Computational Solutions for Supporting Systematic Reviews in Software Engineering: a Comprehensive Overview MF de Abreu Aguiar, ÉF De Souza, KR Felizardo, L Rebelo Euromicro Conference on Software Engineering and Advanced Applications, 324-333 , 2026 2026
Impact of Generative Artificial Intelligence on Knowledge Management in Software Engineering: A Systematic Mapping Study ACMP Costa, JBO Fantini, ÉF de Souza, G BragaeSilva, L Rebelo, ... Simpósio Brasileiro de Qualidade de Software (SBQS), 55-66 , 2025 2025
How low-code platforms support digital twins of processes: A. Fedeli et al. A Fedeli, A Di Salle, D Micucci, L Rebelo, MT Rossi, L Mariani, L Iovino Software and Systems Modeling 24 (5), 1317-1333 , 2025 2025 Citations: 3
How have Ethics been Addressed in the Software Development Lifecycle? A Systematic Mapping Study OS Gomes, GB Silva, ÉF Souza, L Rebelo, NL Vijaykumar, GZ Fernandes Euromicro Conference on Software Engineering and Advanced Applications, 313-323 , 2025 2025
Applications of AI in Space Domain L Rebelo, F Basciani, P Pelliccione ACM Computing Surveys 58 (1), 1-38 , 2025 2025 Citations: 3
Performance regression testing initiatives: a systematic mapping LBR dos Santos, ÉF de Souza, AT Endo, C Trubiani, R Pinciroli, ... Information and Software Technology 179, 107641 , 2025 2025 Citations: 11
How Low-Code Platforms Support Process Digital Twins A Fedeli, A Di Salle, D Micucci, LBR Dos Santos, M Rossi, L Mariani, ... 2025
Waste management through digital twins and business process modeling A Di Salle, A Fedeli, L Iovino, L Mariani, D Micucci, L Rebelo, MT Rossi Proceedings of the ACM/IEEE 27th International Conference on Model Driven … , 2024 2024 Citations: 8
Future directions in software engineering for autonomous robots: An agenda for trustworthiness [opinion] D Brugali, A Cavalcanti, N Hochgeschwender, P Pelliccione, L Rebelo IEEE Robotics & Automation Magazine 31 (3), 186-204 , 2024 2024 Citations: 4
Software Architecture. ECSA 2024 Tracks and Workshops: Luxembourg City, Luxembourg, September 3–6, 2024, Proceedings A Ampatzoglou, J Pérez, B Buhnova, V Lenarduzzi, CC Venters, U Zdun, ... Springer Nature , 2024 2024
Cobol: Community-based organized littering L Baresi, S Bianco, A Di Salle, L Iovino, L Mariani, D Micucci, ... 2024 50th Euromicro Conference on Software Engineering and Advanced … , 2024 2024 Citations: 5
COLUMNS & DEPARTMENTS Y Guo, A Billard, D Brugali, A Cavalcanti, N Hochgeschwender, ... IEEE Robotics & Automation Magazine, 2 , 2024 2024
Deep Learning-Based Active Fire Detection Using Satellite Imagery CEP Reis, LBR Dos Santos, F Morelli, NL Vijaykumar International Conference on Intelligent Systems Design and Applications, 148-157 , 2023 2023 Citations: 2
A Systematic Literature Review on Prioritizing Software Test Cases Using G Barbosa¹, É Souza, LR Rebelo, M Silva, J Balera Testing Software and Systems: 35th IFIP WG 6.1 International Conference … , 2023 2023
Prioritizing Test Cases with Markov Chains: A Preliminary Investigation CT Luciana Rebelo, Érica Souza, Gian Berkenbrock, Gerson Barbosa, Marlon ... IFIP International Conference on Testing Software and Systems, 219-236 , 2023 2023
Journal first: A Systematic Literature Review on Prioritizing Software Test Cases Using Markov Chains G Barbosa, É Souza, L Rebelo, M Silva, J Balera, N Vijaykumar LECTURE NOTES IN COMPUTER SCIENCE, 179-182 , 2023 2023
Input Data Optimization For Pauliceia 2.0 Platform's Historical Geocoding Web Service D De Sousa, DL Musa XXIV Brazilian Symposium on Geoinformatics-GEOINFO 2023 , 2023 2023
Clio’s (mis) adventures with Hermes, Hestia, and Hephaestus L Ferla, R Laguardia, J Lesser, AG Britt, TD Rogers, F Atique, KD Fook, ... Historiografías: revista de historia y teoría, 6-26 , 2023 2023
MOST CITED SCHOLAR PUBLICATIONS
Software requirements testing approaches: a systematic literature review J dos Santos, LEG Martins, VA de Santiago Júnior, LV Povoa, ... Requirements Engineering 25 (3), 317-337 , 2020 2020 Citations: 30
A systematic literature review on prioritizing software test cases using Markov chains G Barbosa, ÉF De Souza, LBR Dos Santos, M Da Silva, JM Balera, ... Information and Software Technology 147, 106902 , 2022 2022 Citations: 27
Transformation of UML behavioral diagrams to support software model checking LBR Santos, VAS Júnior, NL Vijaykumar arXiv preprint arXiv:1404.0855 , 2014 2014 Citations: 16
Performance regression testing initiatives: a systematic mapping LBR dos Santos, ÉF de Souza, AT Endo, C Trubiani, R Pinciroli, ... Information and Software Technology 179, 107641 , 2025 2025 Citations: 11
Waste management through digital twins and business process modeling A Di Salle, A Fedeli, L Iovino, L Mariani, D Micucci, L Rebelo, MT Rossi Proceedings of the ACM/IEEE 27th International Conference on Model Driven … , 2024 2024 Citations: 8
Cobol: Community-based organized littering L Baresi, S Bianco, A Di Salle, L Iovino, L Mariani, D Micucci, ... 2024 50th Euromicro Conference on Software Engineering and Advanced … , 2024 2024 Citations: 5
Software inspections: comparing a formal method based with a classical reading methodology LBRD Santos, VADS Júnior, LV Povoa, AV Freitas, CDC Mario International Journal of Computer Applications in Technology 59 (4), 296-317 , 2019 2019 Citations: 5
Future directions in software engineering for autonomous robots: An agenda for trustworthiness [opinion] D Brugali, A Cavalcanti, N Hochgeschwender, P Pelliccione, L Rebelo IEEE Robotics & Automation Magazine 31 (3), 186-204 , 2024 2024 Citations: 4
A formal verification tool for UML behavioral diagrams LBR dos Santos, ER Eras, VA de Santiago Júnior, NL Vijaykumar International Conference on Computational Science and Its Applications, 696-711 , 2014 2014 Citations: 4
How low-code platforms support digital twins of processes: A. Fedeli et al. A Fedeli, A Di Salle, D Micucci, L Rebelo, MT Rossi, L Mariani, L Iovino Software and Systems Modeling 24 (5), 1317-1333 , 2025 2025 Citations: 3
Applications of AI in Space Domain L Rebelo, F Basciani, P Pelliccione ACM Computing Surveys 58 (1), 1-38 , 2025 2025 Citations: 3
A system to Support the Physiotherapeutic Treatment of Chronic Pain in the Spine LBR dos Santos, M dos Santos Silvério, C de Castro Mario, CG Ghedini, ... 2021 16th Iberian Conference on Information Systems and Technologies (CISTI … , 2021 2021 Citations: 3
Singularity: A methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples ER Eras, VA de Santiago, LBR dos Santos Proceedings of the IV brazilian symposium on systematic and automated … , 2019 2019 Citations: 3
Towards a wide acceptance of formal methods to the design of safety critical software: an approach based on UML and model checking ER Eras, LBR dos Santos, VA de Santiago Júnior, NL Vijaykumar International Conference on Computational Science and Its Applications, 612-627 , 2015 2015 Citations: 3
Deep Learning-Based Active Fire Detection Using Satellite Imagery CEP Reis, LBR Dos Santos, F Morelli, NL Vijaykumar International Conference on Intelligent Systems Design and Applications, 148-157 , 2023 2023 Citations: 2
Vulnerabilities and Open Issues of Smart Contracts: A Systematic Mapping G de Sousa Matsumura, LBR dos Santos, AF Conceição, NL Vijaykumar International Conference on Computational Science and Its Applications, 3-18 , 2021 2021 Citations: 2
Collaborative Historical Platform for Historians: Extended Functionalities in Pauliceia 2.0. KD Fook, DL Musa, N Vijaykumar, RM Mariano, G dos Reis Morais, ... WEBIST, 460-466 , 2021 2021 Citations: 2
Domar: An approach to prevent problems related to requirements documentation and management MERFL Salvador, LBR dos Santos Revista Sinergia 19 , 2018 2018 Citations: 1
Reference Architecture for Autonomy and Adaptivity in Satellites F Basciani, L Rebelo, P Pelliccione Journal of Systems and Software, 112802 , 2026 2026
Computational Solutions for Supporting Systematic Reviews in Software Engineering: a Comprehensive Overview MF de Abreu Aguiar, ÉF De Souza, KR Felizardo, L Rebelo Euromicro Conference on Software Engineering and Advanced Applications, 324-333 , 2026 2026
