Seguir
Fernando Cuartero
Fernando Cuartero
Profesor de Informática (UCLM)
Email confirmado em uclm.es
Título
Citado por
Citado por
Ano
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
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
931999
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
902006
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
712012
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
662003
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
532006
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
452007
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
Timed processes of timed Petri nets
V Valero, D Frutos, F Cuartero
International Conference on Application and Theory of Petri Nets, 490-509, 1995
381995
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
372007
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
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
352020
Introducing the iteration in sPBC
H Maciá, V Valero, D Cazorla, F Cuartero
International Conference on Formal Techniques for Networked and Distributed …, 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
312009
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
272009
A congruence relation for sPBC
H Macià, V Valero, F Cuartero, D De-Frutos
Formal Methods in System Design 32 (2), 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
International Workshop on Web Services and Formal Methods, 178-192, 2006
212006
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20