Fernando López Pelayo

Fernando L. Pelayo, Jose C. Valverde: Notes on "Modeling the dynamics of concurrent computing systems". Computers & Mathematics with Applications 64(4): 661-663 (2012)

Juan A. Aledo, S. Martínez, Fernando López Pelayo, Jose C. Valverde: Parallel discrete dynamical systems on maxterm and minterm Boolean functions. Mathematical and Computer Modelling 55(3-4): 666-671 (2012)

Raúl Pardo, Fernando L. Pelayo: Computational analysis of Canny & Binary Fuzzy Rough Set model based on Triangle Modulus Edge Detectors. ICCI*CC 2012: 305-312

Raúl Pardo, Fernando L. Pelayo: ROSA Analyser: An automatized approach to analyse processes of ROSA. WS-FMDS 2012: 25-32

Juan Luis García Guirao, Fernando L. Pelayo, Jose C. Valverde: Modeling the dynamics of concurrent computing systems. Computers & Mathematics with Applications 61(5): 1402-1406 (2011)

Juan Luis García Guirao, Fernando L. Pelayo: Petri Nets and Discrete Events Systems. IJSSCI 3(3): 13-22 (2011)

Pedro Valero, Fernando L. Pelayo: Towards a More Efficient Use of GPUs. ICCSA Workshops 2011: 3-9

Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla: Looking for a Cheaper ROSA. IWANN (2) 2011: 380-387

Juan Luis García Guirao, Fernando López Pelayo: A note on a problem on omega-limit sets of N-dimensional skew-product maps. Int. J. Comput. Math. 87(6): 1228-1232 (2010)

Fernando López Pelayo, Jose C. Valverde, Maria L. Pelayo, Fernando Cuartero: Discrete Dynamical Systems for encoding Concurrent Computing Systems. IEEE ICCI 2010: 252-256

Juan Luis García Guirao, Fernando López Pelayo: On solenoidal distribution of infinite omega-limit sets. Int. J. Comput. Math. 86(2): 201-208 (2009)

Fernando L. Pelayo, Luis de la Ossa, Fernando Cuartero, Maria L. Pelayo, Juan Luis García Guirao: Towards the Evolutionary Process Algebra. IEEE ICCI 2009: 69-76

Juan Luis García Guirao, Fernando López Pelayo: On skew-product maps with the base having a closed set of periodic points. Int. J. Comput. Math. 85(3&4): 441-445 (2008)

Natalia López, Manuel Núñez, Fernando L. Pelayo: A Comparative Study of STOPA and RTPA. Transactions on Computational Science 2: 224-245 (2008)

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

Natalia López, Manuel Núñez, Fernando L. Pelayo: A Formal Specification of the Memorization Process. IJCINI 1(4): 47-60 (2007)

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

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

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

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

Fernando L. Pelayo, Manuel Núñez, Natalia López: Specifying the memorization process with STOPA. IEEE ICCI 2005: 238-247

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

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

Gregorio Díaz, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo: Automatic verification of the TLS handshake protocol. SAC 2004: 789-794

Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio (Eds.): Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Lecture Notes in Computer Science 3236, Springer 2004, isbn 3-540-23169-2

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: 185-202 (2003)

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)

Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, Fernando L. Pelayo: A New Synchronization in Finite Stochastic Petri Box Calculus. ACSD 2003: 216-225

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): 120-131 (2002)

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)

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

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