DBLP | Google Scholar | Orcid | Scopus

-

My list of publications (almost) updated:

-

2024

  • Di Salle, Amleto; Fedeli, Arianna; Iovino, Ludovico; Mariani, Leonardo; Micucci, Daniela; Rebelo, Luciana; and Rossi, Maria Teresa. (2024). Waste Management Through Digital Twins and Business Process Modeling. In: International Workshop on Sustainability and Modeling - SusMod, co-located with the International Conference on Model Driven Engineering Languages and Systems (MODELS). https://doi.org/10.1145/3652620.36877.
  • -
  • Baresi, Luciano; Bianco, Simone; Di Salle, Amleto; Iovino, Ludovico; Mariani, Leonardo; Micucci, Daniela; Brasil Rebelo dos Santos, Luciana; Rossi, Maria Teresa; and Schettini, Raimondo. (2024). COBOL: COmmunity-Based Organized Littering. In: 50th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA). Accepted for publication.
  • -
  • Brugali, D., Cavalcanti, A., Hochgeschwender, N., Pelliccione, P. Rebelo, L., (2024). Future Directions in Software Engineering for Autonomous Robots: An Agenda for Trustworthiness . IEEE Robotics & Automation Magazine. Volume 31, Issue 3, Pages 186-204. https://doi.org/10.1109/MRA.2024.3417089.
  • -
  • Reis, C., Santos, L., Morelli, F., Vijaykumar, N. (2024). Deep Learning-Based Active Fire Detection Using Satellite Imagery. In: (eds) Intelligent Systems Design and Applications. ISDA 2024. Lecture Notes in Networks and Systems, Springer. https://doi.org/10.1007/978-3-031-64836-6_15.
  • [preprint].
  • -

2023

  • Rebelo, L., Souza, É., Berkenbrock, G., Barbosa, G., Silva, M., Endo, A., Vijaykumar, N., Trubiani, C. (2023). Prioritizing Test Cases with Markov Chains: A Preliminary Investigation. In: Bonfanti, S., Gargantini, A., Salvaneschi, P. (eds). 35th IFIP International Conference on Testing Software and Systems (ICTSS 2023). Lecture Notes in Computer Science, vol 14131. Springer, Cham. https://doi.org/10.1007/978-3-031-43240-8_14.
  • [preprint].
  • -
  • Barbosa, G., Souza, É., Rebelo, L., Silva, M., Balera, J., Vijaykumar, N. (2023). Journal First: A Systematic Literature Review on Prioritizing Software Test Cases Using Markov Chains. In: Bonfanti, S., Gargantini, A., Salvaneschi, P. (eds). 35th IFIP International Conference on Testing Software and Systems (ICTSS 2023). Lecture Notes in Computer Science, vol 14131. Springer, Cham. https://doi.org/10.1007/978-3-031-43240-8_20.
  • [preprint].
  • -
  • Ferla, L., Laguardia, R., Lesser , J., Britt, A. G., Rogers, T. D., Atique, F., Donato Fook, K., Vijaykumar, N., Leal Musa, D., Rebelo, L., Torres, A., Alves Barbour, A. M., Monteiro Mariano, R., Sansigolo, G., Guarnier Farias, O., Caetano dos Santos, M., Ressureição, C., Nascimento, L., Almeida, C., Martins Fontes da Silva, V., Silva, R. A. O., Marco, A., dos Reis Morais, G., Pereira, Â., & Camargo, T. P. (2023). Clio’s (mis)adventures with Hermes, Hestia, and Hephaestus. Historiografías, 6–26. https://doi.org/10.26754/ojs_historiografias/hrht.10035.
  • -
  • Sousa, D., Musa, D., Vijaykumar, N., Mariano, R., Santos, L., Silva, R., Nascimento, L., Ferla, L., Fook, K. (2023). Input Data Optimization For Pauliceia 2.0 Platform's Historical Geocoding Web Service. In: XXIV Brazilian Symposium on Geoinformatics - GEOINFO 2023. 288-297. Online here.
  • -

2022

  • Barbosa, G., Souza, É., Rebelo, L., Silva, M., Balera, J., Vijaykumar, N. (2022). A Systematic Literature Review on Prioritizing Software Test Cases Using Markov Chains. Information and Software Technology, Volume 147, 106902. https://doi.org/10.1016/j.infsof.2022.106902.
  • [preprint].
  • -

2021

  • de Sousa Matsumura, G., dos Santos, L.B.R., Conceição, A.F.d., Vijaykumar, N.L. (2021). Vulnerabilities and Open Issues of Smart Contracts: A Systematic Mapping. In: Gervasi, O., et al. International Conference on Computational Science and Its Applications (ICCSA 2021). Lecture Notes in Computer Science(), vol 12952. Springer, Cham. https://doi.org/10.1007/978-3-030-86973-1_1.
  • [preprint].
  • -
  • L. B. Rebelo dos Santos, M. dos Santos Silvério, C. de Castro Mario, C. Guellner Ghedini and R. J. Soares (2021) A system to Support the Physiotherapeutic Treatment of Chronic Pain in the Spine. In: 16th Iberian Conference on Information Systems and Technologies (CISTI 2021), pp. 1-7. https://doi.org/10.23919/CISTI52073.2021.9476549.
  • [preprint]. [Video presentation].
  • -
  • Fook, K.; Musa, D.; Vijaykumar, N.; Mariano, R.; Morais, G.; Silva, R.; Sansigolo, G.; Rebelo, L.; Ferla, L.; Almeida, C.; Nascimento, L.; Fontes da Silva, V.; Santos, M.; Torres, A.; Pereira, Â.; Atique, F.; Lesser, J.; Rogers, T.; Britt, A.; Laguardia, R.; Barbour, A.; Farias, O.; Marco, A.; Dickinson, C. and Camargo, S. (2021). Collaborative Historical Platform for Historians: Extended Functionalities in Pauliceia 2.0. In: Proceedings of the 17th International Conference on Web Information Systems and Technologies - WEBIST, SciTePress, pages 460-466. https://doi.org/10.5220/0010713400003058.
  • [preprint].
  • -

