| 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 | 109 | 2005 |
| Decidability of Properties of Timed-Arc Petri Nets D De-Frutos, V Valero, O Marroquín Lecture Notes in Computer Science 1825, 187-206, 2000 | 97* | 2000 |
| On Non-Decidability of Reachability for Timed-Arc Petri Nets V Valero, D De-Frutos, F Cuartero Petri Nets and Performance Models (PNPM), 188-196, 1999 | 94* | 1999 |
| 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 | 92 | 2006 |
| A Petri Net Approach for the Design and Analysis of Web Services Choreographies HM Valentín Valero, María Emilia Cambronero, Gregorio Díaz 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 |
| Algebraic theory of probabilistic and nondeterministic processes D Cazorla, F Cuartero, V Valero, FL Pelayo, JJ Pardo The Journal of Logic and Algebraic Programming 55 (1-2), 57-103, 2003 | 68 | 2003 |
| 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 30 (10), 2018 | 61 | 2018 |
| 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 |
| sPBC: a Markovian extension of finite Petri box calculus H Macia, V Valero, D de Frutos-Escrig Proceedings 9th International Workshop on Petri Nets and Performance Models …, 2001 | 51 | 2001 |
| MEdit4CEP-CPN: An Approach for Complex Event Processing Modeling by Prioritized Colored Petri Nets GO Juan boubeta-Puig, Gregorio Díaz, Hermenegilda Macià, Valentín Valero INFORMATION SYSTEMS, 1-54, 2017 | 48* | 2017 |
| 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 | 47 | 2004 |
| sPBC: a Markovian extension of Petri box calculus with immediate multiactions H Macia, V Valero, F Cuartero, MC Ruiz Fundamenta Informaticae 87 (3-4), 367-406, 2008 | 40 | 2008 |
| Timed processes of timed Petri nets V Valero, D Frutos, F Cuartero Application and Theory of Petri Nets 1995: 16th International Conference …, 1995 | 40 | 1995 |
| Introducing the iteration in sPBC H Maciá, V Valero, D Cazorla, F Cuartero Formal Techniques for Networked and Distributed Systems–FORTE 2004: 24th …, 2004 | 35 | 2004 |
| 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 | 32 | 2016 |
| A congruence relation for sPBC H Macià, V Valero, F Cuartero, D De-Frutos Formal Methods in System Design 32, 85-128, 2008 | 26 | 2008 |
| 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 | 25 | 2012 |
| Discrete time stochastic Petri box calculus with immediate multiactions IV Tarasyuk, H Macia, V Valero Pre-proceedings of 6th International Workshop on Practical Applications of …, 2010 | 25 | 2010 |
| A Sound and Complete Proof System for Probabilistic Processes F Cuartero, D De-Frutos, V Valero Lecture Notes in Computer Science 1231, 340-352, 1997 | 23* | 1997 |
Gregorio Díaz-Descalzo (ORCID:0000...Associate Professor of Computer Science, Universidad de Castilla-La Mancha在 uclm.es 的电子邮件经过验证
