Gregorio Díaz-Descalzo

Cited by

	All	Since 2017
Citations	877	222
h-index	18	8
i10-index	22	7

2005200620072008200920102011201220132014201520162017201820192020202120228 28 53 35 40 59 81 66 77 64 61 51 45 44 35 38 49 11

Public access

View all

13 articles

6 articles

available

not available

Based on funding mandates

Co-authors

Valentin ValeroFull Professor, University of Castilla-La ManchaVerified email at uclm.es
Fernando CuarteroProfesor de Informática (UCLM)Verified email at uclm.es
Hermenegilda MaciàUniversity of Castilla-La ManchaVerified email at uclm.es
Llanos TobarraUNEDVerified email at scc.uned.es
Diego CazorlaAssociate professor of Computer Science. University of Castilla-La ManchaVerified email at uclm.es
Juan Boubeta-Puig (ORCID: 0000-000...Associate Professor - Department of Computer Science and Engineering - University of CadizVerified email at gm.uca.es
Jose Antonio Mateo CortesPhD student at University of Castilla-La ManchaVerified email at uclm.es
Fernando Lopez PelayoProfesor de Algoritmia y Teoría de Autómatas. Universidad de Castilla - La ManchaVerified email at uclm.es
ISMAEL RODRIGUEZFacultad de Informática, Universidad Complutense de MadridVerified email at ucm.es
Gerardo SchneiderProfessor of Computer Science, University of GothenburgVerified email at cse.gu.se
Guadalupe OrtizUniversity of CádizVerified email at uca.es
Pablo RabanalFacultad de Informática, UCMVerified email at fdi.ucm.es
LUIS LLANAUniversidad Compludense de MadridVerified email at ucm.es
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
oussama kamelFaculty of Medicine, University Constantine 3 Salah BoubniderVerified email at univ-constantine3.dz
Elena Navarro (ORCID: 0000-0001-94...Professor of Computer Science, University of Castilla-La Mancha, SpainVerified email at uclm.es
Maria Blanca CamineroProfesora Titular de la Universidad de Castilla-La ManchaVerified email at uclm.es
Carmen CarrionAssociate Professor -University de Castilla-La ManchaVerified email at uclm.es
M. Carmen RuizUniversidad Castilla-La ManchaVerified email at uclm.es
mohamed gharzouliprofesseur d'informatique, Université Abdelhamid Mehri Constantine 2Verified email at univ-constantine2.dz

Gregorio Díaz-Descalzo

Associate Professor of Computer Science, Catilla-La Mancha University

Verified email at uclm.es - Homepage

Formal Methods Time Automata Real Time Systems Web Services Cloud Computing


Title Sort by citations Sort by year Sort by 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	109	2005
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	90	2006
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	68	2011
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	53	2006
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	44	2004
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	37	2007
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	32	2010
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	30	2019
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	28	2020
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	27	2009
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	23	2016
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	23	2013
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	23	2012
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	21	2006
Automatically deriving choreography-conforming systems of services G Díaz, I Rodríguez 2009 IEEE International Conference on Services Computing, 9-16, 2009	20	2009
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	18	2012
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	18	2007
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	18	2006
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	18	2005
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	15	2009

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors