Valentín Valero

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 26

Top Topics

Top Venues

PeerJ Comput. Sci.

Softw. Syst. Model.

J. Supercomput.

Publications

Gregorio Díaz, Hermenegilda Macià, Enrique Brazález, Juan Boubeta-Puig, M. Carmen Ruiz, Valentín Valero
ITS4Tsunamis: An Intelligent Transportation System for tsunami emergencies. J. Comput. Sci. 81 (2024)
Enrique Brazález, Gregorio Díaz, Hermenegilda Macià, Valentín Valero
Designing a Fault Detection System for Wind Turbine Control Monitoring Using CEP. IWANN (2) (2023)
Estefanía Coronado, Valentín Valero, María-Emilia Cambronero, Luis Orozco-Barbosa
Modelling, simulation and performance evaluation of the IEEE 802.11e protocol with station mobility. PeerJ Comput. Sci. 9 (2023)
Gregorio Díaz, Hermenegilda Macià, Enrique Brazález, Juan Boubeta-Puig, M. Carmen Ruiz, Valentín Valero
An Intelligent Transportation System for Tsunamis Combining CEP, CPN and Fuzzy Logic. ICCS (1) (2023)
Valentín Valero, Gregorio Díaz, Juan Boubeta-Puig, Hermenegilda Macià, Enrique Brazález
A Compositional Approach for Complex Event Pattern Modeling and Transformation to Colored Petri Nets with Black Sequencing Transitions. IEEE Trans. Software Eng. 48 (7) (2022)
María-Emilia Cambronero, Miguel A. Martínez, José Luis de la Vara, David Cebrián, Valentín Valero
GDPRValidator: a tool to enable companies using cloud services to be GDPR compliant. PeerJ Comput. Sci. 8 (2022)
Adrian Bernal, María-Emilia Cambronero, Alberto Núñez, Pablo C. Cañizares, Valentín Valero
Evaluating cloud interactions with costs and SLAs. J. Supercomput. 78 (6) (2022)
Hermenegilda Macià, Gregorio Díaz, Valentín Valero, Edelmira Valero, Enrique Brazález, Juan Boubeta-Puig
greenITS: a proposal to compute low-pollution routes. FNC/MobiSPC/SEIT (2022)
Enrique Brazález, Hermenegilda Macià, Gregorio Díaz, Valentín Valero, Juan Boubeta-Puig
PITS: An Intelligent Transportation System in pandemic times. Eng. Appl. Artif. Intell. 114 (2022)
Enrique Brazález, Hermenegilda Macià, Gregorio Díaz, María_Teresa Baeza_Romero, Edelmira Valero, Valentín Valero
FUME: An air quality decision support system for cities based on CEP technology and fuzzy logic. Appl. Soft Comput. 129 (2022)
Hernán-Indibil de la Cruz, María-Emilia Cambronero, Valentín Valero, Pablo C. Cañizares, Adrian Bernal, Alberto Núñez
Studying the Impact of the User Subscription Times in Different Cloud Configurations. SEKE (2021)
María-Emilia Cambronero, Adrian Bernal, Valentín Valero, Pablo C. Cañizares, Alberto Núñez
Profiling SLAs for cloud system infrastructures and user interactions. PeerJ Comput. Sci. 7 (2021)
Adrian Bernal, María-Emilia Cambronero, Pablo C. Cañizares, Alberto Núñez, Valentín Valero, Hernán-Indibil de la Cruz
Analyzing the Cloud Performance Using Different User Subscription Times. Int. J. Softw. Eng. Knowl. Eng. 31 (11&12) (2021)
Estefanía Coronado, Valentín Valero, Luis Orozco-Barbosa, María-Emilia Cambronero, Fernando L. Pelayo
Modeling and simulation of the IEEE 802.11e wireless protocol with hidden nodes using Colored Petri Nets. Softw. Syst. Model. 20 (2) (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, Enrique Brazález, Hermenegilda Macià, Juan Boubeta-Puig, Valentín Valero
An Intelligent System Integrating CEP and Colored Petri Nets for Helping in Decision Making About Pollution Scenarios. IWANN (1) (2019)
Adrian Bernal, María-Emilia Cambronero, Alberto Núñez, Pablo C. Cañizares, Valentín Valero
Improving cloud architectures using UML profiles and M2T transformation techniques. J. Supercomput. 75 (12) (2019)
Abel Gómez, Ricardo J. Rodríguez, María-Emilia Cambronero, Valentín Valero
Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets. Softw. Syst. Model. 18 (5) (2019)
Hermenegilda Macià, Gregorio Díaz, Juan Boubeta-Puig, Edelmira Valero, Valentín Valero
Combining Fuzzy Logic and CEP Technology to Improve Air Quality in Cities. ICCS (5) (2019)
Gregorio Díaz, Hermenegilda Macià, Valentín Valero, Juan Boubeta-Puig, Guadalupe Ortiz
Facilitating the Quantitative Analysis of Complex Events through a Computational Intelligence Model-Driven Tool. Sci. Program. 2019 (2019)
Juan Boubeta-Puig, Gregorio Díaz, Hermenegilda Macià, Valentín Valero, Guadalupe Ortiz
MEdit4CEP-CPN: An approach for complex event processing modeling by prioritized colored petri nets. Inf. Syst. 81 (2019)
Valentín Valero
Strong behavioral similarities in timed-arc Petri nets. Appl. Math. Comput. 333 (2018)
Valentín Valero, Gregorio Díaz, María-Emilia Cambronero
Timed Automata Modeling and Verification for Publish-Subscribe Structures Using Distributed Resources. IEEE Trans. Software Eng. 43 (1) (2017)
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)
Hermenegilda Macià, Valentín Valero, Gregorio Díaz, Juan Boubeta-Puig, Guadalupe Ortiz
Complex Event Processing Modeling by Prioritized Colored Petri Nets. IEEE Access 4 (2016)
Valentín Valero, Hermenegilda Macià, Gregorio Díaz, María-Emilia Cambronero
Colored Petri Net Modeling of the Publish/Subscribe Paradigm in the Context of Web Services Resources. FMICS (2015)
Ernesto Pimentel, Valentín Valero
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 82 (5-7) (2013)
María-Emilia Cambronero, Valentín Valero
Modelling Distributed Service Systems with Resources Using UML. ICCS (2013)
José Antonio Mateo, Valentín Valero, Gregorio Díaz
BPEL-RF: A formal framework for BPEL orchestrations integrating distributed resources CoRR (2012)
José Antonio Mateo, Valentín Valero, Gregorio Díaz
An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework. WS-FM (2011)
María-Emilia Cambronero, Gregorio Díaz, Valentín Valero, Enrique Martínez
Validation and verification of Web services choreographies by using timed automata. J. Log. Algebraic Methods Program. 80 (1) (2011)
María-Emilia Cambronero, Gregorio Díaz, Enrique Martínez, Valentín Valero
A Comparative Study between WSCI, WS-CDL, and OWL-S. ICEBE (2009)
Enrique Martínez, María-Emilia Cambronero, Gregorio Díaz, Valentín Valero
Design and Verification of Web Services Compositions. ICIW (2009)
Valentín Valero, María-Emilia Cambronero, Gregorio Díaz, Hermenegilda Macià
A Petri net approach for the design and analysis of Web Services Choreographies. J. Log. Algebraic Methods Program. 78 (5) (2009)
Valentín Valero, Gregorio Díaz, María-Emilia Cambronero, Hermenegilda Macià
A barred operational semantics for a subset of WS-CDL with time restrictions. J. Log. Algebraic Methods Program. 78 (8) (2009)
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)
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)
María-Emilia Cambronero, Gregorio Díaz, Juan José Pardo, Valentín Valero
Using UML Diagrams to Model Real-Time Web Services. 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)
María-Emilia Cambronero, Juan José Pardo, Gregorio Díaz, Valentín Valero
Using RT-UML for modelling web services. SAC (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)
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)
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)
Hermenegilda Macià, Valentín Valero, David de Frutos-Escrig
sPBC: A Markovian Extension of Finite Petri box calculus. PNPM (2001)