Valentín Valero Ruiz

Valentin Valero

	2012
50		José Antonio Mateo, Valentin Valero, Gregorio Díaz: BPEL-RF: A formal framework for BPEL orchestrations integrating distributed resources CoRR abs/1203.1760: (2012)
49		Valentín Valero Ruiz, Hermenegilda Macià, Juan José Pardo, María-Emilia Cambronero, Gregorio Díaz: Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets. Sci. Comput. Program. 77(3): 290-313 (2012)
48		María-Emilia Cambronero, Gregorio Díaz, Enrique Martínez, Valentín Valero Ruiz, M. Llanos Tobarra: WST: a tool supporting timed composite Web Services Model transformation. Simulation 88(3): 349-364 (2012)
	2011
47		Ernesto Pimentel, Valentin Valero: Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software FLACOS 2011
46		José Antonio Mateo, Valentin Valero, Gregorio Díaz: An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework. WS-FM 2011: 79-94
45		María-Emilia Cambronero, Gregorio Díaz, Valentin Valero, Enrique Martínez: Validation and verification of Web services choreographies by using timed automata. J. Log. Algebr. Program. 80(1): 25-49 (2011)
44		María-Emilia Cambronero, Valentín Valero Ruiz, Enrique Martínez: Design and Generation of Web Services Choreographies with Time Constraints. J. UCS 17(13): 1800-1829 (2011)
	2010
43		Hermenegilda Macià, M. Isabel González-Sánchez, Valentín Valero Ruiz, Edelmira Valero: Applying Petri Nets for the Analysis of the GSH-ASC Cycle in Chloroplasts. ACSD/Petri Nets Workshops 2010: 119-133
42		María-Emilia Cambronero, Valentín Valero Ruiz, Gregorio Díaz: Verification of real-time systems design. Softw. Test., Verif. Reliab. 20(1): 3-37 (2010)
	2009
41		María-Emilia Cambronero, Gregorio Díaz, Enrique Martínez, Valentin Valero: A Comparative Study between WSCI, WS-CDL, and OWL-S. ICEBE 2009: 377-382
40		Enrique Martínez, María-Emilia Cambronero, Gregorio Díaz, Valentin Valero: Design and Verification of Web Services Compositions. ICIW 2009: 395-400
39		Enrique Martínez, Gregorio Díaz, Carmen Rosa Martínez, María-Emilia Cambronero, Valentín Valero Ruiz: Time Ordering Architecture in SCA. TAMoCo 2009: 117-126
38		Valentin Valero, María-Emilia Cambronero, Gregorio Díaz, Hermenegilda Macià: A Petri net approach for the design and analysis of Web Services Choreographies. J. Log. Algebr. Program. 78(5): 359-380 (2009)
37		Valentin Valero, Gregorio Díaz, María-Emilia Cambronero, Hermenegilda Macià: A barred operational semantics for a subset of WS-CDL with time restrictions. J. Log. Algebr. Program. 78(8): 730-748 (2009)
	2008
36		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
35		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)
34		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)
	2007
33		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
32		María-Emilia Cambronero, Gregorio Díaz, Juan José Pardo, Valentin Valero: Using UML Diagrams to Model Real-Time Web Services. ICIW 2007: 24
31		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
30		María-Emilia Cambronero, Juan José Pardo, Gregorio Díaz, Valentin Valero: Using RT-UML for modelling web services. SAC 2007: 643-648
29		David Cebrián, Valentín Valero Ruiz, Fernando Cuartero: Automation of Avionic Systems Testing. TestCom/FATES 2007: 28-40
28		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
27		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
26		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
25		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
24		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
23		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
22		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
21		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
20		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
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		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
15		Gregorio Díaz, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo: Automatic verification of the TLS handshake protocol. SAC 2004: 789-794
	2003
14		Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, Fernando L. Pelayo: A New Synchronization in Finite Stochastic Petri Box Calculus. ACSD 2003: 216-225
13		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)
12		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
11		Valentín Valero Ruiz, Juan José Pardo, Fernando Cuartero: Translating TPAL Specifications into Timed-Arc Petri Nets. ICATPN 2002: 414-433
10		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
9		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
8		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
7		David de Frutos-Escrig, Valentín Valero Ruiz, Olga Marroquín Alonso: Decidability of Properties of Timed-Arc Petri Nets. ICATPN 2000: 187-206
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	Olga Marroquín Alonso	[7]
2	Antonio Bueno	[4] [18]
3	María-Emilia Cambronero	[19] [22] [24] [25] [26] [27] [28] [30] [32] [33] [36] [37] [38] [39] [40] [41] [42] [44] [45] [48] [49]
4	Diego Cazorla	[5] [6] [8] [9] [10] [12] [13] [17]
5	David Cebrián	[29]
6	Fernando Cuartero	[1] [2] [3] [4] [5] [6] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [27] [28] [29] [31] [33] [34] [35]
7	Gregorio Díaz (Gregorio Díaz Descalzo)	[15] [19] [20] [22] [23] [24] [25] [26] [27] [28] [30] [31] [32] [33] [36] [37] [38] [39] [40] [41] [42] [45] [46] [48] [49] [50]
8	David de Frutos-Escrig	[1] [2] [3] [7] [35]
9	M. Isabel González-Sánchez	[43]
10	Kim Guldstrand Larsen (Kim G. Larsen)	[20]
11	Hermenegilda Macià	[14] [16] [17] [34] [35] [37] [38] [43] [49]
12	Carmen Rosa Martínez	[39]
13	Enrique Martínez	[39] [40] [41] [44] [45] [48]
14	José Antonio Mateo	[46] [50]
15	Mercedes G. Merayo	[21]
16	Elena Navarro	[33]
17	Elena Nieto	[31]
18	Juan José Pardo	[9] [11] [12] [19] [20] [22] [23] [24] [26] [27] [28] [30] [32] [49]
19	Fernando López Pelayo (Fernando L. Pelayo)	[5] [6] [8] [10] [12] [13] [14] [15] [16] [21] [26] [31] [36]
20	Maria L. Pelayo	[16] [21] [31]
21	Ernesto Pimentel	[47]
22	M. Carmen Ruiz	[23] [34]
23	M. Llanos Tobarra	[25] [36] [48]
24	Edelmira Valero	[43]

Colors in the list of coauthors

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