The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

María-Emilia Cambronero: [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. 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]


Search in 0.021secs, Finished in 0.022secs
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