Raúl Ernesto González Torres

Laboratorio de Computación

Investigador Titular "Cinvestav 2C"

(33) 3777-3600 Ext.1017

raul.gonzalez@cinvestav.mx

Líneas de investigación

• Verificación formal de Software.
• Prueba Automática de Teorema.
• Teoría de la demostración para lógicas no clásicas.
• Aplicaciones de la lógica en Ingeniería y Computación.

Publicaciones recientes y/o relevantes

• "A geometric study of cores of idempotent stochastic matrices". González-Torres, Raúl E., Linear Algebra and its Applications, 527C (2017), pp. 87-127. Available online 4 April 2017, printed on August 2017. Ed. Elsevier.
• “Implementación de un Criptosistema Basado en Látices. Cifrado Basado en Identidad”. Diego Armando Retana García y Raúl Ernesto González. Vigésimaséptima Reunión Internacional de Otoño, IEEE RC&C’ 2017, Acapulco Gro., del 27 al 30 de noviembre del 2017.
• “Authenticated Encryption Based on Finite Automata Cryptosystems”. Pedro Ivan Salas and Raúl Ernesto González. 13th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE 2016), Mexico City, Mexico. Sep. 26 – 30, 2016. IEEE Catalog Number 978-1-5090-3511-3.
• "A Geometric Description of the Maximal Monoids of Some Matrix Semigroups". González-Torres, Raúl E., Linear Algebra and its Applications, 466C (2015), pp. 483-500. Available online 5 November 2014, printed on February 2015. Ed. Elsevier.
• Automatic Test Cases Generation for C Written Programs Using Model Checking. Daniset Gonzalez Lima, González-Torres, Raúl E. and Pedro Mejía Alvarez. International Conference on Computational Science and Computational Intelligence (CSCI) 2021-12-15 - 2021-12-17 Las Vegas, Nevada, EUA. p. 1-7. 2021
• Automatic Generation of Test Cases from Formal Specifications using Mutation Testing. Roman Jaramillo Cajica, González-Torres, Raúl E. and Pedro Mejía Alvarez. 18th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE) 2021-11-10 - 2021-11-12 Mexico City, Mexico. p. 1-6. 2021.