Search results for "Fernando L. Pelayo"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	J. 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	2012	DBLP DOI BibTeX RDF
1	Juan Luis García Guirao, Fernando L. Pelayo, Jose C. Valverde	Modeling the dynamics of concurrent computing systems.	Computers & Mathematics with Applications	2011	DBLP DOI BibTeX RDF
1	Juan Luis García Guirao, Fernando L. Pelayo	Petri Nets and Discrete Events Systems.	IJSSCI	2011	DBLP DOI BibTeX RDF
1	Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla	Looking for a Cheaper ROSA.	IWANN	2011	DBLP DOI BibTeX RDF
1	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.	2010	DBLP DOI BibTeX RDF
1	Fernando López Pelayo, Jose C. Valverde, Maria L. Pelayo, Fernando Cuartero	Discrete Dynamical Systems for encoding Concurrent Computing Systems.	IEEE ICCI	2010	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Juan Luis García Guirao, Fernando López Pelayo	On solenoidal distribution of infinite omega-limit sets.	Int. J. Comput. Math.	2009	DBLP DOI BibTeX RDF
1	Natalia López, Manuel Núñez, Fernando L. Pelayo	A Comparative Study of STOPA and RTPA.	Transactions on Computational Science	2008	DBLP DOI BibTeX RDF
1	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	DBLP BibTeX RDF
1	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.	2008	DBLP DOI BibTeX RDF
1	Natalia López, Manuel Núñez, Fernando L. Pelayo	A Formal Specification of the Memorization Process.	IJCINI	2007	DBLP BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Fernando L. Pelayo, Maria L. Pelayo, Elena Nieto	Improving the Memorization Process by TAPN's: A First Approach to Parameters Estimation.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
1	Fernando L. Pelayo, Manuel Núñez, Natalia López	Specifying the memorization process with STOPA.	IEEE ICCI	2005	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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	FORTE Workshops	2004	DBLP BibTeX RDF
1	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	DBLP DOI BibTeX RDF	Timed-Arc Petri Net, MPEG-2 Video Encoder, Performance Evaluation, Formal Methods
1	Gregorio Díaz, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo	Automatic verification of the TLS handshake protocol.	SAC	2004	DBLP DOI BibTeX RDF	authentication protocols and model checking, system verification and model checking, security, e-Commerce, authentication protocols
1	Natalia López, Manuel Núñez, Fernando L. Pelayo	STOPA: A STOchastic Process Algebra for the Formal Representation of Cognitive Systems.	IEEE ICCI	2004	DBLP DOI BibTeX RDF
1	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.	2003	DBLP DOI BibTeX RDF
1	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.	2003	DBLP DOI BibTeX RDF
1	Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, Fernando L. Pelayo	A New Synchronization in Finite Stochastic Petri Box Calculus.	ACSD	2003	DBLP DOI BibTeX RDF	Petri Box Calculus, Performance Evaluation, Stochastic Petri Nets, Stochastic Process Algebra
1	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.	2002	DBLP DOI BibTeX RDF
1	Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo	A process algebra for probabilistic and nondeterministic processes.	Inf. Process. Lett.	2001	DBLP DOI BibTeX RDF
1	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	DBLP BibTeX RDF
1	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	DBLP DOI BibTeX RDF	ROSA, algebraic language, performance indexes, Reasoning On Stochastic Algebras, average time to send a message, performance evaluation, performance evaluation, fault tolerance, real-time systems, formal methods, temporal logic, case studies, specification languages, process algebra, algebraic specification, stochastic process algebra, real-time requirements, designs specifications, Alternating Bit Protocol, temporal requirements

Publications of Fernando L. Pelayo Fernando López Pelayo ( http://dblp.L3S.de/Authors/Fernando_L._Pelayo )