 | 2009 |
|---|
| 13 |       | Enrique Martinez,
María-Emilia Cambronero,
Gregorio Díaz,
Valentin Valero:
Design and Verification of Web Services Compositions.
ICIW 2009: 395-400 |
| 12 | | 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 |
|---|
| 11 |  | 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 |
| 2007 |
|---|
| 10 | | 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 |
| 9 | | María-Emilia Cambronero,
Gregorio Díaz,
Juan José Pardo,
Valentin Valero:
Using UML Diagrams to Model Real-Time Web Services.
ICIW 2007: 24 |
| 8 | | María-Emilia Cambronero,
Juan José Pardo,
Gregorio Díaz,
Valentin Valero:
Using RT-UML for modelling web services.
SAC 2007: 643-648 |
| 7 | | 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 |
|---|
| 6 | | 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 |
| 5 | | 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 |
| 4 | | 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 |
| 3 | | 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 |
|---|
| 2 | | 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 |
| 1 | | 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 |
