Gregorio Díaz-Descalzo
Gregorio Díaz-Descalzo
Associate Professor of Computer Science, Catilla-La Mancha University
Dirección de correo verificada de uclm.es - Página principal
TítuloCitado porAño
Automatic translation of ws-cdl choreographies to timed automata
G Diaz, JJ Pardo, ME Cambronero, V Valero, F Cuartero
Formal techniques for computer systems and business processes, 230-242, 2005
982005
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
752006
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
672011
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
452006
Automatic verification of the TLS handshake protocol
G Díaz, F Cuartero, V Valero, F Pelayo
Proceedings of the 2004 ACM symposium on Applied computing, 789-794, 2004
422004
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
332007
A model for visual specification of e-contracts
E Martinez, G Díaz, ME Cambronero, G Schneider
2010 IEEE International Conference on Services Computing, 1-8, 2010
302010
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
252009
Application of formal methods to the analysis of web services security
L Tobarra, D Cazorla, F Cuartero, G Diaz
Formal Techniques for Computer Systems and Business Processes, 215-229, 2005
212005
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
192012
RT-UML for modeling real-time web services
M emilia Cambronero, G Diaz, J jose Pardo, V Valero, FL Pelayo
2006 IEEE Services Computing Workshops, 131-139, 2006
192006
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
182013
Automatically deriving choreography-conforming systems of services
G Díaz, I Rodríguez
2009 IEEE International Conference on Services Computing, 9-16, 2009
182009
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
Analysis and verification of time requirements applied to the web services composition
G Díaz, ME Cambronero, ML Tobarra, V Valero, F Cuartero
International Workshop on Web Services and Formal Methods, 178-192, 2006
182006
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
172012
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
152009
Complex event processing modeling by prioritized colored Petri nets
H Macià, V Valero, G Díaz, J Boubeta-Puig, G Ortiz
IEEE Access 4, 7425-7439, 2016
132016
Timed automata modeling and verification for publish-subscribe structures using distributed resources
V Valero, G Díaz, ME Cambronero
IEEE Transactions on Software Engineering 43 (1), 76-99, 2016
102016
An approach to handle Real Time and Probabilistic behaviors in e-commerce: Validating the SET Protocol
G Díaz, K Larsen, J Pardo, F Cuartero, V Valero
proceedings of the 2005 ACM Symposium on Applied Computing, 815-820, 2005
102005
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20