Fernando Cuartero

Publication Activity (10 Years)

Years Active: 1991-2022
Publications (10 Years): 4

Top Topics

Graph Isomorphism

Colored Petri Nets

Top Venues

Neural Comput. Appl.

Publications

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)
Mauro Mezzini, Fernando L. Pelayo, Fernando Cuartero
Quantum algorithm for doubling the amplitude of the search problem's solution states. CoRR (2021)
Gregorio Díaz, Hermenegilda Macià, Valentín Valero, Juan Boubeta-Puig, Fernando Cuartero
An Intelligent Transportation System to control air pollution and road traffic in cities integrating CEP and Colored Petri Nets. Neural Comput. Appl. 32 (2) (2020)
Gregorio Díaz, Hermenegilda Macià, Valentín Valero, Fernando Cuartero
Intelligent Transportation System to Control Air Pollution in Cities Using Complex Event Processing and Colored Petri Nets. IWANN (2) (2017)
Juan M. Soler, Fernando Cuartero, Manuel Roblizo
Twitter as a Tool for Predicting Elections Results. ASONAM (2012)
Nuria Cuartero, Enrique Arias, Fernando Cuartero, Tomás Rojo
CALPE and INDICA. Two tools for calculating the dynamic pantograph/catenary interaction. CLEI (2012)
Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla
Looking for a Cheaper ROSA. IWANN (2) (2011)
Fernando López Pelayo, José C. Valverde, Maria L. Pelayo, Fernando Cuartero
Discrete Dynamical Systems for encoding Concurrent Computing Systems. IEEE ICCI (2010)
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. 86 (2) (2009)
Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz, María-Emilia Cambronero
Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK. Telecommun. Syst. 40 (3-4) (2009)
Fernando Cuartero, Jesús Ruíz Bueno, Juan José Pardo
Nuevos Métodos de Enseñanza en Astronomía. Rev. Iberoam. de Tecnol. del Aprendiz. 4 (4) (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)
M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Hermenegilda Macià
Improving performance in flexible manufacturing systems. J. Log. Algebraic Methods Program. 78 (4) (2009)
Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Juan José Pardo
Modelling secure wireless sensor networks routing protocols with timed automata. PM2HW2N (2008)
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. Math. Comput. Simul. 79 (3) (2008)
Llanos Tobarra, Diego Cazorla, Juan José Pardo, Fernando Cuartero
Formal Verification of the Secure Sockets Layer Protocol. ICEIS (3-2) (2008)
Hermenegilda Macià, Valentín Valero, Fernando Cuartero, M. Carmen Ruiz
sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions. Fundam. Informaticae 87 (3-4) (2008)
Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, David de Frutos-Escrig
A congruence relation for sPBC. Formal Methods Syst. Des. 32 (2) (2008)
Llanos Tobarra, Diego Cazorla, Fernando Cuartero
Formal Analysis of Sensor Network Encryption Protocol (SNEP). MASS (2007)
David Cebrián, Valentín Valero Ruiz, Fernando Cuartero
Automation of Avionic Systems Testing. TestCom/FATES (2007)
Gregorio Díaz, María-Emilia Cambronero, Juan José Pardo, Valentín Valero, Fernando Cuartero
Model Checking Techniques applied to the design of Web Services. CLEI Electron. J. 10 (2) (2007)
Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz, María-Emilia Cambronero
Model Checking Wireless Sensor Network Security Protocols: TinySec + LEAP. WSAN (2007)
Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz
Analysis of Web Services Secure Conversation with Formal Methods. ICIW (2007)
Gregorio Díaz, Elena Navarro, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero
Testing Time Goal-Driven Requirements with Model Checking Techniques. ECBS (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)
Gregorio Díaz, María-Emilia Cambronero, Juan José Pardo, Valentín Valero, Fernando Cuartero
Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques. AICT/ICIW (2006)
Gregorio Díaz, María-Emilia Cambronero, Llanos Tobarra, Valentín Valero, Fernando Cuartero
Analysis and Verification of Time Requirements Applied to the Web Services Composition. WS-FM (2006)
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)
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)
M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo
Process Algebra Specification of Flexible Manufacturing Systems. SYNASC (2006)
Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero
Verification of Web Services with Timed Automata. Electron. Notes Theor. Comput. Sci. 157 (2) (2006)
Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero
Automatic Translation of WS-CDL Choreographies to Timed Automata. EPEW/WS-FM (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)
Antonio Bueno, Valentín Valero Ruiz, Fernando Cuartero
into a class of timed-probabilistic Petri nets. Theor. Comput. Sci. 338 (1-3) (2005)
Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero
Verification of Web Services with Timed Automata. WWV (2005)
Gregorio Díaz, Kim Guldstrand Larsen, Juan José Pardo, Fernando Cuartero, Valentín Valero
An approach to handle real time and probabilistic behaviors in e-commerce: validating the SET protocol. SAC (2005)
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)
Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz
Application of Formal Methods to the Analysis of Web Services Security. EPEW/WS-FM (2005)
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)
Hermenegilda Macià, Valentín Valero Ruiz, Diego Cazorla, Fernando Cuartero
Introducing the Iteration in sPBC. FORTE (2004)
M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo, Hermenegilda Macià
A Bounded True Concurrency Process Algebra for Performance Evaluation. FORTE Workshops (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)
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)
Valentín Valero Ruiz, Juan José Pardo, Fernando Cuartero
Translating TPAL Specifications into Timed-Arc Petri Nets. ICATPN (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)
Juan José Pardo, Valentín Valero Ruiz, Fernando Cuartero, Diego Cazorla
Automatic Translation of a Timed Process Algebra into Dynamic State Graphs. APSEC (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)
Fernando Cuartero, David de Frutos-Escrig, Valentín Valero Ruiz
A Sound and Complete Proof System for Probabilistic Processes. ARTS (1997)
Antonio Bueno, Valentín Valero Ruiz, Fernando Cuartero
TPAL: A Timed-Probabilistic Model for Concurrent Processes. APSEC (1997)
Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero
Timed Processes of Timed Petri Nets. Application and Theory of Petri Nets (1995)
Valentín Valero Ruiz, Fernando Cuartero, Antonio Jose Garrido del Solo, Francisco J. Quiles
A simulation tool of parallel architectures for digital image processing applications based on DLX processors. ICIP (3) (1995)
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)