Follow
Gregorio Díaz-Descalzo (ORCID:0000-0002-9116-9535)
Gregorio Díaz-Descalzo (ORCID:0000-0002-9116-9535)
Other namesGregorio Díaz, Gregorio Diaz, Gregorio Díaz Descalzo
Associate Professor of Computer Science, Universidad de Castilla-La Mancha
Verified email at uclm.es - Homepage
Title
Cited by
Cited by
Year
Automatic translation of ws-cdl choreographies to timed automata
G Diaz, JJ Pardo, ME Cambronero, V Valero, F Cuartero
European Workshop on Performance Engineering, 230-242, 2005
1092005
Verification of web services with timed automata
G Diaz, JJ Pardo, ME Cambronero, V Valero, F Cuartero
Electronic Notes in Theoretical Computer Science 157 (2), 19-34, 2006
932006
Validation and verification of web services choreographies by using timed automata
ME Cambronero, G Díaz, V Valero, E Martínez
The Journal of Logic and Algebraic Programming 80 (1), 25-49, 2011
702011
A Petri net approach for the design and analysis of Web Services Choreographies
V Valero, ME Cambronero, G Díaz, H Macià
The Journal of Logic and Algebraic Programming 78 (5), 359-380, 2009
702009
An Intelligent Transportation System to control air pollution and road traffic in cities integrating CEP and Colored Petri Nets
G Díaz, H Macià, V Valero, J Boubeta-Puig, F Cuartero
Neural Computing and Applications 32 (2), 405-426, 2020
572020
Automatic generation of correct web services choreographies and orchestrations with model checking techniques
G Diaz, ME Cambronero, JJ Pardo, V Valero, F Cuartero
Advanced Int'l Conference on Telecommunications and Int'l Conference on …, 2006
552006
MEdit4CEP-CPN: An approach for complex event processing modeling by prioritized colored Petri nets
J Boubeta-Puig, G Díaz, H Macià, V Valero, G Ortiz
Information systems 81, 267-289, 2019
472019
Automatic verification of the TLS handshake protocol
G Diáz, F Cuartero, V Valero, F Pelayo
proceedings of the 2004 ACM Symposium on Applied Computing, 789-794, 2004
462004
Model checking wireless sensor network security protocols: Tinysec+ leap
L Tobarra, D Cazorla, F Cuartero, G Diaz, E Cambronero
IFIP Conference on Wireless Sensor and Actor Networks, 95-106, 2007
392007
A model for visual specification of e-contracts
E Martínez, G Díaz, ME Cambronero, G Schneider
2010 IEEE International Conference on Services Computing, 1-8, 2010
362010
Uniqueness and continuum of foliated solutions for a quasilinear elliptic equation with a non lipschitz nonlinearity
G Barles, G Diaz, JI Diaz
Communications in partial differential equations 17 (5-6), 1037-1050, 1992
351992
Complex event processing modeling by prioritized colored Petri nets
H Macia, V Valero, G Díaz, J Boubeta-Puig, G Ortiz
IEEE Access 4, 7425-7439, 2016
332016
Model checking wireless sensor network security protocols: TinySec+ LEAP+ TinyPK
L Tobarra, D Cazorla, F Cuartero, G Díaz, E Cambronero
Telecommunication Systems 40 (3), 91-99, 2009
302009
Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets
V Valero, H Macià, JJ Pardo, ME Cambronero, G Díaz
Science of Computer Programming 77 (3), 290-313, 2012
252012
Specification and verification of normative texts using CO Diagrams
G Díaz, ME Cambronero, E Martínez, G Schneider
IEEE Transactions on Software Engineering 40 (8), 795-817, 2013
242013
Analysis and verification of time requirements applied to the web services composition
G Díaz, ME Cambronero, ML Tobarra, V Valero, F Cuartero
Web Services and Formal Methods: Third International Workshop, WS-FM 2006 …, 2006
222006
A note on the Liouville method applied to elliptic eventually degenerate fully nonlinear equations governed by the Pucci operators and the Keller–Osserman condition
G Díaz
Mathematische Annalen 353 (1), 145-159, 2012
212012
Automatically deriving choreography-conforming systems of services
G Díaz, I Rodríguez
2009 IEEE International Conference on Services Computing, 9-16, 2009
202009
Application of formal methods to the analysis of web services security
L Tobarra, D Cazorla, F Cuartero, G Diaz
European Workshop on Performance Engineering, 215-229, 2005
202005
WST: a tool supporting timed composite Web Services Model transformation
ME Cambronero, G Díaz, E Martínez, V Valero, L Tobarra
Simulation 88 (3), 349-364, 2012
182012
The system can't perform the operation now. Try again later.
Articles 1–20