José Ramón de Diego

According to our database, José Ramón de Diego authored at least 5 papers between 1996 and 2003.

Collaborative distances:

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

2003

Generación Automática y Paralela de Entornos en la Verificación de Componentes Software.

Claudio de la Riva, Javier Tuya, José Ramón de Diego

Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003

2001

Generación de Restricciones del Entorno para Verificación Modular Utilizando Reglas de Asociación.

Claudio de la Riva, Javier Tuya, José Ramón de Diego

Proceedings of the VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2001), 2001

2000

Verificación Modular de Sistemas Reactivos con Abstracciones del Entorno.

Claudio de la Riva, Javier Tuya, José Ramón de Diego

Proceedings of the V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 2000

1999

Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker.

Claudio de la Riva, Javier Tuya, José Ramón de Diego

Proceedings of the Perspectives of System Informatics, 1999

1996

Dynamic analysis of SA/RT models using Spin and modular verification.

Javier Tuya, José Ramón de Diego, Claudio de la Riva, José A. Corrales

Proceedings of the Spin Verification System, 1996