Comunicaciones a congresos

Año: 2001

  • Reusing of Verification Efforts and Incomplete Specifications in a Formalized, Iterative and Incremental Software Process
    Díaz Redondo, R. P. & Pazos Arias, J. J (2001). En 23rd International Conference on Software Engineering (ICSE), páginas 801-802. Toronto, Canada : IEEE Computer Society Press.

Año: 2000

  • An Example for Reusing Verification Knowledge by Using Formal Techniques
    Pazos Arias, J. J., Díaz Redondo, R. P., García Duque, J. & Barragáns Martínez, A. B (2000). En 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI). Invited Session: Information Systems Reuse on Internet (ISRI). Orlando, EEUU.
  • An Incremental Formal Approach to Real-time Systems
    Fernández Vilas, A. & Pazos Arias, J. J (2000). En 15th IEEE International Conference on Automated Software Engineering. Grenoble, France.
  • Automatic system verification by means of formal methods
    Gil Solla, A., Fernández Vilas, A. & Pazos Arias, J. J (2000). En Proc of ICSSEA. Paris, France.
  • Modelo de Reutilización de Requisitos Funcionales Utilizando Técnicas Formales
    Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J. & Gil Solla, A (2000). En VIII Jornadas de Concurrencia, páginas 125-138. Cuenca, Spain.
  • Reusing Functional Requirements by Using Formal Techniques
    Pazos Arias, J. J. & Díaz Redondo, R. P (2000). En 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI). Invited Session: Information Systems Reuse on Internet (ISRI). Orlando, EEUU.
  • Verificación de requisitos de tiempo críticos sobre sistemas incompletos
    Fernández Vilas, A., Pazos Arias, J. J., Díaz Redondo, R. P., García Duque, J. & Gil Solla, A (2000). En VIII Jornadas de Concurrencia, páginas 277-290. Cuenca, Spain.

Año: 1999

  • Aplicaciones para un sistema de recepción digital multimedia
    Pazos Arias, J. J., Ramos Cabrer, M. & López García, C (1999). En Proc of URSI (URSI). Santiago de Compostela, Spain.
  • Diseño de un sistema de recepción digital multimedia
    Pazos Arias, J. J., Ramos Cabrer, M. & López García, C (1999). En II Jornadas de Ingeniería Telemática. Leganés, Spain.
  • Entorno de Reutilización de Requisitos Funcionales de Sistemas Distribuidos
    Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J. & Gil Solla, A (1999). En VII Jornadas de Concurrencia. Gandía, Spain.
  • 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.

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.

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.

Año: 1996

Año: 1995

  • 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.

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.

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.
  • 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.

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.