Llanos Tobarra
Llanos Tobarra
Email confirmado em scc.uned.es
Citado por
Citado por
Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps
A Armando, R Carbone, L Compagna, J Cuellar, L Tobarra
Proceedings of the 6th ACM workshop on Formal methods in security …, 2008
Analyzing the students’ behavior and relevant topics in virtual learning communities
L Tobarra, A Robles-Gómez, S Ros, R Hernández, AC Caminero
Computers in Human Behavior 31, 659-669, 2014
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
Open service-oriented platforms for personal learning environments
S Ros, R Hernández, A Robles-Gomez, AC Caminero, L Tobarra, ES Ruíz
IEEE internet computing 17 (4), 26-31, 2013
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
Virtual and remote industrial laboratory: Integration in learning management systems
ES Ruiz, AP Martin, P Orduna, S Martin, R Gil, ER Larrocha, MJ Albert, ...
IEEE Industrial Electronics Magazine 8 (4), 45-58, 2014
Virtual remote laboratories management system (tutores): using cloud computing to acquire university practical skills
AC Caminero, S Ros, R Hernández, A Robles-Gómez, L Tobarra, ...
IEEE transactions on Learning Technologies 9 (2), 133-145, 2015
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
User acceptance of a proposed self-evaluation and continuous assessment system
A Robles-Gómez, S Ros, R Hernández, L Tobarra, AC Caminero, ...
Journal of Educational Technology & Society 18 (2), 97-109, 2015
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
WST: a tool supporting timed composite Web Services Model transformation
ME Cambronero, G Díaz, E Martínez, V Valero, L Tobarra
Simulation 88 (3), 349-364, 2012
Application of formal methods to the analysis of web services security
L Tobarra, D Cazorla, F Cuartero, G Diaz
Formal Techniques for Computer Systems and Business Processes, 215-229, 2005
Choosing the right LMS: A performance evaluation of three open-source LMS
AC Caminero, R Hernández, S Ros, A Robles-Gómez, L Tobarra
2013 IEEE Global Engineering Education Conference (EDUCON), 287-294, 2013
Online laboratories as a cloud service developed by students
R Pastor, R Hernández, S Ros, D Sanchez, A Caminero, A Robles, ...
2013 IEEE Frontiers in Education Conference (FIE), 1081-1086, 2013
An XML Modular Approach in the Building of Remote Labs By Students: A Way to Improve Learning.
R Pastor-Vargas, D Sánchez, S Ros, R Hernández, A Caminero, ...
International Journal of Online Engineering 9, 2013
Low-cost remote laboratories for renewable energy in distance education
L Tobarra, S Ros, R Hernández, R Pastor, A Robles-Gómez, ...
2014 11th International Conference on Remote Engineering and Virtual …, 2014
P2P-based resource discovery in dynamic grids allowing multi-attribute and range queries
AC Caminero, A Robles-Gómez, S Ros, R Hernández, L Tobarra
Parallel computing 39 (10), 615-637, 2013
Laboratories as a service (laas): Using cloud technologies in the field of education
R Pastor, AC Caminero, D Sánchez, R Hernández, S Ros, ...
Journal of Universal Computer Science 19 (14), 2112-2126, 2013
Generic integration of remote laboratories in public learning tools: Organizational and technical challenges
P Orduna, A Caminero, I Lequerica, DG Zutin, P Bailey, E Sancristobal, ...
2014 IEEE Frontiers in Education Conference (FIE) Proceedings, 1-7, 2014
Integrated Analytic dashboard for virtual evaluation laboratories and collaborative forums
L Tobarra, S Ros, R Hernández, A Robles-Gómez, AC Caminero, ...
2014 XI Tecnologias Aplicadas a la Ensenanza de la Electronica (Technologies …, 2014
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20