| 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 | 110 | 2005 |
| On non-decidability of reachability for timed-arc Petri nets VV Ruiz, D de Frutos Escrig, FC Gomez Proceedings 8th International Workshop on Petri Nets and Performance Models …, 1999 | 93 | 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 | 90 | 2006 |
| Twitter as a tool for predicting elections results JM Soler, F Cuartero, M Roblizo 2012 IEEE/ACM International Conference on Advances in Social Networks …, 2012 | 71 | 2012 |
| 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 | 66 | 2003 |
| A high performance tool for the simulation of the dynamic pantograph–catenary interaction A Alberto, J Benet, E Arias, D Cebrian, T Rojo, F Cuartero Mathematics and Computers in Simulation 79 (3), 652-667, 2008 | 60 | 2008 |
| 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 |
| Formal analysis of sensor network encryption protocol (snep) L Tobarra, D Cazorla, F Cuartero 2007 IEEE International Conference on Mobile Adhoc and Sensor Systems, 1-6, 2007 | 45 | 2007 |
| 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 | 45 | 2004 |
| An advanced 3D-model for the study and simulation of the pantograph catenary system J Benet, N Cuartero, F Cuartero, T Rojo, P Tendero, E Arias Transportation Research Part C: Emerging Technologies 36, 138-156, 2013 | 43 | 2013 |
| Timed processes of timed Petri nets V Valero, D Frutos, F Cuartero International Conference on Application and Theory of Petri Nets, 490-509, 1995 | 38 | 1995 |
| 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 |
| 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 | 36 | 2008 |
| 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 | 35 | 2020 |
| Introducing the iteration in sPBC H Maciá, V Valero, D Cazorla, F Cuartero International Conference on Formal Techniques for Networked and Distributed …, 2004 | 33 | 2004 |
| Improving performance in flexible manufacturing systems MC Ruiz, D Cazorla, F Cuartero, H Macia The Journal of Logic and Algebraic Programming 78 (4), 260-273, 2009 | 31 | 2009 |
| 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 |
| A congruence relation for sPBC H Macià, V Valero, F Cuartero, D De-Frutos Formal Methods in System Design 32 (2), 85-128, 2008 | 24 | 2008 |
| Precipitation estimates for hydroelectricity FJ Tapiador, AY Hou, M De Castro, R Checa, F Cuartero, AP Barros Energy & Environmental Science 4 (11), 4435-4448, 2011 | 23 | 2011 |
| 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 |
