Valentín Valero

An Intelligent Transportation System to control air pollution and road traffic in cities integrating CEP and Colored Petri Nets

Hermenegilda Macià, Valentín Valero, Juan Boubeta‐Puig et al. · Neural Computing and Applications · 2018 · 56 citations · Full text

Engineering, Environmental Engineering, Air Pollution +16

Algebraic theory of probabilistic and nondeterministic processes

Diego Cazorla, Fernando Cuartero, Valentín Valero et al. · The Journal of Logic and Algebraic Programming · 2003 · 52 citations

Engineering, Computer Science, Mathematics +10

Verification of Web Services with Timed Automata

Juan-José Pardo, M. Emilia Cambronero, Valentín Valero et al. · Electronic Notes in Theoretical Computer Science · 2006 · 48 citations · Full text

Computing, Computer Science, Information Systems +17

Validation and verification of Web services choreographies by using timed automata

M. Emilia Cambronero, Valentín Valero, Enrique Martínez · The Journal of Logic and Algebraic Programming · 2010 · 43 citations

Computing, Computer Engineering, Computer Science +12

Automatic verification of the TLS handshake protocol

Fernando Cuartero, Valentín Valero, Fernando L. Pelayo · 2004 · 42 citations

Computing, Computer Science, Information Technology +17