default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDValentín Valero Ruiz
Valentín Valero
Person information
- affiliation: University of Castilla-La Mancha, Spain
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j35]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: 102360 (2024)- 2023
- [j34]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: e1457 (2023) - [c52]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: 47-60 - [c51]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: 304-314 - 2022
- [j33]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: 109536 (2022) - [j32]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: 105154 (2022) - [j31]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: e1171 (2022) - [j30]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): 7529-7555 (2022) - [j29]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): 2584-2605 (2022) - [c50]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: 334-341 - 2021
- [j28]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): 1699-1720 (2021) - [j27]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: e513 (2021) - [j26]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): 505-538 (2021) - [c49]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: 211-216 - 2020
- [j25]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): 405-426 (2020)
2010 – 2019
- 2019
- [j24]Adrian Bernal, María-Emilia Cambronero, Valentín Valero Ruiz, Alberto Nuñez, Pablo C. Cañizares:
A Framework for Modeling Cloud Infrastructures and User Interactions. IEEE Access 7: 43269-43285 (2019) - [j23]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: 267-289 (2019) - [j22]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): 2973-3003 (2019) - [j21]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: 2604148:1-2604148:17 (2019) - [j20]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): 8012-8058 (2019) - [c48]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: 559-565 - [c47]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: 729-740 - 2018
- [j19]María-Emilia Cambronero, Hermenegilda Macià, Valentín Valero Ruiz, Luis Orozco-Barbosa:
Modeling and Analysis of the 1-Wire Communication Protocol Using Timed Colored Petri Nets. IEEE Access 6: 27356-27372 (2018) - [j18]Valentín Valero:
Strong behavioral similarities in timed-arc Petri nets. Appl. Math. Comput. 333: 401-415 (2018) - 2017
- [j17]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): 76-99 (2017) - [c46]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: 415-426 - [i2]Igor V. Tarasyuk, Hermenegilda Macià, Valentín Valero Ruiz:
Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC. CoRR abs/1702.07478 (2017) - 2016
- [j16]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: 7425-7439 (2016) - 2015
- [c45]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: 81-95 - [c44]Gregorio Díaz, María-Emilia Cambronero, Hermenegilda Macià, Valentín Valero Ruiz:
Model-checking verification of publish-subscribe architectures in web service contexts. SAC 2015: 1688-1695 - 2014
- [j15]Igor V. Tarasyuk, Hermenegilda Macià, Valentín Valero Ruiz:
Performance analysis of concurrent systems in algebra dtsiPBC. Program. Comput. Softw. 40(5): 229-249 (2014) - [c43]José Antonio Mateo, Valentín Valero Ruiz, Hermenegilda Macià, Gregorio Díaz:
A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF. SEFM Workshops 2014: 389-404 - 2013
- [j14]Ernesto Pimentel, Valentín Valero:
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 82(5-7): 163 (2013) - [c42]María-Emilia Cambronero, Valentín Valero:
Modelling Distributed Service Systems with Resources Using UML. ICCS 2013: 140-148 - 2012
- [j13]Valentín Valero Ruiz, Hermenegilda Macià, Juan José Pardo, María-Emilia Cambronero, Gregorio Díaz:
Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets. Sci. Comput. Program. 77(3): 290-313 (2012) - [j12]María-Emilia Cambronero, Gregorio Díaz, Enrique Martínez, Valentín Valero Ruiz, Llanos Tobarra:
WST: a tool supporting timed composite Web Services Model transformation. Simul. 88(3): 349-364 (2012) - [c41]Gregorio Díaz, Luis Llana, Valentín Valero Ruiz, José Antonio Mateo:
Conformance Verification of Normative Specifications using C-O Diagrams. FLACOS 2012: 1-10 - [c40]Igor V. Tarasyuk, Hermenegilda Macià, Valentín Valero Ruiz:
Discrete Time Stochastic Petri Box Calculus with Immediate Multiactions dtsiPBC. PASM/PDMC 2012: 229-252 - [i1]José Antonio Mateo, Valentín Valero, Gregorio Díaz:
BPEL-RF: A formal framework for BPEL orchestrations integrating distributed resources. CoRR abs/1203.1760 (2012) - 2011
- [j11]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): 25-49 (2011) - [j10]María-Emilia Cambronero, Valentín Valero Ruiz, Enrique Martínez:
Design and Generation of Web Services Choreographies with Time Constraints. J. Univers. Comput. Sci. 17(13): 1800-1829 (2011) - [c39]José Antonio Mateo, Valentín Valero, Gregorio Díaz:
An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework. WS-FM 2011: 79-94 - [e1]Ernesto Pimentel, Valentín Valero:
Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2011, Málaga, Spain, 22nd and 23rd September 2011. EPTCS 68, 2011 [contents] - 2010
- [j9]María-Emilia Cambronero, Valentín Valero Ruiz, Gregorio Díaz:
Verification of real-time systems design. Softw. Test. Verification Reliab. 20(1): 3-37 (2010) - [c38]Hermenegilda Macià, María-Isabel González-Sánchez, Valentín Valero Ruiz, Edelmira Valero:
Applying Petri Nets for the Analysis of the GSH-ASC Cycle in Chloroplasts. ACSD/Petri Nets Workshops 2010: 119-133
2000 – 2009
- 2009
- [j8]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): 359-380 (2009) - [j7]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): 730-748 (2009) - [c37]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: 377-382 - [c36]Enrique Martínez, María-Emilia Cambronero, Gregorio Díaz, Valentín Valero:
Design and Verification of Web Services Compositions. ICIW 2009: 395-400 - [c35]Enrique Martínez, Gregorio Díaz, Carmen Rosa Martínez, María-Emilia Cambronero, Valentín Valero Ruiz:
Time Ordering Architecture in SCA. TAMoCo 2009: 117-126 - 2008
- [j6]Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, David de Frutos-Escrig:
A congruence relation for sPBC. Formal Methods Syst. Des. 32(2): 85-128 (2008) - [j5]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): 367-406 (2008) - [c34]Gregorio Díaz, María-Emilia Cambronero, Llanos Tobarra, Valentín Valero Ruiz, Fernando L. Pelayo:
Enhancing the expressivity of PADL for specifying Web Services Architectures. TAMoCo 2008: 99-110 - 2007
- [j4]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) - [c33]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: 273-283 - [c32]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: 503-514 - [c31]María-Emilia Cambronero, Gregorio Díaz, Juan José Pardo, Valentín Valero:
Using UML Diagrams to Model Real-Time Web Services. ICIW 2007: 24 - [c30]David Cebrián, Valentín Valero Ruiz, Fernando Cuartero:
Automation of Avionic Systems Testing. TestCom/FATES 2007: 28-40 - [c29]María-Emilia Cambronero, Juan José Pardo, Gregorio Díaz, Valentín Valero:
Using RT-UML for modelling web services. SAC 2007: 643-648 - 2006
- [c28]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: 186 - [c27]María-Emilia Cambronero, Gregorio Díaz, Juan José Pardo, Valentín Valero Ruiz, Fernando L. Pelayo:
RT-UML for modeling Real-Time Web Services. SCW 2006: 131-139 - [c26]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: 178-192 - 2005
- [j3]Antonio Bueno, Valentín Valero Ruiz, Fernando Cuartero:
A translation of TPALp into a class of timed-probabilistic Petri nets. Theor. Comput. Sci. 338(1-3): 350-392 (2005) - [c25]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: 128-135 - [c24]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: 118-127 - [c23]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: 230-242 - [c22]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: 815-820 - [c21]Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero:
Verification of Web Services with Timed Automata. WWV 2005: 177-191 - [c20]Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero:
Verification of Web Services with Timed Automata. WWV 2005: 19-34 - 2004
- [c19]Hermenegilda Macià, Valentín Valero Ruiz, Diego Cazorla, Fernando Cuartero:
Introducing the Iteration in sPBC. FORTE 2004: 292-309 - [c18]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: 49-56 - [c17]Gregorio Díaz, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo:
Automatic verification of the TLS handshake protocol. SAC 2004: 789-794 - 2003
- [j2]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): 57-103 (2003) - [c16]Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, Fernando L. Pelayo:
A New Synchronization in Finite Stochastic Petri Box Calculus. ACSD 2003: 216-225 - [c15]Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla:
Analysis of the MPEG-2 Encoding Algorithm with ROSA1. FMICS 2003: 185-202 - 2002
- [c14]Valentín Valero Ruiz, Juan José Pardo, Fernando Cuartero:
Translating TPAL Specifications into Timed-Arc Petri Nets. ICATPN 2002: 414-433 - [c13]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. FMICS 2002: 120-131 - 2001
- [j1]Diego Cazorla, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo:
A process algebra for probabilistic and nondeterministic processes. Inf. Process. Lett. 80(1): 15-23 (2001) - [c12]Juan José Pardo, Valentín Valero Ruiz, Fernando Cuartero, Diego Cazorla:
Automatic Translation of a Timed Process Algebra into Dynamic State Graphs. APSEC 2001: 63-70 - [c11]Hermenegilda Macià, Valentín Valero, David de Frutos-Escrig:
sPBC: A Markovian Extension of Finite Petri box calculus. PNPM 2001: 207-216 - 2000
- [c10]David de Frutos-Escrig, Valentín Valero Ruiz, Olga Marroquín Alonso:
Decidability of Properties of Timed-Arc Petri Nets. ICATPN 2000: 187-206 - [c9]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: E41-E48 - [c8]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: 271-278
1990 – 1999
- 1999
- [c7]Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero Gómez:
On non-decidability of reachability for timed-arc Petri nets. PNPM 1999: 188-196 - 1997
- [c6]Antonio Bueno, Valentín Valero Ruiz, Fernando Cuartero:
TPAL: A Timed-Probabilistic Model for Concurrent Processes. APSEC 1997: 475-484 - [c5]Fernando Cuartero, David de Frutos-Escrig, Valentín Valero Ruiz:
A Sound and Complete Proof System for Probabilistic Processes. ARTS 1997: 340-352 - 1995
- [c4]Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero:
Timed Processes of Timed Petri Nets. Application and Theory of Petri Nets 1995: 490-509 - [c3]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: 448-451 - 1993
- [c2]Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero Gómez:
Decidability of the strict reachability problem for TPN's with rational and real durations. PNPM 1993: 56-65 - 1991
- [c1]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: 154-163
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 00:39 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
