default search action

combined dblp search
author search
venue search
publication search

ask others

Luciana Brasil Rebelo dos Santos

Luciana Rebelo

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2015
[b1]
- view
- export record
  dblp key:
  - phd/ndltd/Santos15e
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ndltd/Santos15e
Luciana Brasil Rebelo dos Santos:
Uma metodologia para aplicar verificação formal a software desenvolvido de acordo com UML. National Institute for Space Research, São José dos Campos, Brazil, 2015

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2025
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/SantosSETPV25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/SantosSETPV25
Luciana Brasil Rebelo dos Santos, Érica Ferreira de Souza, André Takeshi Endo, Catia Trubiani, Riccardo Pinciroli, Nandamudi Lankalapalli Vijaykumar:
Performance regression testing initiatives: a systematic mapping. Inf. Softw. Technol. 179: 107641 (2025)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/FedeliSMRRMI25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/FedeliSMRRMI25
Arianna Fedeli, Amleto Di Salle, Daniela Micucci, Luciana Rebelo, Maria Teresa Rossi, Leonardo Mariani, Ludovico Iovino:
How low-code platforms support digital twins of processes. Softw. Syst. Model. 24(5): 1317-1333 (2025)
2024
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ram/BrugaliCHPR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ram/BrugaliCHPR24
Davide Brugali, Ana Cavalcanti, Nico Hochgeschwender, Patrizio Pelliccione, Luciana Rebelo:
Future Directions in Software Engineering for Autonomous Robots: An Agenda for Trustworthiness [Opinion]. IEEE Robotics Autom. Mag. 31(3): 186-204 (2024)
2022
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/BarbosaSSSBV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/BarbosaSSSBV22
Gerson Barbosa, Érica Ferreira de Souza, Luciana Brasil Rebelo dos Santos, Marlon da Silva, Juliana Marino Balera, Nandamudi Lankalapalli Vijaykumar:
A Systematic Literature Review on prioritizing software test cases using Markov chains. Inf. Softw. Technol. 147: 106902 (2022)
2020
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/re/SantosMJPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/re/SantosMJPS20
Jemison dos Santos, Luiz Eduardo Galvão Martins, Valdivino Alexandre de Santiago Júnior, Lucas Venezian Povoa, Luciana Brasil Rebelo dos Santos:
Software requirements testing approaches: a systematic literature review. Requir. Eng. 25(3): 317-337 (2020)
2019
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ijcat/SantosJPFM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijcat/SantosJPFM19
Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Júnior, Lucas Venezian Povoa, Albino Vieira Freitas, Cleyton De Castro Mario:
Software inspections: comparing a formal method based with a classical reading methodology. Int. J. Comput. Appl. Technol. 59(4): 296-317 (2019)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2025
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/GomesSSRVF25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/GomesSSRVF25
Otávio Santos Gomes, Gláucia Braga e Silva, Érica Ferreira de Souza, Luciana Rebelo, Nandamudi L. Vijaykumar, Gabriel Zoéga Fernandes:
How have Ethics been Addressed in the Software Development Lifecycle? A Systematic Mapping Study. SEAA (2) 2025: 313-323
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/AguiarSFR25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/AguiarSFR25
Maria Fernanda de Abreu Aguiar, Érica Ferreira de Souza, Kátia Romero Felizardo, Luciana Rebelo:
Computational Solutions for Supporting Systematic Reviews in Software Engineering: a Comprehensive Overview. SEAA (2) 2025: 324-333
2024
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/Baresi0SIMMSRS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/Baresi0SIMMSRS24
Luciano Baresi, Simone Bianco, Amleto Di Salle, Ludovico Iovino, Leonardo Mariani, Daniela Micucci, Luciana Brasil Rebelo dos Santos, Maria Teresa Rossi, Raimondo Schettini:
COBOL: COmmunity-Based Organized Littering. SEAA 2024: 511-517
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/models/SalleFIMMRR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/SalleFIMMRR24
Amleto Di Salle, Arianna Fedeli, Ludovico Iovino, Leonardo Mariani, Daniela Micucci, Luciana Rebelo, Maria Teresa Rossi:
Waste Management Through Digital Twins and Business Process Modeling. MoDELS (Companion) 2024: 513-517
2023
[c10]
- view
  - electronic edition @ urlib.net
  - details & citations
