A Formal Verification Tool for UML Behavioral Diagrams. - Luciana Brasil Rebelo dos Santos; Eduardo Rohde Eras; Valdivino Alexandre de Santiago Jr.; Nandamudi Lankalapalli Vijaykumar (ICCSA (1), 2014)

Transformation of UML Behavioral Diagrams to Support Software Model Checking. - Luciana Brasil Rebelo dos Santos; Valdivino Alexandre de Santiago Júnior; Nandamudi Lankalapalli Vijaykumar (FESCA, 2014)

Towards a Wide Acceptance of Formal Methods to the Design of Safety Critical Software: an Approach Based on UML and Model Checking. - Eduardo Rohde Eras; Luciana Brasil Rebelo dos Santos; Valdivino Alexandre de Santiago Júnior; Nandamudi Lankalapalli Vijaykumar (ICCSA (4), 2015)

Uma metodologia para aplicar verificação formal a software desenvolvido de acordo com UML. - Luciana Brasil Rebelo dos Santos (2015)

A Rigorous Evaluation of the Benefits of Usability Improvements Within Model Checking-Aided Software Inspections. - Luciana Brasil Rebelo dos Santos; Valdivino Alexandre de Santiago Júnior; Albino Vieira Freitas (ICCSA (5), 2017)

Singularity: A methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples. - Eduardo Rohde Eras; Valdivino Alexandre de Santiago Júnior; Luciana Brasil Rebelo dos Santos (SAST, 2019)

Software inspections: comparing a formal method based with a classical reading methodology. - Luciana Brasil Rebelo dos Santos; Valdivino Alexandre de Santiago Júnior; Lucas Venezian Povoa; Albino Vieira Freitas; Cleyton De Castro Mario (Int. J. Comput. Appl. Technol., 2019)

Software requirements testing approaches: a systematic literature review. - Jemison dos Santos; Luiz Eduardo Galvão Martins; Valdivino Alexandre de Santiago Júnior; Lucas Venezian Povoa; Luciana Brasil Rebelo dos Santos (Requir. Eng., 2020)

Vulnerabilities and Open Issues of Smart Contracts: A Systematic Mapping. - Gabriel de Sousa Matsumura; Luciana Brasil Rebelo dos Santos; Arlindo Flávio da Conceição; Nandamudi Lankalapalli Vijaykumar (ICCSA (4), 2021)

Collaborative Historical Platform for Historians: Extended Functionalities in Pauliceia 2.0. - Karla Donato Fook; Daniela Leal Musa; Nandamudi Vijaykumar; Rodrigo M. Mariano; Gabriel dos Reis Morais; Raphael Augusto O. Silva; Gabriel Sansigolo; Luciana Brasil Rebelo dos Santos; Luís Antônio Coelho Ferla; Cintia Almeida; Luanna G. M. do Nascimento; Vitória Martins Fontes da Silva; et al. (WEBIST, 2021)

A Systematic Literature Review on prioritizing software test cases using Markov chains. - Gerson Barbosa; Érica Ferreira de Souza; Luciana Brasil Rebelo dos Santos; Marlon da Silva; Juliana Marino Balera; Nandamudi Lankalapalli Vijaykumar (Inf. Softw. Technol., 2022)

Input Data Optimization For Pauliceia 2.0 Platform's Historical Geocoding Web Service. - Diego Sousa; Daniela L. Musa; Nandamudi Vijaykumar; Rodrigo M. Mariano; Luciana Brasil Rebelo dos Santos; Raphael Augusto O. Silva; Luanna G. M. do Nascimento; Luís A. Ferla; Karla Donato Fook (GEOINFO, 2023)

Prioritizing Test Cases with Markov Chains: A Preliminary Investigation. - Luciana Brasil Rebelo dos Santos; Erica Ferreira 001; Gian Ricardo Berkenbrock; Gerson Barbosa; Marlon da Silva; André Takeshi Endo; Nandamudi Vijaykumar; Catia Trubiani (ICTSS, 2023)

COBOL: COmmunity-Based Organized Littering. - Luciano Baresi; Simone Bianco 001; Amleto Di Salle; Ludovico Iovino; Leonardo Mariani; Daniela Micucci; Luciana Brasil Rebelo dos Santos; Maria Teresa Rossi; Raimondo Schettini (SEAA, 2024)

Waste Management Through Digital Twins and Business Process Modeling. - Amleto Di Salle; Arianna Fedeli; Ludovico Iovino; Leonardo Mariani; Daniela Micucci; Luciana Rebelo; Maria Teresa Rossi (MoDELS (Companion), 2024)

A Survey on Architectures in the Space Domain reaching AI and DevOps. - Luciana Rebelo; Patrizio Pelliccione; Francesco Basciani (Zenodo, 2024)

Future Directions in Software Engineering for Autonomous Robots: An Agenda for Trustworthiness [Opinion]. - Davide Brugali; Ana Cavalcanti 001; Nico Hochgeschwender; Patrizio Pelliccione; Luciana Rebelo (IEEE Robotics Autom. Mag., 2024)

Performance regression testing initiatives: a systematic mapping. - Luciana Brasil Rebelo dos Santos; Érica Ferreira de Souza; André Takeshi Endo; Catia Trubiani; Riccardo Pinciroli; Nandamudi Lankalapalli Vijaykumar (Inf. Softw. Technol., 2025)

Applications of AI in Space Domain. - Luciana Brasil Rebelo dos Santos; Francesco Basciani; Patrizio Pelliccione (Zenodo, 2025)