| 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 |
| 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 | 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 | 93 | 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 | 80 | 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 | 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 32 (2), 405-426, 2020 | 64 | 2020 |
| 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 | 61 | 2008 |
| 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 | 55 | 2013 |
| 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 |
| 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 | 51 | 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 | 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 |
| 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 | 40 | 2007 |
| 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 | 36 | 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 | 33 | 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 | 30 | 2009 |
| 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 | 27 | 2011 |
| A congruence relation for sPBC H Macià, V Valero, F Cuartero, D De-Frutos Formal Methods in System Design 32, 85-128, 2008 | 27 | 2008 |
| A sound and complete proof system for probabilistic processes FC Gómez, D de Frutos Escrig, VV Ruiz International AMAST Workshop on Aspects of Real-Time Systems and Concurrent …, 1997 | 24 | 1997 |
