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. 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]
   
3. 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]
   
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. [Citation Graph (0, 0)][DBLP]
   WS-FM, 2006, pp:178-192 [Conf]
   
5. 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]
   
6. 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]
   
7. 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]
   
8. 
   Formal Passive Testing of Service-Oriented Systems. [Citation Graph (, )][DBLP]
   
   
9. 
   A Model for Visual Specification of E-contracts. [Citation Graph (, )][DBLP]
   
   
10. 
    Testing Time Goal-Driven Requirements with Model Checking Techniques. [Citation Graph (, )][DBLP]
    
    
11. 
    A Comparative Study between WSCI, WS-CDL, and OWL-S. [Citation Graph (, )][DBLP]
    
    
12. 
    Using UML Diagrams to Model Real-Time Web Services. [Citation Graph (, )][DBLP]
    
    
13. 
    Design and Verification of Web Services Compositions. [Citation Graph (, )][DBLP]
    
    
14. 
    Enhancing the expressivity of PADL for specifying Web Services Architectures. [Citation Graph (, )][DBLP]
    
    
15. 
    Time Ordering Architecture in SCA. [Citation Graph (, )][DBLP]
    
    
16. 
    Model Checking Techniques applied to the design of Web Services. [Citation Graph (, )][DBLP]