Rebeca P. Díaz Redondo

2008
40	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)
39	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)
38	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)
37	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)
36	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)
35	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)
34	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)
33	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
32	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)
31	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
30	EE	Marta Rey-López, Ana Fernández Vilas, Rebeca P. Díaz Redondo: A Model for Personalized Learning Through IDTV. AH 2006: 457-461
29	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
28	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
27	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)
26	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)
25	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)
24	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)
23	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)
22	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
21	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
20	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
19	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
18	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
17	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
16	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
15	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
14	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
13	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
12	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
11	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
10	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
9	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
8	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
7	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
6	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
5	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
4	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
3	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
2	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
1		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

Coauthor Index

1	José J. Pazos Arias	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40]
2	Ana Belén Barragáns-Martínez	[2] [3] [5] [6] [7] [12] [13] [15] [16] [19] [20] [21] [34] [38] [39]
3	Jesús Bermejo-Muõz	[29]
4	Yolanda Blanco-Fernández	[13] [15] [19] [22] [23] [24] [25] [26] [27] [31] [33] [34] [36] [37] [38] [39]
5	Manuel Ramos Cabrer	[8] [9] [13] [15] [16] [19] [20] [21] [22] [23] [24] [25] [26] [27] [31] [33] [35] [36] [37] [40]
6	Jorge García Duque	[7] [8] [9] [10] [12] [13] [14] [15] [16] [17] [18] [20] [21] [22] [23] [24] [25] [26] [27] [31] [33] [34] [35] [36] [37] [38] [39] [40]
7	Alberto Gil-Solla	[8] [9] [10] [12] [13] [14] [15] [16] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [31] [33] [35] [36] [37] [40]
8	Jesús Bermejo Muñoz	[31] [33] [36]
9	Martín López Nores	[8] [13] [15] [16] [17] [19] [20] [21] [22] [23] [24] [25] [26] [27] [31] [33] [34] [35] [36] [37] [38] [39]
10	Marta Rey-López	[28] [29] [30] [32] [35]
11	Ana Fernández Vilas	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40]