Seguir
Gregorio Díaz-Descalzo
Gregorio Díaz-Descalzo
Associate Professor of Computer Science, Universidad de Castilla-La Mancha
Dirección de correo verificada de uclm.es - Página principal
Título
Citado por
Citado por
Año
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
1072005
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
922006
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
722011
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
692009
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
542006
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
522020
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
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
442019
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
402007
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
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
312016
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-4), 91-99, 2009
292009
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
212006
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
Using UML diagrams to model real-time web services
ME Cambronero, G Diaz, JJ Pardo, V Valero
Second International Conference on Internet and Web Applications and …, 2007
182007
A comparative study between wsci, ws-cdl, and owl-s
ME Cambronero, G Díaz, E Martínez, V Valero
2009 IEEE International Conference on e-Business Engineering, 377-382, 2009
172009
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20