The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Diego Cazorla: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Juan José Pardo, Valentín Valero Ruiz, Fernando Cuartero, Diego Cazorla
    Automatic Translation of a Timed Process Algebra into Dynamic State Graphs. [Citation Graph (0, 0)][DBLP]
    APSEC, 2001, pp:63-70 [Conf]
  2. 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]
  3. Hermenegilda Macià, Valentín Valero Ruiz, Diego Cazorla, Fernando Cuartero
    Introducing the Iteration in sPBC. [Citation Graph (0, 0)][DBLP]
    FORTE, 2004, pp:292-309 [Conf]
  4. M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo, Hermenegilda Macià
    A Bounded True Concurrency Process Algebra for Performance Evaluation. [Citation Graph (0, 0)][DBLP]
    FORTE Workshops, 2004, pp:143-155 [Conf]
  5. Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo
    A Denotational Model for Probabilistic and Nondeterministic Processes. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed System Validation and Verification, 2000, pp:0-0 [Conf]
  6. Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla
    An example of performance evaluation by using the stochastic process algebra: ROSA. [Citation Graph (0, 0)][DBLP]
    RTCSA, 2000, pp:271-278 [Conf]
  7. M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo
    Analysis of the SET e-commerce protocol using a true concurrency process algebra. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:879-886 [Conf]
  8. M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo
    Specification and performance evaluation of Flexible Manufacturing Systems using a Bounded True Concurrent Process Algebra. [Citation Graph (0, 0)][DBLP]
    CIMCA/IAWTIC, 2006, pp:46- [Conf]
  9. M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo
    Process Algebra Specification of Flexible Manufacturing Systems. [Citation Graph (0, 0)][DBLP]
    SYNASC, 2006, pp:181-186 [Conf]
  10. M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo
    A Formal Specification and Performance Evaluation of the Purchase Phase in the SET Protocol. [Citation Graph (0, 0)][DBLP]
    SYNASC, 2005, pp:239-244 [Conf]
  11. Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla
    Analysis of the MPEG-2 Encoding Algorithm with ROSA1. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal]
  12. Valentín Valero Ruiz, Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla
    Specification and Analysis of the MPEG--2 Video Encoder with Timed-Arc Petri Nets. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:2, pp:- [Journal]
  13. Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo
    A process algebra for probabilistic and nondeterministic processes. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2001, v:80, n:1, pp:15-23 [Journal]
  14. Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo, Juan José Pardo
    Algebraic theory of probabilistic and nondeterministic processes. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2003, v:55, n:1-2, pp:57-103 [Journal]

  15. Formal Verification of the Secure Sockets Layer Protocol. [Citation Graph (, )][DBLP]


  16. Modelling secure wireless sensor networks routing protocols with timed automata. [Citation Graph (, )][DBLP]


  17. Analysis of Web Services Secure Conversation with Formal Methods. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
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