Fernando Cuartero

According to our database, Fernando Cuartero authored at least 62 papers between 1991 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Polynomial quantum computing algorithms for solving the dualization problem for positive Boolean functions.

Mauro Mezzini, Fernando Cuartero Gomez, Jose Javier Paulet Gonzalez, Hernan Indibil de la Cruz Calvo, Vicente Pascual, Fernando L. Pelayo

Quantum Mach. Intell., December, 2024

2023

A polynomial quantum computing algorithm for solving the dualization problem.

Mauro Mezzini, Fernando Cuartero Gomez, Fernando L. Pelayo, Jose Javier Paulet Gonzales, Hernan Indibil de la Cruz Calvo, Vicente Pascual

CoRR, 2023

A polynomial quantum computing algorithm for solving the dualization problem for positive boolean functions (Short Paper).

Mauro Mezzini, Fernando Cuartero Gomez, Fernando López Pelayo, Jose Javier Paulet Gonzales, Hernan Indibil de la Cruz Calvo, Vicente Pascual

Proceedings of the International Workshop on AI for Quantum and Quantum for AI (AIQxQIA 2023) co-located with 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), November 6, 2023

2022

Quantum invariants for the graph isomorphism problem.

Hernán I. de la Cruz, Fernando L. Pelayo, Vicente Pascual, Jose J. Paulet, Fernando Cuartero, Luis Llana, Mauro Mezzini

CoRR, 2022

2021

Quantum algorithm for doubling the amplitude of the search problem's solution states.

Mauro Mezzini, Fernando L. Pelayo, Fernando Cuartero

CoRR, 2021

2020

An Intelligent Transportation System to control air pollution and road traffic in cities integrating CEP and Colored Petri Nets.

Gregorio Díaz, Hermenegilda Macià, Valentín Valero, Juan Boubeta-Puig, Fernando Cuartero

Neural Comput. Appl., 2020

2017

Heuristics for ROSA's LTS Searching.

Fernando López Pelayo, Fernando Cuartero Gómez, Diego Cazorla, Pedro Valero-Lara, Mercedes G. Merayo

Proceedings of the Advances in Computational Intelligence, 2017

Intelligent Transportation System to Control Air Pollution in Cities Using Complex Event Processing and Colored Petri Nets.

Gregorio Díaz, Hermenegilda Macià, Valentín Valero, Fernando Cuartero

Proceedings of the Advances in Computational Intelligence, 2017

2012

CALPE and INDICA. Two tools for calculating the dynamic pantograph/catenary interaction.

Nuria Cuartero, Enrique Arias, Fernando Cuartero, Tomás Rojo

Proceedings of the 2012 XXXVIII Conferencia Latinoamericana En Informatica (CLEI), 2012

Twitter as a Tool for Predicting Elections Results.

Juan M. Soler, Fernando Cuartero, Manuel Roblizo

Proceedings of the International Conference on Advances in Social Networks Analysis and Mining, 2012

2011

Looking for a Cheaper ROSA.

Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla

Proceedings of the Advances in Computational Intelligence, 2011

2010

Discrete Dynamical Systems for encoding Concurrent Computing Systems.

Fernando López Pelayo, José C. Valverde, Maria L. Pelayo, Fernando Cuartero

Proceedings of the 9th IEEE International Conference on Cognitive Informatics, 2010

2009

Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK.

Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz, María-Emilia Cambronero

Telecommun. Syst., 2009

Improving performance in flexible manufacturing systems.

M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Hermenegilda Macià

J. Log. Algebraic Methods Program., 2009

A mathematical model of the static pantograph/catenary interaction.

Enrique Arias, Angelines Alberto, Jesús Montesinos, Tomás Rojo, Fernando Cuartero, Jesús Benet

Int. J. Comput. Math., 2009

Nuevos Métodos de Enseñanza en Astronomía.

Fernando Cuartero, Jesús Ruíz Bueno, Juan José Pardo

