Fernando Cuartero
Fernando Cuartero
Profesor de Informática (UCLM)
Verified email at
Cited by
Cited by
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
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
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
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
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
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
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
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
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
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
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
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
Timed processes of timed Petri nets
V Valero, D Frutos, F Cuartero
Application and Theory of Petri Nets 1995: 16th International Conference …, 1995
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
Introducing the iteration in sPBC
H Maciá, V Valero, D Cazorla, F Cuartero
Formal Techniques for Networked and Distributed Systems–FORTE 2004: 24th …, 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
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
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
A congruence relation for sPBC
H Macià, V Valero, F Cuartero, D De-Frutos
Formal Methods in System Design 32, 85-128, 2008
Analysis and verification of time requirements applied to the web services composition
G Díaz, ME Cambronero, ML Tobarra, V Valero, F Cuartero
Web Services and Formal Methods: Third International Workshop, WS-FM 2006 …, 2006
The system can't perform the operation now. Try again later.
Articles 1–20