Valentín Valero Ruiz
Orcid: 0000-0003-3462-7656Affiliations:
- University of Castilla-La Mancha, Spain
According to our database1,
Valentín Valero Ruiz
authored at least 88 papers
between 1991 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dsi.uclm.es
On csauthors.net:
Bibliography
2024
J. Comput. Sci., 2024
2023
Modelling, simulation and performance evaluation of the IEEE 802.11e protocol with station mobility.
PeerJ Comput. Sci., 2023
Proceedings of the Advances in Computational Intelligence, 2023
An Intelligent Transportation System for Tsunamis Combining CEP, CPN and Fuzzy Logic.
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.
IEEE Trans. Software Eng., 2022
PeerJ Comput. Sci., 2022
Eng. Appl. Artif. Intell., 2022
FUME: An air quality decision support system for cities based on CEP technology and fuzzy logic.
Appl. Soft Comput., 2022
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.
Softw. Syst. Model., 2021
PeerJ Comput. Sci., 2021
Int. J. Softw. Eng. Knowl. Eng., 2021
Studying the Impact of the User Subscription Times in Different Cloud Configurations.
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.
Neural Comput. Appl., 2020
2019
J. Supercomput., 2019
Facilitating the Quantitative Analysis of Complex Events through a Computational Intelligence Model-Driven Tool.
Sci. Program., 2019
Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets.
Softw. Syst. Model., 2019
MEdit4CEP-CPN: An approach for complex event processing modeling by prioritized colored petri nets.
Inf. Syst., 2019
IEEE Access, 2019
An Intelligent System Integrating CEP and Colored Petri Nets for Helping in Decision Making About Pollution Scenarios.
Proceedings of the Advances in Computational Intelligence, 2019
Proceedings of the Computational Science - ICCS 2019, 2019
2018
Modeling and Analysis of the 1-Wire Communication Protocol Using Timed Colored Petri Nets.
IEEE Access, 2018
2017
Timed Automata Modeling and Verification for Publish-Subscribe Structures Using Distributed Resources.
IEEE Trans. Software Eng., 2017
CoRR, 2017
Intelligent Transportation System to Control Air Pollution in Cities Using Complex Event Processing and Colored Petri Nets.
Proceedings of the Advances in Computational Intelligence, 2017
2016
IEEE Access, 2016
2015
Model-checking verification of publish-subscribe architectures in web service contexts.
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.
Proceedings of the Formal Methods for Industrial Critical Systems, 2015
2014
Program. Comput. Softw., 2014
A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF.
Proceedings of the Software Engineering and Formal Methods, 2014
2013
Proceedings of the International Conference on Computational Science, 2013
2012
Simul., 2012
Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets.
Sci. Comput. Program., 2012
Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012
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
CoRR, 2012
2011
J. Univers. Comput. Sci., 2011
J. Log. Algebraic Methods Program., 2011
An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework.
Proceedings of the Web Services and Formal Methods - 8th International Workshop, 2011
2010
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
J. Log. Algebraic Methods Program., 2009
J. Log. Algebraic Methods Program., 2009
Proceedings of the Techniques and Applications for Mobile Commerce, 2009
Proceedings of the Fourth International Conference on Internet and Web Applications and Services, 2009
Proceedings of the 2009 IEEE International Conference on e-Business Engineering, 2009
2008
Fundam. Informaticae, 2008
Proceedings of the Techniques and Applications for Mobile Commerce - Proceedings of TAMoCo 2008, University of Paisley, Glasgow, Scotland, United Kingdom, 14, 2008
2007
CLEI Electron. J., 2007
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007
Proceedings of the Testing of Software and Communicating Systems, 2007
Proceedings of the International Conference on Internet and Web Applications and Services (ICIW 2007), 2007
Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007
Proceedings of the Six IEEE International Conference on Cognitive Informatics, 2007
2006
Analysis and Verification of Time Requirements Applied to the Web Services Composition.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006
Proceedings of the 2006 IEEE Services Computing Workshops (SCW 2006), 2006
Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques.
Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), 2006
2005
Theor. Comput. Sci., 2005
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.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005
Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005
Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), 31 March, 2005
Proceedings of the 4th IEEE International Conference on Cognitive Informatics (ICCI 2005), 2005
2004
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.
Proceedings of the 10th International Multimedia Modeling Conference (MMM 2004), 2004
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004
2003
J. Log. Algebraic Methods Program., 2003
Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003
Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003
2002
Proceedings of the 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, 2002
Proceedings of the Applications and Theory of Petri Nets 2002, 2002
2001
Inf. Process. Lett., 2001
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001
2000
Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000
A Denotational Model for Probabilistic and Nondeterministic Processes.
Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000
Proceedings of the Application and Theory of Petri Nets 2000, 2000
1999
Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999
1997
Proceedings of the Transformation-Based Reactive Systems Development, 1997
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.
Proceedings of the Proceedings 1995 International Conference on Image Processing, 1995
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.
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.
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, 1991