2008 |
19 | | Gregorio Díaz,
María-Emilia Cambronero,
M. Llanos Tobarra,
Valentín Valero Ruiz,
Fernando L. Pelayo:
Enhancing the expressivity of PADL for specifying Web Services Architectures.
TAMoCo 2008: 99-110 |
18 | EE | Natalia López,
Manuel Núñez,
Fernando L. Pelayo:
A Comparative Study of STOPA and RTPA.
Transactions on Computational Science 2: 224-245 (2008) |
2007 |
17 | EE | Maria L. Pelayo,
Fernando L. Pelayo,
Fernando Cuartero,
Valentin Valero,
Gregorio Díaz,
Elena Nieto:
Does ROSA provide a good view of the Memorizing Process?
IEEE ICCI 2007: 273-283 |
16 | EE | Natalia López,
Manuel Núñez,
Fernando L. Pelayo:
A Formal Specification of the Memorization Process.
IJCINI 1(4): 47-60 (2007) |
2006 |
15 | EE | Fernando L. Pelayo,
Maria L. Pelayo,
Elena Nieto:
Improving the Memorization Process by TAPN's: A First Approach to Parameters Estimation.
IEEE ICCI 2006: 37-46 |
14 | EE | 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.
SCW 2006: 131-139 |
2005 |
13 | EE | Fernando L. Pelayo,
Fernando Cuartero,
Valentin Valero,
Maria L. Pelayo,
Mercedes G. Merayo:
How does the memory work? By timed-arc Petri nets.
IEEE ICCI 2005: 128-135 |
12 | EE | Fernando L. Pelayo,
Manuel Núñez,
Natalia López:
Specifying the memorization process with STOPA.
IEEE ICCI 2005: 238-247 |
2004 |
11 | | Manuel Núñez,
Zakaria Maamar,
Fernando L. Pelayo,
Key Pousttchi,
Fernando Rubio:
Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004
Springer 2004 |
10 | EE | Natalia López,
Manuel Núñez,
Fernando L. Pelayo:
STOPA: A STOchastic Process Algebra for the Formal Representation of Cognitive Systems.
IEEE ICCI 2004: 64-73 |
9 | EE | 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.
MMM 2004: 49-56 |
8 | EE | Gregorio Díaz,
Fernando Cuartero,
Valentín Valero Ruiz,
Fernando L. Pelayo:
Automatic verification of the TLS handshake protocol.
SAC 2004: 789-794 |
2003 |
7 | EE | Hermenegilda Macià,
Valentín Valero Ruiz,
Fernando Cuartero,
Fernando L. Pelayo:
A New Synchronization in Finite Stochastic Petri Box Calculus.
ACSD 2003: 216- |
6 | EE | Fernando L. Pelayo,
Fernando Cuartero,
Valentín Valero Ruiz,
Diego Cazorla:
Analysis of the MPEG-2 Encoding Algorithm with ROSA1.
Electr. Notes Theor. Comput. Sci. 80: (2003) |
5 | EE | Diego Cazorla,
Fernando Cuartero,
Valentín Valero Ruiz,
Fernando L. Pelayo,
Juan José Pardo:
Algebraic theory of probabilistic and nondeterministic processes.
J. Log. Algebr. Program. 55(1-2): 57-103 (2003) |
2002 |
4 | EE | 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.
Electr. Notes Theor. Comput. Sci. 66(2): (2002) |
2001 |
3 | EE | Diego Cazorla,
Fernando Cuartero,
Valentín Valero Ruiz,
Fernando L. Pelayo:
A process algebra for probabilistic and nondeterministic processes.
Inf. Process. Lett. 80(1): 15-23 (2001) |
2000 |
2 | | Diego Cazorla,
Fernando Cuartero,
Valentín Valero Ruiz,
Fernando L. Pelayo:
A Denotational Model for Probabilistic and Nondeterministic Processes.
ICDCS Workshop on Distributed System Validation and Verification 2000: E41-E48 |
1 | EE | Fernando L. Pelayo,
Fernando Cuartero,
Valentín Valero Ruiz,
Diego Cazorla:
An example of performance evaluation by using the stochastic process algebra: ROSA.
RTCSA 2000: 271-278 |