Valentin Valero

Valentin Valero

Universidad de Castilla la Mancha - Ciudad Real / Spain
Engineering & Technology / Computer Science
AD Scientific Index ID: 4434140
University of Castilla-La Mancha
person_outline Valentin Valero's MOST POPULAR ARTICLES
1-) Automatic translation of ws-cdl choreographies to timed automataG Diaz, JJ Pardo, ME Cambronero, V Valero, F CuarteroEuropean Workshop on Performance Engineering, 230-242, 20051092005
2-) Decidability of Properties of Timed-Arc Petri NetsD De-Frutos, V Valero, O MarroquínLecture Notes in Computer Science 1825, 187-206, 200095*2000
3-) Verification of web services with timed automataG Diaz, JJ Pardo, ME Cambronero, V Valero, F CuarteroElectronic Notes in Theoretical Computer Science 157 (2), 19-34, 2006942006
4-) On Non-Decidability of Reachability for Timed-Arc Petri NetsV Valero, D De-Frutos, F CuarteroPetri Nets and Performance Models (PNPM), 188-196, 199994*1999
5-) Validation and verification of web services choreographies by using timed automataME Cambronero, G Díaz, V Valero, E MartínezThe Journal of Logic and Algebraic Programming 80 (1), 25-49, 2011702011