Ana Fernández Vilas

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
41	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)
40	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)
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: Composing Multi-Perspective Software Requirements Specifications. International Journal of Software Engineering and Knowledge Engineering 18(1): 119-153 (2008)
38	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)
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, 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)
36	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)
35	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)
34	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
33	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)
32	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
31	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
30	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
29	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
28	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)
27	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)
26	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)
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 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
20	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
19	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
18	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
17	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
16	EE	Julio Fernández Vilas, José J. Pazos Arias, Ana Fernández Vilas: High Availability with Clusters of Web Services. APWeb 2004: 644-653
15	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
14	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
13	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
12	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
11	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
10	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
9	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
8	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
7	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
6	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
5	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
4	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
3	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
2	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
1	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)

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] [30] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41]

2 Ana Belén Barragáns-Martínez [1] [2] [4] [5] [6] [11] [12] [14] [15] [18] [19] [20] [21] [35] [39] [40]

3 Jesús Bermejo-Muõz [30]

4 Yolanda Blanco-Fernández [12] [14] [18] [22] [23] [24] [25] [27] [28] [32] [34] [35] [37] [38] [39] [40]

5 Manuel Ramos Cabrer [7] [8] [12] [14] [15] [18] [19] [20] [22] [23] [24] [25] [27] [28] [32] [34] [36] [37] [38] [41]

6 Jorge García Duque [6] [7] [8] [9] [11] [12] [13] [14] [15] [17] [19] [20] [22] [23] [24] [25] [27] [28] [32] [34] [35] [36] [37] [38] [39] [40] [41]

7 Alberto Gil-Solla [7] [8] [9] [11] [12] [13] [14] [15] [17] [18] [19] [20] [22] [23] [24] [25] [27] [28] [32] [34] [36] [37] [38] [41]

8 Jesús Bermejo Muñoz [32] [34] [37]

9 Martín López Nores [7] [12] [14] [15] [18] [19] [20] [22] [23] [24] [25] [27] [28] [32] [34] [35] [36] [37] [38] [39] [40]

10 Rebeca P. Díaz Redondo [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [17] [18] [19] [20] [22] [23] [24] [25] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41]

11 Marta Rey-López [29] [30] [31] [33] [36]

12 Julio Fernández Vilas [16] [26]

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