Gregorio Díaz

2008
19		Cherif Branki, Brian Cross, Gregorio Díaz, Peter Langendörfer, Fritz Laux, Guadalupe Ortiz, Martin Randles, A. Taleb-Bendiab, Frank Teuteberg, Rainer Unland, Gerhard Wanner: Techniques and Applications for Mobile Commerce - Proceedings of TAMoCo 2008, University of Paisley, Glasgow, Scotland, United Kingdom, 14 - 15 January 2008 IOS Press 2008
18		Gregorio Díaz, María-Emilia Cambronero, M. Llanos Tobarra, Valentín Valero Ruiz, Fernando L. Pelayo: Enhancing the expressivity of PADL for specifying Web Services Architectures. TAMoCo 2008: 99-110
2007
17	EE	Gregorio Díaz, Elena Navarro, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero: Testing Time Goal-Driven Requirements with Model Checking Techniques. ECBS 2007: 503-514
16	EE	María-Emilia Cambronero, Gregorio Díaz, Juan José Pardo, Valentin Valero: Using UML Diagrams to Model Real-Time Web Services. ICIW 2007: 24
15	EE	M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz: Analysis of Web Services Secure Conversation with Formal Methods. ICIW 2007: 27
14	EE	Maria L. Pelayo, Fernando L. Pelayo, Fernando Cuartero, Valentin Valero, Gregorio Díaz, Elena Nieto: Does ROSA provide a good view of the Memorizing Process? IEEE ICCI 2007: 273-283
13	EE	María-Emilia Cambronero, Juan José Pardo, Gregorio Díaz, Valentin Valero: Using RT-UML for modelling web services. SAC 2007: 643-648
12	EE	Gregorio Díaz, María-Emilia Cambronero, Juan José Pardo, Valentin Valero, Fernando Cuartero: Model Checking Techniques applied to the design of Web Services. CLEI Electron. J. 10(2): (2007)
2006
11	EE	Gregorio Díaz, María-Emilia Cambronero, Juan José Pardo, Valentin Valero, Fernando Cuartero: Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques. AICT/ICIW 2006: 186
10	EE	María-Emilia Cambronero, Gregorio Díaz, Juan José Pardo, Valentín Valero Ruiz, Fernando L. Pelayo: RT-UML for modeling Real-Time Web Services. SCW 2006: 131-139
9	EE	Gregorio Díaz, María-Emilia Cambronero, M. Llanos Tobarra, Valentin Valero, Fernando Cuartero: Analysis and Verification of Time Requirements Applied to the Web Services Composition. WS-FM 2006: 178-192
8	EE	Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero: Verification of Web Services with Timed Automata. Electr. Notes Theor. Comput. Sci. 157(2): 19-34 (2006)
2005
7	EE	Juan José Pardo, Valentín Valero Ruiz, M. Carmen Ruiz, Fernando Cuartero, Gregorio Díaz: Obtaining Probabilistic Dynamic State Graphs for TPPAL Processes. Australian Software Engineering Conference 2005: 118-127
6	EE	M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz: Application of Formal Methods to the Analysis of Web Services Security. EPEW/WS-FM 2005: 215-229
5	EE	Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero: Automatic Translation of WS-CDL Choreographies to Timed Automata. EPEW/WS-FM 2005: 230-242
4	EE	Gregorio Díaz, Kim Guldstrand Larsen, Juan José Pardo, Fernando Cuartero, Valentin Valero: An approach to handle real time and probabilistic behaviors in e-commerce: validating the SET protocol. SAC 2005: 815-820
3		Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero: Verification of Web Services with Timed Automata. WWV 2005: 177-191
2004
2	EE	Gregorio Díaz, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo: Automatic verification of the TLS handshake protocol. SAC 2004: 789-794
2001
1	EE	María del Carmen Carrión, Gregorio Díaz, Blanca Caminero-Herráez: Performance Issues of Deterministic and Adaptive Ghost-Packet Routers. ICPP 2001: 33-40

Coauthor Index

1	Cherif Branki	[19]
2	María-Emilia Cambronero	[3] [5] [8] [9] [10] [11] [12] [13] [16] [17] [18]
3	Blanca Caminero-Herráez	[1]
4	María del Carmen Carrión	[1]
5	Diego Cazorla	[6] [15]
6	Brian Cross	[19]
7	Fernando Cuartero	[2] [3] [4] [5] [6] [7] [8] [9] [11] [12] [14] [15] [17]
8	Peter Langendörfer (Peter Langendoerfer)	[19]
9	Kim Guldstrand Larsen	[4]
10	Fritz Laux	[19]
11	Elena Navarro	[17]
12	Elena Nieto	[14]
13	Guadalupe Ortiz	[19]
14	Juan José Pardo	[3] [4] [5] [7] [8] [10] [11] [12] [13] [16]
15	Fernando L. Pelayo	[2] [10] [14] [18]
16	Maria L. Pelayo	[14]
17	Martin Randles	[19]
18	M. Carmen Ruiz	[7]
19	Valentín Valero Ruiz (Valentin Valero)	[2] [3] [4] [5] [7] [8] [9] [10] [11] [12] [13] [14] [16] [17] [18]
20	A. Taleb-Bendiab	[19]
21	Frank Teuteberg	[19]
22	M. Llanos Tobarra	[6] [9] [15] [18]
23	Rainer Unland	[19]
24	Gerhard Wanner	[19]

Colors in the list of coauthors