Valentn Valero Ruiz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
1995–2015
Best venue rank
Multiconference
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | SAC | Model-checking verification of publish-subscribe architectures in web service contexts. | Gregorio Daz, Mara-Emilia Cambronero, Hermenegilda Maci, Valentn Valero Ruiz |
| 2014 | SEFM | A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF. | Jos Antonio Mateo, Valentn Valero Ruiz, Hermenegilda Maci, Gregorio Daz |
| 2004 | FORTE | Introducing the Iteration in sPBC. | Hermenegilda Maci, Valentn Valero Ruiz, Diego Cazorla, Fernando Cuartero |
| 2004 | MMM | Applying Timed-Arc Petri Nets to improve the performance of the MPEG-2 Encoding Algorithm. | Fernando L. Pelayo, Fernando Cuartero, Valentn Valero Ruiz, Hermenegilda Maci, Maria L. Pelayo |
| 2004 | SAC | Automatic verification of the TLS handshake protocol. | Gregorio Daz, Fernando Cuartero, Valentn Valero Ruiz, Fernando L. Pelayo |
| 2001 | APSEC | Automatic Translation of a Timed Process Algebra into Dynamic State Graphs. | Juan Jos Pardo, Valentn Valero Ruiz, Fernando Cuartero, Diego Cazorla |
| 2000 | RTCSA | An example of performance evaluation by using the stochastic process algebra: ROSA. | Fernando L. Pelayo, Fernando Cuartero, Valentn Valero Ruiz, Diego Cazorla |
| 1997 | APSEC | TPAL: A Timed-Probabilistic Model for Concurrent Processes. | Antonio Bueno, Valentn Valero Ruiz, Fernando Cuartero |
| 1995 | ICIP | A simulation tool of parallel architectures for digital image processing applications based on DLX processors. | Valentn Valero Ruiz, Fernando Cuartero, Antonio Jose Garrido del Solo, Francisco J. Quiles |