Valentín Valero Ruiz

According to our database, Valentín Valero Ruiz authored at least 87 papers between 1991 and 2023.

Collaborative distances:

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

2023

Modelling, simulation and performance evaluation of the IEEE 802.11e protocol with station mobility.

Estefanía Coronado, Valentín Valero, María-Emilia Cambronero, Luis Orozco-Barbosa

PeerJ Comput. Sci., 2023

Designing a Fault Detection System for Wind Turbine Control Monitoring Using CEP.

Enrique Brazález, Gregorio Díaz, Hermenegilda Macià, Valentín Valero

Proceedings of the Advances in Computational Intelligence, 2023

An Intelligent Transportation System for Tsunamis Combining CEP, CPN and Fuzzy Logic.

Gregorio Díaz, Hermenegilda Macià, Enrique Brazález, Juan Boubeta-Puig, M. Carmen Ruiz, Valentín Valero

Proceedings of the Computational Science - ICCS 2023, 2023

2022

A Compositional Approach for Complex Event Pattern Modeling and Transformation to Colored Petri Nets with Black Sequencing Transitions.

Valentín Valero, Gregorio Díaz, Juan Boubeta-Puig, Hermenegilda Macià, Enrique Brazález

IEEE Trans. Software Eng., 2022

Evaluating cloud interactions with costs and SLAs.

Adrian Bernal, María-Emilia Cambronero, Alberto Núñez, Pablo C. Cañizares, Valentín Valero

J. Supercomput., 2022

GDPRValidator: a tool to enable companies using cloud services to be GDPR compliant.

María-Emilia Cambronero, Miguel A. Martínez, José Luis de la Vara, David Cebrián, Valentín Valero

PeerJ Comput. Sci., 2022

PITS: An Intelligent Transportation System in pandemic times.

Enrique Brazález, Hermenegilda Macià, Gregorio Díaz, Valentín Valero, Juan Boubeta-Puig

Eng. Appl. Artif. Intell., 2022

FUME: An air quality decision support system for cities based on CEP technology and fuzzy logic.

Enrique Brazález, Hermenegilda Macià, Gregorio Díaz, María-Teresa Baeza-Romero, Edelmira Valero, Valentín Valero

Appl. Soft Comput., 2022

greenITS: a proposal to compute low-pollution routes.

Hermenegilda Macià, Gregorio Díaz, Valentín Valero, Edelmira Valero, Enrique Brazález, Juan Boubeta-Puig

Proceedings of the 17th International Conference on Future Networks and Communications / 19th International Conference on Mobile Systems and Pervasive Computing / 12th International Conference on Sustainable Energy Information Technology (FNC/MobiSPC/SEIT 2022), 2022

2021

Modeling and simulation of the IEEE 802.11e wireless protocol with hidden nodes using Colored Petri Nets.

Estefanía Coronado, Valentín Valero, Luis Orozco-Barbosa, María-Emilia Cambronero, Fernando L. Pelayo

Softw. Syst. Model., 2021

Profiling SLAs for cloud system infrastructures and user interactions.

María-Emilia Cambronero, Adrian Bernal, Valentín Valero, Pablo C. Cañizares, Alberto Núñez

PeerJ Comput. Sci., 2021

Analyzing the Cloud Performance Using Different User Subscription Times.

Adrian Bernal, María-Emilia Cambronero, Pablo C. Cañizares, Alberto Núñez, Valentín Valero, Hernán-Indibil de la Cruz

Int. J. Softw. Eng. Knowl. Eng., 2021

Studying the Impact of the User Subscription Times in Different Cloud Configurations.

Hernán-Indibil de la Cruz, María-Emilia Cambronero, Valentín Valero, Pablo C. Cañizares, Adrian Bernal, Alberto Núñez

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 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

2019

Improving cloud architectures using UML profiles and M2T transformation techniques.

Adrian Bernal, María-Emilia Cambronero, Alberto Núñez, Pablo C. Cañizares, Valentín Valero