2020

  • dos Santos, J., Martins, L.E.G., de Santiago Júnior, V.A., Povoa, L., Santos, L.B.R. (2020). Software requirements testing approaches: a systematic literature review. Requirements Engineering, Volume 25, pages 317–337. https://doi.org/10.1007/s00766-019-00325-w.
  • -

2019

  • Eras, E. R., de Santiago Júnior, V.A., Santos, L.B.R. (2019). Singularity: A methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples. In: IV Brazilian Symposium on Systematic and Automated Software Testing (SAST@CBSoft 2019), pp. 72–79. https://doi.org/10.1145/3356317.3356319.
  • [Online here].
  • -
  • Santos, L.B.R., de Santiago Júnior, V.A., Povoa, L.V., Freitas, A., Mario, C. (2019). Software inspections: comparing a formal method based with a classical reading methodology. International Journal of Computer Applications in Technology, Volume 59 Issue 4, pp. 296–317. https://doi.org/10.1504/IJCAT.2019.099198.
  • [Online here].
  • -
  • M. dos Santos Silvério, L. B. Rebelo dos Santos. (2019) Evaluating User Experience Elements on a Web System to Support Physiotherapeutic Treatment. In: XXV Brazilian Symposium on Multimedia and Web (WebMedia 2019). https://doi.org/10.5753/webmedia_estendido.2019.8135.
  • -

2018

2017

  • Santos, L.B.R., de Santiago Júnior, V.A., Freitas, A. (2017). A Rigorous Evaluation of the Benefits of Usability Improvements Within Model Checking-Aided Software Inspections. In: Gervasi, O., et al. International Conference on Computational Science and Its Applications (ICCSA 2017). Lecture Notes in Computer Science(), vol 10408. Springer, Cham. https://doi.org/10.1007/978-3-319-62404-4_44.
  • [Online here].
  • -
  • Rebelo dos Santos, L. B., Cavichi de Freitas, R., Rodrigues Junior, L.A., Venezian Povoa, L. and Marques da Cunha, A. (2017). Teaching Web Programming based on Interdisciplinary Projects: An Experience Report. In: Athens: ATINER'S Conference Paper Series, No: INT2017-2344. https://www.atiner.gr/papers/INT2017-2344.pdf.
  • -

2015

  • Eras, E.R., Santos, L.B.R., de Santiago Júnior, V.A., Vijaykumar, N.L. (2015). Towards a Wide Acceptance of Formal Methods to the Design of Safety Critical Software: an Approach Based on UML and Model Checking. In: Gervasi, O., et al. International Conference on Computational Science and Its Applications (ICCSA 2015). Lecture Notes in Computer Science(), vol 9158. Springer, Cham. https://doi.org/10.1007/978-3-319-21410-8_47.
  • [Online here].
  • -

2014

  • Santos, L.B.R., Eras, E.R., de Santiago Júnior, V.A., Vijaykumar, N.L. (2014). A Formal Verification Tool for UML Behavioral Diagrams. In: Murgante, B., et al. International Conference on Computational Science and Its Applications (ICCSA 2014). Lecture Notes in Computer Science, vol 8579. Springer, Cham. https://doi.org/10.1007/978-3-319-09144-0_48.
  • [Online here].
  • -
  • Santos, L.B.R., de Santiago Júnior, V.A., Vijaykumar, N.L. (2014). Transformation of UML Behavioral Diagrams to Support Software Model Checking. In: International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA@ETAPS 2014) pp. 133-142. https://doi.org/10.4204/EPTCS.147.10.
  • -

2010

  • Santos, L.B.R., Berkenbrock, G.R., Hirata, C.M. (2010). Um Modelo de Dados Extensível para Configuração da Simulação de Redes de Sensores Sem Fio. In: Brazilian Symposium on Ubiquitous and Pervasive Computing (SBCUP@CSBC 2010) pp. 276-285. [Online here].
  • -

Theses

  • Santos, Luciana Brasil Rebelo. Ph.D. in Applied Computing. (2015) Thesis title: A Methodology to Apply Formal Verification to UML-based Software. Laboratory of Computing and Applied Mathematics (LABAC)/ National Institute for Space Research (INPE)/ Brazil. [Online here].
  • -
  • Santos, Luciana Brasil Rebelo. M.S. in Electronic Engineering and Computing. (2009) Thesis title: An Extensible Data Model to Configure Wireless Sensor Network Simulation. Computer Science Division (IEC)/ Aeronautics Institute of Technology (ITA)/ Brazil. [Online here].
  • -