| 2008 |
|---|
| 61 | EE | Yolanda Blanco-Fernández,
José J. Pazos Arias,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Martín López Nores:
Semantic Reasoning: A Path to New Possibilities of Personalization.
ESWC 2008: 720-735 |
| 60 | EE | Yolanda Blanco-Fernández,
José J. Pazos Arias,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Martín López Nores:
ZapTV: Personalized User-Generated Content for Handheld Devices in DVB-H Mobile Networks.
EuroITV 2008: 193-203 |
| 59 | | Martín López Nores,
José J. Pazos Arias,
Jorge García Duque,
Yolanda Blanco-Fernández:
A Smart Medicine Manager Delivering Health Care to the Networked Home and Beyond - An Overview of the iCabiNET System.
HEALTHINF (2) 2008: 167-172 |
| 58 | EE | Martín López Nores,
José J. Pazos Arias,
Yolanda Blanco-Fernández,
Jorge García Duque,
Ricardo Tubio-Pardavila,
Esther Casquero-Villacorta:
MiSPOT: Enhanced Availability and Quality in Delivering Personalized M-Learning Linked to TV Programs.
ICALT 2008: 617-619 |
| 57 | EE | Rebeca P. Díaz Redondo,
Ana Fernández Vilas,
Manuel Ramos Cabrer,
José J. Pazos Arias,
Jorge García Duque,
Alberto Gil-Solla:
Enhancing Residential Gateways: A Semantic OSGi Platform.
IEEE Intelligent Systems 23(1): 32-40 (2008) |
| 56 | EE | Ana Belén Barragáns-Martínez,
José J. Pazos Arias,
Ana Fernández Vilas,
Jorge García Duque,
Martín López Nores,
Rebeca P. Díaz Redondo,
Yolanda Blanco-Fernández:
On the interplay between inconsistency and incompleteness in multi-perspective requirements specifications.
Information & Software Technology 50(4): 296-321 (2008) |
| 55 | EE | Ana Belén Barragáns-Martínez,
José J. Pazos Arias,
Ana Fernández Vilas,
Jorge García Duque,
Martín López Nores,
Rebeca P. Díaz Redondo,
Yolanda Blanco-Fernández:
Composing Multi-Perspective Software Requirements Specifications.
International Journal of Software Engineering and Knowledge Engineering 18(1): 119-153 (2008) |
| 54 | EE | Yolanda Blanco-Fernández,
José J. Pazos Arias,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Martín López Nores,
Jorge García Duque,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo:
Exploiting synergies between semantic reasoning and personalization strategies in intelligent recommender systems: A case study.
Journal of Systems and Software 81(12): 2371-2385 (2008) |
| 53 | EE | Yolanda Blanco-Fernández,
José J. Pazos Arias,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Martín López Nores,
Jorge García Duque,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
Jesús Bermejo Muñoz:
A flexible semantic inference methodology to reason about user preferences in knowledge-based recommender systems.
Knowl.-Based Syst. 21(4): 305-320 (2008) |
| 52 | EE | Marta Rey-López,
Rebeca P. Díaz Redondo,
Ana Fernández Vilas,
José J. Pazos Arias,
Martín López Nores,
Jorge García Duque,
Alberto Gil-Solla,
Manuel Ramos Cabrer:
T-MAESTRO and its authoring tool: using adaptation to integrate entertainment into personalized t-learning.
Multimedia Tools Appl. 40(3): 409-451 (2008) |
| 51 | EE | Ana Belén Barragáns-Martínez,
José J. Pazos Arias,
Ana Fernández Vilas,
Jorge García Duque,
Martín López Nores,
Rebeca P. Díaz Redondo,
Yolanda Blanco-Fernández:
Composing requirements specifications from multiple prioritized sources.
Requir. Eng. 13(3): 187-206 (2008) |
| 50 | EE | Yolanda Blanco-Fernández,
José J. Pazos Arias,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Martín López Nores,
Jorge García Duque,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
Jesús Bermejo Muñoz:
An MHP framework to provide intelligent personalized recommendations about digital TV contents.
Softw., Pract. Exper. 38(9): 925-960 (2008) |
| 2007 |
|---|
| 49 | EE | Yolanda Blanco-Fernández,
José J. Pazos Arias,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Martín López Nores:
How to Overcome Stumbling Blocks of Traditional Personalization Paradigms.
MTSR 2007: 527-536 |
| 48 | EE | Marta Rey-López,
Rebeca P. Díaz Redondo,
Ana Fernández Vilas,
José J. Pazos Arias:
Entercation: engaging viewers in education through TV.
Computers in Entertainment 5(2): (2007) |
| 47 | EE | Yolanda Blanco-Fernández,
José J. Pazos Arias,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Martín López Nores,
Jorge García Duque,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
Jesús Bermejo Muñoz:
Avatar: Enhancing the Personalized Television by Semantic Inference.
IJPRAI 21(2): 397-421 (2007) |
| 2006 |
|---|
| 46 | EE | Martín López Nores,
José J. Pazos Arias,
Jorge García Duque,
Ana Belén Barragáns-Martínez:
An Agile Approach to Support Incremental Development of Requirements Specifications.
ASWEC 2006: 9-18 |
| 45 | EE | Martín López Nores,
Jorge García Duque,
José J. Pazos Arias:
Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements.
COORDINATION 2006: 164-178 |
| 44 | EE | Marta Rey-López,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
José J. Pazos Arias,
Jesús Bermejo-Muõz:
Extending SCORM to Create Adaptive Courses.
EC-TEL 2006: 679-684 |
| 43 | EE | Martín López Nores,
José J. Pazos Arias,
Jorge García Duque,
Yolanda Blanco-Fernández,
Alberto Gil-Solla:
A Core of Standards to Support T-learning.
ICALT 2006: 13-15 |
| 42 | EE | Marta Rey-López,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
José J. Pazos Arias:
Providing SCORM with adaptivity.
WWW 2006: 981-982 |
| 41 | EE | Martín López Nores,
José J. Pazos Arias,
Jorge García Duque,
Yolanda Blanco-Fernández,
Rebeca P. Díaz Redondo,
Ana Fernández Vilas,
Alberto Gil-Solla,
Manuel Ramos Cabrer:
Bringing the Agile Philosophy to Formal Specification Settings.
International Journal of Software Engineering and Knowledge Engineering 16(6): 951-986 (2006) |
| 40 | EE | Jorge García Duque,
Martín López Nores,
José J. Pazos Arias,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
Alberto Gil-Solla,
Yolanda Blanco-Fernández,
Manuel Ramos Cabrer:
A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications.
J. Log. Comput. 16(2): 227-255 (2006) |
| 39 | EE | Julio Fernández Vilas,
José J. Pazos Arias,
Ana Fernández Vilas:
Optimizing Web Services Performance Using Cache.
JACIII 10(5): 713-720 (2006) |
| 38 | EE | Martín López Nores,
José J. Pazos Arias,
Jorge García Duque,
Yolanda Blanco-Fernández,
Manuel Ramos Cabrer,
Alberto Gil-Solla,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo:
Formal specification applied to multiuser distributed services: Experiences in collaborative t-learning.
Journal of Systems and Software 79(8): 1141-1155 (2006) |
| 37 | EE | Jorge García Duque,
Martín López Nores,
José J. Pazos Arias,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Yolanda Blanco-Fernández:
Guidelines for the incremental identification of aspects in requirements specifications.
Requir. Eng. 11(4): 239-263 (2006) |
| 36 | EE | Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
Manuel Ramos Cabrer,
José J. Pazos Arias,
Alberto Gil-Solla,
Jorge García Duque,
Martín López Nores,
Yolanda Blanco-Fernández:
MHP-OSGi convergence: a new model for open residential gateways.
Softw., Pract. Exper. 36(13): 1421-1442 (2006) |
| 35 | EE | José J. Pazos Arias,
Martín López Nores,
Jorge García Duque,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Yolanda Blanco-Fernández,
Rebeca P. Díaz Redondo,
Ana Fernández Vilas:
ATLAS: a framework to provide multiuser and distributed t-learning services over MHP.
Softw., Pract. Exper. 36(8): 845-869 (2006) |
| 2005 |
|---|
| 34 | EE | Ana Belén Barragáns-Martínez,
José J. Pazos Arias,
Ana Fernández Vilas:
Merging Requirements Views with Incompleteness and Inconsistency.
Australian Software Engineering Conference 2005: 58-67 |
| 33 | EE | Ana Fernández Vilas,
José J. Pazos Arias,
Ana Belén Barragáns-Martínez,
Martín López Nores,
Rebeca P. Díaz Redondo,
Alberto Gil-Solla,
Jorge García Duque,
Manuel Ramos Cabrer:
Multi-valued Model Checking in Dense-Time.
ECSQARU 2005: 638-649 |
| 32 | EE | Andrés Elexpuru Eguia,
Martín López Nores,
Yolanda Blanco-Fernández,
José J. Pazos Arias,
Ana Belén Barragáns-Martínez,
Jorge García Duque,
Alberto Gil-Solla,
Manuel Ramos Cabrer:
Collaborative T-learning: Bringing Greater Levels of Interactivity into the Home.
EEE 2005: 588-591 |
| 31 | EE | Yolanda Blanco-Fernández,
José J. Pazos Arias,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Martín López Nores,
Ana Belén Barragáns-Martínez:
AVATAR: A Multi-Agent TV Recommender System using MHP Applications.
EEE 2005: 660-665 |
| 30 | EE | Martín López Nores,
José J. Pazos Arias,
Jorge García Duque,
Ana Belén Barragáns-Martínez,
Rebeca P. Díaz Redondo,
Ana Fernández Vilas,
Alberto Gil-Solla,
Manuel Ramos Cabrer:
Tracing Integration Analysis in Component-Based Formal Specifications.
FMOODS 2005: 147-162 |
| 29 | EE | Yolanda Blanco-Fernández,
José J. Pazos Arias,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
Martín López Nores,
Ana Belén Barragáns-Martínez:
AVATAR: an approach based on semantic reasoning to recommend personalized TV programs.
WWW (Special interest tracks and posters) 2005: 1078-1079 |
| 28 | EE | José J. Pazos Arias,
Jorge García Duque,
Martín López Nores:
Eliciting requirements and scenarios using the SCTL-MUS methodology: the shuttle system case study.
ACM SIGSOFT Software Engineering Notes 30(4): 1-5 (2005) |
| 27 | EE | José J. Pazos Arias,
Jorge García Duque,
Martín López Nores:
Locating crosscutting concerns in the formal specification of distributed reactive systems.
ACM SIGSOFT Software Engineering Notes 30(4): 1-5 (2005) |
| 26 | EE | Rebeca P. Díaz Redondo,
José J. Pazos Arias,
Ana Fernández Vilas,
Jorge García Duque,
Alberto Gil-Solla:
Arifs Methodology Reusing Incomplete Models at the Requirements Specification Stage.
International Journal of Software Engineering and Knowledge Engineering 15(4): 607-646 (2005) |
| 2004 |
|---|
| 25 | EE | Martín López Nores,
Rebeca P. Díaz Redondo,
José J. Pazos Arias,
Jorge García Duque:
An Improved Repository System for Effective and Efficient Reuse of Formal Verification Efforts.
APSEC 2004: 38-45 |
| 24 | EE | Julio Fernández Vilas,
José J. Pazos Arias,
Ana Fernández Vilas:
High Availability with Clusters of Web Services.
APWeb 2004: 644-653 |
| 23 | EE | Ana Belén Barragáns-Martínez,
José J. Pazos Arias:
chi-SCTL/MUS: A Formal Methodology to Evolve Multi-Perspective Software Requirements Specifications.
ICSE 2004: 72-74 |
| 22 | EE | Rebeca P. Díaz Redondo,
Martín López Nores,
José J. Pazos Arias,
Ana Fernández Vilas,
Jorge García Duque,
Alberto Gil-Solla,
Ana Belén Barragáns-Martínez,
Manuel Ramos Cabrer:
Supporting Software Variability by Reusing Generic Incomplete Models at the Requirements Specification Stage.
ICSR 2004: 1-10 |
| 21 | EE | Martín López Nores,
Yolanda Blanco-Fernández,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
José J. Pazos Arias,
Alberto Gil-Solla,
Jorge García Duque,
Ana Belén Barragáns-Martínez,
Manuel Ramos Cabrer:
Technologies to Support Collaborative Learning over the Multimedia Home Platform.
ICWL 2004: 83-90 |
| 20 | EE | Ana Fernández Vilas,
José J. Pazos Arias,
Rebeca P. Díaz Redondo,
Alberto Gil-Solla,
Jorge García Duque:
A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models.
IFM 2004: 382-401 |
| 19 | EE | Yolanda Blanco-Fernández,
José J. Pazos Arias,
Alberto Gil-Solla,
Manuel Ramos Cabrer,
Ana Belén Barragáns-Martínez,
Martín López Nores,
Jorge García Duque,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo:
AVATAR: An Advanced Multi-agent Recommender System of Personalized TV Contents by Semantic Reasoning.
WISE 2004: 415-421 |
| 18 | EE | Ana Fernández Vilas,
José J. Pazos Arias,
Alberto Gil-Solla,
Rebeca P. Díaz Redondo,
Jorge García Duque,
Ana Belén Barragáns-Martínez:
Incremental specification with SCTL/MUS-T: a case study.
Journal of Systems and Software 70(1-2): 189-208 (2004) |
| 2003 |
|---|
| 17 | EE | Rebeca P. Díaz Redondo,
José J. Pazos Arias,
Ana Fernández Vilas:
Reuse of Formal Verification Efforts of Incomplete Models at the Requirements Specification Stage.
Component-Based Software Quality 2003: 326-351 |
| 16 | EE | Rebeca P. Díaz Redondo,
José J. Pazos Arias,
Ana Fernández Vilas,
Jorge García Duque,
Alberto Gil-Solla:
Improving the Consistency Checking Process by Reusing Formal Verification Knowledge.
Ershov Memorial Conference 2003: 366-380 |
| 15 | EE | Alberto Gil-Solla,
José J. Pazos Arias,
Jorge García Duque,
Rebeca P. Díaz Redondo,
Ana Fernández Vilas,
Manuel Ramos Cabrer:
The Multimedia Home Platform (MHP) Framework for Web Access through Digital TV.
ICWE 2003: 523-524 |
| 14 | EE | Martín López Nores,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo,
Alberto Gil-Solla,
José J. Pazos Arias,
Manuel Ramos Cabrer,
Jorge García Duque:
A Mixed XML-JavaBeans Approach to Developing T-learning Applications for the Multimedia Home Platform.
MIPS 2003: 376-387 |
| 2002 |
|---|
| 13 | EE | Ana Belén Barragáns-Martínez,
Jorge García Duque,
José J. Pazos Arias,
Ana Fernández Vilas,
Rebeca P. Díaz Redondo:
Requirements Specifications Evolution in a Multi-Perspective Environment.
COMPSAC 2002: 39-46 |
| 12 | EE | Ana Fernández Vilas,
José J. Pazos Arias,
Rebeca P. Díaz Redondo,
Ana Belén Barragáns-Martínez:
Formalizing Incremental Design in Real-time Area: SCTL/MUS-T.
COMPSAC 2002: 659-666 |
| 11 | EE | Rebeca P. Díaz Redondo,
José J. Pazos Arias,
Ana Fernández Vilas,
Ana Belén Barragáns-Martínez:
Approximate Retrieval of Incomplete and Formal Specifications Applied to Horizontal Reuse.
EUROMICRO 2002: 90-97 |
| 10 | EE | Ana Fernández Vilas,
José J. Pazos Arias,
Rebeca P. Díaz Redondo:
Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning.
FTRTFT 2002: 185-204 |
| 9 | EE | Rebeca P. Díaz Redondo,
José J. Pazos Arias,
Ana Fernández Vilas,
Ana Belén Barragáns-Martínez:
Approximate Retrieval of Incomplete and Formal Specifications Applied to Vertical Reuse.
ICSM 2002: 618-627 |
| 8 | | J. C. López,
C. López,
Alberto Gil-Solla,
José J. Pazos Arias,
Manuel Ramos Cabrer,
R. F. Rodríguez:
A MHP Receiver over RT-Linux for Digital TV.
ICWI 2002: 624-627 |
| 7 | | J. C. López,
Alberto Gil-Solla,
José J. Pazos Arias,
C. López,
Manuel Ramos Cabrer,
R. F. Rodríguez:
Using XML in the Standardization of Digital TV with MHP (Multimedia Home Platform).
ICWI 2002: 685-688 |
| 6 | | Alberto Gil-Solla,
José J. Pazos Arias,
C. López,
Manuel Ramos Cabrer,
J. C. López,
R. F. Rodríguez:
Exploring T-Learning in the MHP Context.
ICWI 2002: 743-746 |
| 5 | EE | Jorge García Duque,
José J. Pazos Arias,
Ana Belén Barragáns-Martínez:
An Analysis-Revision Cycle to Evolve Requirements Specifications by Using the SCTL-MUS Methodology.
RE 2002: 282-288 |
| 4 | | José J. Pazos Arias,
José Martín:
Uncertainty in Beliefs and Preferences: Conditions for Optimal Alternatives.
Ann. Math. Artif. Intell. 35(1-4): 3-10 (2002) |
| 3 | EE | Rebeca P. Díaz Redondo,
José J. Pazos Arias,
Ana Fernández Vilas,
Ana Belén Barragáns-Martínez:
ARIFS: an Environment for Incomplete and Formal Specifications.
Electr. Notes Theor. Comput. Sci. 66(4): (2002) |
| 2001 |
|---|
| 2 | | Rebeca P. Díaz Redondo,
José J. Pazos Arias:
Reuse of Verificatino Efforts and Incomplete Specifications in a Formalized, Iterative and Incremental Software Process.
ICSE 2001: 801-802 |
| 1 | EE | José J. Pazos Arias,
Jorge García Duque:
SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study.
Formal Asp. Comput. 13(1): 50-91 (2001) |
