![]() | 2009 | |
---|---|---|
26 | ![]() ![]() ![]() ![]() ![]() ![]() | Gregorio Díaz, Ismael Rodríguez: Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach. FMOODS/FORTE 2009: 231-236 |
25 | ![]() ![]() ![]() ![]() ![]() ![]() | María-Emilia Cambronero, Gregorio Díaz, Enrique Martinez, Valentin Valero: A Comparative Study between WSCI, WS-CDL, and OWL-S. ICEBE 2009: 377-382 |
24 | ![]() ![]() ![]() ![]() ![]() ![]() | Enrique Martinez, María-Emilia Cambronero, Gregorio Díaz, Valentin Valero: Design and Verification of Web Services Compositions. ICIW 2009: 395-400 |
23 | ![]() ![]() ![]() ![]() ![]() ![]() | Gregorio Díaz, Ismael Rodríguez: Automatically Deriving Choreography-Conforming Systems of Services. IEEE SCC 2009: 9-16 |
22 | ![]() ![]() ![]() ![]() ![]() ![]() | 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) |
21 | ![]() ![]() ![]() ![]() ![]() ![]() | 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) |
20 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ||
19 | ![]() ![]() ![]() ![]() ![]() ![]() | Cherif Branki, Brian Cross, Gregorio Díaz, Peter Langendörfer, Fritz Laux, Guadalupe Ortiz, Martin Randles, A. Taleb-Bendiab, Frank Teuteberg, Rainer Unland, Gerhard Wanner: Techniques and Applications for Mobile Commerce - Proceedings of TAMoCo 2008, University of Paisley, Glasgow, Scotland, United Kingdom, 14 - 15 January 2008 IOS Press 2008 |
18 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ||
17 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 |
16 | ![]() ![]() ![]() ![]() ![]() ![]() | María-Emilia Cambronero, Gregorio Díaz, Juan José Pardo, Valentin Valero: Using UML Diagrams to Model Real-Time Web Services. ICIW 2007: 24 |
15 | ![]() ![]() ![]() ![]() ![]() ![]() | M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz: Analysis of Web Services Secure Conversation with Formal Methods. ICIW 2007: 27 |
14 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 |
13 | ![]() ![]() ![]() ![]() ![]() ![]() | María-Emilia Cambronero, Juan José Pardo, Gregorio Díaz, Valentin Valero: Using RT-UML for modelling web services. SAC 2007: 643-648 |
12 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ||
11 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 |
10 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 |
9 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 |
8 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ||
7 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 |
6 | ![]() ![]() ![]() ![]() ![]() ![]() | M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz: Application of Formal Methods to the Analysis of Web Services Security. EPEW/WS-FM 2005: 215-229 |
5 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 |
4 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 |
3 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 |
2004 | ||
2 | ![]() ![]() ![]() ![]() ![]() ![]() | Gregorio Díaz, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo: Automatic verification of the TLS handshake protocol. SAC 2004: 789-794 |
2001 | ||
1 | ![]() ![]() ![]() ![]() ![]() ![]() | María del Carmen Carrión, Gregorio Díaz, Blanca Caminero-Herráez: Performance Issues of Deterministic and Adaptive Ghost-Packet Routers. ICPP 2001: 33-40 |