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
-
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.
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.
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.
-
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
-
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.
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.
Pazos Arias, J. J., Ramos Cabrer, M. & López García, C (1999). En Proc of URSI (URSI). Santiago de Compostela, Spain.
Pazos Arias, J. J., Ramos Cabrer, M. & López García, C (1999). En II Jornadas de Ingeniería Telemática. Leganés, Spain.
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.
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.
-
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
-
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.
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.
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.
-
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.
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.
Pazos Arias, J. J., Delgado Kloos, C. & Gil Solla, A (1995). En IV Jornadas de Concurrencia. El Escorial, Spain.
-
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.
Pazos Arias, J. J. & Delgado Kloos, C (1993). En III Jornadas de Telecom I+D, páginas 25-38. Madrid, Spain.
Pazos Arias, J. J. & Delgado Kloos, C (1993). En III Jornadas de Concurrencia, páginas 25-38. Gandía, Spain.
-
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.