Luciana Brasil Rebelo dos Santos
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
2014–2021
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ICCSA | Vulnerabilities and Open Issues of Smart Contracts: A Systematic Mapping. | Gabriel de Sousa Matsumura, Luciana Brasil Rebelo dos Santos, Arlindo Flvio da Conceio, Nandamudi Lankalapalli Vijaykumar |
| 2021 | WEBIST | 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, Lus Antnio Coelho Ferla, Cintia Almeida, Luanna G. M. do Nascimento, Vitria 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, Caru Dickinson, Sand Tamires P. Camargo |
| 2017 | ICCSA | A Rigorous Evaluation of the Benefits of Usability Improvements Within Model Checking-Aided Software Inspections. | Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Jnior, Albino Vieira Freitas |
| 2015 | ICCSA | 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 Jnior, Nandamudi Lankalapalli Vijaykumar |
| 2014 | ICCSA | A Formal Verification Tool for UML Behavioral Diagrams. | Luciana Brasil Rebelo dos Santos, Eduardo Rohde Eras, Valdivino Alexandre de Santiago Jr., Nandamudi Lankalapalli Vijaykumar |