Search results for "Fernando Cuartero"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla	Looking for a Cheaper ROSA.	IWANN	2011	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	M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Hermenegilda Macià	Improving performance in flexible manufacturing systems.	J. Log. Algebr. Program.	2009	DBLP DOI BibTeX RDF
1	Fernando Cuartero, Jesús Ruíz Bueno, Juan José Pardo	Nuevos Métodos de Enseñanza en Astronomía.	IEEE-RITA	2009	DBLP BibTeX RDF
1	M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz, María-Emilia Cambronero	Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK.	Telecommunication Systems	2009	DBLP DOI BibTeX RDF	AVISPA toolbox, Model checking, Security protocols, Wireless sensor
1	Enrique Arias, Angelines Alberto, Jesús Montesinos, Tomás Rojo, Fernando Cuartero, Jesús Benet	A mathematical model of the static pantograph/catenary interaction.	Int. J. Comput. Math.	2009	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	Angelines Alberto, Jesús Benet, Enrique Arias, David Cebrián, Tomás Rojo, Fernando Cuartero	A high performance tool for the simulation of the dynamic pantograph-catenary interaction.	Mathematics and Computers in Simulation	2008	DBLP DOI BibTeX RDF
1	Hermenegilda Macià, Valentin Valero, Fernando Cuartero, M. Carmen Ruiz	sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions.	Fundam. Inform.	2008	DBLP BibTeX RDF
1	Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, David de Frutos-Escrig	A congruence relation for sPBC.	Formal Methods in System Design	2008	DBLP DOI BibTeX RDF	Petri box calculus, Operational semantics, Stochastic Petri nets, Stochastic process algebras
1	M. Llanos Tobarra, Diego Cazorla, Juan José Pardo, Fernando Cuartero	Formal Verification of the Secure Sockets Layer Protocol.	ICEIS (3-2)	2008	DBLP BibTeX RDF
1	M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Juan José Pardo	Modelling secure wireless sensor networks routing protocols with timed automata.	PM2HW2N	2008	DBLP DOI BibTeX RDF	security, wireless sensor networks, timed automata
1	Gregorio Díaz, María-Emilia Cambronero, Juan José Pardo, Valentin Valero, Fernando Cuartero	Model Checking Techniques applied to the design of Web Services.	CLEI Electron. J.	2007	DBLP BibTeX RDF
1	M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero	Formal Analysis of Sensor Network Encryption Protocol (SNEP).	MASS	2007	DBLP DOI BibTeX RDF
1	M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz	Analysis of Web Services Secure Conversation with Formal Methods.	ICIW	2007	DBLP DOI BibTeX RDF
1	Gregorio Díaz, Elena Navarro, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero	Testing Time Goal-Driven Requirements with Model Checking Techniques.	ECBS	2007	DBLP DOI BibTeX RDF
1	David Cebrián, Valentín Valero Ruiz, Fernando Cuartero	Automation of Avionic Systems Testing.	TestCom/FATES	2007	DBLP DOI BibTeX RDF	grammar testing, Real time systems, Testing, Avionics systems
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	Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero	Verification of Web Services with Timed Automata.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	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.	WS-FM	2006	DBLP DOI BibTeX RDF
1	M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo	Process Algebra Specification of Flexible Manufacturing Systems.	SYNASC	2006	DBLP DOI BibTeX RDF
1	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.	AICT/ICIW	2006	DBLP DOI BibTeX RDF
1	M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo	Analysis of the SET e-commerce protocol using a true concurrency process algebra.	SAC	2006	DBLP DOI BibTeX RDF	SET protocol, heterogeneous shared resources, performance evaluation, formal specification, process algebra
1	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.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF
1	Antonio Bueno, Valentín Valero Ruiz, Fernando Cuartero	A translation of TPALp into a class of timed-probabilistic Petri nets.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Juan José Pardo, Valentín Valero Ruiz, M. Carmen Ruiz, Fernando Cuartero, Gregorio Díaz	Obtaining Probabilistic Dynamic State Graphs for TPPAL Processes.	Australian Software Engineering Conference	2005	DBLP DOI BibTeX RDF
1	Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero	Verification of Web Services with Timed Automata.	WWV	2005	DBLP BibTeX RDF
1	M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo	A Formal Specification and Performance Evaluation of the Purchase Phase in the SET Protocol.	SYNASC	2005	DBLP DOI BibTeX RDF
1	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.	SAC	2005	DBLP DOI BibTeX RDF	authentication protocols and model checking, system verification and model checking, security, e-commerce, authentication protocols
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	M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz	Application of Formal Methods to the Analysis of Web Services Security.	EPEW/WS-FM	2005	DBLP DOI BibTeX RDF	Protocols and standards for WS, Security of WS, Secure Electronic Commerce
1	Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero	Automatic Translation of WS-CDL Choreographies to Timed Automata.	EPEW/WS-FM	2005	DBLP DOI BibTeX RDF
1	Hermenegilda Macià, Valentín Valero Ruiz, Diego Cazorla, Fernando Cuartero	Introducing the Iteration in sPBC.	FORTE	2004	DBLP DOI BibTeX RDF	Petri Box Calculus, Performance Evaluation, Stochastic Petri Nets, Stochastic Process Algebra
1	M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo, Hermenegilda Macià	A Bounded True Concurrency Process Algebra for Performance Evaluation.	FORTE Workshops	2004	DBLP DOI 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	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	Valentín Valero Ruiz, Juan José Pardo, Fernando Cuartero	Translating TPAL Specifications into Timed-Arc Petri Nets.	ICATPN	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	Juan José Pardo, Valentín Valero Ruiz, Fernando Cuartero, Diego Cazorla	Automatic Translation of a Timed Process Algebra into Dynamic State Graphs.	APSEC	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
1	Antonio Bueno, Valentín Valero Ruiz, Fernando Cuartero	TPAL: A Timed-Probabilistic Model for Concurrent Processes.	APSEC	1997	DBLP DOI BibTeX RDF
1	Fernando Cuartero, David de Frutos-Escrig, Valentín Valero Ruiz	A Sound and Complete Proof System for Probabilistic Processes.	ARTS	1997	DBLP DOI BibTeX RDF
1	Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero	Timed Processes of Timed Petri Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF
1	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.	PNPM	1991	DBLP BibTeX RDF

Publications of "Fernando Cuartero" ( http://dblp.L3S.de/Authors/Fernando_Cuartero )