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 | 375 | 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 | 89 | 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 | 48 | 2007 |
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 | 46 | 2015 |
Open service-oriented platforms for personal learning environments S Ros, R Hernández, A Robles-Gómez, AC Caminero, L Tobarra, ES Ruíz IEEE internet computing 17 (4), 26-31, 2013 | 44 | 2013 |
Analyzing students’ self-perception of success and learning effectiveness using gamification in an online cybersecurity course S Ros, S Gonzalez, A Robles, LL Tobarra, A Caminero, J Cano IEEE Access 8, 97718-97728, 2020 | 40 | 2020 |
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 | 39 | 2007 |
Renewable energy remote online laboratories in Jordan universities: Tools for training students in Jordan R Pastor, L Tobarra, A Robles-Gómez, J Cano, B Hammad, A Al-Zoubi, ... Renewable Energy 149, 749-759, 2020 | 38 | 2020 |
Students’ acceptance and tracking of a new container-based virtual laboratory L Tobarra, A Robles-Gomez, R Pastor, R Hernandez, A Duque, J Cano Applied Sciences 10 (3), 1091, 2020 | 34 | 2020 |
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 | 28 | 2009 |
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 | 21 | 2013 |
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 | 21 | 2006 |
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 | 20 | 2015 |
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 | 20 | 2014 |
Creation of customized remote laboratories using deconstruction L Tobarra, S Ros, R Hernández, A Marcos-Barreiro, A Robles-Gómez, ... IEEE Revista Iberoamericana de Tecnologias del Aprendizaje 10 (2), 69-76, 2015 | 19 | 2015 |
Application of formal methods to the analysis of web services security L Tobarra, D Cazorla, F Cuartero, G Diaz EPEW/WS-FM 3670, 215-229, 2005 | 19 | 2005 |
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 | 18 | 2012 |
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 | 17 | 2013 |
Deconstructing remote laboratories to create laboratories as a service (laas) AC Caminero, A Robles-Gómez, S Ros, L Tobarra, R Hernández, ... 2014 IEEE Global Engineering Education Conference (EDUCON), 623-629, 2014 | 16 | 2014 |
An Integrated Example of Laboratories as a Service into Learning Management Systems. L Tobarra, S Ros, R Pastor, R Hernández, M Castro, A Al-Zoubi, M Dmour, ... International Journal of Online Engineering, 2016 | 15 | 2016 |