Seguir
Fernando Cuartero
Fernando Cuartero
Profesor de Informática (UCLM)
Dirección de correo verificada de uclm.es
Título
Citado por
Citado por
Año
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: European …, 2005
1102005
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
961999
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
912006
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
702012
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
672003
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
602008
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
542006
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
472007
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
452004
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
432013
Model checking wireless sensor network security protocols: Tinysec+ leap
L Tobarra, D Cazorla, F Cuartero, G Diaz, E Cambronero
Wireless Sensor and Actor Networks: IFIP WG 6.8 First International …, 2007
392007
Timed processes of timed Petri nets
V Valero, D Frutos, F Cuartero
Application and Theory of Petri Nets 1995: 16th International Conference …, 1995
391995
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
372020
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
362008
Introducing the iteration in sPBC
H Maciá, V Valero, D Cazorla, F Cuartero
Formal Techniques for Networked and Distributed Systems–FORTE 2004: 24th …, 2004
332004
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
322009
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-4), 91-99, 2009
272009
A congruence relation for sPBC
H Macià, V Valero, F Cuartero, D De-Frutos
Formal Methods in System Design 32, 85-128, 2008
242008
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
232011
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
212006
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20