José Ramón de Diego

Publication Activity (10 Years)

Years Active: 1996-2003
Publications (10 Years): 0

Publications

Claudio de la Riva, Javier Tuya, José Ramón de Diego
Generación Automática y Paralela de Entornos en la Verificación de Componentes Software. JISBD (2003)
Claudio de la Riva, Javier Tuya, José Ramón de Diego
Generación de Restricciones del Entorno para Verificación Modular Utilizando Reglas de Asociación. JISBD (2001)
Claudio de la Riva, Javier Tuya, José Ramón de Diego
Verificación Modular de Sistemas Reactivos con Abstracciones del Entorno. JISBD (2000)
Claudio de la Riva, Javier Tuya, José Ramón de Diego
Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker. Ershov Memorial Conference (1999)
Javier Tuya, José Ramón de Diego, Claudio de la Riva, José A. Corrales
Dynamic analysis of SA/RT models using Spin and modular verification. The Spin Verification System (1996)