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 | 384 | 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 | 90 | 2014 |
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 | 52 | 2020 |
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 | 49 | 2007 |
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 | 48 | 2013 |
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 | 45 | 2015 |
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 | 42 | 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 | 40 | 2020 |
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 | 40 | 2007 |
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 | 29 | 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 | 27 | 2013 |
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 | 21 | 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 | 21 | 2014 |
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 |
Application of formal methods to the analysis of web services security L Tobarra, D Cazorla, F Cuartero, G Diaz European Workshop on Performance Engineering, 215-229, 2005 | 20 | 2005 |
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 |
Analyzing the users’ acceptance of an IoT cloud platform using the UTAUT/TAM model A Robles-Gómez, L Tobarra, R Pastor-Vargas, R Hernández, JM Haut IEEE Access 9, 150004-150020, 2021 | 18 | 2021 |
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 | 18 | 2013 |
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 |
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 | 17 | 2014 |