Año: 1999

• Extensión del Modelo MES para el Diseño de Sistemas de Tiempo Real Críticos
  Fernández Vilas, A., Pazos Arias, J. J., Díaz Redondo, R. P., García Duque, J. & Gil Solla, A (1999). En VII Jornadas de Concurrencia. Gandía, Spain. [Más]

Año: 1998

• LCTS: Una Lógica Temporal Causal para la Especificación y Verificación de Requisitos Funcionales de un Sistema Distribuido
  Pazos Arias, J. J., García Duque, J., Gil Solla, A., Díaz Redondo, R. P. & Fernández Vilas, A (1998). En VI Jornadas de Concurrencia.. Pamplona, Spain. [Más]

Año: 1997

• Una Lógica Temporal Causal para la Especificación de Requisitos Funcionales de un Sistema Distribuido
  Pazos Arias, J. J., García Duque, J., Gil Solla, A., Díaz Redondo, R. P. & Fernández Vilas, A (1997). En V Jornadas de Concurrencia, páginas 321-332. Vigo, Spain. [Más]

Año: 1996

• XLIRA: An Environment for Telematic Application Development
  Pazos Arias, J. J., Gil Solla, A., García Duque, J., Domínguez, M. & Freire, J (1996). En Proc of Telematics for future Education and Training. Oulu, Finland. [Más]

Año: 1995

• Transformación y Verificación con LOTOS.
  Pazos Arias, J. J. (1995). Tesis de doctorado, Universidad Politécnica de Madrid. [Más]
• Verificación de Propiedades en Especificaciones LOTOS Mediante Lógica Temporal
  Pazos Arias, J. J., Delgado Kloos, C. & Gil Solla, A (1995). En IV Jornadas de Concurrencia. El Escorial, Spain. [Más]

Año: 1994

• Especificación y Transformación de Protocolos con LOTOS
  Pazos Arias, J. J., Delgado Kloos, C. & Gil Solla, A (1994). En IX Symposium Nacional URSI (URSI). Las Palmas, Spain. [Más]

Año: 1993

• Especificación y Transformación de las Propiedades de un Programa LOTOS
  Pazos Arias, J. J. & Delgado Kloos, C (1993). En III Jornadas de Telecom I+D, páginas 25-38. Madrid, Spain. [Más]
• Síntesis de programas LOTOS a partir de la especificación de sus propiedades
  Pazos Arias, J. J. & Delgado Kloos, C (1993). En III Jornadas de Concurrencia, páginas 25-38. Gandía, Spain. [Más]

Año: 1990

• Formalización de propiedades de procesos LOTOS con Lógica Temporal
  Delgado Kloos, C. & Pazos Arias, J. J (1990). En II Jornadas de Concurrencia. Palma de Mallorca, Spain. [Más]