Raul Ernesto Gonzalez-Torres

According to our database, Raul Ernesto Gonzalez-Torres authored at least 6 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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 Briefs in Computer Science, Springer, ISBN: 978-3-031-44229-2, 2024

Exception Handling - Fundamentals and Programming

Pedro Mejía-Alvarez, Raul Ernesto Gonzalez-Torres, Susana Ortega-Cisneros

Springer Briefs in Computer Science, Springer, ISBN: 978-3-031-50680-2, 2024

2021

Automatic Generation of Test Cases from Formal Specifications using Mutation Testing.

Román Jaramillo Cajica, Raul Ernesto Gonzalez-Torres, Pedro Mejía-Alvarez

Proceedings of the 18th International Conference on Electrical Engineering, 2021

Automatic Test Cases Generation for C Written Programs Using Model Checking.

Daniset González Lima, Raul Ernesto Gonzalez-Torres, Pedro Mejía-Alvarez

Proceedings of the International Conference on Computational Science and Computational Intelligence, 2021

2016

Authenticated Encryption based on finite automata cryptosystems.

Pedro Ivan Salas Pena, Raul Ernesto Gonzalez-Torres

Proceedings of the 13th International Conference on Electrical Engineering, 2016

2006

Improving the Digital Design with Semi-formal Specification.

Deni Torres Román, Joaquín Cortez González, Raul Ernesto Gonzalez-Torres

Proceedings of the 16th International Conference on Electronics, Communications, and Computers (CONIELECOMP 2006), 27 February 2005, 2006