Year: 2002

• Sistemas Operativos para un Receptor Digital de Televisión
  Ramos Cabrer, M., García Duque, J., López García, C. & Gil Solla, A (2002). In X Jornadas de Concurrencia. Jaca, Spain. [More]
• Surfing the WEB on TV: the MHP Approach
  Gil Solla, A., Pazos Arias, J. J., López García, C., López Ardao, J. C., Rodríguez Rubio, R. F., Ramos Cabrer, M. et al (2002). In Proc. of International Conference on Multimedia and Expo 2002, pages 285-288. Lausanne, Suiza : IEEE Computer Society Press. [More]
• Using XML in the standardization of digital TV with MHP (Multimedia Home Platform)
  Gil Solla, A., Pazos Arias, J. J., López García, C., López Ardao, J. C., Rodríguez Rubio, R. F. & Ramos Cabrer, M (2002). In IADIS International Conference WWW/Internet (IADIS), pages 685-688. Lisboa, Portugal. [More]

Year: 2001

• 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. [More]

Year: 2000

• 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. [More]
• Diseño y desarrollo de sistemas distribuidos mediante la aplicación combinada de métodos formales.
  Gil Solla, A. (2000). Phd Thesis, Universidad de Vigo. [More] [Online version]
• 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. [More]
• 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. [More]

Year: 1999

• 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. [More]
• 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. [More]

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. [More]

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. [More]

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. [More]

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. [More]

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. [More]