Gregorio Díaz-Descalzo
Gregorio Díaz-Descalzo
Associate Professor of Computer Science, Catilla-La Mancha University
E-mail megerősítve itt: uclm.es - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
1042005
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
822006
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
502006
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
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
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
272009
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
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
212019
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
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
182016
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
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
172005
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
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
122020
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20