Search the dblp DataBase

Publications of Author

1. 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. [Citation Graph (0, 0)][DBLP]
   AICT/ICIW, 2006, pp:186- [Conf]
   
2. Juan José Pardo, Valentín Valero Ruiz, M. Carmen Ruiz, Fernando Cuartero, Gregorio Díaz
   Obtaining Probabilistic Dynamic State Graphs for TPPAL Processes. [Citation Graph (0, 0)][DBLP]
   Australian Software Engineering Conference, 2005, pp:118-127 [Conf]
   
3. Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero
   Automatic Translation of WS-CDL Choreographies to Timed Automata. [Citation Graph (0, 0)][DBLP]
   EPEW/WS-FM, 2005, pp:230-242 [Conf]
   
4. M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz
   Application of Formal Methods to the Analysis of Web Services Security. [Citation Graph (0, 0)][DBLP]
   EPEW/WS-FM, 2005, pp:215-229 [Conf]
   
5. María del Carmen Carrión, G. Díaz, Blanca Caminero-Herráez
   Performance Issues of Deterministic and Adaptive Ghost-Packet Routers. [Citation Graph (0, 0)][DBLP]
   ICPP, 2001, pp:33-40 [Conf]
   
6. Gregorio Díaz, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo
   Automatic verification of the TLS handshake protocol. [Citation Graph (0, 0)][DBLP]
   SAC, 2004, pp:789-794 [Conf]
   
7. 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. [Citation Graph (0, 0)][DBLP]
   SAC, 2005, pp:815-820 [Conf]
   
8. María-Emilia Cambronero, Juan José Pardo, Gregorio Díaz, Valentin Valero
   Using RT-UML for modelling web services. [Citation Graph (0, 0)][DBLP]
   SAC, 2007, pp:643-648 [Conf]
   
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. [Citation Graph (0, 0)][DBLP]
   WS-FM, 2006, pp:178-192 [Conf]
   
10. Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero
    Verification of Web Services with Timed Automata. [Citation Graph (0, 0)][DBLP]
    WWV, 2005, pp:177-191 [Conf]
    
11. Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero
    Verification of Web Services with Timed Automata. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:157, n:2, pp:19-34 [Journal]
    
12. 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. [Citation Graph (0, 0)][DBLP]
    SCW, 2006, pp:131-139 [Conf]
    
13. 
    Does ROSA provide a good view of the Memorizing Process? [Citation Graph (, )][DBLP]
    
    
14. 
    Automatically Deriving Choreography-Conforming Systems of Services. [Citation Graph (, )][DBLP]
    
    
15. 
    A Model for Visual Specification of E-contracts. [Citation Graph (, )][DBLP]
    
    
16. 
    Testing Time Goal-Driven Requirements with Model Checking Techniques. [Citation Graph (, )][DBLP]
    
    
17. 
    Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach. [Citation Graph (, )][DBLP]
    
    
18. 
    A Comparative Study between WSCI, WS-CDL, and OWL-S. [Citation Graph (, )][DBLP]
    
    
19. 
    Using UML Diagrams to Model Real-Time Web Services. [Citation Graph (, )][DBLP]
    
    
20. 
    Analysis of Web Services Secure Conversation with Formal Methods. [Citation Graph (, )][DBLP]
    
    
21. 
    Design and Verification of Web Services Compositions. [Citation Graph (, )][DBLP]
    
    
22. 
    Enhancing the expressivity of PADL for specifying Web Services Architectures. [Citation Graph (, )][DBLP]
    
    
23. 
    Time Ordering Architecture in SCA. [Citation Graph (, )][DBLP]
    
    
24. 
    Model Checking Techniques applied to the design of Web Services. [Citation Graph (, )][DBLP]