Login / Signup
Gregorio Díaz
ORCID
Publication Activity (10 Years)
Years Active: 2001-2020
Publications (10 Years): 12
Top Topics
Computational Intelligence
Complex Event Processing
Petri Net
Air Pollution
</>
Publications
</>
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) (2020)
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)
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)
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 (2019)
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 (2019)
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) (2017)
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)
Pablo Rabanal
,
José Antonio Mateo
,
Ismael Rodríguez
,
Gregorio Díaz
Data-aware automatic derivation of choreography-conforming systems of services.
Comput. Stand. Interfaces
53 (2017)
Luis Llana
,
María-Emilia Cambronero
,
Gregorio Díaz
The Simulation Relation for Formal E-Contracts.
SOFSEM
(2016)
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 (2016)
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)
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)
Gregorio Díaz
,
María-Emilia Cambronero
,
Enrique Martínez
,
Gerardo Schneider
Specification and Verification of NormativeTexts Using C-O Diagrams.
IEEE Trans. Software Eng.
40 (8) (2014)
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)
Gregorio Díaz
,
Luis Llana
Contract Compliance Monitoring of Web Services.
ESOCC
(2013)
Pablo Rabanal
,
Ismael Rodríguez
,
José Antonio Mateo
,
Gregorio Díaz
Improving the Automatic Derivation of Choreography-conforming Web Services Systems.
ICCS
(2012)
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) (2012)
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) (2012)
José Antonio Mateo
,
Valentín Valero
,
Gregorio Díaz
BPEL-RF: A formal framework for BPEL orchestrations integrating distributed resources
CoRR
(2012)
Gregorio Díaz
,
Luis Llana
,
Valentín Valero Ruiz
,
José Antonio Mateo
Conformance Verification of Normative Specifications using C-O Diagrams
FLACOS
(2012)
Ismael Rodríguez
,
Gregorio Díaz
,
Pablo Rabanal
,
José Antonio Mateo
A centralized and a decentralized method to automatically derive choreography-conforming web service systems.
J. Log. Algebraic Methods Program.
81 (2) (2012)
José Antonio Mateo
,
Valentín Valero
,
Gregorio Díaz
An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework.
WS-FM
(2011)
Enrique Martínez
,
Gregorio Díaz
,
María-Emilia Cambronero
Contractually Compliant Service Compositions.
ICSOC
(2011)
Enrique Martínez
,
María-Emilia Cambronero
,
Gregorio Díaz
,
Gerardo Schneider
Timed Automata Semantics for Visual e-Contracts
FLACOS
(2011)
Pablo Rabanal
,
José Antonio Mateo
,
Ismael Rodríguez
,
Gregorio Díaz
DIEGO: A Tool for DerIving chorEoGraphy-cOnforming Web Service Systems.
ICWS
(2011)
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) (2011)
María-Emilia Cambronero
,
Valentín Valero Ruiz
,
Gregorio Díaz
Verification of real-time systems design.
Softw. Test. Verification Reliab.
20 (1) (2010)
Enrique Martínez
,
Gregorio Díaz
,
María-Emilia Cambronero
,
Gerardo Schneider
A Model for Visual Specification of E-contracts.
IEEE SCC
(2010)
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)
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)
César Andrés
,
Gregorio Díaz
,
Enrique Martínez
,
Yaofeng Zhang
Formal Study of Prioritized Service Compositions.
SITIS
(2009)
Llanos Tobarra
,
Diego Cazorla
,
Fernando Cuartero
,
Gregorio Díaz
,
María-Emilia Cambronero
Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK.
Telecommun. Syst.
40 (3-4) (2009)
Gregorio Díaz
,
Ismael Rodríguez
Automatically Deriving Choreography-Conforming Systems of Services.
IEEE SCC
(2009)
Enrique Martínez
,
María-Emilia Cambronero
,
Gregorio Díaz
,
Valentín Valero
Design and Verification of Web Services Compositions.
ICIW
(2009)
Gregorio Díaz
,
Ismael Rodríguez
Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach.
FMOODS/FORTE
(2009)
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) (2009)
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) (2009)
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)
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)
Llanos Tobarra
,
Diego Cazorla
,
Fernando Cuartero
,
Gregorio Díaz
,
María-Emilia Cambronero
Model Checking Wireless Sensor Network Security Protocols: TinySec + LEAP.
WSAN
(2007)
María-Emilia Cambronero
,
Gregorio Díaz
,
Juan José Pardo
,
Valentín Valero
Using UML Diagrams to Model Real-Time Web Services.
ICIW
(2007)
Llanos Tobarra
,
Diego Cazorla
,
Fernando Cuartero
,
Gregorio Díaz
Analysis of Web Services Secure Conversation with Formal Methods.
ICIW
(2007)
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)
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)
María-Emilia Cambronero
,
Juan José Pardo
,
Gregorio Díaz
,
Valentín Valero
Using RT-UML for modelling web services.
SAC
(2007)
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)
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)
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)
Gregorio Díaz
,
Juan José Pardo
,
María-Emilia Cambronero
,
Valentín Valero
,
Fernando Cuartero
Verification of Web Services with Timed Automata.
Electron. Notes Theor. Comput. Sci.
157 (2) (2006)
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)
Gregorio Díaz
,
Juan José Pardo
,
María-Emilia Cambronero
,
Valentín Valero
,
Fernando Cuartero
Verification of Web Services with Timed Automata.
WWV
(2005)
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)
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)
Llanos Tobarra
,
Diego Cazorla
,
Fernando Cuartero
,
Gregorio Díaz
Application of Formal Methods to the Analysis of Web Services Security.
EPEW/WS-FM
(2005)
Gregorio Díaz
,
Fernando Cuartero
,
Valentín Valero Ruiz
,
Fernando L. Pelayo
Automatic verification of the TLS handshake protocol.
SAC
(2004)
María del Carmen Carrión
,
Gregorio Díaz
,
María Blanca Caminero
Performance Issues of Deterministic and Adaptive Ghost-Packet Routers.
ICPP
(2001)