Gregorio Díaz
Orcid: 0000-0002-9116-9535Affiliations:
- University of Castilla-La Mancha, Spain
According to our database1,
Gregorio Díaz
authored at least 63 papers
between 2001 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
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
Reducing the number of migrated instances during business process change: A graph rewriting approach.
J. King Saud Univ. Comput. Inf. 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
SLA-Driven modeling and verifying cloud systems: A Bigraphical reactive systems-based approach.
Comput. Stand. Interfaces, 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
Facilitating the Quantitative Analysis of Complex Events through a Computational Intelligence Model-Driven Tool.
Sci. Program., 2019
MEdit4CEP-CPN: An approach for complex event processing modeling by prioritized colored petri nets.
Inf. Syst., 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
2017
Timed Automata Modeling and Verification for Publish-Subscribe Structures Using Distributed Resources.
IEEE Trans. Software Eng., 2017
Comput. Stand. Interfaces, 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
Proceedings of the SOFSEM 2016: Theory and Practice of Computer Science, 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
IEEE Trans. Software Eng., 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 Service-Oriented and Cloud Computing - Second European Conference, 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 International Conference on Computational Science, 2012
A centralized and a decentralized method to automatically derive choreography-conforming web service systems.
J. Log. Algebraic Methods Program., 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. Log. Algebraic Methods Program., 2011
Proceedings of the Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, 2011
An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework.
Proceedings of the Web Services and Formal Methods - 8th International Workshop, 2011
Proceedings of the IEEE International Conference on Web Services, 2011
Proceedings of the Service-Oriented Computing - 9th International Conference, 2011
2010
Proceedings of the 2010 IEEE International Conference on Services Computing, 2010
2009
Telecommun. Syst., 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 Fifth International Conference on Signal-Image Technology & Internet-Based Systems, 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
Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach.
Proceedings of the Formal Techniques for Distributed Systems, 2009
Proceedings of the 2009 IEEE International Conference on Services Computing (SCC 2009), 2009
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 Wireless Sensor and Actor Networks, 2007
Proceedings of the International Conference on Internet and Web Applications and Services (ICIW 2007), 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
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 Formal Techniques for Computer Systems and Business Processes, 2005
Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), 31 March, 2005
2004
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004
2001
Proceedings of the 2001 International Conference on Parallel Processing, 2001