Fernando L. Pelayo

2008
19		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
18	EE	Natalia López, Manuel Núñez, Fernando L. Pelayo: A Comparative Study of STOPA and RTPA. Transactions on Computational Science 2: 224-245 (2008)
2007
17	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
16	EE	Natalia López, Manuel Núñez, Fernando L. Pelayo: A Formal Specification of the Memorization Process. IJCINI 1(4): 47-60 (2007)
2006
15	EE	Fernando L. Pelayo, Maria L. Pelayo, Elena Nieto: Improving the Memorization Process by TAPN's: A First Approach to Parameters Estimation. IEEE ICCI 2006: 37-46
14	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
2005
13	EE	Fernando L. Pelayo, Fernando Cuartero, Valentin Valero, Maria L. Pelayo, Mercedes G. Merayo: How does the memory work? By timed-arc Petri nets. IEEE ICCI 2005: 128-135
12	EE	Fernando L. Pelayo, Manuel Núñez, Natalia López: Specifying the memorization process with STOPA. IEEE ICCI 2005: 238-247
2004
11		Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio: Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 Springer 2004
10	EE	Natalia López, Manuel Núñez, Fernando L. Pelayo: STOPA: A STOchastic Process Algebra for the Formal Representation of Cognitive Systems. IEEE ICCI 2004: 64-73
9	EE	Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Hermenegilda Macià, Maria L. Pelayo: Applying Timed-Arc Petri Nets to improve the performance of the MPEG-2 Encoding Algorithm. MMM 2004: 49-56
8	EE	Gregorio Díaz, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo: Automatic verification of the TLS handshake protocol. SAC 2004: 789-794
2003
7	EE	Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, Fernando L. Pelayo: A New Synchronization in Finite Stochastic Petri Box Calculus. ACSD 2003: 216-
6	EE	Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla: Analysis of the MPEG-2 Encoding Algorithm with ROSA1. Electr. Notes Theor. Comput. Sci. 80: (2003)
5	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
4	EE	Valentín Valero Ruiz, Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla: Specification and Analysis of the MPEG--2 Video Encoder with Timed-Arc Petri Nets. Electr. Notes Theor. Comput. Sci. 66(2): (2002)
2001
3	EE	Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo: A process algebra for probabilistic and nondeterministic processes. Inf. Process. Lett. 80(1): 15-23 (2001)
2000
2		Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo: A Denotational Model for Probabilistic and Nondeterministic Processes. ICDCS Workshop on Distributed System Validation and Verification 2000: E41-E48
1	EE	Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla: An example of performance evaluation by using the stochastic process algebra: ROSA. RTCSA 2000: 271-278

Coauthor Index

1	María-Emilia Cambronero	[14] [19]
2	Diego Cazorla	[1] [2] [3] [4] [5] [6]
3	Fernando Cuartero	[1] [2] [3] [4] [5] [6] [7] [8] [9] [13] [17]
4	Gregorio Díaz	[8] [14] [17] [19]
5	Natalia López	[10] [12] [16] [18]
6	Zakaria Maamar	[11]
7	Hermenegilda Macià	[7] [9]
8	Mercedes G. Merayo	[13]
9	Elena Nieto	[15] [17]
10	Manuel Núñez	[10] [11] [12] [16] [18]
11	Juan José Pardo	[5] [14]
12	Maria L. Pelayo	[9] [13] [15] [17]
13	Key Pousttchi	[11]
14	Fernando Rubio	[11]
15	Valentín Valero Ruiz (Valentin Valero)	[1] [2] [3] [4] [5] [6] [7] [8] [9] [13] [14] [17] [19]
16	M. Llanos Tobarra	[19]