The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Fernando Cuartero: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Fernando L. Pelayo, Fernando Cuartero, Valentin Valero, Maria L. Pelayo, Mercedes G. Merayo
    How does the memory work? By timed-arc Petri nets. [Citation Graph (0, 0)][DBLP]
    IEEE ICCI, 2005, pp:128-135 [Conf]
  2. Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, Fernando L. Pelayo
    A New Synchronization in Finite Stochastic Petri Box Calculus. [Citation Graph (0, 0)][DBLP]
    ACSD, 2003, pp:216-0 [Conf]
  3. 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]
  4. Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero
    Timed Processes of Timed Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:490-509 [Conf]
  5. Valentín Valero Ruiz, Juan José Pardo, Fernando Cuartero
    Translating TPAL Specifications into Timed-Arc Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:414-433 [Conf]
  6. Antonio Bueno, Valentín Valero Ruiz, Fernando Cuartero
    TPAL: A Timed-Probabilistic Model for Concurrent Processes. [Citation Graph (0, 0)][DBLP]
    APSEC, 1997, pp:475-484 [Conf]
  7. 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]
  8. Fernando Cuartero, David de Frutos-Escrig, Valentín Valero Ruiz
    A Sound and Complete Proof System for Probabilistic Processes. [Citation Graph (0, 0)][DBLP]
    ARTS, 1997, pp:340-352 [Conf]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Hermenegilda Macià, Maria L. Pelayo
    Applying Timed-Arc Petri Nets to improve the performance of the MPEG-2 Encoding Algorithm. [Citation Graph (0, 0)][DBLP]
    MMM, 2004, pp:49-56 [Conf]
  16. Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero
    Simulation of Timed Petri Nets by Ordinary Petri Nets and Applications to Decidability of the Timed Reachability Problem and other Related Problems. [Citation Graph (0, 0)][DBLP]
    PNPM, 1991, pp:154-163 [Conf]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. Antonio Bueno, Valentín Valero Ruiz, Fernando Cuartero
    A translation of TPALp into a class of timed-probabilistic Petri nets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:338, n:1-3, pp:350-392 [Journal]
  32. David Cebrián, Valentín Valero Ruiz, Fernando Cuartero
    Automation of Avionic Systems Testing. [Citation Graph (0, 0)][DBLP]
    TestCom/FATES, 2007, pp:28-40 [Conf]

  33. Does ROSA provide a good view of the Memorizing Process? [Citation Graph (, )][DBLP]


  34. Towards the Evolutionary Process Algebra. [Citation Graph (, )][DBLP]


  35. Testing Time Goal-Driven Requirements with Model Checking Techniques. [Citation Graph (, )][DBLP]


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


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


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


  39. Model Checking Techniques applied to the design of Web Services. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.007secs
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