Juan José Pardo

2008
20		M. Llanos Tobarra, Diego Cazorla, Juan José Pardo, Fernando Cuartero: Formal Verification of the Secure Sockets Layer Protocol. ICEIS (3-2) 2008: 246-252
19	EE	M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Juan José Pardo: Modelling secure wireless sensor networks routing protocols with timed automata. PM2HW2N 2008: 51-58
2007
18	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
17	EE	María-Emilia Cambronero, Juan José Pardo, Gregorio Díaz, Valentin Valero: Using RT-UML for modelling web services. SAC 2007: 643-648
16	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
15	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
14	EE	M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo: Specification and performance evaluation of Flexible Manufacturing Systems using a Bounded True Concurrent Process Algebra. CIMCA/IAWTIC 2006: 46
13	EE	M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo: Analysis of the SET e-commerce protocol using a true concurrency process algebra. SAC 2006: 879-886
12	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
11	EE	M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo: Process Algebra Specification of Flexible Manufacturing Systems. SYNASC 2006: 181-186
10	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
9	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
8	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
7	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
6	EE	M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo: A Formal Specification and Performance Evaluation of the Purchase Phase in the SET Protocol. SYNASC 2005: 239-244
5		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
4	EE	M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo, Hermenegilda Macià: A Bounded True Concurrency Process Algebra for Performance Evaluation. FORTE Workshops 2004: 143-155
2003
3	EE	Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo, Juan José Pardo: Algebraic theory of probabilistic and nondeterministic processes. J. Log. Algebr. Program. 55(1-2): 57-103 (2003)
2002
2	EE	Valentín Valero Ruiz, Juan José Pardo, Fernando Cuartero: Translating TPAL Specifications into Timed-Arc Petri Nets. ICATPN 2002: 414-433
2001
1	EE	Juan José Pardo, Valentín Valero Ruiz, Fernando Cuartero, Diego Cazorla: Automatic Translation of a Timed Process Algebra into Dynamic State Graphs. APSEC 2001: 63-70

Coauthor Index

1	María-Emilia Cambronero	[5] [8] [10] [12] [15] [16] [17] [18]
2	Diego Cazorla	[1] [3] [4] [6] [11] [13] [14] [19] [20]
3	Fernando Cuartero	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [13] [14] [15] [16] [19] [20]
4	Gregorio Díaz	[5] [7] [8] [9] [10] [12] [15] [16] [17] [18]
5	Kim Guldstrand Larsen	[7]
6	Hermenegilda Macià	[4]
7	Fernando L. Pelayo	[3] [12]
8	M. Carmen Ruiz	[4] [6] [9] [11] [13] [14]
9	Valentín Valero Ruiz (Valentin Valero)	[1] [2] [3] [5] [7] [8] [9] [10] [12] [15] [16] [17] [18]
10	M. Llanos Tobarra	[19] [20]