J. Supercomput., 2019

Facilitating the Quantitative Analysis of Complex Events through a Computational Intelligence Model-Driven Tool.

Gregorio Díaz, Hermenegilda Macià, Valentín Valero, Juan Boubeta-Puig, Guadalupe Ortiz

Sci. Program., 2019

Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets.

Abel Gómez, Ricardo J. Rodríguez, María-Emilia Cambronero, Valentín Valero

Softw. Syst. Model., 2019

MEdit4CEP-CPN: An approach for complex event processing modeling by prioritized colored petri nets.

Juan Boubeta-Puig, Gregorio Díaz, Hermenegilda Macià, Valentín Valero, Guadalupe Ortiz

Inf. Syst., 2019

A Framework for Modeling Cloud Infrastructures and User Interactions.

Adrian Bernal, María-Emilia Cambronero, Valentín Valero Ruiz, Alberto Nuñez, Pablo C. Cañizares

IEEE Access, 2019

An Intelligent System Integrating CEP and Colored Petri Nets for Helping in Decision Making About Pollution Scenarios.

Gregorio Díaz, Enrique Brazález, Hermenegilda Macià, Juan Boubeta-Puig, Valentín Valero

Proceedings of the Advances in Computational Intelligence, 2019

Combining Fuzzy Logic and CEP Technology to Improve Air Quality in Cities.

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

Proceedings of the Computational Science - ICCS 2019, 2019

2018

Strong behavioral similarities in timed-arc Petri nets.

Valentín Valero

Appl. Math. Comput., 2018

Modeling and Analysis of the 1-Wire Communication Protocol Using Timed Colored Petri Nets.

María-Emilia Cambronero, Hermenegilda Macià, Valentín Valero Ruiz, Luis Orozco-Barbosa

IEEE Access, 2018

2017

Timed Automata Modeling and Verification for Publish-Subscribe Structures Using Distributed Resources.

Valentín Valero, Gregorio Díaz, María-Emilia Cambronero

IEEE Trans. Software Eng., 2017

Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC.

Igor V. Tarasyuk, Hermenegilda Macià, Valentín Valero Ruiz

CoRR, 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

2016

Complex Event Processing Modeling by Prioritized Colored Petri Nets.

Hermenegilda Macià, Valentín Valero, Gregorio Díaz, Juan Boubeta-Puig, Guadalupe Ortiz

IEEE Access, 2016

2015

Model-checking verification of publish-subscribe architectures in web service contexts.

Gregorio Díaz, María-Emilia Cambronero, Hermenegilda Macià, Valentín Valero Ruiz

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Colored Petri Net Modeling of the Publish/Subscribe Paradigm in the Context of Web Services Resources.

Valentín Valero, Hermenegilda Macià, Gregorio Díaz, María-Emilia Cambronero

Proceedings of the Formal Methods for Industrial Critical Systems, 2015

2014

Performance analysis of concurrent systems in algebra dtsiPBC.

Igor V. Tarasyuk, Hermenegilda Macià, Valentín Valero Ruiz

Program. Comput. Softw., 2014

A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF.

José Antonio Mateo, Valentín Valero Ruiz, Hermenegilda Macià, Gregorio Díaz

Proceedings of the Software Engineering and Formal Methods, 2014

2013

Guest Editors' Foreword.

Ernesto Pimentel, Valentín Valero

J. Log. Algebraic Methods Program., 2013

Modelling Distributed Service Systems with Resources Using UML.

María-Emilia Cambronero, Valentín Valero

Proceedings of the International Conference on Computational Science, 2013

2012

WST: a tool supporting timed composite Web Services Model transformation.

María-Emilia Cambronero, Gregorio Díaz, Enrique Martínez, Valentín Valero Ruiz, Llanos Tobarra

Simul., 2012

Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets.

Valentín Valero Ruiz, Hermenegilda Macià, Juan José Pardo, María-Emilia Cambronero, Gregorio Díaz