- export record
  dblp key:
  - conf/geoinfo/SousaMVMSSNFF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/geoinfo/SousaMVMSSNFF23
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:
Input Data Optimization For Pauliceia 2.0 Platform's Historical Geocoding Web Service. GEOINFO 2023: 288-297
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/pts/BarbosaFSSBV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/BarbosaFSSBV23
Gerson Barbosa, Erica Ferreira, Luciana Brasil Rebelo dos Santos, Marlon da Silva, Juliana Marino Balera, Nandamudi Vijaykumar:
A Systematic Literature Review on Prioritizing Software Test Cases Using Markov Chains. ICTSS 2023: 179-182
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/pts/SantosFBBSEVT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/SantosFBBSEVT23
Luciana Brasil Rebelo dos Santos, Erica Ferreira, Gian Ricardo Berkenbrock, Gerson Barbosa, Marlon da Silva, André Takeshi Endo, Nandamudi Vijaykumar, Catia Trubiani:
Prioritizing Test Cases with Markov Chains: A Preliminary Investigation. ICTSS 2023: 219-236
2021
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/iccsa/MatsumuraSCV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccsa/MatsumuraSCV21
Gabriel de Sousa Matsumura, Luciana Brasil Rebelo dos Santos, Arlindo Flávio da Conceição, Nandamudi Lankalapalli Vijaykumar:
Vulnerabilities and Open Issues of Smart Contracts: A Systematic Mapping. ICCSA (4) 2021: 3-18
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/webist/FookMVMMSSRFANS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/webist/FookMVMMSSRFANS21
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, Monaliza C. dos Santos, Aracele Torres, Ângela Pereira, Fernando Atique, Jeffrey Lesser, Thomas D. Rogers, Andrew G. Britt, Rafael Laguardia, Ana Maria Alves Barbour, Orlando Guarnier Farias, Ariana Marco, Caróu Dickinson, Sand Tamires P. Camargo:
Collaborative Historical Platform for Historians: Extended Functionalities in Pauliceia 2.0. WEBIST 2021: 460-466
2019
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sast/ErasJS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sast/ErasJS19
Eduardo Rohde Eras, Valdivino Alexandre de Santiago Júnior, Luciana Brasil Rebelo dos Santos:
Singularity: A methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples. SAST 2019: 72-79
2017
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/iccsa/SantosJF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccsa/SantosJF17
Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Júnior, Albino Vieira Freitas:
A Rigorous Evaluation of the Benefits of Usability Improvements Within Model Checking-Aided Software Inspections. ICCSA (5) 2017: 591-606
2015
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/iccsa/ErasSJV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccsa/ErasSJV15
Eduardo Rohde Eras, Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Júnior, Nandamudi Lankalapalli Vijaykumar:
Towards a Wide Acceptance of Formal Methods to the Design of Safety Critical Software: an Approach Based on UML and Model Checking. ICCSA (4) 2015: 612-627
2014
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/iccsa/SantosESV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccsa/SantosESV14
Luciana Brasil Rebelo dos Santos, Eduardo Rohde Eras, Valdivino Alexandre de Santiago Jr., Nandamudi Lankalapalli Vijaykumar:
A Formal Verification Tool for UML Behavioral Diagrams. ICCSA (1) 2014: 696-711
[c1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/SantosJV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SantosJV14
Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Júnior, Nandamudi Lankalapalli Vijaykumar:
Transformation of UML Behavioral Diagrams to Support Software Model Checking. FESCA 2014: 133-142

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2024
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsa/2024w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsa/2024w
Apostolos Ampatzoglou, Jennifer Pérez, Barbora Buhnova, Valentina Lenarduzzi, Colin C. Venters, Uwe Zdun, Khalil Drira, Luciana Rebelo, Daniele Di Pompeo, Michele Tucci, Elisa Yumi Nakagawa, Elena Navarro:
Software Architecture. ECSA 2024 Tracks and Workshops - Luxembourg City, Luxembourg, September 3-6, 2024, Proceedings. Lecture Notes in Computer Science 14937, Springer 2024, ISBN 978-3-031-70945-6 [contents]

Data and Artifacts

see FAQ

What is the meaning of the colors in the publication lists?

2025
[d2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/11/SantosBP25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/SantosBP25
Luciana Brasil Rebelo dos Santos, Francesco Basciani, Patrizio Pelliccione:
Applications of AI in Space Domain. Zenodo, 2025
2024
[d1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/11/RebeloPB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/RebeloPB24
Luciana Rebelo, Patrizio Pelliccione, Francesco Basciani:
A Survey on Architectures in the Space Domain reaching AI and DevOps. Zenodo, 2024

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2021
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2104-12295
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-12295
Gabriel de Sousa Matsumura, Luciana Brasil Rebelo dos Santos, Arlindo Flávio da Conceição, Nandamudi Lankalapalli Vijaykumar:
Vulnerabilities and Open Issues of Smart Contracts: A Systematic Mapping. CoRR abs/2104.12295 (2021)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.