Improving the Digital Design with Semi-formal Specification. - Deni Torres Román; Joaquín Cortez González; Raul Ernesto Gonzalez-Torres (CONIELECOMP, 2006)

Authenticated Encryption based on finite automata cryptosystems. - Pedro Ivan Salas Pena; Raul Ernesto Gonzalez-Torres (CCE, 2016)

Automatic Test Cases Generation for C Written Programs Using Model Checking. - Daniset González Lima; Raul Ernesto Gonzalez-Torres; Pedro Mejía-Alvarez (CSCI, 2021)

Automatic Generation of Test Cases from Formal Specifications using Mutation Testing. - Román Jaramillo Cajica; Raul Ernesto Gonzalez-Torres; Pedro Mejía-Alvarez (CCE, 2021)

Exception Handling - Fundamentals and Programming - Pedro Mejía-Alvarez; Raul Ernesto Gonzalez-Torres; Susana Ortega-Cisneros (Springer, 2024)

Real-Time Database Systems - Fundamentals, Architectures and Applications - Pedro Mejía-Alvarez; Ricardo J. Zavaleta Vazquez; Susana Ortega-Cisneros; Raul Ernesto Gonzalez-Torres (Springer, 2024)