Rev. Iberoam. de Tecnol. del Aprendiz., 2009

Towards the Evolutionary Process Algebra.

Fernando L. Pelayo, Luis de la Ossa, Fernando Cuartero, Maria L. Pelayo, Juan Luis García Guirao

Proceedings of the 8th IEEE International Conference on Cognitive Informatics, 2009

2008

A high performance tool for the simulation of the dynamic pantograph-catenary interaction.

Angelines Alberto, Jesús Benet, Enrique Arias, David Cebrián, Tomás Rojo, Fernando Cuartero

Math. Comput. Simul., 2008

sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions.

Hermenegilda Macià, Valentín Valero, Fernando Cuartero, M. Carmen Ruiz

Fundam. Informaticae, 2008

A congruence relation for sPBC.

Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, David de Frutos-Escrig

Formal Methods Syst. Des., 2008

Modelling secure wireless sensor networks routing protocols with timed automata.

Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Juan José Pardo

Proceedings of the 3rd ACM Workshop on Performance Monitoring and Measurement of Heterogeneous Wireless and Wired Networks, 2008

Formal Verification of the Secure Sockets Layer Protocol.

Llanos Tobarra, Diego Cazorla, Juan José Pardo, Fernando Cuartero

Proceedings of the ICEIS 2008, 2008

2007

Model Checking Techniques applied to the design of Web Services.

Gregorio Díaz, María-Emilia Cambronero, Juan José Pardo, Valentín Valero, Fernando Cuartero

CLEI Electron. J., 2007

Automation of Avionic Systems Testing.

David Cebrián, Valentín Valero Ruiz, Fernando Cuartero

Proceedings of the Testing of Software and Communicating Systems, 2007

Formal Analysis of Sensor Network Encryption Protocol (SNEP).

Llanos Tobarra, Diego Cazorla, Fernando Cuartero

Proceedings of the IEEE 4th International Conference on Mobile Adhoc and Sensor Systems, 2007

Model Checking Wireless Sensor Network Security Protocols: TinySec + LEAP.

Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz, María-Emilia Cambronero

Proceedings of the Wireless Sensor and Actor Networks, 2007

Analysis of Web Services Secure Conversation with Formal Methods.

Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz

Proceedings of the International Conference on Internet and Web Applications and Services (ICIW 2007), 2007

Testing Time Goal-Driven Requirements with Model Checking Techniques.

Gregorio Díaz, Elena Navarro, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero

Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

Does ROSA provide a good view of the Memorizing Process?

Maria L. Pelayo, Fernando L. Pelayo, Fernando Cuartero, Valentín Valero, Gregorio Díaz, Elena Nieto

Proceedings of the Six IEEE International Conference on Cognitive Informatics, 2007

2006

Analysis and Verification of Time Requirements Applied to the Web Services Composition.

Gregorio Díaz, María-Emilia Cambronero, Llanos Tobarra, Valentín Valero, Fernando Cuartero

Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

Process Algebra Specification of Flexible Manufacturing Systems.

M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo

Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 2006

Analysis of the SET e-commerce protocol using a true concurrency process algebra.

M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Specification and performance evaluation of Flexible Manufacturing Systems using a Bounded True Concurrent Process Algebra.

M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo

Proceedings of the 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November, 2006

Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques.

Gregorio Díaz, María-Emilia Cambronero, Juan José Pardo, Valentín Valero, Fernando Cuartero

Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), 2006

2005

A translation of TPAL_p into a class of timed-probabilistic Petri nets.

Antonio Bueno, Valentín Valero Ruiz, Fernando Cuartero

Theor. Comput. Sci., 2005

Verification of Web Services with Timed Automata.

Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero

Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, 2005

A Formal Specification and Performance Evaluation of the Purchase Phase in the SET Protocol.

M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo

Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 2005

An approach to handle real time and probabilistic behaviors in e-commerce: validating the SET protocol.

