Año: 2006

  • Guidelines for the Incremental Identification of Aspects in Requirements Specifications.
    García Duque, J., López Nores, M., Pazos Arias, J. J., Fernández Vilas, A., Díaz Redondo, R. P., Gil Solla, A. et al. (2006). Requirements Engineering, 11(4), 239-263.     [Más]
  • Improving the Dependability of Mobile Ad-Hoc Networks through Formal Reasoning
    López Nores, M., Pereira Paz, D., Pazos Arias, J. J., García Duque, J. & Casquero Villacorta, E (2006). En 25th Conference on Computer Communications (INFOCOM). Poster session.     [Más]
  • Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements
    López Nores, M., García Duque, J. & Pazos Arias, J. J (2006). En 8th International Conference on Coordination Models and Languages (COORDINATION) - Lecture Notes in Computer Science, páginas 164-178. Bolonia, Italy : Springer Verlag.     [Más]
  • MHP-OSGi Convergence: A New Model for Open Residential Gateways.
    Fernández Vilas, A., Díaz Redondo, R. P., Ramos Cabrer, M., Pazos Arias, J. J., Gil Solla, A., García Duque, J. et al. (2006). Software, Practice and Experience, 36(13), 1421-1442.     [Más]
  • Optimizing Web Services Performance Using Cache.
    Fernández Vilas, J. A., Pazos Arias, J. J. & Fernández Vilas, A. (2006). Journal of Advanced Computational Intelligence and Intelligent Informatics. Special Issue on Computational Intelligence in Web Services Practices, 10(5), 713-720.     [Más]
  • Providing SCORM with Adaptivity
    Rey López, M., Fernández Vilas, A., Díaz Redondo, R. P. & Pazos Arias, J. J (2006). En 15th International World Wide Web Conference (WWW), páginas 981-982. ACM Press.     [Más]
  • VWS: Applying Virtualization Techniques to Web Services.
    Fernández Vilas, J. A., Pazos Arias, J. J. & Fernández Vilas, A. (2006). International Journal of Computer Science and Network Security, 6(5B), 120-128.     [Más]

