Valentín Valero

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