Fernando Cuartero

2009
42	EE	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)
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	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
39	EE	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	EE	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	EE	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	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
35	EE	M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz: Analysis of Web Services Secure Conversation with Formal Methods. ICIW 2007: 27
34	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
33	EE	David Cebrián, Valentín Valero Ruiz, Fernando Cuartero: Automation of Avionic Systems Testing. TestCom/FATES 2007: 28-40
32	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
31	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
30	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
29	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
28	EE	M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo: Process Algebra Specification of Flexible Manufacturing Systems. SYNASC 2006: 181-186
27	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
26	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
25	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
24	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
23	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
22	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
21	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
20	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
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	EE	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	EE	Hermenegilda Macià, Valentín Valero Ruiz, Diego Cazorla, Fernando Cuartero: Introducing the Iteration in sPBC. FORTE 2004: 292-309
16	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
15	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
14	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
13	EE	Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, Fernando L. Pelayo: A New Synchronization in Finite Stochastic Petri Box Calculus. ACSD 2003: 216-
12	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)
11	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
10	EE	Valentín Valero Ruiz, Juan José Pardo, Fernando Cuartero: Translating TPAL Specifications into Timed-Arc Petri Nets. ICATPN 2002: 414-433
9	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
8	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
7	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
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	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
1997
4	EE	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] [42]
2	Enrique Arias	[37] [42]
3	Jesús Benet	[37] [42]
4	Antonio Bueno	[4] [18]
5	María-Emilia Cambronero	[19] [23] [26] [27] [31] [32] [36]
6	Diego Cazorla	[5] [6] [7] [8] [9] [11] [12] [16] [17] [20] [24] [28] [29] [30] [35] [40] [41]
7	David Cebrián	[33] [37]
8	Gregorio Díaz	[14] [19] [21] [23] [24] [25] [26] [27] [31] [32] [34] [35] [36]
9	David de Frutos-Escrig	[1] [2] [3] [39]
10	Kim Guldstrand Larsen	[21]
11	Hermenegilda Macià	[13] [15] [16] [17] [38] [39]
12	Mercedes G. Merayo	[22]
13	Jesús Montesinos	[42]
14	Elena Navarro	[36]
15	Elena Nieto	[34]
16	Juan José Pardo	[8] [10] [11] [16] [19] [20] [21] [23] [25] [26] [28] [29] [30] [31] [32] [40] [41]
17	Fernando L. Pelayo	[5] [6] [7] [9] [11] [12] [13] [14] [15] [22] [34]
18	Maria L. Pelayo	[15] [22] [34]
19	Tomás Rojo	[37] [42]
20	M. Carmen Ruiz	[16] [20] [25] [28] [29] [30] [38]
21	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]
22	M. Llanos Tobarra	[24] [27] [35] [40] [41]