Fernando L. Pelayo

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 7

Top Topics

Colored Petri Nets

High Performance Computing

Top Venues

Scalable Comput. Pract. Exp.

Softw. Syst. Model.

Publications

Mauro Mezzini, Fernando Cuartero Gomez, Fernando L. Pelayo, Jose Javier Paulet Gonzales, Hernan Indibil de la Cruz Calvo, Vicente Pascual
A polynomial quantum computing algorithm for solving the dualization problem. CoRR (2023)
Hernán I. de la Cruz, Fernando L. Pelayo, Vicente Pascual, Jose J. Paulet, Fernando Cuartero, Luis Llana, Mauro Mezzini
Quantum invariants for the graph isomorphism problem. CoRR (2022)
Estefanía Coronado, Valentín Valero, Luis Orozco-Barbosa, María-Emilia Cambronero, Fernando L. Pelayo
Modeling and simulation of the IEEE 802.11e wireless protocol with hidden nodes using Colored Petri Nets. Softw. Syst. Model. 20 (2) (2021)
Mauro Mezzini, Fernando L. Pelayo, Fernando Cuartero
Quantum algorithm for doubling the amplitude of the search problem's solution states. CoRR (2021)
Pedro Valero-Lara, Mawussi Zounon, Maksims Abalenkovs, Fernando L. Pelayo
Introduction to the Special Issue on High Performance Computing Solutions for Complex Problems. Scalable Comput. Pract. Exp. 18 (2) (2017)
Pedro Valero-Lara, Fernando L. Pelayo, Johan Jansson
Introduction to the Special Issue on High Performance Computing Solutions for Complex Problems. Scalable Comput. Pract. Exp. 17 (1) (2016)
Pedro Valero-Lara, Poornima Nookala, Fernando L. Pelayo, Johan Jansson, Serapheim Dimitropoulos, Ioan Raicu
Many-Task Computing on Many-Core Architectures. Scalable Comput. Pract. Exp. 17 (1) (2016)
Raúl Pardo, Fernando L. Pelayo, Pedro Valero-Lara
GPU Powered ROSA Analyzer. ICPP (2013)
Yingxu Wang, Gabriele Fariello, Marina L. Gavrilova, Witold Kinsner, Fumio Mizoguchi, Shushma Patel, Dilip Patel, Fernando L. Pelayo, Victor Raskin, Duane F. Shell, Shusaku Tsumoto
Perspectives on Cognitive Computers and Knowledge Processors. Int. J. Cogn. Informatics Nat. Intell. 7 (3) (2013)
Pedro Valero-Lara, Fernando L. Pelayo
Analysis in performance and new model for multiple kernels executions on many-core architectures. ICCI*CC (2013)
Raúl Pardo, Fernando L. Pelayo
Computational analysis of Canny & Binary Fuzzy Rough Set model based on Triangle Modulus Edge Detectors. ICCI*CC (2012)
Fernando L. Pelayo, José C. Valverde
Notes on "Modeling the dynamics of concurrent computing systems". Comput. Math. Appl. 64 (4) (2012)
Raúl Pardo, Fernando L. Pelayo
ROSA Analyser: An automatized approach to analyse processes of ROSA WS-FMDS (2012)
Juan Luis García Guirao, Fernando L. Pelayo
Petri Nets and Discrete Events Systems. Int. J. Softw. Sci. Comput. Intell. 3 (3) (2011)
Pedro Valero-Lara, Fernando L. Pelayo
Towards a More Efficient Use of GPUs. ICCSA Workshops (2011)
Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla
Looking for a Cheaper ROSA. IWANN (2) (2011)
Juan Luis García Guirao, Fernando L. Pelayo, José C. Valverde
Modeling the dynamics of concurrent computing systems. Comput. Math. Appl. 61 (5) (2011)
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)
Gregorio Díaz, María-Emilia Cambronero, Llanos Tobarra, Valentín Valero Ruiz, Fernando L. Pelayo
Enhancing the expressivity of PADL for specifying Web Services Architectures. TAMoCo (2008)
Natalia López, Manuel Núñez, Fernando L. Pelayo
A Comparative Study of STOPA and RTPA. Trans. Comput. Sci. 2 (2008)
Natalia López, Manuel Núñez, Fernando L. Pelayo
A Formal Specification of the Memorization Process. Int. J. Cogn. Informatics Nat. Intell. 1 (4) (2007)
Maria L. Pelayo, Fernando L. Pelayo, Fernando Cuartero, Valentín Valero, Gregorio Díaz, Elena Nieto
Does ROSA provide a good view of the Memorizing Process? IEEE ICCI (2007)
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)
Fernando L. Pelayo, Maria L. Pelayo, Elena Nieto
Improving the Memorization Process by TAPN's: A First Approach to Parameters Estimation. IEEE ICCI (2006)
Manuel Núñez, Fernando L. Pelayo, Ismael Rodríguez
A Formal Methodology to Test Complex Embedded Systems: Application to Interactive Driving Systems. IESS (2005)
Fernando L. Pelayo, Fernando Cuartero, Valentín Valero, Maria L. Pelayo, Mercedes G. Merayo
How does the memory work? By timed-arc Petri nets. IEEE ICCI (2005)
Fernando L. Pelayo, Manuel Núñez, Natalia López
Specifying the memorization process with STOPA. IEEE ICCI (2005)
Natalia López, Manuel Núñez, Fernando L. Pelayo
STOPA: A STOchastic Process Algebra for the Formal Representation of Cognitive Systems. IEEE ICCI (2004)
José C. Valverde, Fernando L. Pelayo, Juan A. Martinez, Juan José Miralles Canals
Symbolic mathematical computing of bifurcations in dynamical systems. J. Comput. Methods Sci. Eng. 4 (1-2) (2004)
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)
Gregorio Díaz, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo
Automatic verification of the TLS handshake protocol. SAC (2004)
José C. Valverde, Fernando L. Pelayo, Juan A. Martinez, Juan José Miralles Canals
Stability of continuous systems by Routh-Hurwitz and mathematica. J. Comput. Methods Sci. Eng. 4 (1-2) (2004)
Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla
Analysis of the MPEG-2 Encoding Algorithm with ROSA1. Electron. Notes Theor. Comput. Sci. 80 (2003)
Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo, Juan José Pardo
Algebraic theory of probabilistic and nondeterministic processes. J. Log. Algebraic Methods Program. 55 (1-2) (2003)
Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, Fernando L. Pelayo
A New Synchronization in Finite Stochastic Petri Box Calculus. ACSD (2003)
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. Electron. Notes Theor. Comput. Sci. 66 (2) (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) (2001)
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)
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)