| 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 | 108 | 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 | 94 | 2006 |
| Finite extinction time for a class of non-linear parabolic equations G Diaz, I Diaz Communications in Partial Differential Equations 4 (11), 1213-1231, 1979 | 80 | 1979 |
| 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 | 75 | 2020 |
| 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 | 70 | 2009 |
| 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 | 69 | 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 | 55 | 2006 |
| 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 | 54 | 2019 |
| 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 | 52 | 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 | 39 | 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 | 38 | 2010 |
| Complex event processing modeling by prioritized colored Petri nets H Macia, V Valero, G Diaz, J Boubeta-Puig, G Ortiz IEEE Access 4, 7425-7439, 2016 | 36 | 2016 |
| Uniqueness and continuum of foliated solutions for a quasilinear elliptic equation with a non lipschitz nonlinearity G Barles, G Diaz, JI Diaz Communications in partial differential equations 17 (5-6), 1037-1050, 1992 | 32 | 1992 |
| 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 | 31 | 2009 |
| FUME: An air quality decision support system for cities based on CEP technology and fuzzy logic E Brazález, H Macià, G Díaz, MT Baeza_Romero, E Valero, V Valero Applied Soft Computing 129, 109536, 2022 | 28 | 2022 |
| 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 | 26 | 2013 |
| Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets V Valero, H Macia, 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 | 23 | 2006 |
| A note on the Liouville method applied to elliptic eventually degenerate fully nonlinear equations governed by the Pucci operators and the Keller–Osserman condition G Díaz Mathematische Annalen 353 (1), 145-159, 2012 | 22 | 2012 |
| Automatically deriving choreography-conforming systems of services G Díaz, I Rodríguez 2009 IEEE International Conference on Services Computing, 9-16, 2009 | 21 | 2009 |
Valentin ValeroFull Professor (retired), University of Castilla-La ManchaVerified email at uclm.es