Sci. Comput. Program., 2012

Discrete Time Stochastic Petri Box Calculus with Immediate Multiactions dtsiPBC.

Igor V. Tarasyuk, Hermenegilda Macià, Valentín Valero Ruiz

Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012

Conformance Verification of Normative Specifications using C-O Diagrams

Gregorio Díaz, Luis Llana, Valentín Valero Ruiz, José Antonio Mateo

Proceedings of the Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software, 2012

BPEL-RF: A formal framework for BPEL orchestrations integrating distributed resources

José Antonio Mateo, Valentín Valero, Gregorio Díaz

CoRR, 2012

2011

Design and Generation of Web Services Choreographies with Time Constraints.

María-Emilia Cambronero, Valentín Valero Ruiz, Enrique Martínez

J. Univers. Comput. Sci., 2011

Validation and verification of Web services choreographies by using timed automata.

María-Emilia Cambronero, Gregorio Díaz, Valentín Valero, Enrique Martínez

J. Log. Algebraic Methods Program., 2011

An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework.

José Antonio Mateo, Valentín Valero, Gregorio Díaz

Proceedings of the Web Services and Formal Methods - 8th International Workshop, 2011

2010

Verification of real-time systems design.

María-Emilia Cambronero, Valentín Valero Ruiz, Gregorio Díaz

Softw. Test. Verification Reliab., 2010

Applying Petri Nets for the Analysis of the GSH-ASC Cycle in Chloroplasts.

Hermenegilda Macià, María-Isabel González-Sánchez, Valentín Valero Ruiz, Edelmira Valero

Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010

2009

A barred operational semantics for a subset of WS-CDL with time restrictions.

Valentín Valero, Gregorio Díaz, María-Emilia Cambronero, Hermenegilda Macià

J. Log. Algebraic Methods Program., 2009

A Petri net approach for the design and analysis of Web Services Choreographies.

Valentín Valero, María-Emilia Cambronero, Gregorio Díaz, Hermenegilda Macià

J. Log. Algebraic Methods Program., 2009

Time Ordering Architecture in SCA.

Enrique Martínez, Gregorio Díaz, Carmen Rosa Martínez, María-Emilia Cambronero, Valentín Valero Ruiz

Proceedings of the Techniques and Applications for Mobile Commerce, 2009

Design and Verification of Web Services Compositions.

Enrique Martínez, María-Emilia Cambronero, Gregorio Díaz, Valentín Valero

Proceedings of the Fourth International Conference on Internet and Web Applications and Services, 2009

A Comparative Study between WSCI, WS-CDL, and OWL-S.

María-Emilia Cambronero, Gregorio Díaz, Enrique Martínez, Valentín Valero

Proceedings of the 2009 IEEE International Conference on e-Business Engineering, 2009

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

Enhancing the expressivity of PADL for specifying Web Services Architectures.

Gregorio Díaz, María-Emilia Cambronero, Llanos Tobarra, Valentín Valero Ruiz, Fernando L. Pelayo

Proceedings of the Techniques and Applications for Mobile Commerce - Proceedings of TAMoCo 2008, University of Paisley, Glasgow, Scotland, United Kingdom, 14, 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

Using RT-UML for modelling web services.

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

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 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

Using UML Diagrams to Model Real-Time Web Services.

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

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

RT-UML for modeling Real-Time Web Services.

María-Emilia Cambronero, Gregorio Díaz, Juan José Pardo, Valentín Valero Ruiz, Fernando L. Pelayo

Proceedings of the 2006 IEEE Services Computing Workshops (SCW 2006), 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

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

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

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

sPBC: A Markovian Extension of Finite Petri box calculus.

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

Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 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

Decidability of Properties of Timed-Arc Petri Nets.

David de Frutos-Escrig, Valentín Valero Ruiz, Olga Marroquín Alonso

Proceedings of the Application and Theory of Petri Nets 2000, 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