Publications


2022

  • Rene Davila, Rocio Aldeco-Perez and Everardo Barcenas, “Formal Verification of Blockchain Based Tender Systems”, Programming and Computer Software, Springer ISSSN 0361-7688, Special Issue 2022.

  • Fernando Rebollar Castelán, Rocio Aldeco-Perez, Marco Antonio Ramos Corchado, “Modeling a multilayered blockchain framework for digital services that governments can implement", Journal of Intelligent & Fuzzy Systems, vol. 42, no. 5, pp. 4551 – 4562, 31 March 2022, 10.3233/JIFS-219244

2021

  • Medina-Martinez, D., Barcenas, E., Molero-Castillo, G., Velazquez-Mena, A., Aldeco-Perez, R. “Database Management System Verification with Separation Logics”, Programming and Computer Software - Special Issue 2021.

  • José Antonio Jiménez Miramontes and Rocío Aldeco-Pérez, “Marco de Referencia para trazabilidad y almacenamiento de activos digitales”, Encuentro Nacional de Computación 2021.

  • Rene Davila, Rocio Aldeco-Perez and Everardo Barcenas, “Tender System Verification with Satisfiability Modulo Theories”, 9th International Conference in Software Engineering Research and Innovation (CONISOFT) 2021.

  • Agustin-Daniel Ambrosio-Aguilar, Everardo Bárcenas, Guillermo Molero-Castillo and Rocío Aldeco-Pérez, “Geolocation of Tweets in Spanish with Transformer Encoders”, 9th International Conference in Software Engineering Research and Innovation (CONISOFT) 2021.

2020

2019

2018

2017

2016

2013

2010

  • Rocío Aldeco-Pérez, Luc Moreau (2010) "A Provenance-based Compliance Framework", 128-137. In Future Internet Symposium LNCS 6369 (FIS 2010), September 20-22, 2010, Berlin, Germany, ISBN 3-642-15876-5 978-3-642-15876-6.

  • Rocío Aldeco-Pérez, Luc Moreau (2010) "Securing Provenance-based Audits", 148-164. In International Provenance and Annotation Workshop LNCS 6378 (IPAW 2010), June 15-17, 2010, Troy, NY. (Print ISBN 978-3-642-17818-4 Online ISBN 978-3-642-17819-1)

2009

2008

2005

  • Miguel A. Leon-Chavez, Rocío Aldeco-Pérez, Sugey Merino-Higareda (2005) "Performance Analysis of the Confidentiality Security Service in the IEEE 802.11 using WEP, AES-CCM, and ECC", 52-55. In 2nd International Conference on Electrical and Electronics Engineering (ICEEE 2005), ISBN 0-7803-9230-2.

  • Miguel A. Leon-Chavez, Rocío Aldeco-Pérez (2005) "UML Model of the IEEE 802.11 Authentication and Privacy Services using Elliptic Curves Cryptosystems", In XV Congreso Interuniversitario de Electrónica, Computación y Electrica IEEE (CIECE 2005)

  • Leon, M.; Aldeco-Perez, R. (2005) “UML Model and Implementation of the IEEE 802.11 Authentication and Privacy Services using Elliptic Curves -Cryptosystems”, In Avances en la Ciencia de la Computación en México (Research on Computing Science ISSN 1665-9899) No. 13, 2005, pp. 149-158, mayo 2005, Ciudad de México, México

2004

  • Miguel A. Leon-Chavez, Rocío Aldeco-Pérez (2004), "Modelling with UML the Authentication Services using Elliptic Curves for IEEE 802.11" 102-108. In 2nd. Congreso Nacional de Ciencias de la Computación ISBN 968-863-711-4 (CNCC 2004).

2003

  • Miguel A. Leon-Chavez, Rocío Aldeco-Pérez (2003), "Specification and Verification of TCP on SDL", In 9th Conferencia de Ingeniería Eléctrica (CIE 2003).