Jorge García Duque

List of publications from the DBLP Bibliography Server - FAQ

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

2008
38		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
37	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
36	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)
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: On the interplay between inconsistency and incompleteness in multi-perspective requirements specifications. Information & Software Technology 50(4): 296-321 (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 Multi-Perspective Software Requirements Specifications. International Journal of Software Engineering and Knowledge Engineering 18(1): 119-153 (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: 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)
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: A flexible semantic inference methodology to reason about user preferences in knowledge-based recommender systems. Knowl.-Based Syst. 21(4): 305-320 (2008)
31	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)
30	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)
29	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
28	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
27	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
26	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
25	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
24	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)
23	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)
22	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)
21	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)
20	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)
19	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
18	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
17	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
16	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
15	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)
14	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)
13	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
12	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
11	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
10	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
9	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
8	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
7	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
6	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
5	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
4	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
3	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
2	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
2001
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)

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] [31] [32] [33] [34] [35] [36] [37] [38]

2 Ana Belén Barragáns-Martínez [2] [3] [7] [8] [10] [11] [16] [17] [18] [27] [30] [34] [35]

3 Yolanda Blanco-Fernández [8] [10] [17] [19] [20] [21] [22] [23] [24] [25] [28] [29] [30] [32] [33] [34] [35] [37] [38]

4 Manuel Ramos Cabrer [4] [5] [8] [10] [11] [16] [17] [18] [19] [20] [21] [22] [23] [24] [28] [29] [31] [32] [33] [36]

5 Esther Casquero-Villacorta [37]

6 Andrés Elexpuru Eguia [17]

7 Alberto Gil-Solla [4] [5] [6] [7] [8] [9] [10] [11] [13] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [28] [29] [31] [32] [33] [36]

8 Jesús Bermejo Muñoz [28] [29] [32]

9 Martín López Nores [4] [8] [10] [11] [12] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [37] [38]

10 Rebeca P. Díaz Redondo [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [16] [18] [19] [20] [21] [22] [23] [24] [28] [29] [30] [31] [32] [33] [34] [35] [36]

11 Marta Rey-López [31]

12 Ricardo Tubio-Pardavila [37]

13 Ana Fernández Vilas [3] [4] [5] [6] [7] [8] [9] [10] [11] [13] [16] [18] [19] [20] [21] [22] [23] [24] [28] [29] [30] [31] [32] [33] [34] [35] [36]

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