The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gregorio Díaz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.013secs, Finished in 0.014secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002