Año: 2005

  • ARIFS Methodology: Reusing Incomplete Models at the Requirements Specification Stage.
    Díaz Redondo, R. P., Pazos Arias, J. J., Fernández Vilas, A., García Duque, J. & Gil Solla, A. (2005). International Journal of Software Engineering and Knowledge Engineering, 15(4), 607-645.     [Más]
  • AVATAR: A Flexible Approach to Improve the Personalized TV by Semantic Inference
    Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A. & Ramos Cabrer, M (2005). En 1st Workshop on Web Personalization, Recommender Systems and Intelligent User Interfaces (WPRSIUI), páginas 76-85. Reading, U.K..     [Más]
  • AVATAR: A Multi-Agent TV Recommender System Using MHP Applications
    Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M., López Nores, M. & Barragáns Martínez, A. B (2005). En IEEE International Conference on E-Technology, E-Commerce and E-Service (EEE), páginas 660-665. IEEE Computer Society Press.     [Más]
  • AVATAR: An Approach based on Semantic Reasoning to Recommend Personalized TV Programs.
    Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M., Fernández Vilas, A., Díaz Redondo, R. P. et al (2005). En 14th International World Wide Web Conference (WWW). Poster session, páginas 1078-1079. Chiba, Japan : ACM Press.     [Más]
  • AVATAR: Modeling Users by Dynamic Ontologies in a TV Recommender System based on Semantic Reasoning
    Blanco Fernández, Y., Pazos Arias, J. J., Gil Solla, A., Ramos Cabrer, M., López Nores, M. & Barragáns Martínez, A. B (2005). En 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), páginas 173-182.     [Más]
  • Bringing Standards into T-learning
    López Nores, M., Pazos Arias, J. J., Díaz Redondo, R. P., Blanco Fernández, Y., García Duque, J., Rey López, M. et al (2005). En 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), páginas 79-86.     [Más]
  • Collaborative T-learning: Bringing Greater Levels of Interactivity into the Home
    López Nores, M., Elexpuru Eguía, A., Blanco Fernández, Y., Pazos Arias, J. J., Barragáns Martínez, A. B., García Duque, J. et al (2005). En IEEE International Conference on E-Technology, E-Commerce and E-Service (EEE), páginas 588-591. Hong Kong : IEEE Computer Society Press.     [Más]
  • Eliciting Requirements and Scenarios Using the SCTL-MUS Methodology. The Shuttle System Case Study.
    Pazos Arias, J. J., García Duque, J., López Nores, M. & Barragáns Martínez, A. B. (2005). ACM Software Engineering Notes, 30(4), 1-5.     [Más]
  • Eliciting Requirements and Scenarios Using the SCTL-MUS Methodology. The Shuttle System Case Study
    Pazos Arias, J. J., García Duque, J., López Nores, M. & Barragáns Martínez, A. B (2005). En 27th International Conference on Software Engineering (ICSE), Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM), páginas 1-5. St. Louis, Missouri, USA : ACM Press.     [Más]
  • Locating Crosscutting Concerns in the Formal Specification of Distributed Reactive Systems.
    Pazos Arias, J. J., García Duque, J., López Nores, M. & Barragáns Martínez, A. B. (2005). ACM Software Engineering Notes, 30(4), 1-5.     [Más]
  • Locating Crosscutting Concerns in the Formal Specification of Distributed Reactive Systems
    Pazos Arias, J. J., García Duque, J., López Nores, M. & Barragáns Martínez, A. B (2005). En 27th International Conference on Software Engineering (ICSE), Workshop on the Modeling and Analysis of Concerns in Software (MACS), páginas 1-5. St. Louis, Missouri, USA : ACM Press.     [Más]
  • Merging Requirements Views with Incompleteness and Inconsistency
    Barragáns Martínez, A. B., Pazos Arias, J. J. & Fernández Vilas, A (2005). En 16th IEEE Australian Software Engineering Conference (ASWEC), páginas 58-67. IEEE Computer Society Press.     [Más]
  • Multi-valued Model Checking in Dense-Time
    Fernández Vilas, A., Pazos Arias, J. J., Barragáns Martínez, A. B., López Nores, M., Díaz Redondo, R. P., Gil Solla, A. et al (2005). En 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU) - Lecture Notes in Computer Science, páginas 638-649. Barcelona, Spain : Springer Verlag.     [Más]
  • On the Specification of Interaction Patterns for Collaborative T-learning Services
    López Nores, M., Pazos Arias, J. J., García Duque, J., Barragáns Martínez, A. B., Blanco Fernández, Y., Díaz Redondo, R. P. et al (2005). En 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), páginas 231-233.     [Más]
  • Optimizing Web Services Performance Using Caching
    Fernández Vilas, J. A., Pazos Arias, J. J. & Fernández Vilas, A (2005). En IEEE International Conference on Next Generation Web Services Practices (NWeSP), páginas 157-162. IEEE Computer Society.     [Más]
  • Solutions for Personalized T-learning
    López Nores, M., Pazos Arias, J. J., Blanco Fernández, Y., Rey López, M., García Duque, J., Barragáns Martínez, A. B. et al (2005). En 3rd European Conference on Interactive Television: User Centred ITV Systems, Programmes and Applications (EuroITV), páginas 235-236. Aalborg, Denmark.     [Más]
  • Tracing Integration Analysis in Component-Based Formal Specifications
    López Nores, M., Pazos Arias, J. J., García Duque, J., Barragáns Martínez, A. B., Díaz Redondo, R. P., Fernández Vilas, A. et al (2005). En 7th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS) - Lecture Notes in Computer Science, páginas 147-162.     [Más]

Año: 2004

  • A Formal Approach to Component-Based Specification with Improved Requirements Traceability
    López Nores, M. & Pazos Arias, J. J (2004). En 12th International Requirements Engineering Conference (RE), Doctoral Symposium. Kyoto, Japan : IEEE Computer Society Press.     [Más]