Comunicaciones a congresos

Año: 2002

  • A MHP receiver over RT-Linux for Digital TV
    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). En IADIS International Conference WWW/Internet (IADIS), páginas 624-627. Lisboa, Portugal.
  • An Analysis-Revision Cycle to Evolve Requirements Specifications by Using the SCTL-MUS Methodology
    García Duque, J., Pazos Arias, J. J. & Barragáns Martínez, A. B (2002). En 10th Joint International Requirements Engineering Conference (RE), páginas 282-288. Essen, Germany : IEEE Computer Society Press.
  • Approximate Retrieval of Incomplete and Formal Specifications applied to Horizontal Reuse
    Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A. & Barragáns Martínez, A. B (2002). En 18th International Conference on Software Maintenance (ICSM), páginas 618-627. Montreal, Canada : IEEE Computer Society Press.
  • Approximate Retrieval of Incomplete and Formal Specifications applied to Vertical Reuse
    Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A. & Barragáns Martínez, A. B (2002). En 28th EUROMICRO Conference on Component-based Software Engineering (EUROMICRO), páginas 90-97. Dortmund, Germany : IEEE Computer Society Press.
  • ARIFS: Environment for Incomplete and Formal Specifications Reuse
    Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A. & Barragáns Martínez, A. B (2002). En 29th International Colloquium on Automata, Languages, and Programming (ICALP), Proc. of Workshop on Formal Methods and Component Interaction. Malaga, Spain : Elsevier Science.
  • ARIFS: Reusing Formal Verification Efforts in a Requirements Specification
    Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A. & Barragáns Martínez, A. B (2002). En 16th European Conference on Object-Oriented Programming (ECOOP), Workshop on Model-based Software Reuse. Malaga, Spain : Springer Verlag.
  • DVB-MHP transport Stream Generator
    Gil Solla, A., Fernández Vilas, A., Díaz Redondo, R. P., Fernández Veiga, M., Rodríguez Rubio, R. F. & García Duque, J (2002). En 4th. EURASIP-IEEE Region 8 International Symposium on Video/Image Processing and Multimedia Communications (VIPromCom), páginas 453-456. Zadar, Croatia : IEEE Computer Society Press.
  • Experiences from Implementing a MHP Receiver
    López Ardao, J. C., López García, C., Gil Solla, A., Díaz Redondo, R. P., Fernández Vilas, A., Fernández Veiga, M. et al (2002). En 4th. EURASIP-IEEE Region 8 International Symposium on Video/Image Processing and Multimedia Communications (VIPromCom), páginas 441-446. Zadar, Croatia : IEEE Computer Society Press.
  • Exploring T-Learning in the MHP Context
    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). En IADIS International Conference WWW/Internet (IADIS), páginas 743-746. Lisboa, Portugal.
  • Extending Timed Automaton and Real-time Logic to Many-valued Reasoning
    Fernández Vilas, A., Pazos Arias, J. J. & Díaz Redondo, R. P (2002). En 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT), páginas 185-204. Oldenburg, Germany : Springer Verlag.
  • Formalizing Incremental Design in Real-time Area: SCTL/MUS-T
    Fernández Vilas, A., Pazos Arias, J. J., Díaz Redondo, R. P. & Barragáns Martínez, A. B (2002). En 26th Annual International Computer Software and Applications Conference (COMPSAC), páginas 659-664. Oxford, U.K. : IEEE Computer Society Press.
  • Incremental Synthesis of Timed Models from Many-valued Temporal Logic
    Fernández Vilas, A., Pazos Arias, J. J. & Díaz Redondo, R. P (2002). En 9th IEEE Conference and Workshops on Engineering of Computer-Based Systems (ECBS), Workshop on Component-Based Software Engineering. Lund, Sweden.
  • Internet-TV Convergence in DVB-MHP
    Gil Solla, A., Pazos Arias, J. J., Fernández Vilas, A., Díaz Redondo, R. P., Fernández Veiga, M. & Ramos Cabrer, M (2002). En 4th. EURASIP-IEEE Region 8 International Symposium on Video/Image Processing and Multimedia Communications (VIPromCom), páginas 447-453. Zadar, Croatia : IEEE Computer Society Press.
  • Requirements Specifications Evolution in a Multi-Perspective Environment
    Barragáns Martínez, A. B., García Duque, J., Pazos Arias, J. J., Fernández Vilas, A. & Díaz Redondo, R. P (2002). En 26th Annual International Computer Software and Applications Conference (COMPSAC), páginas 39-44. Oxford, U.K. : IEEE Computer Society Press.
  • Reusing Verification Information of Incomplete Specifications
    Díaz Redondo, R. P., Pazos Arias, J. J. & Fernández Vilas, A (2002). En 9th IEEE Conference and Workshops on Engineering of Computer-Based Systems (ECBS), Workshop on Component-Based Software Engineering. Lund, Sweeden : IEEE Computer Society Press.
  • 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). En X Jornadas de Concurrencia. Jaca, Spain.
  • 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). En Proc. of International Conference on Multimedia and Expo 2002, páginas 285-288. Lausanne, Suiza : IEEE Computer Society Press.
  • 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). En IADIS International Conference WWW/Internet (IADIS), páginas 685-688. Lisboa, Portugal.

Año: 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). En 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). En 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). En 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). 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.