Fernando Cuartero

57 papers B 4C 7Misc 5Journal 14Unranked 27

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	Quantum invariants for the graph isomorphism problem. CoRR Hernán I. de la Cruz, Fernando L. Pelayo, Vicente Pascual, Jose J. Paulet, Fernando Cuartero, Luis Llana, Mauro Mezzini
2021	J	`jnl`	Quantum algorithm for doubling the amplitude of the search problem's solution states. CoRR Mauro Mezzini, Fernando L. Pelayo, Fernando Cuartero
2020	J	`jnl`	An Intelligent Transportation System to control air pollution and road traffic in cities integrating CEP and Colored Petri Nets. Neural Comput. Appl. Gregorio Díaz, Hermenegilda Macià, Valentín Valero, Juan Boubeta-Puig, Fernando Cuartero
2017	—	`conf`	Intelligent Transportation System to Control Air Pollution in Cities Using Complex Event Processing and Colored Petri Nets. IWANN (2) Gregorio Díaz, Hermenegilda Macià, Valentín Valero, Fernando Cuartero
2012	C	`conf`	CALPE and INDICA. Two tools for calculating the dynamic pantograph/catenary interaction. CLEI Nuria Cuartero, Enrique Arias, Fernando Cuartero, Tomás Rojo
2012	B	`conf`	Twitter as a Tool for Predicting Elections Results. ASONAM Juan M. Soler, Fernando Cuartero, Manuel Roblizo
2011	—	`conf`	Looking for a Cheaper ROSA. IWANN (2) Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla
2010	—	`conf`	Discrete Dynamical Systems for encoding Concurrent Computing Systems. IEEE ICCI Fernando López Pelayo, José C. Valverde, Maria L. Pelayo, Fernando Cuartero
2009	J	`jnl`	A mathematical model of the static pantograph/catenary interaction. Int. J. Comput. Math. Enrique Arias, Angelines Alberto, Jesús Montesinos, Tomás Rojo, Fernando Cuartero, Jesús Benet
2009	J	`jnl`	Improving performance in flexible manufacturing systems. J. Log. Algebraic Methods Program. M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Hermenegilda Macià
2009	J	`jnl`	Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK. Telecommun. Syst. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz, María-Emilia Cambronero
2009	J	`jnl`	Nuevos Métodos de Enseñanza en Astronomía. Rev. Iberoam. de Tecnol. del Aprendiz. Fernando Cuartero, Jesús Ruíz Bueno, Juan José Pardo
2009	—	`conf`	Towards the Evolutionary Process Algebra. IEEE ICCI Fernando L. Pelayo, Luis de la Ossa, Fernando Cuartero, Maria L. Pelayo, Juan Luis García Guirao
2008	J	`jnl`	A congruence relation for sPBC. Formal Methods Syst. Des. Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, David de Frutos-Escrig
2008	J	`jnl`	A high performance tool for the simulation of the dynamic pantograph-catenary interaction. Math. Comput. Simul. Angelines Alberto, Jesús Benet, Enrique Arias, David Cebrián, Tomás Rojo, Fernando Cuartero
2008	—	`conf`	Formal Verification of the Secure Sockets Layer Protocol. ICEIS (3-2) Llanos Tobarra, Diego Cazorla, Juan José Pardo, Fernando Cuartero
2008	—	`conf`	Modelling secure wireless sensor networks routing protocols with timed automata. PM2HW2N Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Juan José Pardo
2008	J	`jnl`	sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions. Fundam. Informaticae Hermenegilda Macià, Valentín Valero, Fernando Cuartero, M. Carmen Ruiz
2007	C	`conf`	Analysis of Web Services Secure Conversation with Formal Methods. ICIW Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz
2007	—	`conf`	Automation of Avionic Systems Testing. TestCom/FATES David Cebrián, Valentín Valero Ruiz, Fernando Cuartero
2007	—	`conf`	Does ROSA provide a good view of the Memorizing Process? IEEE ICCI Maria L. Pelayo, Fernando L. Pelayo, Fernando Cuartero, Valentín Valero, Gregorio Díaz, Elena Nieto
2007	B	`conf`	Formal Analysis of Sensor Network Encryption Protocol (SNEP). MASS Llanos Tobarra, Diego Cazorla, Fernando Cuartero
2007	J	`jnl`	Model Checking Techniques applied to the design of Web Services. CLEI Electron. J. Gregorio Díaz, María-Emilia Cambronero, Juan José Pardo, Valentín Valero, Fernando Cuartero
2007	—	`conf`	Model Checking Wireless Sensor Network Security Protocols: TinySec + LEAP. WSAN Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz, María-Emilia Cambronero
2007	—	`conf`	Testing Time Goal-Driven Requirements with Model Checking Techniques. ECBS Gregorio Díaz, Elena Navarro, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero
2006	—	`conf`	Analysis and Verification of Time Requirements Applied to the Web Services Composition. WS-FM Gregorio Díaz, María-Emilia Cambronero, Llanos Tobarra, Valentín Valero, Fernando Cuartero
2006	Misc	`conf`	Analysis of the SET e-commerce protocol using a true concurrency process algebra. SAC M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo
2006	—	`conf`	Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques. AICT/ICIW Gregorio Díaz, María-Emilia Cambronero, Juan José Pardo, Valentín Valero, Fernando Cuartero
2006	Misc	`conf`	Process Algebra Specification of Flexible Manufacturing Systems. SYNASC M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo
2006	—	`conf`	Specification and performance evaluation of Flexible Manufacturing Systems using a Bounded True Concurrent Process Algebra. CIMCA/IAWTIC M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo
2005	Misc	`conf`	A Formal Specification and Performance Evaluation of the Purchase Phase in the SET Protocol. SYNASC M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo
2005	J	`jnl`	A translation of TPAL Theor. Comput. Sci. Antonio Bueno, Valentín Valero Ruiz, Fernando Cuartero
2005	Misc	`conf`	An approach to handle real time and probabilistic behaviors in e-commerce: validating the SET protocol. SAC Gregorio Díaz, Kim Guldstrand Larsen, Juan José Pardo, Fernando Cuartero, Valentín Valero
2005	—	`conf`	Application of Formal Methods to the Analysis of Web Services Security. EPEW/WS-FM Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz
2005	—	`conf`	Automatic Translation of WS-CDL Choreographies to Timed Automata. EPEW/WS-FM Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero
2005	—	`conf`	How does the memory work? By timed-arc Petri nets. IEEE ICCI Fernando L. Pelayo, Fernando Cuartero, Valentín Valero, Maria L. Pelayo, Mercedes G. Merayo
2005	—	`conf`	Obtaining Probabilistic Dynamic State Graphs for TPPAL Processes. Australian Software Engineering Conference Juan José Pardo, Valentín Valero Ruiz, M. Carmen Ruiz, Fernando Cuartero, Gregorio Díaz
2005	—	`conf`	Verification of Web Services with Timed Automata. WWV Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero
2005	—	`conf`	Verification of Web Services with Timed Automata. WWV Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero
2004	—	`conf`	A Bounded True Concurrency Process Algebra for Performance Evaluation. FORTE Workshops M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo, Hermenegilda Macià
2004	B	`conf`	Applying Timed-Arc Petri Nets to improve the performance of the MPEG-2 Encoding Algorithm. MMM Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Hermenegilda Macià, Maria L. Pelayo
2004	Misc	`conf`	Automatic verification of the TLS handshake protocol. SAC Gregorio Díaz, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo
2004	C	`conf`	Introducing the Iteration in sPBC. FORTE Hermenegilda Macià, Valentín Valero Ruiz, Diego Cazorla, Fernando Cuartero
2003	—	`conf`	A New Synchronization in Finite Stochastic Petri Box Calculus. ACSD Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, Fernando L. Pelayo
2003	J	`jnl`	Algebraic theory of probabilistic and nondeterministic processes. J. Log. Algebraic Methods Program. Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo, Juan José Pardo
2003	C	`conf`	Analysis of the MPEG-2 Encoding Algorithm with ROSA1. FMICS Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla
2002	C	`conf`	Specification and Analysis of the MPEG--2 Video Encoder with Timed-Arc Petri Nets. FMICS Valentín Valero Ruiz, Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla
2002	—	`conf`	Translating TPAL Specifications into Timed-Arc Petri Nets. ICATPN Valentín Valero Ruiz, Juan José Pardo, Fernando Cuartero
2001	J	`jnl`	A process algebra for probabilistic and nondeterministic processes. Inf. Process. Lett. Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo
2001	C	`conf`	Automatic Translation of a Timed Process Algebra into Dynamic State Graphs. APSEC Juan José Pardo, Valentín Valero Ruiz, Fernando Cuartero, Diego Cazorla
2000	—	`conf`	A Denotational Model for Probabilistic and Nondeterministic Processes. ICDCS Workshop on Distributed System Validation and Verification Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo
2000	B	`conf`	An example of performance evaluation by using the stochastic process algebra: ROSA. RTCSA Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla
1997	—	`conf`	A Sound and Complete Proof System for Probabilistic Processes. ARTS Fernando Cuartero, David de Frutos-Escrig, Valentín Valero Ruiz
1997	C	`conf`	TPAL: A Timed-Probabilistic Model for Concurrent Processes. APSEC Antonio Bueno, Valentín Valero Ruiz, Fernando Cuartero
1995	—	`conf`	A simulation tool of parallel architectures for digital image processing applications based on DLX processors. ICIP (3) Valentín Valero Ruiz, Fernando Cuartero, Antonio Jose Garrido del Solo, Francisco J. Quiles
1995	—	`conf`	Timed Processes of Timed Petri Nets. Application and Theory of Petri Nets Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero
1991	—	`conf`	Simulation of Timed Petri Nets by Ordinary Petri Nets and Applications to Decidability of the Timed Reachability Problem and other Related Problems. PNPM Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero