Fernando Cuartero

	2009
46		Fernando L. Pelayo, Luis de la Ossa, Fernando Cuartero, Maria L. Pelayo, Juan L. G. Guirao: Towards the Evolutionary Process Algebra. IEEE ICCI 2009: 69-76
45		Fernando Cuartero, Jesús Ruíz Bueno, Juan José Pardo: Nuevos Métodos de Enseñanza en Astronomía. IEEE-RITA 4(4): 259-268 (2009)
44		Enrique Arias, Angelines Alberto, Jesús Montesinos, Tomás Rojo, Fernando Cuartero, Jesús Benet: A mathematical model of the static pantograph/catenary interaction. Int. J. Comput. Math. 86(2): 333-340 (2009)
43		M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Hermenegilda Macià: Improving performance in flexible manufacturing systems. J. Log. Algebr. Program. 78(4): 260-273 (2009)
42		M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz, María-Emilia Cambronero: Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK. Telecommunication Systems 40(3-4): 91-99 (2009)
	2008
41		M. Llanos Tobarra, Diego Cazorla, Juan José Pardo, Fernando Cuartero: Formal Verification of the Secure Sockets Layer Protocol. ICEIS (3-2) 2008: 246-252
40		M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Juan José Pardo: Modelling secure wireless sensor networks routing protocols with timed automata. PM2HW2N 2008: 51-58
39		Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, David de Frutos-Escrig: A congruence relation for sPBC. Formal Methods in System Design 32(2): 85-128 (2008)
38		Hermenegilda Macià, Valentin Valero, Fernando Cuartero, M. Carmen Ruiz: sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions. Fundam. Inform. 87(3-4): 367-406 (2008)
37		Angelines Alberto, Jesús Benet, Enrique Arias, David Cebrián, Tomás Rojo, Fernando Cuartero: A high performance tool for the simulation of the dynamic pantograph-catenary interaction. Mathematics and Computers in Simulation 79(3): 652-667 (2008)
	2007
36		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
35		M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz: Analysis of Web Services Secure Conversation with Formal Methods. ICIW 2007: 27
34		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
33		David Cebrián, Valentín Valero Ruiz, Fernando Cuartero: Automation of Avionic Systems Testing. TestCom/FATES 2007: 28-40
32		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
31		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
30		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
29		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
28		M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo: Process Algebra Specification of Flexible Manufacturing Systems. SYNASC 2006: 181-186
27		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
26		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
25		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
24		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
23		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
22		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
21		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
20		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
19		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
18		Antonio Bueno, Valentín Valero Ruiz, Fernando Cuartero: A translation of TPALp into a class of timed-probabilistic Petri nets. Theor. Comput. Sci. 338(1-3): 350-392 (2005)
	2004
17		Hermenegilda Macià, Valentín Valero Ruiz, Diego Cazorla, Fernando Cuartero: Introducing the Iteration in sPBC. FORTE 2004: 292-309
16		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
15		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
14		Gregorio Díaz, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo: Automatic verification of the TLS handshake protocol. SAC 2004: 789-794
	2003
13		Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, Fernando L. Pelayo: A New Synchronization in Finite Stochastic Petri Box Calculus. ACSD 2003: 216-
12		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)
11		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
10		Valentín Valero Ruiz, Juan José Pardo, Fernando Cuartero: Translating TPAL Specifications into Timed-Arc Petri Nets. ICATPN 2002: 414-433
9		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
8		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
7		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
6		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
5		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
	1997
4		Antonio Bueno, Valentín Valero Ruiz, Fernando Cuartero: TPAL: A Timed-Probabilistic Model for Concurrent Processes. APSEC 1997: 475-484
3		Fernando Cuartero, David de Frutos-Escrig, Valentín Valero Ruiz: A Sound and Complete Proof System for Probabilistic Processes. ARTS 1997: 340-352
	1995
2		Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero: Timed Processes of Timed Petri Nets. Application and Theory of Petri Nets 1995: 490-509
	1991
1		Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero: Simulation of Timed Petri Nets by Ordinary Petri Nets and Applications to Decidability of the Timed Reachability Problem and other Related Problems. PNPM 1991: 154-163

Coauthor Index

1	Angelines Alberto	[37] [44]
2	Enrique Arias	[37] [44]
3	Jesús Benet	[37] [44]
4	Antonio Bueno	[4] [18]
5	Jesús Ruíz Bueno	[45]
6	María-Emilia Cambronero	[19] [23] [26] [27] [31] [32] [36] [42]
7	Diego Cazorla	[5] [6] [7] [8] [9] [11] [12] [16] [17] [20] [24] [28] [29] [30] [35] [40] [41] [42] [43]
8	David Cebrián	[33] [37]
9	Gregorio Díaz	[14] [19] [21] [23] [24] [25] [26] [27] [31] [32] [34] [35] [36] [42]
10	David de Frutos-Escrig	[1] [2] [3] [39]
11	Juan L. G. Guirao	[46]
12	Kim Guldstrand Larsen (Kim G. Larsen)	[21]
13	Hermenegilda Macià	[13] [15] [16] [17] [38] [39] [43]
14	Mercedes G. Merayo	[22]
15	Jesús Montesinos	[44]
16	Elena Navarro	[36]
17	Elena Nieto	[34]
18	Luis de la Ossa	[46]
19	Juan José Pardo	[8] [10] [11] [16] [19] [20] [21] [23] [25] [26] [28] [29] [30] [31] [32] [40] [41] [45]
20	Fernando López Pelayo (Fernando L. Pelayo)	[5] [6] [7] [9] [11] [12] [13] [14] [15] [22] [34] [46]
21	Maria L. Pelayo	[15] [22] [34] [46]
22	Tomás Rojo	[37] [44]
23	M. Carmen Ruiz	[16] [20] [25] [28] [29] [30] [38] [43]
24	Valentín Valero Ruiz (Valentin Valero)	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [17] [18] [19] [21] [22] [23] [25] [26] [27] [31] [32] [33] [34] [36] [38] [39]
25	M. Llanos Tobarra	[24] [27] [35] [40] [41] [42]