Comunicaciones a congresos
Year: 2001
-
Different Degrees of Satisfaction to Aid Defect Testing
García Duque, J., Pazos Arias, J. J., Sousa Vieira, E., Casquero Villacorta, E., Arias Fisteus, J., Gabieiro Martínez, C. et al (2001). In 5th World Multiconference on Systemics, Cybernetics and Informatics (SCI). Orlando, EEUU.
-
Integration of Behavioral and Data Requirements in Specification and Verification with Temporal Logic
Gil Solla, A., Pazos Arias, J. J., Fernández Vilas, A., Sousa Vieira, E., Casquero Villacorta, E., Falcón Docampo, A. et al (2001). In 5th World Multiconference on Systemics, Cybernetics and Informatics (SCI). Orlando, EEUU.
-
Reasoning over Inconsistent Viewpoints: How levels of Agreement can Evolve?
García Duque, J. & Pazos Arias, J. J (2001). In 2nd International Workshop on Living With Inconsistency. 23rd International Conference on Software Engineering. (ICSE). Toronto, Canada : IEEE Computer Society Press.
-
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). In 23rd International Conference on Software Engineering (ICSE), pages 801-802. Toronto, Canada : IEEE Computer Society Press.
Year: 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). In 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). In 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). In 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). In VIII Jornadas de Concurrencia, pages 125-138. Cuenca, Spain.
-
Reusing Functional Requirements by Using Formal Techniques
Pazos Arias, J. J. & Díaz Redondo, R. P (2000). In 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). In VIII Jornadas de Concurrencia, pages 277-290. Cuenca, Spain.
Year: 1999
-
Aplicaciones para un sistema de recepción digital multimedia
Pazos Arias, J. J., Ramos Cabrer, M. & López García, C (1999). In 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). In 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). In 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). In VII Jornadas de Concurrencia. Gandía, Spain.
Year: 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). In VI Jornadas de Concurrencia.. Pamplona, Spain.
Year: 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). In V Jornadas de Concurrencia, pages 321-332. Vigo, Spain.
Year: 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). In Proc of Telematics for future Education and Training. Oulu, Finland.
Year: 1995
-
Verificación de Propiedades en Especificaciones LOTOS Mediante Lógica Temporal
Pazos Arias, J. J., Delgado Kloos, C. & Gil Solla, A (1995). In IV Jornadas de Concurrencia. El Escorial, Spain.
Year: 1994
-
Especificación y Transformación de Protocolos con LOTOS
Pazos Arias, J. J., Delgado Kloos, C. & Gil Solla, A (1994). In IX Symposium Nacional URSI (URSI). Las Palmas, Spain.
Year: 1993
-
Especificación y Transformación de las Propiedades de un Programa LOTOS
Pazos Arias, J. J. & Delgado Kloos, C (1993). In III Jornadas de Telecom I+D, pages 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). In III Jornadas de Concurrencia, pages 25-38. Gandía, Spain.
Year: 1990
-
Formalización de propiedades de procesos LOTOS con Lógica Temporal
Delgado Kloos, C. & Pazos Arias, J. J (1990). In II Jornadas de Concurrencia. Palma de Mallorca, Spain.
García Duque, J., Pazos Arias, J. J., Sousa Vieira, E., Casquero Villacorta, E., Arias Fisteus, J., Gabieiro Martínez, C. et al (2001). In 5th World Multiconference on Systemics, Cybernetics and Informatics (SCI). Orlando, EEUU.
Gil Solla, A., Pazos Arias, J. J., Fernández Vilas, A., Sousa Vieira, E., Casquero Villacorta, E., Falcón Docampo, A. et al (2001). In 5th World Multiconference on Systemics, Cybernetics and Informatics (SCI). Orlando, EEUU.
García Duque, J. & Pazos Arias, J. J (2001). In 2nd International Workshop on Living With Inconsistency. 23rd International Conference on Software Engineering. (ICSE). Toronto, Canada : IEEE Computer Society Press.
Díaz Redondo, R. P. & Pazos Arias, J. J (2001). In 23rd International Conference on Software Engineering (ICSE), pages 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). In 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). In 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). In 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). In VIII Jornadas de Concurrencia, pages 125-138. Cuenca, Spain. -
Reusing Functional Requirements by Using Formal Techniques
Pazos Arias, J. J. & Díaz Redondo, R. P (2000). In 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). In VIII Jornadas de Concurrencia, pages 277-290. Cuenca, Spain.
Year: 1999
-
Aplicaciones para un sistema de recepción digital multimedia
Pazos Arias, J. J., Ramos Cabrer, M. & López García, C (1999). In 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). In 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). In 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). In VII Jornadas de Concurrencia. Gandía, Spain.
Year: 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). In VI Jornadas de Concurrencia.. Pamplona, Spain.
Year: 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). In V Jornadas de Concurrencia, pages 321-332. Vigo, Spain.
Year: 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). In Proc of Telematics for future Education and Training. Oulu, Finland.
Year: 1995
-
Verificación de Propiedades en Especificaciones LOTOS Mediante Lógica Temporal
Pazos Arias, J. J., Delgado Kloos, C. & Gil Solla, A (1995). In IV Jornadas de Concurrencia. El Escorial, Spain.
Year: 1994
-
Especificación y Transformación de Protocolos con LOTOS
Pazos Arias, J. J., Delgado Kloos, C. & Gil Solla, A (1994). In IX Symposium Nacional URSI (URSI). Las Palmas, Spain.
Year: 1993
-
Especificación y Transformación de las Propiedades de un Programa LOTOS
Pazos Arias, J. J. & Delgado Kloos, C (1993). In III Jornadas de Telecom I+D, pages 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). In III Jornadas de Concurrencia, pages 25-38. Gandía, Spain.
Year: 1990
-
Formalización de propiedades de procesos LOTOS con Lógica Temporal
Delgado Kloos, C. & Pazos Arias, J. J (1990). In II Jornadas de Concurrencia. Palma de Mallorca, Spain.
Pazos Arias, J. J., Ramos Cabrer, M. & López García, C (1999). In Proc of URSI (URSI). Santiago de Compostela, Spain.
Pazos Arias, J. J., Ramos Cabrer, M. & López García, C (1999). In 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). In 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). In 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). In VI Jornadas de Concurrencia.. Pamplona, Spain.
Year: 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). In V Jornadas de Concurrencia, pages 321-332. Vigo, Spain.
Year: 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). In Proc of Telematics for future Education and Training. Oulu, Finland.
Year: 1995
-
Verificación de Propiedades en Especificaciones LOTOS Mediante Lógica Temporal
Pazos Arias, J. J., Delgado Kloos, C. & Gil Solla, A (1995). In IV Jornadas de Concurrencia. El Escorial, Spain.
Year: 1994
-
Especificación y Transformación de Protocolos con LOTOS
Pazos Arias, J. J., Delgado Kloos, C. & Gil Solla, A (1994). In IX Symposium Nacional URSI (URSI). Las Palmas, Spain.
Year: 1993
-
Especificación y Transformación de las Propiedades de un Programa LOTOS
Pazos Arias, J. J. & Delgado Kloos, C (1993). In III Jornadas de Telecom I+D, pages 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). In III Jornadas de Concurrencia, pages 25-38. Gandía, Spain.
Year: 1990
-
Formalización de propiedades de procesos LOTOS con Lógica Temporal
Delgado Kloos, C. & Pazos Arias, J. J (1990). In 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). In V Jornadas de Concurrencia, pages 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). In Proc of Telematics for future Education and Training. Oulu, Finland.
Year: 1995
-
Verificación de Propiedades en Especificaciones LOTOS Mediante Lógica Temporal
Pazos Arias, J. J., Delgado Kloos, C. & Gil Solla, A (1995). In IV Jornadas de Concurrencia. El Escorial, Spain.
Year: 1994
-
Especificación y Transformación de Protocolos con LOTOS
Pazos Arias, J. J., Delgado Kloos, C. & Gil Solla, A (1994). In IX Symposium Nacional URSI (URSI). Las Palmas, Spain.
Year: 1993
-
Especificación y Transformación de las Propiedades de un Programa LOTOS
Pazos Arias, J. J. & Delgado Kloos, C (1993). In III Jornadas de Telecom I+D, pages 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). In III Jornadas de Concurrencia, pages 25-38. Gandía, Spain.
Year: 1990
-
Formalización de propiedades de procesos LOTOS con Lógica Temporal
Delgado Kloos, C. & Pazos Arias, J. J (1990). In II Jornadas de Concurrencia. Palma de Mallorca, Spain.
Pazos Arias, J. J., Delgado Kloos, C. & Gil Solla, A (1995). In 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). In IX Symposium Nacional URSI (URSI). Las Palmas, Spain.
Year: 1993
-
Especificación y Transformación de las Propiedades de un Programa LOTOS
Pazos Arias, J. J. & Delgado Kloos, C (1993). In III Jornadas de Telecom I+D, pages 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). In III Jornadas de Concurrencia, pages 25-38. Gandía, Spain.
Year: 1990
-
Formalización de propiedades de procesos LOTOS con Lógica Temporal
Delgado Kloos, C. & Pazos Arias, J. J (1990). In II Jornadas de Concurrencia. Palma de Mallorca, Spain.
Pazos Arias, J. J. & Delgado Kloos, C (1993). In III Jornadas de Telecom I+D, pages 25-38. Madrid, Spain.
Pazos Arias, J. J. & Delgado Kloos, C (1993). In III Jornadas de Concurrencia, pages 25-38. Gandía, Spain.
-
Formalización de propiedades de procesos LOTOS con Lógica Temporal
Delgado Kloos, C. & Pazos Arias, J. J (1990). In II Jornadas de Concurrencia. Palma de Mallorca, Spain.