Publications
2023
René Davila, Rocío Aldeco-Perez and Everardo Bárcenas, “On the Formal Verification of Smart Contracts”, 11th International Conference in Software Engineering Research and Innovation (CONISOFT), 2023, Accepted.
Diego Medina-Martínez; Everardo Bárcenas; Rocío Aldeco-Pérez; Guillermo Molero-Castillo and Alejandro Velázquez-Mena, “A satisfiability algorithm for multi-modal logic with converse”, 11th International Conference in Software Engineering Research and Innovation (CONISOFT), 2023, Accepted.
Melissa Brigitthe Hinojosa-Cabello, Rocío Aldeco-Perez, Miguel Morales-Sandoval and Jose Juan Garcia-Hernandez," On the Decentralization of Attribute-Based Encryption Schemes”, 2023 Mexican International Conference on Computer Science (ENC), Accepted.
“Blockchain and Satisfiability Modulo Theories for Tender Systems”, Dávila R., Aldeco-Pérez R., Bárcenas E., January 2023, Proceedings of the Institute for System Programming of RAS 35(1):113-122, DOI: 10.15514/ISPRAS-2023-35(1)-8.
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
Fernando Rebollar Castelan, José Antonio Hernández Servin, Rosa María Valdovinos and Rocio Aldeco-Perez, “Análisis de un caso de estudio de un modelo de cuatro capas basado en cadenas de bloques (blockchain) para servicios gubernamentales”, Coloquio de Investigación en Ingeniería 2022 UAEM (en prensa).
José Antonio Jiménez Miramontes and Rocío Aldeco-Pérez, “Trazabilidad de imágenes digitales usando Blockchain”, Congreso Internacional CORE CIC-IPN, 2022 (en prensa).
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
Rocío Aldeco-Pérez , Gualberto Aguilar Torres, Nareli Cruz Cortés, Luis J. Domínguez Perez, Ponciano J. Escamilla Ambrosio, Gina Gallegos García, Miguel A. León Chavez, Raúl Monroy Borja, Lil M. Rodríguez Henríquez, Francisco J. Rodríguez Henríquez, Abraham Rodríguez Mota, Moisés Salinas Rosales, Alejandra G. Silva Trujillo, "Introducción a la Ciberseguridad y sus aplicaciones en México", Academia Mexicana de Computación, A, C., México, Noviembre 2020, ISBN 78-607-98941-2-2.
Rocío Aldeco-Pérez, Ana Isabel Martínez-García (Editores), "Capitulo 2: Aplicaciones de Ciberseguridad, Criptografía e Informática Médica" en "Aplicaciones de la computacion", Sociedad Mexicana de Ciencias de Computación, Primera Edición: Agosto, 2020, ISBN: 978-607-506-395-9.
Yensen Limón, Everardo Bárcenas, Guillermo Molero-Castillo, Rocío Aldeco-Pérez, "Sobre la automatización del razonamiento y el aprendizaje en lógicas modales”, Research in Computing Science 149(8), pp 893-906, 2020, ISSN 1870-4069
Thomas A. Arias-Pelayo, Guillermo Molero-Castillo, Everardo Bárcenas and Rocío Aldeco-Pérez, "A data fusion approach of physical variables measured through a wireless sensor network", pp 103-113, Research in Computing Science 149(11), 2020, ISSN 1870-4069.
Julio Muñoz Benítez, Guillermo Molero-Castillo, Everardo Bárcenas and Rocío Aldeco-Pérez, "A Physical Variable Data Fusion Approach as Basis for the Reasoning Process in Ambient Intelligence", pp 115-124, Research in Computing Science 149(11), 2020, ISSN 1870-4069.
Medina-Martinez, D., Barcenas, E., Molero-Castillo, G., Velazquez-Mena, A., Aldeco-Perez, R., "Formal Verification of a Database Management System", 8th International Conference in Software Engineering Research and Innovation (CONISOFT) 2020, pp 102–109, ISBN 978-1-7281-8450-0.
2019
Juarez E., Aldeco-Perez R., Velazquez J., (2019) "An Academia Approach to Transform Organizations One Engineer at a Time", IET Research Journals, The Institution of Engineering and Technology, pp 106-114, ISSN 1751-8806, July 2019.
Francisco Cantú, Rocío Aldeco-Pérez, (Editores). "Conocimiento y Razonamiento Computacional", Academia Mexicana de Computación, A, C., México, 30 de septiembre de 2019, ISBN 978-607-97357-3-9.
2018
Juarez E., Fernandez E., Velazquez J., Aldeco-Perez R., Rodriguez L., Del Rio A. and Robinson C, (2018) "From Craftsmen into Engineers During Undergraduate Education", Advances in Intelligent Systems and Computing , pp 31-40, Volume 865, ISBN 978-3-030-01170-3, September, 2018
Aldeco-Perez R., Juarez E., Fernandez E., Velazquez J. and Rodriguez L., (2018), "De Artesanos a Ingenieros en la Educación Universitaria", V CONGRESO INTERNACIONAL DE INNOVACIÓN EDUCATIVA, December 2018, ISSN 2594-0325, ITESM Monterrey, México.
2017
L. A. Pineda, R. F. Brena, L. E. Sucar, J. M. Ahuactzin, R. A. Aldeco, J. M. Alvarado, O. D. Cervantes, J. P. García, G. García, J. L. Zechinelli, and C. Zozaya, "Capítulo 1 - Conocimiento y Razonamiento", in La computación en México por especialidades académicas, 1st ed., Mexico: Academia Mexicana de Computación, A. C., 2017, pp. 33–63. (ISBN 978-607-97357-1-5)
Aldeco-Pérez, R., Juárez Pineda E. D., Valdés Aguirre, B., (2017) "Solución de Problemas Inéditos a Través del Desarrollo de Nuevo Conocimiento: Evaluación a Innovaciones con Aprendizaje Basado en Investigación", IV CONGRESO INTERNACIONAL DE INNOVACIÓN EDUCATIVA, December 2017, ISSN 2594-0325, ITESM Monterrey, México.
2016
J. M. Ahuactzin, C. Zozaya, O. D. Cervantes, R. A. Aldeco, F. García, C. R. Cárdenas, E. Mezura, E. Vázquez, J. A. Sánchez, and H. Oktaba, "Capítulo 5 - Políticas, estrategias y oportunidades de vinculación", en Políticas y estrategias para el desarrollo de la Computación en México, 1st ed., Mexico: Academia Mexicana de Computación, A. C. , 2016, pp. 91–108 (ISBN: 978-607-97357-0-8).
H. G. González Hernández, I. Guerrero Barrera, R. Aldeco-Perez and A. Oliart Ros (2016), "Generalized Chaotic Tent Map for Image Encryption", In 8vo CONGRESO INTERNACIONAL DE INGENIERÍA ELECTROMECÁNICA Y DE SISTEMAS (CIIES 2016), 17-21 October 2016, ESIME Zacatenco IPN, Ciudad de México, México.
Aldeco-Pérez, R., Juárez Pineda E. D., Valdés Aguirre, B (2016), “Un Reto Basado en Investigación para el Desarrollo de Competencias”, III CONGRESO INTERNACIONAL DE INNOVACIÓN EDUCATIVA, December 2016, ISSN 2594-0325, ITESM Ciudad de México, México.
2013
Miguel A. Leon-Chavez, Rocío Aldeco-Pérez (2013), "Evaluar la Calidad de los Objetos de Aprendizaje Mediante Linaje Electrónico", en El Desarrollo de los Recursos Digitales para la Educación en México, septiembre 2013, ISBN 978-607-487-601-7.
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
Rocío Aldeco-Pérez, Luc Moreau (2009) "Information Accountability supported by a Provenance-based Compliance Framework". In Proceedings of the UK e-Science All Hands Meeting 2009.
2008
Rocío Aldeco-Pérez, Luc Moreau (2008) "Provenance-based Auditing of Private Data Use", 141-152. In International Academic Research Conference, Visions of Computer Science (BSC 2008), ISBN 978-1-906124-08-3, September 2008, London, UK.
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).