Gregorio Díaz-Descalzo
Gregorio Díaz-Descalzo
Associate Professor of Computer Science, Catilla-La Mancha University
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
Formal techniques for computer systems and business processes, 230-242, 2005
1102005
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
892006
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
682011
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
532006
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
442004
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
382007
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
342010
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
262019
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
262009
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
232016
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
222013
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
222012
An Intelligent Transportation System to control air pollution and road traffic in cities integrating CEP and Colored Petri Nets
G Díaz, H Macia, V Valero, J Boubeta-Puig, F Cuartero
Neural Computing and Applications 32 (2), 405-426, 2020
212020
Automatically deriving choreography-conforming systems of services
G Díaz, I Rodríguez
2009 IEEE International Conference on Services Computing, 9-16, 2009
202009
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
202006
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
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
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
182005
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
162009
The system can't perform the operation now. Try again later.
Articles 1–20