Gregorio Díaz

Orcid: 0000-0002-9116-9535

Affiliations:
  • University of Castilla-La Mancha, Spain


According to our database1, Gregorio Díaz authored at least 64 papers between 2001 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
ITS4Tsunamis: An Intelligent Transportation System for tsunami emergencies.
J. Comput. Sci., 2024

2023
Designing a Fault Detection System for Wind Turbine Control Monitoring Using CEP.
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

PITS: An Intelligent Transportation System in pandemic times.
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

greenITS: a proposal to compute low-pollution routes.
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

Combining Fuzzy Logic and CEP Technology to Improve Air Quality in Cities.
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

Data-aware automatic derivation of choreography-conforming systems of services.
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
Complex Event Processing Modeling by Prioritized Colored Petri Nets.
IEEE Access, 2016

The Simulation Relation for Formal E-Contracts.
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
Specification and Verification of NormativeTexts Using C-O Diagrams.
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
Contract Compliance Monitoring of Web Services.
Proceedings of the Service-Oriented and Cloud Computing - Second European Conference, 2013

2012
WST: a tool supporting timed composite Web Services Model transformation.
Simul., 2012

Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets.
Sci. Comput. Program., 2012

Improving the Automatic Derivation of Choreography-conforming Web Services Systems.
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

Conformance Verification of Normative Specifications using C-O Diagrams
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
Validation and verification of Web services choreographies by using timed automata.
J. Log. Algebraic Methods Program., 2011

Timed Automata Semantics for Visual e-Contracts
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

DIEGO: A Tool for DerIving chorEoGraphy-cOnforming Web Service Systems.
Proceedings of the IEEE International Conference on Web Services, 2011

Contractually Compliant Service Compositions.
Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

2010
Verification of real-time systems design.
Softw. Test. Verification Reliab., 2010

A Model for Visual Specification of E-contracts.
Proceedings of the 2010 IEEE International Conference on Services Computing, 2010

2009
Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK.
Telecommun. Syst., 2009

A barred operational semantics for a subset of WS-CDL with time restrictions.
J. Log. Algebraic Methods Program., 2009

A Petri net approach for the design and analysis of Web Services Choreographies.
J. Log. Algebraic Methods Program., 2009

Time Ordering Architecture in SCA.
Proceedings of the Techniques and Applications for Mobile Commerce, 2009

Formal Study of Prioritized Service Compositions.
Proceedings of the Fifth International Conference on Signal-Image Technology & Internet-Based Systems, 2009

Design and Verification of Web Services Compositions.
Proceedings of the Fourth International Conference on Internet and Web Applications and Services, 2009

A Comparative Study between WSCI, WS-CDL, and OWL-S.
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

Automatically Deriving Choreography-Conforming Systems of Services.
Proceedings of the 2009 IEEE International Conference on Services Computing (SCC 2009), 2009

2008
Enhancing the expressivity of PADL for specifying Web Services Architectures.
Proceedings of the Techniques and Applications for Mobile Commerce - Proceedings of TAMoCo 2008, University of Paisley, Glasgow, Scotland, United Kingdom, 14, 2008

2007
Model Checking Techniques applied to the design of Web Services.
CLEI Electron. J., 2007

Using RT-UML for modelling web services.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Model Checking Wireless Sensor Network Security Protocols: TinySec + LEAP.
Proceedings of the Wireless Sensor and Actor Networks, 2007

Analysis of Web Services Secure Conversation with Formal Methods.
Proceedings of the International Conference on Internet and Web Applications and Services (ICIW 2007), 2007

Using UML Diagrams to Model Real-Time Web Services.
Proceedings of the International Conference on Internet and Web Applications and Services (ICIW 2007), 2007

Testing Time Goal-Driven Requirements with Model Checking Techniques.
Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

Does ROSA provide a good view of the Memorizing Process?
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

RT-UML for modeling Real-Time Web Services.
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
Verification of Web Services with Timed Automata.
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

Application of Formal Methods to the Analysis of Web Services Security.
Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

Automatic Translation of WS-CDL Choreographies to Timed Automata.
Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

Obtaining Probabilistic Dynamic State Graphs for TPPAL Processes.
Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), 31 March, 2005

2004
Automatic verification of the TLS handshake protocol.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

2001
Performance Issues of Deterministic and Adaptive Ghost-Packet Routers.
Proceedings of the 2001 International Conference on Parallel Processing, 2001


  Loading...