Gregorio Díaz, Kim Guldstrand Larsen, Juan José Pardo, Fernando Cuartero, Valentín Valero

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Application of Formal Methods to the Analysis of Web Services Security.

Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz

Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

Automatic Translation of WS-CDL Choreographies to Timed Automata.

Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero

Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

Obtaining Probabilistic Dynamic State Graphs for TPPAL Processes.

Juan José Pardo, Valentín Valero Ruiz, M. Carmen Ruiz, Fernando Cuartero, Gregorio Díaz

Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), 31 March, 2005

How does the memory work? By timed-arc Petri nets.

Fernando L. Pelayo, Fernando Cuartero, Valentín Valero, Maria L. Pelayo, Mercedes G. Merayo

Proceedings of the 4th IEEE International Conference on Cognitive Informatics (ICCI 2005), 2005

2004

Automatic verification of the TLS handshake protocol.

Gregorio Díaz, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Applying Timed-Arc Petri Nets to improve the performance of the MPEG-2 Encoding Algorithm.

Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Hermenegilda Macià, Maria L. Pelayo

Proceedings of the 10th International Multimedia Modeling Conference (MMM 2004), 2004

A Bounded True Concurrency Process Algebra for Performance Evaluation.

M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo, Hermenegilda Macià

Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

Introducing the Iteration in sPBC.

Hermenegilda Macià, Valentín Valero Ruiz, Diego Cazorla, Fernando Cuartero

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

2003

Algebraic theory of probabilistic and nondeterministic processes.

Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo, Juan José Pardo

J. Log. Algebraic Methods Program., 2003

Analysis of the MPEG-2 Encoding Algorithm with ROSA1.

Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

A New Synchronization in Finite Stochastic Petri Box Calculus.

Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, Fernando L. Pelayo

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002

Specification and Analysis of the MPEG--2 Video Encoder with Timed-Arc Petri Nets.

Valentín Valero Ruiz, Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla

Proceedings of the 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, 2002

Translating TPAL Specifications into Timed-Arc Petri Nets.

Valentín Valero Ruiz, Juan José Pardo, Fernando Cuartero

Proceedings of the Applications and Theory of Petri Nets 2002, 2002

2001

A process algebra for probabilistic and nondeterministic processes.

Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo

Inf. Process. Lett., 2001

Automatic Translation of a Timed Process Algebra into Dynamic State Graphs.

Juan José Pardo, Valentín Valero Ruiz, Fernando Cuartero, Diego Cazorla

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

2000

An example of performance evaluation by using the stochastic process algebra: ROSA.

Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla

Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

A Denotational Model for Probabilistic and Nondeterministic Processes.

Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo

Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000

1999

On non-decidability of reachability for timed-arc Petri nets.

Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero Gómez

Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999

1997

A Sound and Complete Proof System for Probabilistic Processes.

Fernando Cuartero, David de Frutos-Escrig, Valentín Valero Ruiz

Proceedings of the Transformation-Based Reactive Systems Development, 1997

TPAL: A Timed-Probabilistic Model for Concurrent Processes.

Antonio Bueno, Valentín Valero Ruiz, Fernando Cuartero

Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997

1995

A simulation tool of parallel architectures for digital image processing applications based on DLX processors.

Valentín Valero Ruiz, Fernando Cuartero, Antonio Jose Garrido del Solo, Francisco J. Quiles

Proceedings of the Proceedings 1995 International Conference on Image Processing, 1995

Timed Processes of Timed Petri Nets.

Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero

Proceedings of the Application and Theory of Petri Nets 1995, 1995

1993

Decidability of the strict reachability problem for TPN's with rational and real durations.

Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero Gómez

Proceedings of the 5th International Workshop on Petri Nets and Performance Models, 1993

1991

Simulation of Timed Petri Nets by Ordinary Petri Nets and Applications to Decidability of the Timed Reachability Problem and other Related Problems.

Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero

Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, 1991