Fernando Cuartero

	2011
49		Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla: Looking for a Cheaper ROSA. IWANN (2) 2011: 380-387
	2010
48		Fernando López Pelayo, Jose C. Valverde, Maria L. Pelayo, Fernando Cuartero: Discrete Dynamical Systems for encoding Concurrent Computing Systems. IEEE ICCI 2010: 252-256
	2009
47		Fernando L. Pelayo, Luis de la Ossa, Fernando Cuartero, Maria L. Pelayo, Juan Luis García Guirao: Towards the Evolutionary Process Algebra. IEEE ICCI 2009: 69-76
46		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)
45		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)
44		M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Hermenegilda Macià: Improving performance in flexible manufacturing systems. J. Log. Algebr. Program. 78(4): 260-273 (2009)
43		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
42		M. Llanos Tobarra, Diego Cazorla, Juan José Pardo, Fernando Cuartero: Formal Verification of the Secure Sockets Layer Protocol. ICEIS (3-2) 2008: 246-252
41		M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Juan José Pardo: Modelling secure wireless sensor networks routing protocols with timed automata. PM2HW2N 2008: 51-58
40		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)
39		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)
38		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
37		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
36		M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz: Analysis of Web Services Secure Conversation with Formal Methods. ICIW 2007: 27
35		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
34		M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero: Formal Analysis of Sensor Network Encryption Protocol (SNEP). MASS 2007: 1-6
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-225
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: 185-202 (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): 120-131 (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	[38] [45]
2	Enrique Arias	[38] [45]
3	Jesús Benet	[38] [45]
4	Antonio Bueno	[4] [18]
5	Jesús Ruíz Bueno	[46]
6	María-Emilia Cambronero	[19] [23] [26] [27] [31] [32] [37] [43]
7	Diego Cazorla	[5] [6] [7] [8] [9] [11] [12] [16] [17] [20] [24] [28] [29] [30] [34] [36] [41] [42] [43] [44] [49]
8	David Cebrián	[33] [38]
9	Gregorio Díaz (Gregorio Díaz Descalzo)	[14] [19] [21] [23] [24] [25] [26] [27] [31] [32] [35] [36] [37] [43]
10	David de Frutos-Escrig	[1] [2] [3] [40]
11	Juan Luis García Guirao	[47]
12	Kim Guldstrand Larsen (Kim G. Larsen)	[21]
13	Hermenegilda Macià	[13] [15] [16] [17] [39] [40] [44]
14	Mercedes G. Merayo	[22]
15	Jesús Montesinos	[45]
16	Elena Navarro	[37]
17	Elena Nieto	[35]
18	Luis de la Ossa	[47]
19	Juan José Pardo	[8] [10] [11] [16] [19] [20] [21] [23] [25] [26] [28] [29] [30] [31] [32] [41] [42] [46]
20	Fernando López Pelayo (Fernando L. Pelayo)	[5] [6] [7] [9] [11] [12] [13] [14] [15] [22] [35] [47] [48] [49]
21	Maria L. Pelayo	[15] [22] [35] [47] [48]
22	Tomás Rojo	[38] [45]
23	M. Carmen Ruiz	[16] [20] [25] [28] [29] [30] [39] [44]
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] [35] [37] [39] [40]
25	M. Llanos Tobarra	[24] [27] [34] [36] [41] [42] [43]
26	Jose C. Valverde	[48]

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page